Conference Proceeding RDF
pages:- 502
- 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
- more...
- 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
- Stateless TCP
- Static aeroelastic behavior of a chiral-core airfoil
- Static aeroelastic response of chiral-core airfoils
- Static Analysis
- Static analysis in disjunctive numerical domains
- Static Analysis in the Continuously Changing World
- Static Analysis of ReLU Neural Networks with Tropical Polyhedra
- Static methods in hybrid branch prediction
- Stationary L-Band Radiometry for Seasonal Measurements of Soil Moisture
- Statistical Analysis of Optimal Stationkeeping Location and Coast Duration using Stretching Directions
- Statistical analysis of security violations in computer software
- Statistical Analysis of Surface Reflectivity with GNSS Reflected Signals from a Mixed Ice and Water Surface
- Statistical and theoretical studies of flares from Sagittarius A
- STATISTICAL APPROACHES TO INCREASE EFFICIENCY OF LARGE-SCALE MONTE-CARLO SIMULATIONS