The Hubel and Wiesel experiments greatly expanded the scientific knowledge of sensory processing. In one experiment, done in 1959, they inserted a microelectrode into the primary visual cortex of an anesthetized cat. They then projected patterns of light and dark on a screen in front of the cat. They found that some neurons fired rapidly when presented with lines at one angle, while others responded best to another angle. They called these neurons "simple cells." Still other neurons, which they termed "complex cells," responded best to lines ...

See also:

Torsten Wiesel, Torsten Wiesel - Research, Torsten Wiesel - Biography

Read more here: » Torsten Wiesel: Encyclopedia II - Torsten Wiesel - Research

Braille music for beginners, like print music for beginners, is quite simple. Sighted or visually impaired music teachers with no previous knowledge of braille music can easily learn the rudiments of braille music notation and keep a step or two ahead of the beginning student who is learning braille music. Some common print method books are available in music braille, so that the sighted teacher can use a print version and the visually impaired student the brailled version (or the other way around). Information about courses and materials for learn ...

See also:

Braille music, Braille music - Learning Braille music, Braille music - Teaching Braille music, Braille music - Transcribing music into Braille, Braille music - Introduction to Braille music symbols and syntax, Braille music - Pitch and rhythm, Braille music - Octave marks, Braille music - Musical markings, Braille music - Repetition symbols, Braille music - Contrapuntal lines and chords within a staff, Braille music - Dealing with different staves, Braille music - Variations in Braille music

Read more here: » Braille music: Encyclopedia II - Braille music - Teaching Braille music

The Hubel and Wiesel experiments greatly expanded the scientific knowledge of sensory processing. In one experiment, done in 1959, they inserted a microelectrode into the primary visual cortex of an anesthetized cat. They then projected patterns of light and dark on a screen in front of the cat. They found that some neurons fired rapidly when presented with lines at one angle, while others responded best to another angle. Some of these neurons responded differently to light patterns than to dark patterns. Hubel and Wiesel called these neuron ...

See also:

David H. Hubel, David H. Hubel - Research, David H. Hubel - Biography, David H. Hubel - External link

Read more here: » David H. Hubel: Encyclopedia II - David H. Hubel - Research

A statistician and sculptor, Edward Tufte has written a series of highly regarded books on the subject of information graphics. Tufte also delivers lectures and workshops on a regular basis. He describes the process of incorporating many dimensions of information into a two-dimensional image as 'escaping flatland.' Nigel Holmes is an established commercial creator of what he calls "explanation graphics". His works deal not only with the visual display of information but also of knowledge - how to do things. He creat ...

See also:

Information graphics, Information graphics - History of information graphics, Information graphics - Early experiments, Information graphics - Development of a visual language, Information graphics - Modern uses, Information graphics - Elements of information graphics, Information graphics - Modern practitioners of information graphics / design, Information graphics - Types of information graphic, Information graphics - Interpreting information graphics

Read more here: » Information graphics: Encyclopedia II - Information graphics - Modern practitioners of information graphics / design

DB2, like Oracle, can be administered from either the command-line or a GUI. The command-line interface requires more knowledge of the product but can be more easily scripted and automated. The GUI is a multi-platform Java client that contains a variety of wizards suitable for novice users. DB2 has APIs for .NET CLI, Java, Python, Perl, PHP, C++, C, REXX, PL/I, COBOL, RPG, FORTRAN, and many other programming languages. DB2 also supports integration into the Eclipse and Visual Stu ...

See also:

DB2, DB2 - History, DB2 - Editions, DB2 - Competition, DB2 - Technical Information, DB2 - Leadership

Read more here: » DB2: Encyclopedia II - DB2 - Technical Information

Taste can also refer to appreciation for aesthetic quality, significantly applying the purely physical term to an intellectual quality. In such contexts Taste begins to be used in a metaphorical sense to refer to certain degrees of cultural competence, closely related to the concept of discrimination; it can set distinctions between "tasteful" and "tasteless" or the embodiments of "good taste" or "bad taste", thus providing categories for social division and reinforcing cultural hierarchy. The modern concept of "taste" is a pro ...

See also:

Taste, Taste - Terms for disorders of taste, Taste - Taste in aesthetics, Taste - Taste as a metaphor for experience or knowledge

Read more here: » Taste: Encyclopedia II - Taste - Taste in aesthetics

Examination Process

To confirm, evaluate and treat a disease, physicians need to perform clinical examinations of patients – wherein textual knowledge (aptopadesa), direct perception (pratyaksha) and inference (anumana) are all very important components. The examination of patients can be carried out in the following manners:

