Deficiency Zero Petri Nets and Product Form

Deficit of distant X-ray-emitting galaxy clusters and implications for cluster evolution

Definability of linear equation systems over groups and rings

Definable functions in the simply typed lambda-calculus

Defining a Comprehensive Threat Model for High Performance Computational Clusters

Defining and Computing Alternative Routes in Road Networks

Defining and Generating Axial Lines from Street Center Lines for better Understanding of Urban Morphologies

Defining and Mining Functional Dependencies in Probabilistic Databases

Defining Life: Connecting Robotics and Chemistry

Defining Life: The Virus Viewpoint

Defining mirror quality: a global approach

Defining Rough Sets by Extended Logic Programs

Defining the Delays of the Asynchronous Circuits

Defining the source region of the Indian Ocean Tsunami from GPS, altimeters, tide gauges and tsunami models

Defining the Terrestrial Oxygen Isotope Fractionation Line and Observed Oxygen Isotopic Heterogeneity Within the Allende Meteorite

Defining the threshold wind velocity for moistened sediments

Defining Top-of-the-Atmosphere Flux Reference Level for Earth Radiation Budget Studies.

Definition and Complexity of Some Basic Metareasoning Problems

Definition and Implementation of a Points-To Analysis for C-like Languages

Définition d'une pièce test pour la caractérisation d'une machine UGV