Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

List of important publications in computer science

Index List of important publications in computer science

This is a list of important publications in computer science, organized by field. [1]

285 relations: Academic Press, ACM Computing Surveys, ACM Transactions on Database Systems, Addison-Wesley, AI Memo, Alan Turing, Alexey Chervonenkis, Alfred Aho, Algorithm, Algorithmic information theory, Algorithmic learning theory, Amdahl's law, Amit Sheth, Andrew Witkin, Andrzej Ehrenfeucht, Architecture of Windows NT, Artificial intelligence, Artificial neural network, Association rule learning, B-tree, Backpropagation, Bayesian inference, Bayesian statistics, Behrouz A. Forouzan, Bell Labs, Berkeley Software Distribution, Bill Joy, Binary number, Boosting (machine learning), Brian Randell, Butler Lampson, Cache (computing), Christopher Strachey, Claude Shannon, Cohesion (computer science), Collection of Computer Science Bibliographies, Communications of the ACM, Compiler, Compilers: Principles, Techniques, and Tools, Computability theory, Computational complexity theory, Computational learning theory, Computational Linguistics (journal), Computer, Computer (magazine), Computer architecture, Computer science, Concurrent computing, Consistency, Coscheduling, ..., Coupling (computer programming), Cray, Cray-1, Cryptanalysis, Dartmouth workshop, Data flow diagram, Data structure, Data-flow analysis, Database transaction, David B. Golub, David G. Lowe, David Harel, David Haussler, David Parnas, David Patterson (computer scientist), David Rumelhart, DBLP, Decision tree, Deep belief network, Deep learning, Demetri Terzopoulos, Dennis Ritchie, Design Patterns, Deterministic context-free language, Distributed computing, Domain-specific language, Donald D. Chamberlin, Donald Geman, Donald Knuth, Edgar F. Codd, Edsger W. Dijkstra, Edward Adelson, Edward Yourdon, ENIAC, Entity–relationship model, Eric S. Raymond, Erich Gamma, Expressive power (computer science), Fernando J. Corbató, File system, Finite-state machine, Finite-state transducer, First Monday (journal), Fixed point (mathematics), Formal verification, Fortran, Forward–backward algorithm, Fourier transform, Frances E. Allen, Fred Brooks, Functional programming, Fundamental Concepts in Programming Languages, Fuzzy set, Garth Gibson, Gary Kildall, Gene Amdahl, Gene expression, Geoffrey Hinton, Gerald Jay Sussman, Gerard Salton, Gerrit Blaauw, Gian-Carlo Rota, Gibbs sampling, Gprof, Guy L. Steele Jr., Hal Abelson, Haskell (programming language), Hidden Markov model, History of artificial intelligence, Hoare logic, IBM, IBM System/360, IEEE Transactions on Communications, Imperative programming, Information and Computation, Information hiding, Information theory, Instruction set architecture, International Conference on Computer Vision, International Conference on Distributed Computing Systems, International Joint Conference on Artificial Intelligence, International Journal of Computer Vision, Inverted index, ISWIM, Jack Dennis, Jeffrey Ullman, Jim Gray (computer scientist), Jim Kajiya, John Backus, John C. Reynolds, John Cocke, John McCarthy (computer scientist), John Ousterhout, John Platt (computer scientist), John Vlissides, John von Neumann, Journal of the ACM, Judea Pearl, Karen Spärck Jones, Keith Bostic, Ken Thompson, Kenneth G. Wilson, Kernel (operating system), Kernel method, Kunle Olukotun, L4 microkernel family, LALR parser, Lambda calculus, Larry Constantine, Lattice (order), Leslie Valiant, Lisp (programming language), List of computer science conferences, List of computer science journals, List of Intel microprocessors, List of unsolved problems in computer science, Log-structured file system, Lorenz cipher, Los Alamos National Laboratory, Lotfi A. Zadeh, LR parser, LR-attributed grammar, Machine learning, MacOS, Mainframe computer, Manfred K. Warmuth, Margo Seltzer, Marshall Kirk McKusick, Marvin Minsky, Mendel Rosenblum, Michael Kearns (computer scientist), Microkernel, MIT Press, Model–view–controller, Monad (functional programming), Monica S. Lam, Monitor (synchronization), Morphology (linguistics), Multics, Nathaniel Rochester (computer scientist), Nello Cristianini, Nicholas Metropolis, Object-oriented programming, Ole-Johan Dahl, Open-source model, Operating system, Parallel computing, Parametric polymorphism, Paris Kanellakis Award, Part-of-speech tagging, Paul Werbos, Per Brinch Hansen, Peter Chen, Peter J. Denning, Peter Landin, Peter Naur, Peter Norvig, Philip Wadler, Philosophy of artificial intelligence, Princeton University Press, Probabilistic context-free grammar, Probably approximately correct learning, Procedural programming, Proceedings of the IEEE, Proceedings of the National Academy of Sciences of the United States of America, Processor design, Profiling (computer programming), RAID, Rakesh Agrawal (computer scientist), Ralph Johnson (computer scientist), Randy Katz, Ravi Sethi, Ray Solomonoff, Raymond F. Boyce, RC 4000 multiprogramming system, Reduced instruction set computer, Reference frame (video), Reinforcement learning, Richard Rashid, Richard S. Sutton, Robert Schapire, Ronald J. Williams, Ross Quinlan, Rudolf Bayer, S-attributed grammar, Scale-invariant feature transform, Scheme (programming language), Second-system effect, Seymour Cray, SIGGRAPH, SIGMOD, Software design pattern, Software development process, Software engineering, Specification (technical standard), Speech recognition, SQL, State diagram, Stephen C. Johnson, Structured programming, Structured systems analysis and design method, Stuart Geman, Stuart J. Russell, Supercomputer, Support vector machine, Susan L. Graham, Symposium on Principles of Programming Languages, Symposium on Theory of Computing, System F, Takeo Kanade, Temporal difference learning, Tf–idf, The Journal of Object Technology, Theoretical computer science, Time-sharing, Tomasz Imieliński, Tommy Flowers, Tony Hoare, Turing test, Unified Modeling Language, University of Helsinki, Unix, USENIX Annual Technical Conference, Vapnik–Chervonenkis theory, VC dimension, Vector space model, Video tracking, Viterbi algorithm, Vladimir Vapnik, Von Neumann architecture, Wayne Stevens (software engineer), Winnow (algorithm), World War II, Yacc, Yale Patt. Expand index (235 more) »

Academic Press

Academic Press is an academic book publisher.

New!!: List of important publications in computer science and Academic Press · See more »

ACM Computing Surveys

ACM Computing Surveys (CSUR) is a peer reviewed scientific journal published by the Association for Computing Machinery.

New!!: List of important publications in computer science and ACM Computing Surveys · See more »

ACM Transactions on Database Systems

The ACM Transactions on Database Systems (ACM TODS) is one of the journals produced by the Association for Computing Machinery.

New!!: List of important publications in computer science and ACM Transactions on Database Systems · See more »

Addison-Wesley

Addison-Wesley is a publisher of textbooks and computer literature.

New!!: List of important publications in computer science and Addison-Wesley · See more »

AI Memo

The AI Memos are a series of influential memorandums and technical reports published by the MIT AI Lab, Massachusetts Institute of Technology, United States.

New!!: List of important publications in computer science and AI Memo · See more »

Alan Turing

Alan Mathison Turing (23 June 1912 – 7 June 1954) was an English computer scientist, mathematician, logician, cryptanalyst, philosopher, and theoretical biologist.

New!!: List of important publications in computer science and Alan Turing · See more »

Alexey Chervonenkis

Alexey Yakovlevich Chervonenkis (Алексей Яковлевич Червоненкис; 7 September 1938 – 22 September 2014) was a Soviet and Russian mathematician, and, with Vladimir Vapnik, was one of the main developers of the Vapnik–Chervonenkis theory, also known as the "fundamental theory of learning" an important part of computational learning theory.

New!!: List of important publications in computer science and Alexey Chervonenkis · See more »

Alfred Aho

Alfred Vaino Aho (born August 9, 1941) is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming.

New!!: List of important publications in computer science and Alfred Aho · See more »

Algorithm

In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.

New!!: List of important publications in computer science and Algorithm · See more »

Algorithmic information theory

