Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 papers from all fields of science
Search
Sign In
Create Free Account
First Draft of a Report on the EDVAC
Known as:
First Draft
, The first draft
The First Draft of a Report on the EDVAC (commonly shortened to First Draft) was an incomplete 101-page document written by John von Neumann and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Automatic Computing Engine
Binary number
Central processing unit
Computer
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Pico: No More Passwords!
F. Stajano
Security Protocols Workshop
2011
Corpus ID: 16190648
From a usability viewpoint, passwords and PINs have reached the end of their useful life. Even though they are convenient for…
Expand
2010
2010
Semantic maps and the identification of cross-linguistic generic categories: evidentiality and its relation to epistemic modality
Kasper Boye
2010
Corpus ID: 15526837
Cross-linguistic generic categories like Evidentiality, Tense, Aspect, Number and Person are entrenched in linguistic theory…
Expand
Review
2008
Review
2008
ADDRESS - Active Demand for the smart grids of the future
R. Belhomme
,
R. C. R. D. Asua
,
+4 authors
A. Losi
2008
Corpus ID: 54831372
The ADDRESS European project aims to deliver a comprehensive commercial and technical framework for the development of "active…
Expand
Review
2006
Review
2006
State of the Art Survey
D. Deliverable
,
A. Calí
,
+9 authors
U. Sattler
2006
Corpus ID: 122765785
Ontologies are formalism whose purpose is to support humans or machines to share some common knowledge in a structured way. They…
Expand
Review
2004
Review
2004
Burden Of Disease In Rural India: An Analysis Through Cause Of Death
Chattopadyay Aparajita
,
A. Ramanakumar
2004
Corpus ID: 55739461
Context: In last few decades, India has experienced the Improvements in the nutritional and health infrastructure, social…
Expand
2004
2004
Modeling Controls for Dynamic Value Exchanges in Virtual Organizations
Yao-Hua Tan
,
Walter Thoen
,
J. Gordijn
Trust Management
2004
Corpus ID: 612710
The e 3 -value modeling tool was developed for the design of a value proposition for virtual organizations. However, it is less…
Expand
Highly Cited
2003
Highly Cited
2003
Building a Project Ontology with Extreme Collaboration and Virtual Design & Construction
A. C. Garcia
,
J. Kunz
,
Martin Ekstrom
,
A. Kiviniemi
2003
Corpus ID: 16004254
This paper reports on a laboratory study that uses Virtual Design Construction (VDC) modeling and Extreme Collaboration (XC) for…
Expand
Review
1995
Review
1995
Pretopologies and completeness proofs
G. Sambin
Journal of Symbolic Logic (JSL)
1995
Corpus ID: 14324875
Pretopologies were introduced in [S], and there shown to give a complete semantics for a propositional sequent calculus BL, here…
Expand
1986
1986
A new array operation
P. Wadler
Graph Reduction
1986
Corpus ID: 29338398
A new monolithic array operation has been proposed. The operation is similar to earlier proposals, except that it uses the fold…
Expand
Review
1971
Review
1971
On-line Text Editing: A Survey
A. V. Dam
,
D. Rice
CSUR
1971
Corpus ID: 3142185
This paper is a survey of current methods for the on-line creation and editing of computer programs and of ordinary manuscripts…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE