Conference Proceeding RDF
pages:- 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
- 544
- 545
- 546
- 547
- 548
- 549
- 550
- 551
- more...
- Symbolic model checking of Analog/Mixed-Signal circuits
- Symbolic model checking of hybrid systems using template polyhedra
- Symbolic models for stochastic control systems without stability assumptions
- Symbolic models for unstable nonlinear control systems
- Symbolic Models of Networked Control Systems: A Feedback Refinement Relation Approach
- Symbolic Synthesis with Average Performance Guarantees
- Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
- Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
- Symmetric formulations for finite element vibration analysis of acoustoelastic fluid structure interaction
- Symmetric Strategy Improvement
- SYMMETRY ANALYSIS OF DDSCAT-BASED PHASE MATRIX FOR 3-D MICROWAVE RT MODEL DEVELOPMENT
- SYMMETRY DETECTION AND DYNAMIC VARIABLE ORDERING OF DECISION DIAGRAMS
- SYMMETRY-BREAKING IN CFD - CAUSES AND CONSEQUENCES
- Symposium: Embodying STEM: Learning at the Intersection of Dance and STEM.
- Symptom-level genetic modelling identifies novel risk loci and unravels the shared genetic architecture of anxiety and depression
- Synchronization and phase lock of two mode-locked femtosecond lasers
- Synchronized chaos in geophysical fluid dynamics and in the predictive Modeling of natural systems
- Synchronizing Computer Clocks Using Kalman Filters
- Synchronous interlocked pipelines
- Synchronous Series Capacitor Tapped Inductor (SCTI) Converter with Auxiliary Snubber Winding
- Synchrotron X-ray fluorescence unravels the effect of temperature and light on elemental incorporation into E. huxleyi coccolith matrix at nanometer resolution
- SYNCHROTRON X-RAY-DIFFRACTION STUDIES OF THE LATTICE AND MAGNETIC-STRUCTURE OF EPITAXIAL DY FILMS IN LAF3/DY/LAF3 SANDWICHES
- Synchrotron-based studies of nanoparticulate iron oxyhydroxide growth and metal uptake
- Synerg-eye-zing: Decoding Nonlinear Gaze Dynamics Underlying Successful Collaborations in Co-located Teams
- Synergistic inactivation of Bacillus globigii spores using combined aqueous chlorine and ultraviolet light
- Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression
- Synoptic-scale ice-motion case-studies using assimilated motion fields
- SYNTHESIS AND BIOCHEMICAL-STUDIES OF DITHIOATE DNA
- Synthesis and characterization of colloidal InP quantum rods and dots.
- Synthesis and characterization of InP, GaP, and GaInP2 quantum dots.