Conference Proceeding RDF
pages:- 151
- 152
- 153
- 154
- 155
- 156
- 157
- 158
- 159
- 160
- 161
- 162
- 163
- 164
- 165
- 166
- 167
- 168
- 169
- 170
- 171
- 172
- 173
- 174
- 175
- 176
- 177
- 178
- 179
- 180
- 181
- 182
- 183
- 184
- 185
- 186
- 187
- 188
- 189
- 190
- 191
- more...
- Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems
- Data-Driven Modeling of Resource Distribution in Honeybee Swarms
- Data-Driven Permissible Safe Control with Barrier Certificates
- Data-driven Probabilistic Constraint Elimination for Accelerated Optimal Power Flow
- Data-Driven Reynolds Stress Models using Model Derived Turbulence Variables
- DATA-DRIVEN ROBUST MULTI-AGENT REINFORCEMENT LEARNING
- Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates
- Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach
- Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
- Data-Driven Sensitivity Analyses of Liquefaction Prediction in Undrained Cyclic Direct Simple Shear Tests Using PM4Sand
- Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics
- Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
- Data-Driven Summary of Continuous Thrust Trajectories in a Low-Fidelity Model of Cislunar Space
- Data-Driven Summary of Motion in an Ephemeris Model of Cislunar Space
- Data-Driven Summary of Natural Spacecraft Trajectories in the Earth-Moon System
- Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models
- Data-Driven Variable Impedance Control of a Powered Knee-Ankle Prosthesis for Sit, Stand, and Walk with Minimal Tuning
- Data-Driven Verification of Dynamical Systems via Closure Certificates
- Data-driven versus Simulation Approaches in Flood Performance Assessment of the Residential Buildings: A Case Study of 2013 Colorado Floodf
- Database management in scientific computing - I. General description
- Database management in scientific computing - III. Implementation
- DataHawk Turbulence Measurement Capabilities
- Dating the magmato-metamorphic events in Chottanagpur Gneiss Complex, Eastern India
- DB-LLM: Accurate Dual-Binarization for Efficient LLMs
- DC-DC converter design for battery-operated systems
- DC-DC converter with fast transient response and high efficiency for low-voltage microprocessor loads
- DC2: A framework for scalable, scope-bounded software verification
- DCT STATISTICS MODEL-BASED BLIND IMAGE QUALITY ASSESSMENT
- DCT-domain blind measurement of blocking artifacts in DCT-coded images
- DDF Seeks Same: Sexual Health-Related Language in Online Personal Ads For Men Who Have Sex With Men