Unfolding Partiality and Disjunctions in Stable Model Semantics

Unfolding Restricted Convex Caps

Unfolding Smooth Primsatoids

Unfolding The High Energy Electron Flux From CRRES Fluxmeter Measurements

Ungrouped iron meteorites in Antarctica - Origin of anomalously high abundance

UniCalc.LIN: a linear constraint solver for the UniCalc system

Unicast and Multicast Qos Routing with Soft Constraint Logic Programming

Unicode in Domain-Specific Programming Languages for Modeling & Simulation: ScalaTion as a Case Study

UNICORE - From Project Results to Production Grids

Unidentified cometary emission lines (Simonia, 2004)

Unidentified features in the spectrum of Triton

Unidentified Lines In The High-resolution 3-micron Spectra of Jupiter And Titan

Unidirectional Error Correcting Codes for Memory Systems: A Comparative Study

Unificated Approach to the Multi Channel GPS/GLONASS Receiver Adaptation to the Aerospace Vehicle Onboard Integrated System

Unification and Matching on Compressed Terms

Unification in the Description Logic EL

Unification modulo a partial theory of exponentiation

Unification of distances and peculiar velocities arrays for galaxies of the Mark III and RFGC catalogues

Unification of Fusion Theories

Unification of Maximum Entropy and Bayesian Inference via Plausible Reasoning