Searched for:
(1 - 20 of 494)

Pages

Superconducting High-Aspect Ratio Through-Silicon Vias with DC-Sputtered Al for Quantum 3D integration
Superconducting High-Aspect Ratio Through-Silicon Vias with DC-Sputtered Al for Quantum 3D integration
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
FlowSpec
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis
Application of in-situ liquid cell transmission electron microscopy in corrosion studies
Application of in-situ liquid cell transmission electron microscopy in corrosion studies: a critical review of challenges and achievements
Fourier series for eclipses on exoplanet binaries
Fourier series for eclipses on exoplanet binaries
A comparison of steam reforming concepts in solid oxide fuel cell systems
A comparison of steam reforming concepts in solid oxide fuel cell systems
Cross-sectional characterization of the conversion layer formed on AA2024-T3 by a lithium-leaching coating
Cross-sectional characterization of the conversion layer formed on AA2024-T3 by a lithium-leaching coating
Exploring the response of a resistive soot sensor to AC electric excitation
Exploring the response of a resistive soot sensor to AC electric excitation
Impactos de la progresiva expansión urbana en las temperaturas del subsuelo de la ciudad de Amsterdam (Países Bajos)
Impactos de la progresiva expansión urbana en las temperaturas del subsuelo de la ciudad de Amsterdam (Países Bajos)
Maintaining transparency of a heated MEMs membrane for enabling long-term optical measurements on soot-containing exhaust gas
Maintaining transparency of a heated MEMs membrane for enabling long-term optical measurements on soot-containing exhaust gas
Study of TES Detector Transition Curve to Optimize the Pixel Design for Frequency-Division Multiplexing Readout
Study of TES Detector Transition Curve to Optimize the Pixel Design for Frequency-Division Multiplexing Readout
Hydrogen-natural gas combustion in a marine lean-burn SI engine
Hydrogen-natural gas combustion in a marine lean-burn SI engine: A comparitive analysis of Seiliger and double Wiebe function-based zero–dimensional modelling
Intrinsic methane steam reforming kinetics on nickel-ceria solid oxide fuel cell anodes
Intrinsic methane steam reforming kinetics on nickel-ceria solid oxide fuel cell anodes
Exploring Short-Term Training Effects of Ecological Interfaces
Exploring Short-Term Training Effects of Ecological Interfaces: A Case Study in Air Traffic Control
Cross-wind from linear and angular satellite dynamics
Cross-wind from linear and angular satellite dynamics: The GOCE perspective on horizontal and vertical wind in the thermosphere
An optimization framework for route design and allocation of aircraft to multiple departure routes
An optimization framework for route design and allocation of aircraft to multiple departure routes
Towards language-parametric semantic editor services based on declarative type system specifications
Towards language-parametric semantic editor services based on declarative type system specifications
From definitional interpreter to symbolic executor
From definitional interpreter to symbolic executor
Trajectory optimization of extended formation flights for commercial aviation
Trajectory optimization of extended formation flights for commercial aviation
Towards language-parametric semantic editor services based on declarative type system specifications
Towards language-parametric semantic editor services based on declarative type system specifications
Searched for:
(1 - 20 of 494)

Pages