A dendritic solidification model to explain Ge-Ni variations in iron meteorite chemical groups
A Denotational Semantics for First-Order Logic
A Dense Hierarchy of Sublinear Time Approximation Schemes for Bin Packing
A Density Matrix-based Algorithm for Solving Eigenvalue Problems
A density-wave map of the galactic spiral structure
A dependent nominal type theory
A depleted mantle source for kimberlites from Zaire: Nd, Sr and Pb isotopic evidence
A depleted, destabilized continental lithosphere near the Rio Grande rift
A Derandomized Sparse Johnson-Lindenstrauss Transform
A derivational rephrasing experiment for question answering
A Description Logic Primer
A description of the focal plane/detector test and evaluation lab at MDAC-HB
A description of the solar wind-magnetosphere coupling based on nonlinear filters
A Descriptive Characterization of Tree-Adjoining Languages (Full Version)
A Descriptive Model of Robot Team and the Dynamic Evolution of Robot Team Cooperation
A Design and Implementation of the Extended Andorra Model
A Design Framework for Limited Feedback MIMO Systems with Zero-Forcing DFE
A Design Methodology for Folded, Pipelined Architectures in VLSI Applications using Projective Space Lattices
A Design Methodology for Space-Time Adapter
A design of a C-band RF filter