Algorithmic information theory is a subfield of information theory and computer science that concerns itself with the relationship between computation and information.

New!!: List of important publications in computer science and Algorithmic information theory · See more »

Algorithmic learning theory

Algorithmic learning theory is a mathematical framework for analyzing machine learning problems and algorithms.

New!!: List of important publications in computer science and Algorithmic learning theory · See more »

Amdahl's law

In computer architecture, Amdahl's law (or Amdahl's argument) is a formula which gives the theoretical speedup in latency of the execution of a task at fixed workload that can be expected of a system whose resources are improved.

New!!: List of important publications in computer science and Amdahl's law · See more »

Amit Sheth

Dr.

New!!: List of important publications in computer science and Amit Sheth · See more »

Andrew Witkin

Andrew Paul Witkin (July 22, 1952 – September 12, 2010) was an American computer scientist who made major contributions in computer vision and computer graphics.

New!!: List of important publications in computer science and Andrew Witkin · See more »

Andrzej Ehrenfeucht

Andrzej Ehrenfeucht (born August 8, 1932) is a Polish American mathematician and computer scientist.

New!!: List of important publications in computer science and Andrzej Ehrenfeucht · See more »

Architecture of Windows NT

The architecture of Windows NT, a line of operating systems produced and sold by Microsoft, is a layered design that consists of two main components, user mode and kernel mode.

New!!: List of important publications in computer science and Architecture of Windows NT · See more »

Artificial intelligence

Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.

New!!: List of important publications in computer science and Artificial intelligence · See more »

Artificial neural network

Artificial neural networks (ANNs) or connectionist systems are computing systems vaguely inspired by the biological neural networks that constitute animal brains.

New!!: List of important publications in computer science and Artificial neural network · See more »

Association rule learning

Association rule learning is a rule-based machine learning method for discovering interesting relations between variables in large databases.

New!!: List of important publications in computer science and Association rule learning · See more »

B-tree

In computer science, a B-tree is a self-balancing tree data structure that keeps data sorted and allows searches, sequential access, insertions, and deletions in logarithmic time.

New!!: List of important publications in computer science and B-tree · See more »

Backpropagation

Backpropagation is a method used in artificial neural networks to calculate a gradient that is needed in the calculation of the weights to be used in the network.

New!!: List of important publications in computer science and Backpropagation · See more »

Bayesian inference

Bayesian inference is a method of statistical inference in which Bayes' theorem is used to update the probability for a hypothesis as more evidence or information becomes available.

New!!: List of important publications in computer science and Bayesian inference · See more »

Bayesian statistics

Bayesian statistics, named for Thomas Bayes (1701–1761), is a theory in the field of statistics in which the evidence about the true state of the world is expressed in terms of degrees of belief known as Bayesian probabilities.

New!!: List of important publications in computer science and Bayesian statistics · See more »

Behrouz A. Forouzan

Behrouz A. Forouzan (born 1944) is an emeritus professor of the Computer Information Systems department of DeAnza College.

New!!: List of important publications in computer science and Behrouz A. Forouzan · See more »

Bell Labs

Nokia Bell Labs (formerly named AT&T Bell Laboratories, Bell Telephone Laboratories and Bell Labs) is an American research and scientific development company, owned by Finnish company Nokia.

New!!: List of important publications in computer science and Bell Labs · See more »

Berkeley Software Distribution

Berkeley Software Distribution (BSD) was a Unix operating system derivative developed and distributed by the Computer Systems Research Group (CSRG) of the University of California, Berkeley, from 1977 to 1995.

New!!: List of important publications in computer science and Berkeley Software Distribution · See more »

Bill Joy

William Nelson Joy (born November 8, 1954) is an American computer scientist.

New!!: List of important publications in computer science and Bill Joy · See more »

Binary number

In mathematics and digital electronics, a binary number is a number expressed in the base-2 numeral system or binary numeral system, which uses only two symbols: typically 0 (zero) and 1 (one).

New!!: List of important publications in computer science and Binary number · See more »

Boosting (machine learning)

Boosting is a machine learning ensemble meta-algorithm for primarily reducing bias, and also variance in supervised learning, and a family of machine learning algorithms that convert weak learners to strong ones.

New!!: List of important publications in computer science and Boosting (machine learning) · See more »

Brian Randell

Brian Randell (born 1936) is a British computer scientist, and Emeritus Professor at the School of Computing Science, Newcastle University, UK He specialises in research into software fault tolerance and dependability, and is a noted authority on the early pre-1950 history of computers.

New!!: List of important publications in computer science and Brian Randell · See more »

Butler Lampson

Butler W. Lampson (born December 23, 1943) is an American computer scientist best known for his contributions to the development and implementation of distributed personal computing.

New!!: List of important publications in computer science and Butler Lampson · See more »

Cache (computing)

In computing, a cache, is a hardware or software component that stores data so future requests for that data can be served faster; the data stored in a cache might be the result of an earlier computation, or the duplicate of data stored elsewhere.

New!!: List of important publications in computer science and Cache (computing) · See more »

Christopher Strachey

Christopher S. Strachey (16 November 1916 – 18 May 1975) was a British computer scientist.

New!!: List of important publications in computer science and Christopher Strachey · See more »

Claude Shannon

Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician, electrical engineer, and cryptographer known as "the father of information theory".

New!!: List of important publications in computer science and Claude Shannon · See more »

Cohesion (computer science)

In computer programming, cohesion refers to the degree to which the elements inside a module belong together.

New!!: List of important publications in computer science and Cohesion (computer science) · See more »

Collection of Computer Science Bibliographies

The Collection of Computer Science Bibliographies (founded 1993) is one of the oldest (if not the oldest) bibliography collections freely accessible on the Internet.

New!!: List of important publications in computer science and Collection of Computer Science Bibliographies · See more »

Communications of the ACM

Communications of the ACM is the monthly journal of the Association for Computing Machinery (ACM).

New!!: List of important publications in computer science and Communications of the ACM · See more »

Compiler

A compiler is computer software that transforms computer code written in one programming language (the source language) into another programming language (the target language).

New!!: List of important publications in computer science and Compiler · See more »

Compilers: Principles, Techniques, and Tools

Compilers: Principles, Techniques, and Tools is a computer science textbook by Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman about compiler construction.

New!!: List of important publications in computer science and Compilers: Principles, Techniques, and Tools · See more »

Computability theory

Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.

New!!: List of important publications in computer science and Computability theory · See more »

Computational complexity theory

Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.

New!!: List of important publications in computer science and Computational complexity theory · See more »

Computational learning theory

In computer science, computational learning theory (or just learning theory) is a subfield of Artificial Intelligence devoted to studying the design and analysis of machine learning algorithms.

New!!: List of important publications in computer science and Computational learning theory · See more »

Computational Linguistics (journal)

Computational Linguistics is a peer-reviewed academic journal in the field of computational linguistics.

New!!: List of important publications in computer science and Computational Linguistics (journal) · See more »

Computer

A computer is a device that can be instructed to carry out sequences of arithmetic or logical operations automatically via computer programming.

New!!: List of important publications in computer science and Computer · See more »

Computer (magazine)

Computer is an IEEE Computer Society practitioner-oriented magazine issued to all members of the society.

New!!: List of important publications in computer science and Computer (magazine) · See more »

Computer architecture

In computer engineering, computer architecture is a set of rules and methods that describe the functionality, organization, and implementation of computer systems.

New!!: List of important publications in computer science and Computer architecture · See more »

Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.

New!!: List of important publications in computer science and Computer science · See more »

Concurrent computing

Concurrent computing is a form of computing in which several computations are executed during overlapping time periods—concurrently—instead of sequentially (one completing before the next starts).

New!!: List of important publications in computer science and Concurrent computing · See more »

Consistency

In classical deductive logic, a consistent theory is one that does not contain a contradiction.

New!!: List of important publications in computer science and Consistency · See more »

Coscheduling

Coscheduling is the principle for concurrent systems of scheduling related processes to run on different processors at the same time (in parallel).

New!!: List of important publications in computer science and Coscheduling · See more »

Coupling (computer programming)

In software engineering, coupling is the degree of interdependence between software modules; a measure of how closely connected two routines or modules are;ISO/IEC/IEEE 24765:2010 Systems and software engineering — Vocabulary the strength of the relationships between modules.

New!!: List of important publications in computer science and Coupling (computer programming) · See more »

