Conference Proceeding RDF
pages:- 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
- 552
- 553
- 554
- 555
- 556
- 557
- 558
- 559
- 560
- 561
- more...
- SWITCHED LYAPUNOV FUNCTION BASED COULOMB CONTROL OF A TRIANGULAR 3-VEHICLE CLUSTER
- Switched-capacitor DC/DC converter with resonant gate drive
- Switching regulator with dynamically adjustable supply voltage for low power VLSI
- Switching rules for decentralized control with simple control laws
- Syllable Lattices as a Basis for a Children's Speech Reading Tracker
- Sylph: biosignature detection probe for potential Europa plumes
- Symbolic computation of logic implications for technology-dependent low-power synthesis
- Symbolic Deadlock Analysis in Concurrent Libraries and their Clients
- Symbolic guided search for CTL model checking
- 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
- SYMMETRIZED PLANE-WAVE (SPW) AND SYMMETRIZED GAUSSIAN (SG) CHARGE-DENSITY PROJECTOR FOR SELF-CONSISTENT BAND-STRUCTURE APPLICATIONS
- 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