Search Sciweavers | Sciweavers

102291 search results - page 46 / 20459

» Computing

click to vote

COMPUTER
2007

89views more COMPUTER 2007»

Caravela: A Novel Stream-Based Distributed Computing Environment

13 years 9 months ago

Download dis.um.es

Shinichi Yamagiwa, Leonel Sousa

claim paper

Read More »

click to vote

COMPUTER
2008

82views more COMPUTER 2008»

Some Computer Science Issues in Creating a Sustainable World

13 years 8 months ago

Download footprints.cmubi.org

Jennifer Mankoff, Robin Kravets, Eli Blevis

claim paper

Read More »

click to vote

MFCS
2001
Springer

78views Theoretical Computer Science» more MFCS 2001»

Computable Versions of Baire's Category Theorem

14 years 1 months ago

Download cca-net.de

We study diﬀerent computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, diﬀerent logical forms of this theorem lead ...

Vasco Brattka

claim paper

Read More »

click to vote

ENTCS
2006

110views more ENTCS 2006»

First Steps in Synthetic Computability Theory

13 years 9 months ago

Download math.andrej.com

Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...

Andrej Bauer

claim paper

Read More »

click to vote

Lecture Notes

476views

Algebra and Computation

15 years 7 months ago

Download people.csail.mit.edu

These are the lecture notes by Madhu Sudan on the course Algebra and Computation, offered in MIT in 1999.

Madhu Sudan

posted by sujit