Cray

Cray Inc. is an American supercomputer manufacturer headquartered in Seattle, Washington.

New!!: List of important publications in computer science and Cray · See more »

Cray-1

The Cray-1 was a supercomputer designed, manufactured and marketed by Cray Research.

New!!: List of important publications in computer science and Cray-1 · See more »

Cryptanalysis

Cryptanalysis (from the Greek kryptós, "hidden", and analýein, "to loosen" or "to untie") is the study of analyzing information systems in order to study the hidden aspects of the systems.

New!!: List of important publications in computer science and Cryptanalysis · See more »

Dartmouth workshop

The Dartmouth Summer Research Project on Artificial Intelligence was the name of a 1956 summer workshop now considered by many (though not all) to be the seminal event for artificial intelligence as a field.

New!!: List of important publications in computer science and Dartmouth workshop · See more »

Data flow diagram

A data flow diagram (DFD) is a graphical representation of the "flow" of data through an information system, modelling its process aspects.

New!!: List of important publications in computer science and Data flow diagram · See more »

Data structure

In computer science, a data structure is a data organization and storage format that enables efficient access and modification.

New!!: List of important publications in computer science and Data structure · See more »

Data-flow analysis

Data-flow analysis is a technique for gathering information about the possible set of values calculated at various points in a computer program.

New!!: List of important publications in computer science and Data-flow analysis · See more »

Database transaction

A transaction symbolizes a unit of work performed within a database management system (or similar system) against a database, and treated in a coherent and reliable way independent of other transactions.

New!!: List of important publications in computer science and Database transaction · See more »

David B. Golub

David B. Golub is an American business executive.

New!!: List of important publications in computer science and David B. Golub · See more »

David G. Lowe

David G. Lowe is a Canadian computer scientist working for Google as a Senior Research Scientist.

New!!: List of important publications in computer science and David G. Lowe · See more »

David Harel

David Harel (דוד הראל; born 12 April 1950) is a computer scientist at the Weizmann Institute of Science in Israel, and holds the William Sussman Professorial Chair of Mathematics.

New!!: List of important publications in computer science and David Harel · See more »

David Haussler

David Haussler (born 1953) is an American bioinformatician known for his work leading the team that assembled the first human genome sequence in the race to complete the Human Genome Project and subsequently for comparative genome analysis that deepens understanding the molecular function and evolution of the genome.

New!!: List of important publications in computer science and David Haussler · See more »

David Parnas

David Lorge Parnas (born February 10, 1941) is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented programming today.

New!!: List of important publications in computer science and David Parnas · See more »

David Patterson (computer scientist)

David Andrew Patterson (born November 16, 1947) is an American computer pioneer and academic who has held the position of Professor of Computer Science at the University of California, Berkeley since 1976.

New!!: List of important publications in computer science and David Patterson (computer scientist) · See more »

David Rumelhart

David Everett Rumelhart (June 12, 1942 – March 13, 2011) was an American psychologist who made many contributions to the formal analysis of human cognition, working primarily within the frameworks of mathematical psychology, symbolic artificial intelligence, and parallel distributed processing.

New!!: List of important publications in computer science and David Rumelhart · See more »

DBLP

DBLP is a computer science bibliography website.

New!!: List of important publications in computer science and DBLP · See more »

Decision tree

A decision tree is a decision support tool that uses a tree-like graph or model of decisions and their possible consequences, including chance event outcomes, resource costs, and utility.

New!!: List of important publications in computer science and Decision tree · See more »

Deep belief network

In machine learning, a deep belief network (DBN) is a generative graphical model, or alternatively a class of deep neural network, composed of multiple layers of latent variables ("hidden units"), with connections between the layers but not between units within each layer.

New!!: List of important publications in computer science and Deep belief network · See more »

Deep learning

Deep learning (also known as deep structured learning or hierarchical learning) is part of a broader family of machine learning methods based on learning data representations, as opposed to task-specific algorithms.

New!!: List of important publications in computer science and Deep learning · See more »

Demetri Terzopoulos

Demetri Terzopoulos is a Professor of Computer Science in the Henry Samueli School of Engineering and Applied Science at the University of California, Los Angeles, where he directs the UCLA Computer Computer graphics & Computer vision Laboratory.

New!!: List of important publications in computer science and Demetri Terzopoulos · See more »

Dennis Ritchie

Dennis MacAlistair Ritchie (September 9, 1941 – October 12, 2011) was an American computer scientist.

New!!: List of important publications in computer science and Dennis Ritchie · See more »

Design Patterns

Design Patterns: Elements of Reusable Object-Oriented Software is a software engineering book describing software design patterns.

New!!: List of important publications in computer science and Design Patterns · See more »

Deterministic context-free language

In formal language theory, deterministic context-free languages (DCFL) are a proper subset of context-free languages.

New!!: List of important publications in computer science and Deterministic context-free language · See more »

Distributed computing

Distributed computing is a field of computer science that studies distributed systems.

New!!: List of important publications in computer science and Distributed computing · See more »

Domain-specific language

A domain-specific language (DSL) is a computer language specialized to a particular application domain.

New!!: List of important publications in computer science and Domain-specific language · See more »

Donald D. Chamberlin

Donald D. Chamberlin (born 21 December 1944) is an American computer scientist who is best known as one of the principal designers of the original SQL language specification with Raymond Boyce.

New!!: List of important publications in computer science and Donald D. Chamberlin · See more »

Donald Geman

Donald Jay Geman (born September 20, 1943) is an American applied mathematician and a leading researcher in the field of machine learning and pattern recognition.

New!!: List of important publications in computer science and Donald Geman · See more »

Donald Knuth

