illustration of mathematical symbols, a plus sign, and a calculator on a green gradient background

Mathematics

Current selections

Sort by: Most recent

Clear selections

Project

Stochastic Pi Machine

The Stochastic Pi Machine (SPiM) is a programming language for designing and simulating computer models of biological processes. The language is based on a mathematical formalism known as the pi-calculus, and the simulation algorithm is…

Publication

GrayWulf: Conquering Astronomical Databases

Yogesh Simmhan

Astronomical Data Analysis Software and Systems (ADASS) | November 2008

Astronomical Data Analysis Software and Systems (ADASS)

Publication

Modular difference logic is hard

Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi

MSR-TR-2008-140 | October 2008

Publication

GrayWulf: Scalable Clustered Architecture for Data Intensive Computing

Alex S. Szalay, Gordon Bell, Jad Vandenberg, Alainna Wonders, Randal Burns, Dan Fay, Jim Heasley, Tony Hey, Maria Nieto-SantiSteban, Ani Thakar, Catharine van Ingen, Richard Wilton

MSR-TR-2008-187 | September 2008

Pre-Print of version submitted to HICSS 2009.

Publication

A Natural Axiomatization of Computability and Proof of Church’s Thesis

Nachum Dershowitz, Yuri Gurevich

The Bulletin of Symbolic Logic | September 2008, Vol 14(3)

Publication

A Mechanized Bisimulation for the Nu-Calculus

Nick Benton, Vasileios Koutavas

MSR-TR-2008-129 | September 2008

Publication

Partition Identities and the Coin Exchange Problem

Alexander E. Holroyd

Journal of Combinatorial Theory, Series A | August 2008, Vol 115: pp. 1096-1101

Publication

Low-Complexity Hierarchical Lapped Transform for Lossy-to-Lossless Image Coding in JPEG XR / HD Photo

Chengjie Tu, Sridhar Srinivasan, Gary J. Sullivan, Shankar Regunathan, Henrique S. Malvar

SPIE Applications of Digital Image Processing | August 2008

Publication

Deciding Effectively Propositional Logic using DPLL and Substitution Sets

Leonardo de Moura, Ruzica Piskac, Nikolaj Bjørner

MSR-TR-2008-104 | August 2008

Publication

Earth system modelling with Windows Workflow Foundation

M. J. Fairman, A. R. Price, G. Xue, M. Molinari, D. A. Nicole, T. M. Lenton, R. Marsh, K. Takeda, S. J. Cox, Kenji Takeda

Future Generation Computer Systems | Published by Elsevier | 2008 | Future Generation Computer Systems edition

Your Privacy Choices