Jorge J. Moré
: Automatic Differentiation Tools in Optimization Software.
, Davide Rocchesso
: Signal-Theoretic Characterization of Waveguide Mesh Geometries for Models of Two-Dimensional Wave Propagation in Elastic Media.
: Assertion checker for the C programming language based on computations over event traces.
: General Loss Bounds for Universal Sequence Prediction.
: Deterministic computations whose history is independent of the order of asynchronous updating.
: Open Archives Initiative protocol development and implementation at arXiv.
: Total Protection of Analytic Invariant Information in Cross Tabulated Tables.