Donald Ervin Knuth (born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University.

New!!: List of important publications in computer science and Donald Knuth · See more »

Edgar F. Codd

Edgar Frank "Ted" Codd (19 August 1923 – 18 April 2003) was an English computer scientist who, while working for IBM, invented the relational model for database management, the theoretical basis for relational databases and relational database management systems.

New!!: List of important publications in computer science and Edgar F. Codd · See more »

Edsger W. Dijkstra

Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch systems scientist, programmer, software engineer, science essayist, and early pioneer in computing science.

New!!: List of important publications in computer science and Edsger W. Dijkstra · See more »

Edward Adelson

Edward H. Adelson (born 1952) is an American neuroscientist currently the John and Dorothy Wilson Professor of Vision Science at Massachusetts Institute of Technology and an Elected Fellow of the National Academy of Sciences and American Academy of Arts and Sciences.

New!!: List of important publications in computer science and Edward Adelson · See more »

Edward Yourdon

Edward Nash Yourdon (April 30, 1944 – January 20, 2016) was an American software engineer, computer consultant, author and lecturer, and software engineering methodology pioneer.

New!!: List of important publications in computer science and Edward Yourdon · See more »

ENIAC

ENIAC (Electronic Numerical Integrator and Computer) was amongst the earliest electronic general-purpose computers made.

New!!: List of important publications in computer science and ENIAC · See more »

Entity–relationship model

An entity–relationship model (ER model for short) describes interrelated things of interest in a specific domain of knowledge.

New!!: List of important publications in computer science and Entity–relationship model · See more »

Eric S. Raymond

Eric Steven Raymond (born December 4, 1957), often referred to as ESR, is an American software developer, author of the widely cited 1997 essay and 1999 book The Cathedral and the Bazaar and other works, and open-source software advocate.

New!!: List of important publications in computer science and Eric S. Raymond · See more »

Erich Gamma

Erich Gamma (born 1961 in Zürich) is a Swiss computer scientist and co-author of the influential software engineering textbook, Design Patterns: Elements of Reusable Object-Oriented Software.

New!!: List of important publications in computer science and Erich Gamma · See more »

Expressive power (computer science)

In computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented and communicated in that language.

New!!: List of important publications in computer science and Expressive power (computer science) · See more »

Fernando J. Corbató

Fernando José "Corby" Corbató (born July 1, 1926) is a prominent American computer scientist, notable as a pioneer in the development of time-sharing operating systems.

New!!: List of important publications in computer science and Fernando J. Corbató · See more »

File system

In computing, a file system or filesystem controls how data is stored and retrieved.

New!!: List of important publications in computer science and File system · See more »

Finite-state machine

A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation.

New!!: List of important publications in computer science and Finite-state machine · See more »

Finite-state transducer

A finite-state transducer (FST) is a finite-state machine with two memory tapes, following the terminology for Turing machines: an input tape and an output tape.

New!!: List of important publications in computer science and Finite-state transducer · See more »

First Monday (journal)

First Monday is a monthly peer-reviewed open access academic journal covering research on the Internet.

New!!: List of important publications in computer science and First Monday (journal) · See more »

Fixed point (mathematics)

In mathematics, a fixed point (sometimes shortened to fixpoint, also known as an invariant point) of a function is an element of the function's domain that is mapped to itself by the function.

New!!: List of important publications in computer science and Fixed point (mathematics) · See more »

Formal verification

In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

New!!: List of important publications in computer science and Formal verification · See more »

Fortran

Fortran (formerly FORTRAN, derived from Formula Translation) is a general-purpose, compiled imperative programming language that is especially suited to numeric computation and scientific computing.

New!!: List of important publications in computer science and Fortran · See more »

Forward–backward algorithm

The forward–backward algorithm is an inference algorithm for hidden Markov models which computes the posterior marginals of all hidden state variables given a sequence of observations/emissions o_.

New!!: List of important publications in computer science and Forward–backward algorithm · See more »

Fourier transform

The Fourier transform (FT) decomposes a function of time (a signal) into the frequencies that make it up, in a way similar to how a musical chord can be expressed as the frequencies (or pitches) of its constituent notes.

New!!: List of important publications in computer science and Fourier transform · See more »

Frances E. Allen

Frances Elizabeth "Fran" Allen (born August 4, 1932) is an American computer scientist and pioneer in the field of optimizing compilers.

New!!: List of important publications in computer science and Frances E. Allen · See more »

Fred Brooks

Frederick Phillips "Fred" Brooks Jr. (born April 19, 1931) is an American computer architect, software engineer, and computer scientist, best known for managing the development of IBM's System/360 family of computers and the OS/360 software support package, then later writing candidly about the process in his seminal book The Mythical Man-Month.

New!!: List of important publications in computer science and Fred Brooks · See more »

Functional programming

In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.

New!!: List of important publications in computer science and Functional programming · See more »

Fundamental Concepts in Programming Languages

Fundamental Concepts in Programming Languages were an influential set of lecture notes written by Christopher Strachey for the International Summer School in Computer Programming at Copenhagen in August, 1967.

New!!: List of important publications in computer science and Fundamental Concepts in Programming Languages · See more »

Fuzzy set

In mathematics, fuzzy sets (aka uncertain sets) are somewhat like sets whose elements have degrees of membership.

New!!: List of important publications in computer science and Fuzzy set · See more »

Garth Gibson

Garth Alan Gibson is a Computer Scientist from Carnegie Mellon University.

New!!: List of important publications in computer science and Garth Gibson · See more »

Gary Kildall

Gary Arlen Kildall (May 19, 1942 – July 11, 1994) was an American computer scientist and microcomputer entrepreneur who created the CP/M operating system and founded Digital Research, Inc. (DRI).

New!!: List of important publications in computer science and Gary Kildall · See more »

Gene Amdahl

Gene Myron Amdahl (November 16, 1922 – November 10, 2015) was an American computer architect and high-tech entrepreneur, chiefly known for his work on mainframe computers at IBM and later his own companies, especially Amdahl Corporation.

New!!: List of important publications in computer science and Gene Amdahl · See more »

Gene expression

Gene expression is the process by which information from a gene is used in the synthesis of a functional gene product.

New!!: List of important publications in computer science and Gene expression · See more »

Geoffrey Hinton

Geoffrey Everest Hinton One or more of the preceding sentences incorporates text from the royalsociety.org website where: (born 6 December 1947) is a British cognitive psychologist and computer scientist, most noted for his work on artificial neural networks.

New!!: List of important publications in computer science and Geoffrey Hinton · See more »

Gerald Jay Sussman

Gerald Jay Sussman (born February 8, 1947) is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT).

New!!: List of important publications in computer science and Gerald Jay Sussman · See more »

Gerard Salton

Gerard A. "Gerry" Salton (8 March 1927 in Nuremberg – 28 August 1995), was a Professor of Computer Science at Cornell University.

New!!: List of important publications in computer science and Gerard Salton · See more »

Gerrit Blaauw

Gerrit Anne (Gerry) Blaauw (July 17, 1924 - March 21, 2018) was a Dutch computer scientist, known as one of the principal designers of the IBM System/360 line of computers, together with Fred Brooks, Gene Amdahl, and others.

New!!: List of important publications in computer science and Gerrit Blaauw · See more »

Gian-Carlo Rota

Gian-Carlo Rota (April 27, 1932 – April 18, 1999) was an Italian-born American mathematician and philosopher.

New!!: List of important publications in computer science and Gian-Carlo Rota · See more »

Gibbs sampling

In statistics, Gibbs sampling or a Gibbs sampler is a Markov chain Monte Carlo (MCMC) algorithm for obtaining a sequence of observations which are approximated from a specified multivariate probability distribution, when direct sampling is difficult.

New!!: List of important publications in computer science and Gibbs sampling · See more »

Gprof

Gprof is a performance analysis tool for Unix applications.

New!!: List of important publications in computer science and Gprof · See more »

Guy L. Steele Jr.

Guy Lewis Steele Jr. (born October 2, 1954) is an American computer scientist who has played an important role in designing and documenting several computer programming languages.

New!!: List of important publications in computer science and Guy L. Steele Jr. · See more »

Hal Abelson

Harold "Hal" Abelson (born April 26, 1947) is a Professor of Electrical Engineering and Computer Science at MIT, a fellow of the IEEE, and a founding director of both Creative Commons and the Free Software Foundation.

New!!: List of important publications in computer science and Hal Abelson · See more »

Haskell (programming language)

Haskell is a standardized, general-purpose compiled purely functional programming language, with non-strict semantics and strong static typing.

New!!: List of important publications in computer science and Haskell (programming language) · See more »

Hidden Markov model

Hidden Markov Model (HMM) is a statistical Markov model in which the system being modeled is assumed to be a Markov process with unobserved (i.e. hidden) states.

New!!: List of important publications in computer science and Hidden Markov model · See more »

History of artificial intelligence

The history of Artificial Intelligence (AI) began in antiquity, with myths, stories and rumors of artificial beings endowed with intelligence or consciousness by master craftsmen; as Pamela McCorduck writes, AI began with "an ancient wish to forge the gods." The seeds of modern AI were planted by classical philosophers who attempted to describe the process of human thinking as the mechanical manipulation of symbols.

New!!: List of important publications in computer science and History of artificial intelligence · See more »

Hoare logic

Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

New!!: List of important publications in computer science and Hoare logic · See more »

IBM

The International Business Machines Corporation (IBM) is an American multinational technology company headquartered in Armonk, New York, United States, with operations in over 170 countries.

New!!: List of important publications in computer science and IBM · See more »

IBM System/360

The IBM System/360 (S/360) is a family of mainframe computer systems that was announced by IBM on April 7, 1964, and delivered between 1965 and 1978.

New!!: List of important publications in computer science and IBM System/360 · See more »

IEEE Transactions on Communications

IEEE Transactions on Communications is a monthly peer-reviewed scientific journal published by the IEEE Communications Society that focuses on all aspects of telecommunication technology, including telephone, telegraphy, facsimile, and point-to-point television by electromagnetic propagation.

New!!: List of important publications in computer science and IEEE Transactions on Communications · See more »

Imperative programming

In computer science, imperative programming is a programming paradigm that uses statements that change a program's state.

New!!: List of important publications in computer science and Imperative programming · See more »

Information and Computation

Information and Computation is a computer science journal published by Elsevier (formerly Academic Press).

New!!: List of important publications in computer science and Information and Computation · See more »

Information hiding

In computer science, information hiding is the principle of segregation of the design decisions in a computer program that are most likely to change, thus protecting other parts of the program from extensive modification if the design decision is changed.

New!!: List of important publications in computer science and Information hiding · See more »

Information theory

Information theory studies the quantification, storage, and communication of information.

New!!: List of important publications in computer science and Information theory · See more »

Instruction set architecture

An instruction set architecture (ISA) is an abstract model of a computer.

New!!: List of important publications in computer science and Instruction set architecture · See more »

International Conference on Computer Vision