Three (Tri) fold (Bidha) Examination (Pariksha)

Covers a general examination of the patient.

Involves:

1      Visual observation (Darshan)

2      Tactile perception (Sparsha)

3      Questioning (Prashna)

(See also: Three Fold Examination Process, Ayurveda, Ayurvedic Dictionary, Alternative Health, Body Mind and Soul)

Mind/Body/Spirit Medicine:

Mind-body medicine (also referred to as psychoneuroimmunology-PNI) focuses on the interactions among the brain, mind, body, and behavior, and the powerful ways in which emotional, mental, social, spiritual, and behavioral factors can directly affect health. It regards as fundamental an approach that respects and enhances each person’s capacity for self-knowledge and self-care, and it emphasizes techniques that are grounded in this approach.

Mind-body medicine typically focuses on intervention strategies that are thought to promote health, such as relaxation, hypnosis, visual imagery, meditation, yoga, biofeedback, tai chi, qi gong, cognitive-behavioral therapies, group support, spirituality, and prayer. The philosophy of mind/body medicine views illness as an opportunity for personal growth and transformation, and health care providers as catalysts and guides in this process.

(See also: Mind/Body/Spirit Medicine, Alternative Health, Body Mind and Soul)

Due to its climate of intellectual tolerance the Dutch Republic attracted scientists and other thinkers from all over Europe. Especially the renowned University of Leiden (established in 1575 by the Dutch stadholder as a token of gratitude for Leiden's fierce resistance against Spain during the Eighty Years War) became a gathering place for these people. For instance French philosopher René Descartes lived in Leiden from 1628 till 1649. Dutch lawyers were famous for their knowledge of international law of the sea and commercial law. ...

See also:

Dutch Golden Age, Dutch Golden Age - Causes of the Golden Age, Dutch Golden Age - Wealth, Dutch Golden Age - Tolerance, Dutch Golden Age - National consciousness, Dutch Golden Age - Social structure, Dutch Golden Age - Culture, Dutch Golden Age - Religion, Dutch Golden Age - Science, Dutch Golden Age - Visual arts, Dutch Golden Age - Painting, Dutch Golden Age - Sculpture, Dutch Golden Age - Architecture, Dutch Golden Age - Literature, Dutch Golden Age - Music, Dutch Golden Age - Note

Read more here: » Dutch Golden Age: Encyclopedia II - Dutch Golden Age - Science

This section aims at giving a first guide to the realm of ordered sets. It addresses readers who have basic knowledge of set theory and arithmetics and who know what a binary relation is, but who are not familiar with order theoretic considerations so far. Order theory - Partially ordered sets. As already hinted at above, orders are special binary relations. Hence consider some set P and a relation ≤ on P. Then ≤ is a partial order if it is reflexive, antisymmetric, and transitive, ...

See also:

Order theory, Order theory - Background and motivation, Order theory - Introduction to the basic definitions, Order theory - Partially ordered sets, Order theory - Visualizing orders, Order theory - Special elements within an order, Order theory - Duality, Order theory - Constructing new orders, Order theory - Functions between orders, Order theory - Special types of orders, Order theory - Subsets of ordered sets, Order theory - Related mathematical areas, Order theory - Universal algebra, Order theory - Topology, Order theory - Category theory, Order theory - History, Order theory - Literature

Read more here: » Order theory: Encyclopedia II - Order theory - Introduction to the basic definitions

List of publications in computer science - The Computer from Pascal to von Neumann. Herman H. Goldstine Princton University Press, 1972, ISBN 0-691-08104-2 Description: Perhaps the first book on the history of computation. Importance: List of publications in computer science - A History of Computing in the Twentieth Century. edited by: Nicholas Metropolis J. Howlett Gian-Carlo Rota Academic Press, 1980, ISBN 0-12-49 ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - History of Computation

List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee. Peter Naur, Brian Randell (eds.) Garmisch, Germany, 7–11 October 1968, Brussels, Scientific Affairs Division, NATO (1969) 231pp. Online copy (PDF) Description: Conference of leading figures in software fie ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Software engineering

List of publications in computer science - The Structure of THE-Multiprogramming System. Dijkstra, E. W. Communication of the ACM, Vol. 11, No. 5 May 1968, pp. 345–346 Online copy (HTML) Description: The introduction of basic primitives like mutex as the basis of multiprocessing programming. Importance: Breakthrough, Influence List of publications in computer science - How to Make a Multiprocessor Computer That Correctly ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Parallel computing

List of publications in computer science - Ethernet: Distributed packet switching for local computer networks. R.M. Metcalfe, D.R. Boggs Communications of the ACM 19, 7 (July 1976), 395–404 Online copy (HTML) Description: The Ethernet protocol. Importance: Influence, Latest and greatest List of publications in computer science - A Dynamic Network Architecture. Sean W. O'Malley, Larry L. Peterson ACM Tra ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Computer networks

List of publications in computer science - The Byzantine Generals Problem. Leslie Lamport, Robert Shostak, Marshall Pease Advances in Ultra-Dependable Distributed Systems, N. Suri, C. J. Walter, and M. M. Hugue (Eds.), IEEE Computer Society Press Online version Description: Impossibility result for distributed computing, see Byzantine failure. Importance: Influence, Breakthrough ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Distributed computing

List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem. Alan Turing Proceedings of the London Mathematical Society, Series 2, 42 (submitted May 28, 1936, read November 12, 1936), pp 230–265. Errata appeared in Series 2, 43 (1937), pp 544–546. Online version (MS IExplorer only) PDF version ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Computability

List of publications in computer science - On the computational complexity of algorithms. Juris Hartmanis Richard Stearns Trans. Amer. Math. Soc. 117 (1965), 285–306. Description: This paper gave computational complexity its name and seed. Importance: Topic creator, Breakthrough, Influence List of publications in computer science - The complexity of theorem proving procedures. S. A. Cook Proceedi ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Computational complexity theory

List of publications in computer science - A machine program for theorem proving. M. Davis, G. Logemann, D. Loveland Communications of the ACM, 5:394–397, 1962. Description: The DLL algorithm. The basic algorithm for SAT and other NP-Complete problems. Importance: Breakthrough, Influence List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle. J. Alan Robi ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Algorithms

List of publications in computer science - A formal theory of inductive inference. Ray Solomonoff Information and Control, vol. 7, pp. 1–22, March 1964; pp. 224–254, June 1964. Description: This was the beginning of Algorithmic information theory and Kolmogorov complexity. Note that though Kolmogorov complexity is named after Andrey Kolmogorov, he said that the seeds of that idea are due to Ray Solomonoff. Andrey Kolmogorov contributed a lot to this a ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Algorithmic information theory

List of publications in computer science - A mathematical theory of communication. C.E. Shannon Bell System Technical Journal, 27:379–423,623–656, 1948 Online copy (HTML) Description: This paper created communication theory and information theory. Importance: Topic creator, Breakthrough, Introduction, Influence List of publications in computer science - Error detecting and error correcting codes. Richard Hamming Bell Systems ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Information theory

List of publications in computer science - An experimental timesharing system.. Fernando J. Corbató,M. Merwin-Daggett, and R.C. Daley Proceedings of the AFIPS FJCC, pages 335–344, 1962. Online copy (HTML) Description: This paper discuss time-sharing as a method of sharing computer resource. This idea changed the interaction with computer systems. Importance: Influence List of publications in computer science - The UNIX T ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Operating system

List of publications in computer science - A relational model for large shared data bank. E. F. Codd Communications of the ACM, 13(6):377–387, June 1970 Description: This paper introduced the relational model for databases. This model became the number one model. Importance: Topic creator, Breakthrough, Influence List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data. P.P-S. Chen ACM Transactions ...

See also:

List of publications in computer science, List of publications in computer science - Computability, List of publications in computer science - On computable numbers with an application to the Entscheidungsproblem, List of publications in computer science - On certain formal properties of grammars, List of publications in computer science - Finite automata and their decision problem, List of publications in computer science - Introduction to Automata Theory Languages and Computation, List of publications in computer science - Computability: An introduction to recursive function theory, List of publications in computer science - Computational complexity theory, List of publications in computer science - On the computational complexity of algorithms, List of publications in computer science - The complexity of theorem proving procedures, List of publications in computer science - Reducibility among combinatorial problems, List of publications in computer science - Computers and Intractability: A Guide to the Theory of NP-Completeness, List of publications in computer science - Theory and Applications of Trapdoor functions, List of publications in computer science - The Knowledge Complexity of Interactive Proof Systems, List of publications in computer science - How to Construct Random Functions, List of publications in computer science - IP = PSPACE, List of publications in computer science - Computational Complexity, List of publications in computer science - Algorithms, List of publications in computer science - A machine program for theorem proving, List of publications in computer science - A Machine-Oriented Logic Based on the Resolution Principle, List of publications in computer science - Optimization by simulated annealing, List of publications in computer science - The Art of Computer Programming, List of publications in computer science - Introduction to Algorithms, List of publications in computer science - The Design and Analysis of Computer Algorithms, List of publications in computer science - Algorithms, List of publications in computer science - Algorithms + Data Structures = Programs, List of publications in computer science - Algorithmic information theory, List of publications in computer science - A formal theory of inductive inference, List of publications in computer science - Algorithmic information theory, List of publications in computer science - Information theory, List of publications in computer science - A mathematical theory of communication, List of publications in computer science - Error detecting and error correcting codes, List of publications in computer science - A Method for the Construction of Minimum Redundancy Codes, List of publications in computer science - A Universal Algorithm for Sequential Data Compression, List of publications in computer science - Elements of Information Theory, List of publications in computer science - Operating system, List of publications in computer science - An experimental timesharing system., List of publications in computer science - The UNIX Time-Sharing System, List of publications in computer science - Operating Systems: Design and implementation, List of publications in computer science - Scheduling Techniques for Concurrent Systems, List of publications in computer science - Databases, List of publications in computer science - A relational model for large shared data bank, List of publications in computer science - The Entity Relationship Model – Towards a Unified View of Data, List of publications in computer science - Mining association rules between sets of items in large databases, List of publications in computer science - Cryptography, List of publications in computer science - Communication Theory of Secrecy Systems, List of publications in computer science - New directions in cryptography, List of publications in computer science - A Method for Obtaining Digital Signatures and Public Key Cryptosystems, List of publications in computer science - How to Share a Secret, List of publications in computer science - How to Prove all NP-Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design, List of publications in computer science - How to Play any Mental Game or A Completeness Theorem for Protocols with Honest Majority, List of publications in computer science - Artificial intelligence, List of publications in computer science - Computing machinery and intelligence, List of publications in computer science - A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, List of publications in computer science - Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, List of publications in computer science - Artificial Intelligence: A Modern Approach, List of publications in computer science - Unformatted list of reading considered as seminal works in the field of artificial intelligence, List of publications in computer science - Machine learning, List of publications in computer science - Language identification in the limit, List of publications in computer science - On the uniform convergence of relative frequencies of events to their probabilities, List of publications in computer science - A theory of the learnable, List of publications in computer science - Learnability and the Vapnik-Chervonenkis dimension, List of publications in computer science - Cryptographic limitations on learning boolean formulae and finite automata, List of publications in computer science - The strength of weak learnability, List of publications in computer science - Learning in the presence of malicious errors, List of publications in computer science - Computer vision, List of publications in computer science - The Phase Correlation Image Alignment Method, List of publications in computer science - An Iterative Image Registration Technique with an Application to Stereo Vision, List of publications in computer science - The Laplacian Pyramid as a compact image code, List of publications in computer science - Snakes: Active contour models, List of publications in computer science - Condensation -- conditional density propagation for visual tracking, List of publications in computer science - Compilers, List of publications in computer science - YACC: Yet another compiler-compiler, List of publications in computer science - Compilers: Principles Techniques and Tools, List of publications in computer science - Formal verification, List of publications in computer science - Assigning meanings to programs, List of publications in computer science - An axiomatic basis for computer programming, List of publications in computer science - The temporal logic of programs, List of publications in computer science - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, List of publications in computer science - Model Checking, List of publications in computer science - History of Computation, List of publications in computer science - The Computer from Pascal to von Neumann, List of publications in computer science - A History of Computing in the Twentieth Century, List of publications in computer science - Software engineering, List of publications in computer science - Software engineering: Report of a conference sponsored by the NATO Science Committee, List of publications in computer science - Go To Statement Considered Harmful, List of publications in computer science - On the criteria to be used in decomposing systems into modules, List of publications in computer science - The Mythical Man-Month: Essays on Software Engineering, List of publications in computer science - No Silver Bullet: Essence and Accidents of Software Engineering, List of publications in computer science - The Cathedral and the Bazaar, List of publications in computer science - Design Patterns: Elements of Reusable Object Oriented Software, List of publications in computer science - Parallel computing, List of publications in computer science - The Structure of THE-Multiprogramming System, List of publications in computer science - How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, List of publications in computer science - LogP: Towards a realistic model of parallel computation, List of publications in computer science - Computer networks, List of publications in computer science - Ethernet: Distributed packet switching for local computer networks, List of publications in computer science - A Dynamic Network Architecture, List of publications in computer science - Computer Networks, List of publications in computer science - Distributed computing, List of publications in computer science - The Byzantine Generals Problem

Read more here: » List of publications in computer science: Encyclopedia II - List of publications in computer science - Databases