
	Where results make sense

Topic: Vaughan Pratt

Related Topics

Sun Microsystems

Stanford University

Vinod Khosla

Computer science

Ambigram

Professor

Instruction level parallelism

Tandem Computers

JeffK

Playboy Brasil

Sodium chloride

Playboy

The Man in the Iron Mask

In the News (Thu 10 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Tiqit \| Computing for Mobile Professionals
		Vaughan Pratt founded Tiqit Computers in March 2000 with the goal of extending computing environment homogeneity down to handheld scale computing.
		He is currently Professor Emeritus of Computer Science atStanford University recalled to active duty, where he spends a day a week advising Ph.D. and postdoctoral students working on speech recognition and understanding, wireless propagation and communication, and computational logic, and teaching a course a year.
		Vaughan's PhD in Computer Science is from Stanford University.
	www.tiqit.com /mgmt.shtml (295 words)

	Vaughan Pratt -- Facts, Info, and Encyclopedia article (Site not responding. Last check: 2007-10-19)
		Vaughan Pratt is (additional info and facts about Professor Emeritus) Professor Emeritus of (The branch of engineering science that studies (with the aid of computers) computable processes and structures) Computer Science at (A university in California) Stanford University.
		He directed the (additional info and facts about Sun workstation) Sun workstation project at Stanford from 1980 to 1982 and went on to help found (additional info and facts about Sun Microsystems) Sun Microsystems.
		He is currently on leave from Stanford and is CEO of.
	www.absoluteastronomy.com /encyclopedia/v/va/vaughan_pratt.htm (116 words)

	News and Events
		Pratt's talk, "The Handheld Software Phenomenon: An Expensive Crisis Brewing," will address issues relating to the three principal categories of computer used directly by most people today: the desktop, the laptop and the handheld as realized in PDAs and cell phones.
		Vaughan Pratt is professor emeritus of computer science at Stanford University.
		Pratt's lecture is part of The Dr. Bruce J. Nelson '74 Distinguished Speaker Series, which was created by Nelson's family to honor the memory of the late HMC alumnus.
	www.hmc.edu /headline/pratt.html (330 words)

	New web server fits in a shirt pocket: 2/10/99
		Vaughan Pratt has created the world's smallest web server, a matchbox-sized device that is small enough to fit into a shirt pocket.
		The tiny device is less than 1 3/4 inches high, 2 3/4 inches wide and 1/4 inch thick and performs all the basic functions of a typical desktop computer that occupies 3,000 times the space.
		Pratt and doctoral student Greg Defouw are working on a special glove that can recognize a digital sign language, called Thumbcode, that they have developed to replace the bulky keyboard.
	news-service.stanford.edu /news/1999/february10/webserver210.html (762 words)

	[No title]
		But Vaughan Pratt seems to be challenging the rest of us to find something wrong with his ordinal-based definition of Set, and no-one else has taken up the challenge; so I'll have to break my vow and point out its obvious shortcoming.
		Vaughan's definition is fine as long as you are happy, not just to assume that the axiom of choice holds, but actually to rely on it to construct codings for you.
		Vaughan Pratt Date: Wed, 20 Mar 1996 21:02:30 -0400 (AST) Subject: Re: Proof of nonexistence of membership Date: Wed, 20 Mar 1996 15:58:58 -0500 (EST) From: MTHISBEL@ubvms.cc.buffalo.edu Dear QED, Your proof of nonexistence of the universe is short and convincing.
	www.mta.ca /~cat-dist/catlist/1999/set-memb-func-comp (15844 words)

	A New Kind Of Sign Language Could Liberate Us From Our Desks
		Vaughan Pratt, who leads the research on wearable computers at Stanford, has developed a sign language that he calls thumbcode.
		Pratt says he is exploring other possibilities as well, including handwriting and voice recognition programs.
		But Pratt says both technologies are slow and prone to errors, and need a lot of improvement.
	www.eurekalert.org /pub_releases/1999-02/NS-ANKO-240299.php (497 words)

	DBLP: Vaughan R. Pratt
		Vaughan R. Pratt: Chu spaces as a semantic bridge between linear logic and mathematics.
		Vaughan R. Pratt: Broadening the denotational semantics of linear logic.
		Vaughan R. Pratt: Dynamic algebras as a well-behaved fragment of relation algebras.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/p/Pratt:Vaughan_R=.html (847 words)

	Stanford Magazine: May/June 1999
		Now Vaughan Pratt, a professor of computer science, has created the world's smallest web server, a device that can fit into a shirt pocket.
		The tiny computer -- assembled from off-the-shelf components -- is less than 1 3/4 inches high and 2 3/4 inches wide but performs all the basic functions of a typical desktop computer.
		Pratt created the server in Stanford's Wearables Lab, which is developing computer technology so portable it can be sewn into a piece of clothing.
	www.stanfordalumni.org /news/magazine/1999/mayjun/farm_report/computing.html (275 words)

	4/99 mechanical engineering: computing (Site not responding. Last check: 2007-10-19)
		Pratt's tiny device, which contains the software and hardware needed to operate a website, is less than 1.75 inches high, 2.75 inches wide, and 1 inch thick.
		Pratt assembled the matchbox web server from off-the-shelf components, and it is complete with the exception of a power supply.
		Pratt and doctoral student Greg Defouw are developing a special glove that can recognize a digital sign language called Thumbcode, which they have developed.
	www.memagazine.org /backissues/april99/departments/computing/computing.html (2081 words)

	Computers Today, March 16-31, 1999, Marvels
		Professor Vaughan Pratt crammed the components into a package less than 1.75 inches high, 2.75 inches wide, and 0.25 inch thick-about one-tenth the volume of a PalmPilot organizer.
		Pratt assembled his matchbook computer from a 66 MHz AMD K6 processor, 16 MB of RAM and 16 MB of flash read only memory (ROM).
		Pratt built the server for a new Wearables Lab he has started at Stanford, modelled after a similar project at Massachusetts Institute of Technology (MIT).
	www.india-today.com /ctoday/16031999/marvels.html (640 words)

	[No title]
		Vaughan says -- correctly I think -- that "you can't define sets in the internal logic of Ab." I suspect that the proof will have to use the dualities that reside in Ab.
		This was done in such a way that for a group G one could recover the topos of G-sets (and hence the group itself) from the category of linear representations.
		Vaughan Pratt Date: Thu, 21 Mar 1996 13:33:38 -0400 (AST) Subject: Re: Definition of "definable in" Date: 21 Mar 96 15:59:04 +0100 From: Reinhard Brger, Prof.
	www.mta.ca /~cat-dist/catlist/1999/set-abel-group (2757 words)

	Encyclopedia: Sun Microsystems (Site not responding. Last check: 2007-10-19)
		Sun's logo, which features four interleaved copies of the word sun, was designed by professor Vaughan Pratt, also of Stanford University.
		The initial version of the logo had the sides oriented horizontally and vertically, but it was subsequently redesigned so as to appear to stand on one corner.
		Sun originally used the Motorola 68000 CPU family for the Sun 1 through Sun 3 computer series.
	www.nationmaster.com /encyclopedia/Sun-Microsystems (6993 words)

	BBC News \| Sci/Tech \| Surfing on a matchbox
		The matchbox-sized server was built from standard components by Professor Vaughan Pratt, a computer scientist at Stanford University, California.
		Professor Pratt believes the biggest obstacle to a truly wearable computer is the lack of an easy, compact way of inputting data.
		Professor Pratt and doctoral student Greg Defouw are now working on a special glove that can recognize a digital sign language, called Thumbcode.
	news.bbc.co.uk /hi/english/sci/tech/newsid_276000/276762.stm (371 words)

	Linux PC110 by thread
		Re: [pc110] Free PC110 parts, FS docking station Vaughan R. Pratt
		Re: [pc110] Experiences with RedHat 6 on PC110 Vaughan Pratt
		Re: [pc110] PC110 audio input jacks Vaughan Pratt
	pc110.ro.nu /hypermail (3117 words)

	Stanford Center for Formal Methods in Computing (Site not responding. Last check: 2007-10-19)
		Stanford University has outstanding faculty and research associates who have worked in various areas of the science and technology of formal methods of specification and verification of computational processes.
		Vaughan Pratt works on duality theory and its applications to concurrency modeling, foundations of mathematics, and quantum mechanics.
		Carolyn Talcott is interested in specification and reasoning about programs with facilities such as state and concurrency, and in open architectures for mechanized reasoning systems.
	www-formal.stanford.edu /jmc/math.html (922 words)

	Edge: Work-Group Computing Report: Internet Access: World's Smallest Web Server Fits in a Shirt Pocket - Technology ...
		Using off-the-shelf components, the Stanford professor of computer science has squeezed the hardware and software needed to operate a web site into a package about one-tenth the volume of a PalmPilot, the current standard in hand electronic organizers.
		But, because most people think of servers as mysterious boxes, located in dark basements and cranking out stuff for everyone to see, I thought making it into a web server was particularly dramatic." Equally remarkable, Pratt assembled his matchbook computer from off-the-shelf components.
		A person "wearing" such a computer can see what it is doing by donning and plugging in special glasses that double as a computer display.
	www.findarticles.com /p/articles/mi_m0WUB/is_1999_Feb_15/ai_53897289 (811 words)

	Wired 7.05: Electric Word
		Created by Stanford computer science professor Vaughan Pratt, the matchbox-sized computer can theoretically crunch spreadsheets, manage databases, and serve Web sites, all from a road warrior's wrist.
		Pratt built the server as a demonstration of high processing power in a tiny form factor (his how-to info is at wearables.stanford.edu).
		Today's Scandinavia may be the Realm of the Cell Phone, but back before bits were the universal building blocks, Denmark was the Kingdom of the Lego.
	www.wired.com /wired/archive/7.05/eword_pr.html (649 words)

	SHRDLU resurrection
		Vaughan Pratt (pratt@cs.stanford.edu) wrote SHRDLV (not SHRDLU) implemented in LINGOL.
		Our understanding of Vaughan's system is that this grammar allows the parsing of these SHRDLU-like test sentences.
		Vaughan recollects that "by 1974 SHRDLU appeared to be a victim of serious software rot", and he was unable to get SHDRLU to respond sensibly at MIT.
	www.semaphorecorp.com /misc/shrdlu.html (1552 words)

	[No title] (Site not responding. Last check: 2007-10-19)
		> > >Vaughan Pratt > >>From: "The Raven" >>Date: Thu, 18 Apr 2002 13:31:36 -0400 >> >>You honestly can not beat a piece of cable for high speed transfer on a >>budget.
		Also, the problem with wireless and security is, its wireless.
		Which >>means with the right equipment, someone can listen to your communications >>long enough to figure out what exactly you are using as far as an encryption >>scheme, and break it.
	wearables.blu.org /wear-hard-02/20027218.txt (290 words)

	Workshop on Chu Spaces: Theory and Applications 25th June 2000.
		We describe a form of realizability for Classical Linear Logic, related both to double gluing and to Chu spaces.
		We show that the cut-free proofs of theorems of multiplicative linear logic are in natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on a two-letter alphabet.
		The cyclic Chu-construction for closed bicategories, generalizing the original Chu-construction for symmetric monoidal closed categories, turns out to have a non-cyclic counterpart.
	www2.parc.com /spl/members/paiva/chu-abs.html (1229 words)

	CNN - Smallest Web server fits in shirt pocket - February 11, 1999
		Using off-the-shelf hardware and software, computer science professor Vaughan Pratt invented a Web server measuring less than 1.75 inches high, 2.75 inches wide and.25 inches thick.
		The group plans to combine a credit-card size Pentium motherboard, introduced last quarter by Cell Computing, with a 340M-byte hard drive from IBM that measures a fraction of an inch thick and less than two inches on a side.
		The lab is also working to develop a special glove that recognizes a digital sign language, called Thumbcode, which is intended to replace a computer keyboard.
	cnn.com /TECH/computing/9902/11/smallweb.idg (683 words)

	[No title]
		Date: Fri, 04 Jun 1999 09:27:37 +0200 Newsgroups: sci.math "Vaughan R. Pratt" wrote: > Is the function 2^x injective, where x is an infinite cardinal?
		> Vaughan Pratt Indeed, there is no way to avoid it.
		@> Vaughan Pratt @ @Indeed, there is no way to avoid it.
	www.math.niu.edu /~rusin/known-math/99/luzin_easton (1129 words)

	Chris Hanson - Solving the Software Problem
		I mentioned Cyc in his comments, and an anonymous commenter posted a report on a visit to Cyc-West by Vaughan Pratt of Stanford.
		It's an interesting look at the state of the project, which I consider to be one of the most promising of the ambitious AI projects started in the 1980s.
		I'd like to see the results of asking a current Cyc the questions on Pratt's quiz.
	www.livejournal.com /users/chanson/103953.html (127 words)

	Enriched Categories And The Floyd-Warshall Connection - Pratt (ResearchIndex)
		Temporal Structures - Casley, Crew, Meseguer, Pratt (1990)
		Origins of the Calculus of Binary Relations - Pratt (1992)
		Branching Bisimulation as a Tool in the Analysis of Weak..
	citeseer.ist.psu.edu /pratt89enriched.html (467 words)

	Knuth Tree
		We'd like to add current locations and email, and second and further level students.
		A major update was provided by Vaughan Pratt.
		Vaughan Ronald Pratt, ``Shellsort and Sorting Networks'' (MIT, 1980 Stanford Univ., emeritus 2000 at cs.stanford.edu >)
	www-db.stanford.edu /pub/voy/museum/knuthtree.html (847 words)

	select.nw (Site not responding. Last check: 2007-10-19)
		An efficient implementation of Blum, Floyd, Pratt, Rivest, and Tarjan's worst-case linear selection algorithm
		In 1973, Manuel Blum, Robert W. Floyd, Vaughan Pratt, Ronald L.
		Rivest, and Robert E. Tarjan wrote a paper entitled Time bounds for selection which explored the problem of selecting the kth smallest element in an array, and demonstrated an explicit algorithm for solving it in worst-case O(n) time, using only comparisons.
	moonflare.com /code/select/select.html (1506 words)

	Chu spaces: Complementarity and Uncertainty in Rational Mechanics - Pratt (ResearchIndex)
		Alternate document: Details Chu Spaces: Automata with quantum aspects (94) Vaughan R. Pratt
		2 and constructivity (context) - Pratt, linear - 1992
		The graph only includes citing articles where the year of publication is known.
	citeseer.ist.psu.edu /pratt94chu.html (835 words)

	[No title] (Site not responding. Last check: 2007-10-19)
		@ @Vaughan Pratt Right; so let us also allow zero-testing.
		@(For that matter "(ehm, X-X)" can be replaced by (X), in any field.) @ @Vaughan Pratt I suppose David's question is about arbitrary fields of characteristic 2.
		As Vaughan points out, the case {0,1} is trivial; and we could set up a similar game for, say, the 4-element field: in {0,1,a,a+1} (a^2 +a+1=0) once past 0,1 we notice XX = X+1, XY = 1.
	www.math.niu.edu /~rusin/known-math/00_incoming/div (525 words)

	World's Smallest Web Server Fits In A Shirt Pocket (Site not responding. Last check: 2007-10-19)
		For The Blind, A Computer Navigation System With Its Own "Map" (September 5, 2002) -- University of Florida researchers have wedded speech recognition software, wearable computers, satellite positioning technology and other emerging technologies in a 21st-century navigational aid for...
		Using off-the-shelf components, the Stanford professor of computer science has squeezed the hardware and software needed to operate a web site into a package about one-tenth the volume of a Palm Pilot, the current standard in handheld electronic organizers.
		Editor's Note: The original news release can be found here.
	www.sciencedaily.com /releases/1999/02/990210070216.htm (930 words)

	Concurrency and linear logic paper (Site not responding. Last check: 2007-10-19)
		Contact me, pratt@cs.stanford.edu, if you need further assistance or would prefer to receive a copy by email.
		Concurrent Automata and Their Logic Vaughan Pratt Stanford University A concurrent automaton is a poset with a top (the global initial state) and all nonempty sups (the local initial states).
		These form a nondegenerate self-dual category Aut admitting universally definable operations constituting a concurrent programming language and additional operations yielding a linear logic of concurrency.
	www.seas.upenn.edu /~sweirich/types/archive/1991/msg00000.html (238 words)

Try your search on: Qwika (all wikis)