ICCV, the International Conference on Computer Vision, is a research conference sponsored by the Institute of Electrical and Electronics Engineers (IEEE) held every other year.

New!!: List of important publications in computer science and International Conference on Computer Vision · See more »

International Conference on Distributed Computing Systems

The International Conference on Distributed Computing Systems (ICDCS) is the oldest conference in the field of distributed computing systems in the world.

New!!: List of important publications in computer science and International Conference on Distributed Computing Systems · See more »

International Joint Conference on Artificial Intelligence

The International Joint Conference on Artificial Intelligence (IJCAI) is a gathering of artificial intelligence researchers and practitioners.

New!!: List of important publications in computer science and International Joint Conference on Artificial Intelligence · See more »

International Journal of Computer Vision

The International Journal of Computer Vision (IJCV) is a journal published by Springer.

New!!: List of important publications in computer science and International Journal of Computer Vision · See more »

Inverted index

In computer science, an inverted index (also referred to as postings file or inverted file) is an index data structure storing a mapping from content, such as words or numbers, to its locations in a database file, or in a document or a set of documents (named in contrast to a forward index, which maps from documents to content).

New!!: List of important publications in computer science and Inverted index · See more »

ISWIM

ISWIM is an abstract computer programming language (or a family of programming languages) devised by Peter J. Landin and first described in his article The Next 700 Programming Languages, published in the Communications of the ACM in 1966.

New!!: List of important publications in computer science and ISWIM · See more »

Jack Dennis

Jack Bonnell Dennis is a computer scientist and Emeritus Professor of Computer Science and Engineering at MIT.

New!!: List of important publications in computer science and Jack Dennis · See more »

Jeffrey Ullman

Jeffrey David "Jeff" Ullman (born November 22, 1942) is an American computer scientist and professor at Stanford University.

New!!: List of important publications in computer science and Jeffrey Ullman · See more »

Jim Gray (computer scientist)

James Nicholas Gray (19442007) was an American computer scientist who received the Turing Award in 1998 "for seminal contributions to database and transaction processing research and technical leadership in system implementation".

New!!: List of important publications in computer science and Jim Gray (computer scientist) · See more »

Jim Kajiya

Jim Kajiya is a pioneer in the field of computer graphics.

New!!: List of important publications in computer science and Jim Kajiya · See more »

John Backus

John Warner Backus (December 3, 1924 – March 17, 2007) was an American computer scientist.

New!!: List of important publications in computer science and John Backus · See more »

John C. Reynolds

John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.

New!!: List of important publications in computer science and John C. Reynolds · See more »

John Cocke

John Cocke (May 30, 1925 – July 16, 2002) was an American computer scientist recognized for his large contribution to computer architecture and optimizing compiler design.

New!!: List of important publications in computer science and John Cocke · See more »

John McCarthy (computer scientist)

John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist.

New!!: List of important publications in computer science and John McCarthy (computer scientist) · See more »

John Ousterhout

John Kenneth Ousterhout (born October 15, 1954) is the chairman of Electric Cloud, Inc. and a professor of computer science at Stanford University.

New!!: List of important publications in computer science and John Ousterhout · See more »

John Platt (computer scientist)

John Carlton Platt (born 1963) is an American computer scientist.

New!!: List of important publications in computer science and John Platt (computer scientist) · See more »

John Vlissides

John Matthew Vlissides (August 2, 1961 - November 24, 2005) was a software scientist known mainly as one of the four authors (referred to as the Gang of Four) of the book Design Patterns: Elements of Reusable Object-Oriented Software.

New!!: List of important publications in computer science and John Vlissides · See more »

John von Neumann

