A synthesis of lead isotopes in two millennia of European air
A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
A synthesis telescope at Molonglo
A Synthesizer based on square waves
A synthetic spectrum study of the sun and Arcturus
A system architecture for a highly autonomous Mars rover
A system engineering study of the Eddington onboard science data processing chain
A System F accounting for scalars
A system for coarse-grained location-based synchronisation
A System for Distributed Mechanisms: Design, Implementation and Applications
A System for Predicting Subcellular Localization of Yeast Genome Using Neural Network
A system for reflection in C++
A System for Smart Home Control of Appliances based on Timer and Speech Interaction
A system for the simulation of simultaneous moves between two noncolocational players
A System Integrating High and Low Level Planning of Complex Tasks with a 3-D Visualiser
A System of Interaction and Structure
A System of Interaction and Structure II: The Need for Deep Inference
A System of Interaction and Structure IV: The Exponentials and Decomposition
A System Theoretic Approach to Bandwidth Estimation
A System-Level Semantics