Article RDF
pages:- 783
- 784
- 785
- 786
- 787
- 788
- 789
- 790
- 791
- 792
- 793
- 794
- 795
- 796
- 797
- 798
- 799
- 800
- 801
- 802
- 803
- 804
- 805
- 806
- 807
- 808
- 809
- 810
- 811
- 812
- 813
- 814
- 815
- 816
- 817
- 818
- 819
- 820
- 821
- 822
- 823
- more...
- Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees Journal Article
- Data-Driven Corrections of Partial Lotka-Volterra Models Journal Article
- Data-driven diagnostics of terrestrial carbon dynamics over North America Journal Article
- Data-Driven Discovery of Fokker-Planck Equation for the Earth's Radiation Belts Electrons Using Physics-Informed Neural Networks Journal Article
- Data-driven discovery of Fokker-Planck equation for the Earth's radiation belts electrons using Physics-Informed Neural Networks Journal Article
- Data-driven engineering of protein therapeutics Journal Article
- Data-Driven Ensemble Modeling of Equatorial Ionospheric Electrodynamics: A Case Study During a Minor Storm Period Under Solar Minimum Conditions Journal Article
- Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems Conference Proceeding
- Data-Driven Modeling of Resource Distribution in Honeybee Swarms Journal Article
- Data-Driven Modeling of Resource Distribution in Honeybee Swarms Conference Proceeding
- Data-driven Modeling of the Day-to-Day Variability of the Equatorial Electrojet Using Ground- and Space-based Magnetometer Data Journal Article
- Data-Driven Optimization Strategies for Tunable RF Systems Journal Article
- Data-driven predictions in the science of science Journal Article
- Data-driven Probabilistic Constraint Elimination for Accelerated Optimal Power Flow Conference Proceeding
- Data-Driven RANS closure with Model Derived Turbulence Variables Conference Proceeding
- Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach Journal Article
- Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates Conference Proceeding
- Data-Driven Sports Ticket Pricing for Multiple Sales Channels with Heterogeneous Customers Journal Article
- Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics Conference Proceeding
- Data-Driven Summary of Natural Spacecraft Trajectories in the Earth-Moon System Conference Proceeding
- Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates Journal Article
- Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Adaptive Speed and Incline Walking Journal Article
- Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Adaptive Speed and Incline Walking Journal Article
- Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Adaptive Speed and Incline Walking Journal Article
- Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Adaptive Speed and Incline Walking Journal Article
- Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Adaptive Speed and Incline Walking Journal Article
- Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Sit, Stand, and Walk with Minimal Tuning Conference Proceeding
- Data-driven verification and synthesis of stochastic systems via barrier certificates Journal Article
- Data-driven verification of stochastic linear systems with signal temporal logic constraints Journal Article
- Data-Driven Verification under Signal Temporal Logic Constraints Journal Article