A Model-Theoretic Semantics for Defeasible Logic
A modeling analysis program for the JPL table mountain Io sodium cloud
A Modeling Approach based on UML/MARTE for GPU Architecture
A Modeling Framework for Generating Security Protocol Specifications
A Modeling Framework for Gossip-based Information Spread
A modelling of ejecta as a space debris source
A modelling study of the coupled ionospheric and thermospheric response to an enhanced high-latitude electric field event
A moderate-resolution, high-throughput CCD channel for the Multiple Mirror Telescope spectrograph
A Modification of the Atmospheric Energy Cycle.
A modified Archie's law for two conducting phases
A Modified ck-Secure Sum Protocol for Multi-Party Computation
A modified local mixing-length theory.
A modified method to compute the instant of orbit changing and the preliminary study on orbit changing.
A modified particle-particle approach to the charging of grain lattices within a dusty plasma
A Modular and Fault-Tolerant Data Transport Framework
A Modular and Flexible Architecture for an Integrated Corpus Query System
A modular design for rapid-response telecoms and navigation missions
A modular eballot system - V0.6
A modular gas-cooled cermet reactor system for planetary base power
A modular gas-cooled cermet reactor system for planetary base power