John von Neumann (Neumann János Lajos,; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, and polymath.

New!!: List of important publications in computer science and John von Neumann · See more »

Journal of the ACM

The Journal of the ACM is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects.

New!!: List of important publications in computer science and Journal of the ACM · See more »

Judea Pearl

Judea Pearl (born September 4, 1936) is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks (see the article on belief propagation).

New!!: List of important publications in computer science and Judea Pearl · See more »

Karen Spärck Jones

Karen Spärck Jones FBA (26 August 1935 – 4 April 2007) was a British computer scientist who was responsible for the concept of inverse document frequency, a technology that underlies most modern search engines.

New!!: List of important publications in computer science and Karen Spärck Jones · See more »

Keith Bostic

Keith Bostic is an American Software Engineer and one of the key people in the history of Berkeley Software Distribution UNIX and Open Source software.

New!!: List of important publications in computer science and Keith Bostic · See more »

Ken Thompson

Kenneth Lane "Ken" Thompson (born February 4, 1943), commonly referred to as ken in hacker circles, is an American pioneer of computer science.

New!!: List of important publications in computer science and Ken Thompson · See more »

Kenneth G. Wilson

Kenneth Geddes "Ken" Wilson (June 8, 1936 – June 15, 2013) was an American theoretical physicist and a pioneer in leveraging computers for studying particle physics.

New!!: List of important publications in computer science and Kenneth G. Wilson · See more »

Kernel (operating system)

The kernel is a computer program that is the core of a computer's operating system, with complete control over everything in the system.

New!!: List of important publications in computer science and Kernel (operating system) · See more »

Kernel method

In machine learning, kernel methods are a class of algorithms for pattern analysis, whose best known member is the support vector machine (SVM).

New!!: List of important publications in computer science and Kernel method · See more »

Kunle Olukotun

Oyekunle Ayinde (Kunle) Olukotun is a pioneer of multi-core processors, a professor of electrical engineering and computer science at Stanford University and director of the Pervasive Parallelism Laboratory at Stanford.

New!!: List of important publications in computer science and Kunle Olukotun · See more »

L4 microkernel family

L4 is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems.

New!!: List of important publications in computer science and L4 microkernel family · See more »

LALR parser

In computer science, an LALR parser or Look-Ahead LR parser is a simplified version of a canonical LR parser, to parse (separate and analyze) a text according to a set of production rules specified by a formal grammar for a computer language.

New!!: List of important publications in computer science and LALR parser · See more »

Lambda calculus

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

New!!: List of important publications in computer science and Lambda calculus · See more »

Larry Constantine

Larry LeRoy Constantine (pronounced Constanteen; born 1943) is an American software engineer, professor in the Center for Exact Sciences and Engineering at the University of Madeira Portugal, and considered one of the pioneers of computing.

New!!: List of important publications in computer science and Larry Constantine · See more »

Lattice (order)

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.

New!!: List of important publications in computer science and Lattice (order) · See more »

Leslie Valiant

Leslie Gabriel Valiant http://royalsociety.org/DServe/dserve.exe?dsqIni.

New!!: List of important publications in computer science and Leslie Valiant · See more »

Lisp (programming language)

Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.

New!!: List of important publications in computer science and Lisp (programming language) · See more »

List of computer science conferences

This is a list of academic conferences in computer science.

New!!: List of important publications in computer science and List of computer science conferences · See more »

List of computer science journals

Below is a list of computer science journals.

New!!: List of important publications in computer science and List of computer science journals · See more »

List of Intel microprocessors

This generational list of Intel processors attempts to present all of Intel's processors from the pioneering 4-bit 4004 (1971) to the present high-end offerings, which include the 64-bit Itanium 2 (2002), Intel Core i9, and Xeon E3 and E5 series processors (2015).

New!!: List of important publications in computer science and List of Intel microprocessors · See more »

List of unsolved problems in computer science

This article is a list of unsolved problems in computer science.

New!!: List of important publications in computer science and List of unsolved problems in computer science · See more »

Log-structured file system

A log-structured filesystem is a file system in which data and metadata are written sequentially to a circular buffer, called a log.

New!!: List of important publications in computer science and Log-structured file system · See more »

Lorenz cipher

The Lorenz SZ40, SZ42a and SZ42b were German rotor stream cipher machines used by the German Army during World War II.

New!!: List of important publications in computer science and Lorenz cipher · See more »

Los Alamos National Laboratory

Los Alamos National Laboratory (Los Alamos or LANL for short) is a United States Department of Energy national laboratory initially organized during World War II for the design of nuclear weapons as part of the Manhattan Project.

New!!: List of important publications in computer science and Los Alamos National Laboratory · See more »

Lotfi A. Zadeh

Lotfi Aliasker Zadeh (Lütfəli Rəhim oğlu Ələsgərzadə; لطفی علی‌عسگرزاده; February 4, 1921 – September 6, 2017) was a mathematician, computer scientist, electrical engineer, artificial intelligence researcher and professor emeritus of computer science at the University of California, Berkeley.

New!!: List of important publications in computer science and Lotfi A. Zadeh · See more »

LR parser

In computer science, LR parsers are a type of bottom-up parser that efficiently read deterministic context-free languages, in guaranteed linear time.

New!!: List of important publications in computer science and LR parser · See more »

LR-attributed grammar

LR-attributed grammars are a special type of attribute grammars.

New!!: List of important publications in computer science and LR-attributed grammar · See more »

Machine learning

Machine learning is a subset of artificial intelligence in the field of computer science that often uses statistical techniques to give computers the ability to "learn" (i.e., progressively improve performance on a specific task) with data, without being explicitly programmed.

New!!: List of important publications in computer science and Machine learning · See more »

MacOS

macOS (previously and later) is a series of graphical operating systems developed and marketed by Apple Inc. since 2001.

New!!: List of important publications in computer science and MacOS · See more »

Mainframe computer

Mainframe computers (colloquially referred to as "big iron") are computers used primarily by large organizations for critical applications; bulk data processing, such as census, industry and consumer statistics, enterprise resource planning; and transaction processing.

New!!: List of important publications in computer science and Mainframe computer · See more »

Manfred K. Warmuth

Manfred Klaus Warmuth is a researcher and professor at the University of California, Santa Cruz.

New!!: List of important publications in computer science and Manfred K. Warmuth · See more »

Margo Seltzer

Margo Ilene Seltzer (born in upstate New York) is a professor and researcher in computer systems.

New!!: List of important publications in computer science and Margo Seltzer · See more »

Marshall Kirk McKusick

Marshall Kirk McKusick (born January 19, 1954) is a computer scientist, known for his extensive work on BSD UNIX, from the 1980s to FreeBSD in the present day.

New!!: List of important publications in computer science and Marshall Kirk McKusick · See more »

Marvin Minsky

Marvin Lee Minsky (August 9, 1927 – January 24, 2016) was an American cognitive scientist concerned largely with research of artificial intelligence (AI), co-founder of the Massachusetts Institute of Technology's AI laboratory, and author of several texts concerning AI and philosophy.

New!!: List of important publications in computer science and Marvin Minsky · See more »

Mendel Rosenblum

Mendel Rosenblum (born 1962) is a professor of Computer Science at Stanford University and one of the co-founders of VMware.

New!!: List of important publications in computer science and Mendel Rosenblum · See more »

Michael Kearns (computer scientist)

Michael Kearns is an American computer scientist, professor and National Center Chair at the University of Pennsylvania, the founding director of Penn's Singh Program in Networked & Social Systems Engineering (NETS), the founding director of, and also holds secondary appointments in Penn's Wharton School and department of Economics.

New!!: List of important publications in computer science and Michael Kearns (computer scientist) · See more »

Microkernel

In computer science, a microkernel (also known as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system (OS).

New!!: List of important publications in computer science and Microkernel · See more »

MIT Press

The MIT Press is a university press affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts (United States).

New!!: List of important publications in computer science and MIT Press · See more »

Model–view–controller

Model–view–controller is commonly used for developing software that divides an application into three interconnected parts.

New!!: List of important publications in computer science and Model–view–controller · See more »

Monad (functional programming)

In functional programming, a monad is a design pattern that defines how functions, actions, inputs, and outputs can be used together to build generic types, with the following organization.

New!!: List of important publications in computer science and Monad (functional programming) · See more »

Monica S. Lam

Monica Sin-Ling Lam is a professor in the Computer Science Department at Stanford, and founder of Moka5 and Omlet.

New!!: List of important publications in computer science and Monica S. Lam · See more »

Monitor (synchronization)

In concurrent programming, a monitor is a synchronization construct that allows threads to have both mutual exclusion and the ability to wait (block) for a certain condition to become true.

New!!: List of important publications in computer science and Monitor (synchronization) · See more »

Morphology (linguistics)

In linguistics, morphology is the study of words, how they are formed, and their relationship to other words in the same language.

New!!: List of important publications in computer science and Morphology (linguistics) · See more »

Multics

Multics (Multiplexed Information and Computing Service) is an influential early time-sharing operating system, based around the concept of a single-level memory.

New!!: List of important publications in computer science and Multics · See more »

Nathaniel Rochester (computer scientist)

Nathaniel Rochester (January 14, 1919 – June 8, 2001) designed the IBM 701, wrote the first assembler and participated in the founding of the field of artificial intelligence.

New!!: List of important publications in computer science and Nathaniel Rochester (computer scientist) · See more »

Nello Cristianini

Nello Cristianini (born 1968) is a Professor of Artificial Intelligence in the Department of Computer Science at the University of Bristol.

New!!: List of important publications in computer science and Nello Cristianini · See more »

Nicholas Metropolis

Nicholas Constantine Metropolis (Greek: Νικόλαος Μητρόπουλος, June 11, 1915 – October 17, 1999) was a Greek-American physicist.

New!!: List of important publications in computer science and Nicholas Metropolis · See more »

Object-oriented programming

Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which may contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. A feature of objects is that an object's procedures can access and often modify the data fields of the object with which they are associated (objects have a notion of "this" or "self").

New!!: List of important publications in computer science and Object-oriented programming · See more »

Ole-Johan Dahl

Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist.

New!!: List of important publications in computer science and Ole-Johan Dahl · See more »

Open-source model

The open-source model is a decentralized software-development model that encourages open collaboration.

New!!: List of important publications in computer science and Open-source model · See more »

Operating system

An operating system (OS) is system software that manages computer hardware and software resources and provides common services for computer programs.

New!!: List of important publications in computer science and Operating system · See more »

Parallel computing

Parallel computing is a type of computation in which many calculations or the execution of processes are carried out concurrently.

New!!: List of important publications in computer science and Parallel computing · See more »

Parametric polymorphism

In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static type-safety.

New!!: List of important publications in computer science and Parametric polymorphism · See more »

Paris Kanellakis Award

The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".

New!!: List of important publications in computer science and Paris Kanellakis Award · See more »

Part-of-speech tagging

In corpus linguistics, part-of-speech tagging (POS tagging or PoS tagging or POST), also called grammatical tagging or word-category disambiguation, is the process of marking up a word in a text (corpus) as corresponding to a particular part of speech, based on both its definition and its context—i.e., its relationship with adjacent and related words in a phrase, sentence, or paragraph.

New!!: List of important publications in computer science and Part-of-speech tagging · See more »

Paul Werbos

Paul J. Werbos (born 1947) is a scientist best known for his 1974 Harvard University Ph.D. thesis, which first described the process of training artificial neural networks through backpropagation of errors.

New!!: List of important publications in computer science and Paul Werbos · See more »

Per Brinch Hansen

Per Brinch Hansen (November 13, 1938 – July 31, 2007) was a Danish-American computer scientist known for his work in operating systems, concurrent programming and parallel and distributed computing.

New!!: List of important publications in computer science and Per Brinch Hansen · See more »

Peter Chen

Peter Pin-Shan Chen (Chinese: 陳品山, born in 1947) is a Taiwanese American computer scientist.

New!!: List of important publications in computer science and Peter Chen · See more »

Peter J. Denning

Peter James Denning (born January 6, 1942) is an American computer scientist and writer.

New!!: List of important publications in computer science and Peter J. Denning · See more »

Peter Landin

Peter John Landin (5 June 1930, Sheffield – 3 June 2009) was a British computer scientist.

New!!: List of important publications in computer science and Peter Landin · See more »

Peter Naur

Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and Turing award winner.

New!!: List of important publications in computer science and Peter Naur · See more »

Peter Norvig

Peter Norvig (born December 14, 1956) is an American computer scientist.

New!!: List of important publications in computer science and Peter Norvig · See more »

Philip Wadler

Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory.

New!!: List of important publications in computer science and Philip Wadler · See more »

Philosophy of artificial intelligence

The philosophy of artificial intelligence attempts to answer such questions as follows.

New!!: List of important publications in computer science and Philosophy of artificial intelligence · See more »

Princeton University Press

Princeton University Press is an independent publisher with close connections to Princeton University.

New!!: List of important publications in computer science and Princeton University Press · See more »

Probabilistic context-free grammar

Grammar theory to model symbol strings originated from work in computational linguistics aiming to understand the structure of natural languages.

New!!: List of important publications in computer science and Probabilistic context-free grammar · See more »

Probably approximately correct learning

In computational learning theory, probably approximately correct learning (PAC learning) is a framework for mathematical analysis of machine learning.

New!!: List of important publications in computer science and Probably approximately correct learning · See more »

Procedural programming

Procedural programming is a programming paradigm, derived from structured programming, based upon the concept of the procedure call.

New!!: List of important publications in computer science and Procedural programming · See more »

Proceedings of the IEEE

The Proceedings of the IEEE is a monthly peer-reviewed scientific journal published by the Institute of Electrical and Electronics Engineers (IEEE).

New!!: List of important publications in computer science and Proceedings of the IEEE · See more »

Proceedings of the National Academy of Sciences of the United States of America

Proceedings of the National Academy of Sciences of the United States of America (PNAS) is the official scientific journal of the National Academy of Sciences, published since 1915.

New!!: List of important publications in computer science and Proceedings of the National Academy of Sciences of the United States of America · See more »

Processor design

Processor design is the design engineering task of creating a processor, a component of computer hardware.

New!!: List of important publications in computer science and Processor design · See more »

Profiling (computer programming)

In software engineering, profiling ("program profiling", "software profiling") is a form of dynamic program analysis that measures, for example, the space (memory) or time complexity of a program, the usage of particular instructions, or the frequency and duration of function calls.

New!!: List of important publications in computer science and Profiling (computer programming) · See more »

RAID

RAID (Redundant Array of Independent Disks, originally Redundant Array of Inexpensive Disks) is a data storage virtualization technology that combines multiple physical disk drive components into one or more logical units for the purposes of data redundancy, performance improvement, or both.

New!!: List of important publications in computer science and RAID · See more »

Rakesh Agrawal (computer scientist)

Rakesh Agrawal is a computer scientist who until recently was a Technical Fellow at the Microsoft Search Labs.

New!!: List of important publications in computer science and Rakesh Agrawal (computer scientist) · See more »

Ralph Johnson (computer scientist)

Ralph E. Johnson is a Research Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign.

New!!: List of important publications in computer science and Ralph Johnson (computer scientist) · See more »

Randy Katz

Randy Howard Katz is a distinguished professor at University of California, Berkeley of the electrical engineering and computer science department.

New!!: List of important publications in computer science and Randy Katz · See more »

Ravi Sethi

Ravi Sethi (born 1947) is an Indian computer scientist retired from Bell Labs and president of Avaya Labs Research.

New!!: List of important publications in computer science and Ravi Sethi · See more »

Ray Solomonoff

Ray Solomonoff (July 25, 1926 – December 7, 2009) was the inventor of algorithmic probability, his General Theory of Inductive Inference (also known as Universal Inductive Inference),Samuel Rathmanner and Marcus Hutter.

New!!: List of important publications in computer science and Ray Solomonoff · See more »

Raymond F. Boyce

Raymond F. Boyce (1947–1974) was an American computer scientist who was known for his research in relational databases.

New!!: List of important publications in computer science and Raymond F. Boyce · See more »

RC 4000 multiprogramming system

The RC 4000 Multiprogramming System is a discontinued operating system developed for the RC 4000 minicomputer in 1969.

New!!: List of important publications in computer science and RC 4000 multiprogramming system · See more »

Reduced instruction set computer

A reduced instruction set computer, or RISC (pronounced 'risk'), is one whose instruction set architecture (ISA) allows it to have fewer cycles per instruction (CPI) than a complex instruction set computer (CISC).

New!!: List of important publications in computer science and Reduced instruction set computer · See more »

Reference frame (video)

Reference frames are frames of a compressed video that are used to define future frames.

New!!: List of important publications in computer science and Reference frame (video) · See more »

Reinforcement learning

Reinforcement learning (RL) is an area of machine learning inspired by behaviourist psychology, concerned with how software agents ought to take actions in an environment so as to maximize some notion of cumulative reward.

New!!: List of important publications in computer science and Reinforcement learning · See more »

Richard Rashid

Richard Ferris Rashid served as a VP at Microsoft for many years.

New!!: List of important publications in computer science and Richard Rashid · See more »

Richard S. Sutton

Richard S. Sutton is a Canadian computer scientist.

New!!: List of important publications in computer science and Richard S. Sutton · See more »

Robert Schapire

Robert Elias Schapire is an American computer scientist, former David M. Siegel '83 Professor in the computer science department at Princeton University, and has recently moved to Microsoft Research.

New!!: List of important publications in computer science and Robert Schapire · See more »

Ronald J. Williams

Ronald J. Williams is professor of computer science at Northeastern University, and one of the pioneers of neural networks.

New!!: List of important publications in computer science and Ronald J. Williams · See more »

Ross Quinlan

John Ross Quinlan is a computer science researcher in data mining and decision theory.

New!!: List of important publications in computer science and Ross Quinlan · See more »

Rudolf Bayer

Rudolf Bayer (born 7 May 1939) is a German computer scientist.

New!!: List of important publications in computer science and Rudolf Bayer · See more »

S-attributed grammar

S-attributed grammars are a class of attribute grammars characterized by having no inherited attributes, but only synthesized attributes.

New!!: List of important publications in computer science and S-attributed grammar · See more »

Scale-invariant feature transform

The scale-invariant feature transform (SIFT) is an algorithm in computer vision to detect and describe local features in images.

New!!: List of important publications in computer science and Scale-invariant feature transform · See more »

Scheme (programming language)

Scheme is a programming language that supports multiple paradigms, including functional programming and imperative programming, and is one of the two main dialects of Lisp.

New!!: List of important publications in computer science and Scheme (programming language) · See more »

Second-system effect

The second-system effect (also known as second-system syndrome) is the tendency of small, elegant, and successful systems, to be succeeded by over-engineered, bloated systems, due to inflated expectations and overconfidence.

New!!: List of important publications in computer science and Second-system effect · See more »

Seymour Cray

Seymour Roger Cray (September 28, 1925 – October 5, 1996) was an American electrical engineer and supercomputer architect who designed a series of computers that were the fastest in the world for decades, and founded Cray Research which built many of these machines.

New!!: List of important publications in computer science and Seymour Cray · See more »

SIGGRAPH

SIGGRAPH (Special Interest Group on Computer GRAPHics and Interactive Techniques) is the annual conference on computer graphics (CG) convened by the ACM SIGGRAPH organization.

New!!: List of important publications in computer science and SIGGRAPH · See more »

SIGMOD

SIGMOD is the Association for Computing Machinery's Special Interest Group on Management of Data, which specializes in large-scale data management problems and databases.

New!!: List of important publications in computer science and SIGMOD · See more »

Software design pattern

In software engineering, a software design pattern is a general, reusable solution to a commonly occurring problem within a given context in software design.

New!!: List of important publications in computer science and Software design pattern · See more »

Software development process

In software engineering, a software development process is the process of dividing software development work into distinct phases to improve design, product management, and project management.

New!!: List of important publications in computer science and Software development process · See more »

Software engineering

Software engineering is the application of engineering to the development of software in a systematic method.

New!!: List of important publications in computer science and Software engineering · See more »

Specification (technical standard)

A specification often refers to a set of documented requirements to be satisfied by a material, design, product, or service.

New!!: List of important publications in computer science and Specification (technical standard) · See more »

Speech recognition

Speech recognition is the inter-disciplinary sub-field of computational linguistics that develops methodologies and technologies that enables the recognition and translation of spoken language into text by computers.

New!!: List of important publications in computer science and Speech recognition · See more »

SQL

SQL (S-Q-L, "sequel"; Structured Query Language) is a domain-specific language used in programming and designed for managing data held in a relational database management system (RDBMS), or for stream processing in a relational data stream management system (RDSMS).

New!!: List of important publications in computer science and SQL · See more »

State diagram

A state diagram is a type of diagram used in computer science and related fields to describe the behavior of systems.

New!!: List of important publications in computer science and State diagram · See more »

Stephen C. Johnson

Stephen Curtis Johnson (known as Steve Johnson) is a computer scientist who worked at Bell Labs and AT&T for nearly 20 years.

New!!: List of important publications in computer science and Stephen C. Johnson · See more »

Structured programming

Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of the structured control flow constructs of selection (if/then/else) and repetition (while and for), block structures, and subroutines in contrast to using simple tests and jumps such as the go to statement, which can lead to "spaghetti code" that is potentially difficult to follow and maintain.

New!!: List of important publications in computer science and Structured programming · See more »

Structured systems analysis and design method

Structured systems analysis and design method (SSADM), originally released as methodology, is a systems approach to the analysis and design of information systems.

New!!: List of important publications in computer science and Structured systems analysis and design method · See more »

Stuart Geman

Stuart Alan Geman (born 1949) is an American mathematician, known for influential contributions to computer vision, statistics, probability theory, machine learning, and the neurosciences.

New!!: List of important publications in computer science and Stuart Geman · See more »

Stuart J. Russell

Stuart Jonathan Russell (born 1962) is a computer scientist known for his contributions to artificial intelligence.

New!!: List of important publications in computer science and Stuart J. Russell · See more »

Supercomputer

A supercomputer is a computer with a high level of performance compared to a general-purpose computer.

New!!: List of important publications in computer science and Supercomputer · See more »

Support vector machine

In machine learning, support vector machines (SVMs, also support vector networks) are supervised learning models with associated learning algorithms that analyze data used for classification and regression analysis.

New!!: List of important publications in computer science and Support vector machine · See more »

Susan L. Graham

Susan Lois Graham is an American computer scientist.

New!!: List of important publications in computer science and Susan L. Graham · See more »

Symposium on Principles of Programming Languages

The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces.

New!!: List of important publications in computer science and Symposium on Principles of Programming Languages · See more »

Symposium on Theory of Computing

The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science.

New!!: List of important publications in computer science and Symposium on Theory of Computing · See more »

System F

System F, also known as the (Girard–Reynolds) polymorphic lambda calculus or the second-order lambda calculus, is a typed lambda calculus that differs from the simply typed lambda calculus by the introduction of a mechanism of universal quantification over types.

New!!: List of important publications in computer science and System F · See more »

Takeo Kanade

is a Japanese computer scientist and one of the world's foremost researchers in computer vision.

New!!: List of important publications in computer science and Takeo Kanade · See more »

Temporal difference learning

Temporal difference (TD) learning refers to a class of model-free reinforcement learning methods which learn by bootstrapping from the current estimate of the value function.

New!!: List of important publications in computer science and Temporal difference learning · See more »

Tf–idf

In information retrieval, tf–idf or TFIDF, short for term frequency–inverse document frequency, is a numerical statistic that is intended to reflect how important a word is to a document in a collection or corpus.

New!!: List of important publications in computer science and Tf–idf · See more »

The Journal of Object Technology

The Journal of Object Technology is an online scientific journal covering object-oriented programming and component-based development.

New!!: List of important publications in computer science and The Journal of Object Technology · See more »

Theoretical computer science

Theoretical computer science, or TCS, is a subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation.

New!!: List of important publications in computer science and Theoretical computer science · See more »

Time-sharing

In computing, time-sharing is the sharing of a computing resource among many users by means of multiprogramming and multi-tasking at the same time.

New!!: List of important publications in computer science and Time-sharing · See more »

Tomasz Imieliński

Tomasz Imieliński (born July 11, 1954 in Toruń, Poland) is a Polish-American computer scientist, most known in the areas of data mining, mobile computing, data extraction, and search engine technology.

New!!: List of important publications in computer science and Tomasz Imieliński · See more »

Tommy Flowers

Thomas Harold Flowers, MBE (22 December 1905 – 28 October 1998) was an English engineer with the British Post Office.

New!!: List of important publications in computer science and Tommy Flowers · See more »

Tony Hoare

Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.

New!!: List of important publications in computer science and Tony Hoare · See more »

Turing test

The Turing test, developed by Alan Turing in 1950, is a test of a machine's ability to exhibit intelligent behavior equivalent to, or indistinguishable from, that of a human.

New!!: List of important publications in computer science and Turing test · See more »

Unified Modeling Language

The Unified Modeling Language (UML) is a general-purpose, developmental, modeling language in the field of software engineering, that is intended to provide a standard way to visualize the design of a system.

New!!: List of important publications in computer science and Unified Modeling Language · See more »

University of Helsinki

The University of Helsinki (Helsingin yliopisto, Helsingfors universitet, Universitas Helsingiensis, abbreviated UH) is a university located in Helsinki, Finland since 1829, but was founded in the city of Turku (in Swedish Åbo) in 1640 as the Royal Academy of Åbo, at that time part of the Swedish Empire.

New!!: List of important publications in computer science and University of Helsinki · See more »

Unix

Unix (trademarked as UNIX) is a family of multitasking, multiuser computer operating systems that derive from the original AT&T Unix, development starting in the 1970s at the Bell Labs research center by Ken Thompson, Dennis Ritchie, and others.

New!!: List of important publications in computer science and Unix · See more »

USENIX Annual Technical Conference

The USENIX Annual Technical Conference is a conference of computing professions sponsored by the USENIX association.

New!!: List of important publications in computer science and USENIX Annual Technical Conference · See more »

Vapnik–Chervonenkis theory

Vapnik–Chervonenkis theory (also known as VC theory) was developed during 1960–1990 by Vladimir Vapnik and Alexey Chervonenkis.

New!!: List of important publications in computer science and Vapnik–Chervonenkis theory · See more »

VC dimension

In Vapnik–Chervonenkis theory, the VC dimension (for Vapnik–Chervonenkis dimension) is a measure of the capacity (complexity, expressive power, richness, or flexibility) of a space of functions that can be learned by a statistical classification algorithm.

New!!: List of important publications in computer science and VC dimension · See more »

Vector space model

Vector space model or term vector model is an algebraic model for representing text documents (and any objects, in general) as vectors of identifiers, such as, for example, index terms.

New!!: List of important publications in computer science and Vector space model · See more »

Video tracking

Video tracking is the process of locating a moving object (or multiple objects) over time using a camera.

New!!: List of important publications in computer science and Video tracking · See more »

Viterbi algorithm

The Viterbi algorithm is a dynamic programming algorithm for finding the most likely sequence of hidden states—called the Viterbi path—that results in a sequence of observed events, especially in the context of Markov information sources and hidden Markov models.

New!!: List of important publications in computer science and Viterbi algorithm · See more »

Vladimir Vapnik

Vladimir Naumovich Vapnik (Владимир Наумович Вапник; born 6 December 1936) is one of the main developers of the Vapnik–Chervonenkis theory of statistical learning, and the co-inventor of the support vector machine method, and support vector clustering algorithm.

New!!: List of important publications in computer science and Vladimir Vapnik · See more »

Von Neumann architecture

The von Neumann architecture, which is also known as the von Neumann model and Princeton architecture, is a computer architecture based on the 1945 description by the mathematician and physicist John von Neumann and others in the First Draft of a Report on the EDVAC.

New!!: List of important publications in computer science and Von Neumann architecture · See more »

Wayne Stevens (software engineer)

Wayne P. Stevens (1944 - 1993) was an American software engineer, consultant, author, pioneer, and advocate of the practical application of software methods and tools.

New!!: List of important publications in computer science and Wayne Stevens (software engineer) · See more »

Winnow (algorithm)

The winnow algorithm Nick Littlestone (1988).

New!!: List of important publications in computer science and Winnow (algorithm) · See more »

World War II

World War II (often abbreviated to WWII or WW2), also known as the Second World War, was a global war that lasted from 1939 to 1945, although conflicts reflecting the ideological clash between what would become the Allied and Axis blocs began earlier.

New!!: List of important publications in computer science and World War II · See more »

Yacc

Yacc (Yet Another Compiler-Compiler) is a computer program for the Unix operating system developed by Stephen C. Johnson.

New!!: List of important publications in computer science and Yacc · See more »

Yale Patt

Yale Nance Patt is an American professor of electrical and computer engineering at The University of Texas at Austin.

New!!: List of important publications in computer science and Yale Patt · See more »

Redirects here:

Bibliography of computer science, List of publications in computer science, List of software engineering publications, On the translation of languages from left to right, Papers in cs.

References

[1] https://en.wikipedia.org/wiki/List_of_important_publications_in_computer_science

OutgoingIncoming
Hey! We are on Facebook now! »