A modular reactor for lunar and planetary base service
A modular rotating collimator imaging X-ray spectrometer
A Modular Toolkit for Distributed Interactions
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
A modulation model for the solar and lunar daily geomagnetic variations
A Modulus-Squared Dirichlet Boundary Condition for Time-Dependent Complex Partial Differential Equations and its Application to the Nonlinear Schrödinger Equation
A molecular 3 and 12mm line survey of Cen A
A molecular dynamics study of solvated orthosilicic acid and orthosilicate anion using parameterized potentials
A Molecular Model for Communication through a Secrecy System
A Moment of Perfect Clarity I: The Parallel Census Technique
A Moment of Perfect Clarity II: Consequences of Sparse Sets Hard for NP with Respect to Weak Reductions
A Monadic Formalization of ML5
A Monadic, Functional Implementation of Real Numbers
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization
A Monitoring System for the BaBar INFN Computing Cluster
A monitoring tool for a GRID operation center
A Monte Carlo AIXI Approximation
A Monte Carlo algorithm for efficient large matrix inversion
A Monte Carlo approach to scattering off surfaces of triaxial ellipsoids
A Monte Carlo Method for Including Chandra Instrument Response Uncertainties in Parameter Estimation Studies