Conference Proceeding RDF
pages:- 119
- 120
- 121
- 122
- 123
- 124
- 125
- 126
- 127
- 128
- 129
- 130
- 131
- 132
- 133
- 134
- 135
- 136
- 137
- 138
- 139
- 140
- 141
- 142
- 143
- 144
- 145
- 146
- 147
- 148
- 149
- 150
- 151
- 152
- 153
- 154
- 155
- 156
- 157
- 158
- 159
- more...
- Compositional synthesis of almost maximally permissible safety controllers
- Compositional Synthesis of Controllers via Co-Biichi Barrier Certificates
- Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach
- Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions
- Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
- Compositional Synthesis of Symbolic Models for Infinite Networks
- Compositional Verification of Initial-State Opacity for Switched Systems
- Compositional verification of large-scale stochastic systems
- Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions
- Compound specific isotope analysis and the challenge for identifying life: The role of biosignatures and abiosignatures
- Comprehending Dynamics of the Ecuadorian River Discharge Series Using Wavelet Analysis and Bandpass Filters
- Comprehensive Assessment of Tropospheric Effects at a Wide Range of Frequencies Transmitted from LEO Satellites
- Comprehensive Device Modeling of Plasmon-Enhanced and Optical Field-Dependent Photocurrent Generation in Organic Bulk Heterojunctions
- Comprehensive high-throughout analysis of polymer formation and final properties: Towards refined understanding of structure-kinetics-properties relationships
- Compressed Sensing with Homodyne Detection
- Compressed-liquid densities of two alternative turbine fuels
- COMPRESSIBILITY EFFECT ON SPATIALLY-DEVELOPING TURBULENT BOUNDARY LAYERS VIA DNS
- Compressibility effect on thermal coherent structures in spatially-developing turbulent boundary layers via DNS
- Compressible turbulence effects on premixed autoignition
- Compressive Failure Mechanisms of Thermoplastic Pipeline Systems in Response to Seismically Representative Compressive Loading
- Computability of design diagrams - an empirical study of diagram conventions in design
- COMPUTATION AND APPLICATIONS OF AN ORBITAL DYNAMICS SYMPLECTIC STATE TRANSITION MATRIX
- Computation of Boolean Matrix Chain Products in 3D ReRAM
- Computation of causal characteristic impedances
- Computation of electron cloud diagnostics and mitigation in the main injector
- Computation of Hovering Mode Vortex Dynamics
- Computation of the Sample Frechet Mean for Sets of Large Graphs with Applications to Regression
- Computational accelerator physics Working group summary
- Computational Antigen Optimization through Symbolic Optimization and Affinity Maturation Simulation
- Computational aspects of gene (un)scrambling in ciliates