Conference Proceeding RDF
pages:- 111
- 112
- 113
- 114
- 115
- 116
- 117
- 118
- 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
- more...
- Compositional Construction of Control Barrier Functions for Interconnected Control Systems
- Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach
- Compositional engineering of tin-lead halide perovskites for efficient and stable low band gap solar cells
- Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems
- Compositional Learning-based Planning for Vision POMDPs
- Compositional mapping of Saturn’s E-ring during Cassini’s flyby of Rhea
- Compositional Modeling and Analysis of Automotive Feature Product Lines
- Compositional synthesis of almost maximally permissible safety controllers
- 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 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-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