Communications on Pure and Applied Mathematics

Paper

13 Oct 2006

A note on monte carlo primality tests and algorithmic information theory

View publication

Abstract

No abstract available.

Conference paper

IT service management automation - A hybrid methodology to integrate and orchestrate collaborative human centric and automation centric workflows

Naga Ayachitula, Melissa Buco, et al.

SCC 2007

Paper

Kinematic theory of signature verification measurements

John S. Lew

Mathematical Biosciences

Paper

Stabilizer-based symmetry breaking constraints for mathematical programs

Leo Liberti, James Ostrowski

Journal of Global Optimization

Paper

Mapping behavioral specifications to model parameters in synthetic biology

Heinz Koeppl, Marc Hafner, et al.

BMC Bioinformatics

View all publications