Conference Proceeding RDF
pages:- 384
- 385
- 386
- 387
- 388
- 389
- 390
- 391
- 392
- 393
- 394
- 395
- 396
- 397
- 398
- 399
- 400
- 401
- 402
- 403
- 404
- 405
- 406
- 407
- 408
- 409
- 410
- 411
- 412
- 413
- 414
- 415
- 416
- 417
- 418
- 419
- 420
- 421
- 422
- 423
- 424
- more...
- Rovibrational grouping for N2(1Σ+ g)-N2(1Σ+ g) energy transfer using state-to-state model
- Run-time extensibility: anything less is unsustainable
- Running Improves the Economy of Walking Among Older Adults
- Running in confined spaces by the American cockroach
- Running without feet: the role of tarsi during high-speed horizontal locomotion in cockroaches
- Running-specific prosthetic model affects top sprinting speed in athletes with unilateral transtibial amputations
- Running-specific prosthetic model affects top sprinting speed in athletes with unilateral transtibial amputations
- RunTime-Assisted Convergence in Replicated Data Types
- Rush from the Border: Contemporary Population Redistribution in Mexico
- Rush from the border? Explaining shifts in population mobility in contemporary Mexico
- Russian High-Speed Software Development: Overcoming the Challenges of Globalization.
- S-matrix theory of 'recoil-ion' momentum disribution for double ionization in femtosecond laser fields
- S-matrix theory of ionization of molecules in intense laser fields
- S-TALIRO: A Tool for Temporal Logic Falsification for Hybrid Systems
- S.J. High-fat diet and aging interact to produce neuroinflammation and impair hippocampal- and amygdalar-dependent memory.
- S53E-0500 - Shear Velocity Model of Alaska via Joint Inversion of Rayleigh Wave Ellipticity, Phase Velocities, and Receiver Functions across the USArray (Invited)
- Sa spang mda' gnam spang mda': Murder, history, and social politics in 1920s Lhasa
- Sacral accelerations predict whole body kinetics and stride kinematics during running
- Safe and Robust Robot Learning from Demonstration through Conceptual Constraints
- Safe Robot Learning in Assistive Devices through Neural Network Repair
- Safe Stream-Based Programming with Refinement Types
- Safeguarding against spurious AI-based predictions: The case of automated verbal memory assessment
- Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
- Safety hazard identification and eye scan patterns: An investigation into the relationships between hazard identification performance and eye scan patterns
- Safety of XT-150 Human IL-10v Plasmid Gene Therapy Intrathecal in a Mouse Neuropathic Pain Model
- Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates
- Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression
- SAGE: An Approach and Implementation Empowering Quick and Reliable Quantitative Analysis of Segmentation Quality
- Sagnac Interferometer for Two-Dimensional Spectroscopy in the Pump-Probe Geometry
- Sailcraft coordinate systems and format for reporting propulsive performance