Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

Uniform Memory and Serialization for Lambda Calculus

Uniform Proofs of Order Independence for Various Strategy Elimination Procedures

Uniform Provability in Classical Logic

Uniform Random Sampling of Traces in Very Large Models

Uniform Reduction to SAT

Uniform Representations for Syntax-Semantics Arbitration

Uniform sampling of undirected and directed graphs with a fixed degree sequence

Uniform semantic treatment of default and autoepistemic logics

Uniform test of algorithmic randomness over a general space

Uniform unweighted set cover: The power of non-oblivious local search

Uniformity of Zirconium Isotopic Compositions in the Inner Solar System

Uniformly balanced words with linear complexity and prescribed letter frequencies

Uniformly spaced field-aligned ionization ducts

Unifying Class-Based Representation Formalisms

Unifying Computing and Cognition: The SP Theory and its Applications

Unifying Lexicons in view of a Phonological and Morphological Lexical DB

Unifying Lunar Topographic and Other Datasets

Unifying the Landscape of Cell-Probe Lower Bounds

Unifying the planar bar and the boxy bulge of the Milky Way