Conference Proceeding RDF
pages:- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- 106
- 107
- 108
- 109
- 110
- 111
- 112
- 113
- 114
- 115
- 116
- 117
- 118
- 119
- 120
- 121
- 122
- 123
- 124
- more...
- 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 causal characteristic impedances
- Computation of electron cloud diagnostics and mitigation in the main injector
- Computation of Hovering Mode Vortex Dynamics
- Computation of the Sample Fréchet Mean for Sets of Large Graphs with Applications to Regression
- Computational accelerator physics Working group summary
- Computational aspects of gene (un)scrambling in ciliates
- Computational Clock Drawing Analysis for Cognitive Impairment Screening
- Computational Closed-Loop Controller Design for Active De-icing of Wind Turbines Using Distributed Resistive Heaters and Temperature Sensors
- Computational Considerations for Satellite-Based Geopotential Recovery
- Computational Design of a Gain-Stabilized 2.5:1 Bandwidth Ridged Horn Antenna
- Computational Efficiency of Symplectic Integrators for Space Debris Orbit Propagation
- Computational fluid dynamics simulation of a tubular aerosol reactor for solar thermal ZnO decomposition
- Computational fluid dynamics simulation study of active power control in wind plants
- Computational Fluid Dynamics Simulation Study of Active Power Control in Wind Plants