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

Mathematics

Current selections

Sort by: Most recent

Clear selections

Publication

Formal Analysis of Dynamic, Distributed File-System Access Controls

Avik Chaudhuri, Martin Abadi

Formal Techniques for Networked and Distributed Systems (FORTE 2006) | September 2006

Publication

Why Sets?

Andreas Blass, Yuri Gurevich

MSR-TR-2006-138 | September 2006

Publication

Embedding, Distance Estimation and Object Location in Networks

Aleksandrs Slivkins, Aleksandrs Slivkins

August 2006

August 2006

Publication

Concurrent Composition of Secure Protocols in the Timing Model

Ronald L Rivest, Adi Shamir, Yael Tauman Kalai

Journal of Cryptology | July 2006

Publication

Graph Limits and Parameter Testing

Christian Borgs, Jennifer Chayes, Laszlo Lovasz, Vera T. Sos, Balazs Szegedy, Katalin Vesztergombi

May 2006

Publication

Convergent Sequences of Dense Graphs I: Subgraph Frequencies, Metric Properties and Testing

Christian Borgs, Jennifer Chayes, L. Lovasz, V. T. Sos, K. Vesztergombi

May 2006

Publication

Code Generation and Factoring for Fast Evaluation of Low-order Spherical Harmonic Products and Squares

MSR-TR-2006-53 | May 2006

Publication

Towards a Quality Model for Effective Data Selection in Collaboratories

Yogesh Simmhan, Dennis Gannon

International Conference on Data Engineering Workshops (ICDEW) – Scientific Workflows and Dataflows (SciFlow) | April 2006

ISBN: 769525717

Publication

Program Termination, and Well Partial Orderings

Andreas Blass, Yuri Gurevich

MSR-TR-2006-27 | March 2006

Publication

Counting Graph Homomorphisms

Christian Borgs, Jennifer Chayes, Laszlo Lovasz, Vera T. Sos, Katalin Vesztergombi

Topics in Discrete Mathematics | Published by Springer | 2006 | Topics in Discrete Mathematics (eds. M. Klazar, J. Kratochvil, M. Loebl, J. Matousek, R. Thomas, P. Valtr) edition

Editor(s): M. Klazar, J. Kratochvil, M. Loebl, J. Matousek, R. Thomas, P. Valtr