Increased TGF-β and BMP Levels and Improved Chondrocyte-Specific Marker Expression In Vitro under Cartilage-Specific Physiological Osmolarity

Optimizing the stoichiometry of ultrathin NbTiN films for high-performance superconducting nanowire single-photon detectors

Active corrosion protection of aerospace aluminium alloys by lithium-leaching coatings

Horizontal and vertical thermospheric cross-wind from GOCE linear and angular accelerations

Towards language-parametric semantic editor services based on declarative type system specifications

Scopes and frames improve meta-interpreter specialization

Trajectory optimization of extended formation flights for commercial aviation

From definitional interpreter to symbolic executor

Towards language-parametric semantic editor services based on declarative type system specifications

An optimization framework for route design and allocation of aircraft to multiple departure routes

Cross-wind from linear and angular satellite dynamics: The GOCE perspective on horizontal and vertical wind in the thermosphere

Exploring Short-Term Training Effects of Ecological Interfaces: A Case Study in Air Traffic Control

Fourier series for eclipses on exoplanet binaries

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

Gradually typing strategies

A comparison of steam reforming concepts in solid oxide fuel cell systems

Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications

The need for sustainable teleconsultation systems in the aftermath of the first COVID-19 Wave

Description of the multi-approach gravity field models from Swarm GPS data

Multi-purpose Syntax Definition with SDF3