Conference Proceeding RDF
pages:- 503
- 504
- 505
- 506
- 507
- 508
- 509
- 510
- 511
- 512
- 513
- 514
- 515
- 516
- 517
- 518
- 519
- 520
- 521
- 522
- 523
- 524
- 525
- 526
- 527
- 528
- 529
- 530
- 531
- 532
- 533
- 534
- 535
- 536
- 537
- 538
- 539
- 540
- 541
- 542
- 543
- more...
- STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis
- Standardized tooling delivery systems for decommissioning of US Department of Energy nuclear facilities
- Standing on the Shoulders of Giants: Exploring the Intersection of Philosophy and HCI
- Standing surface acoustic wave enabled acoustofluidics for bioparticle manipulation
- Stanley Chromatic Functions and a Conjecture in The Representation Theory of Unipotent Groups
- Star formation
- STAR FORMATION STUDIES FROM ANTARCTICA
- Stare Processing Improves GNSS-R, Machine Learning-Based Ocean Wind Speed Retrieval
- STARS: A Proposal for a Dedicated Space Mission to Study Stellar Structure and Evolution
- Starspot variability and evolution from modeling Kepler photometry of active late-type stars
- Starting all things early: Connection between age of initiation of tobacco use and the development of alcohol abuse among late adolescents
- Stasis of ecologically versatile specialists
- Stasis of functionally versatile specialists
- STATE ESTIMATION AND MANEUVER RECONSTRUCTION WITH THE NONLINEAR ADAPTIVE OPTIMAL CONTROL BASED ESTIMATOR
- State machines are child's play
- State space exploration using feedback constraint generation and Monte-Carlo sampling.
- State Space Reductions for Scalable Verification of Asynchronous Designs
- STATE TRANSITION MATRIX APPROXIMATION USING A GENERALIZED AVERAGING METHOD
- State Transportation Agency Use of Community Outreach Tools on Accelerated Highway Construction Projects
- State-controlling Sets for Conjunctive Boolean Networks
- State-Machine Realization of Second-Order Sliding-Mode Control for Synchronous Buck DC-DC Converters
- State-of-Charge Control with Series Output Connected DC-DC Modules in Active Battery Management Systems
- State-of-Charge Estimation Based on Microcontroller-Implemented Sigma-Point Kalman Filter in a Modular Cell Balancing System for Lithium-Ion Battery Packs
- State-of-the-Practice in the Design and Construction of Flexible Facilities
- State-to-State and Direct Molecular Simulation Study of energy transfer and dissociation in nitrogen mixtures
- State-to-state and direct molecular simulation study of energy transfer and dissociation of nitrogen mixtures
- State-to-State and reduced-order models for recombination and energy transfer in aerothermal environments
- State-to-State Modeling of CO for Mars Entry Applications
- StateLens: A Reverse Engineering Solution for Making Existing Dynamic Touchscreens Accessible
- Stateless Network Functions: Breaking the Tight Coupling of State and Processing