<--- Back to Details
First PageDocument Content
Knowledge / Theoretical computer science / Algorithm / Mathematical logic / Bioinformatics / Richard M. Karp / Jini / Cryptography / Distributed computing / Science / Formal sciences / Applied mathematics
Date: 2007-09-14 17:48:45
Knowledge
Theoretical computer science
Algorithm
Mathematical logic
Bioinformatics
Richard M. Karp
Jini
Cryptography
Distributed computing
Science
Formal sciences
Applied mathematics

Add to Reading List

Source URL: people.csail.mit.edu

Download Document from Source Website

File Size: 54,37 KB

Share Document on Facebook

Similar Documents

Formal analysis of privacy in Direct Anonymous Attestation schemes Ben Smyth1 , Mark D. Ryan2 , and Liqun Chen3 1 Mathematical and Algorithmic Sciences Lab, France Research

DocID: 1uW0q - View Document

Symposium: Internationalizing the Learning Sciences from Formal to Informal Learning Environments Co-Chairs: Carolyn Penstein Rosé & Matthew Kam, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, {cp

DocID: 1uRSa - View Document

Towards Practical Reflection for Formal Mathematics Martin Giese1 and Bruno Buchberger2 1 RICAM, Austrian Academy of Sciences,

DocID: 1uGb6 - View Document

Formal models of bank cards for free Fides Aarts, Joeri de Ruiter, and Erik Poll Institute for Computing and Information Sciences Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The Netherlands {f.aarts,joer

DocID: 1uBfg - View Document

Nanopublication Beyond the Sciences Patrick Golden, Ryan Shaw The information expressed in humanistic datasets is inextricably tied to a wider discursive environment that is irreducible to complete formal representation.

DocID: 1ueqg - View Document