Conference Proceeding RDF
pages:- 556
- 557
- 558
- 559
- 560
- 561
- 562
- 563
- 564
- 565
- 566
- 567
- 568
- 569
- 570
- 571
- 572
- 573
- 574
- 575
- 576
- 577
- 578
- 579
- 580
- 581
- 582
- 583
- 584
- 585
- 586
- 587
- 588
- 589
- 590
- 591
- 592
- 593
- 594
- 595
- 596
- more...
- SWARM-EX: Investigating IT Variability with a 3 CubeSat Configuration
- Swiping and social anxiety: Dating app usage among socially anxious college students
- SwisTrack - A Flexible Open Source Tracking Software for Multi-Agent Systems
- SwisTrack: a tracking tool for multi-unit robotic and biological systems
- Switchable Polarization-Sensitive Surface Plasmon Resonance of Highly Stable Gold Nanorods-Liquid Crystals Composites
- Switchable Polarization-Sensitive Surface Plasmon Resonance of Highly Stable Gold Nanorods-Liquid Crystals Composites
- 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 algorithms for layout-oriented synthesis of pass transistor logic circuits
- 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