Latest Theoretical computer science Stories

taxi cab ride sharing
2014-09-04 05:18:45

A new analytic framework unveiled by MIT researchers enables analysis of GPS data on 150 million cab rides in New York City.

quantum technology
2014-09-03 06:02:31

One of the world’s largest consumer technology companies is entering into the quantum computing market, as Google announced this week that it plans to team with researchers at UC Santa Barbara to build processors based on superconducting electronics.

2014-09-02 23:10:40

ColdQuanta's System Results in First Bose Einstein Condensate in Hawaii Boulder, Colorado (PRWEB) September 02, 2014 ColdQuanta, Inc.

quantum system
2014-08-19 03:00:45

Coupling atomic spins in diamonds to microwave resonators could lead to new quantum technologies. Researchers at the Vienna University of Technology (TU Wien) have now managed to dramatically prolong the time these systems can store information.

2014-08-18 12:31:21

Algorithm marketplace focused on improving discoverability and use of advanced algorithms SEATTLE, Aug.

Scientists Record Electron's Quantum Behavior
2014-08-18 03:07:24

A University of Chicago-led team of researchers has developed a technique to record the quantum mechanical behavior of an individual electron contained within a nanoscale defect in diamond.

computer circuit board
2014-08-15 05:10:36

University of Michigan computer scientist reviews frontier technologies to determine fundamental limits of computer scaling.

Quantum Computer
2014-08-10 02:00:16

A new kind of quantum computer is being proposed by scientists from the TU Wien (Vienna) and Japan (National Institute of Informatics and NTT Basic Research Labs).

2014-07-16 23:06:25

Rule-Set: Quantum Computing Meets Japanese Manga in an Epic Fantasy Where Reality Itself Comes Under Siege (PRWEB) July 16, 2014 In 2060 the notorious

Latest Theoretical computer science Reference Libraries

2013-12-16 10:46:30

In mathematics and computer science, an algorithm is a step-by-step procedure for calculations. Algorithms are used for calculations, automated reasoning, and data processing. An algorithm is an effective technique expressed as a finite list of well-defined instructions for calculating a function. Starting from an initial state and an initial input, the instructions describe a computation that, when executed, proceeds through a finite number of well-defined successive states and eventually...

Information and Computation
2012-07-13 19:30:11

Information and Computation is a computer journal established in 1957 under the name Information and Control and published monthly by Elsevier Academic Press. As of July 2012, the editor-in-chief is A.R. Meyer (Lab. for Computer Science, Massachusetts Institute of Technology, Cambridge, USA). The journal welcomes original papers in all areas of theoretical computer science and computational applications of information theory. The journal welcomes all articles pertaining to the following...

Journal of Automata, Languages and Combinatorics
2012-05-15 09:03:49

The Journal of Automata, Languages and Combinatorics is a peer-reviewed scientific journal established in 1965 as the Journal of Information Processing and Cybernetics (Elektronische Informationsverarbeitung und Kybernetik). It obtained its current title in 1996 with volume numbering reset to 1. As of May 2012, the editor-in-chief is Jurgen Dassow (Otto-von-Guericke-Universität Magdeburg). The main focus of this journal is on a subfield of theoretical computer science, particularly...

Journal of the Association for Computing Machinery
2012-05-15 08:19:42

The Journal of the Association for Computing Machinery (JACM) is the official journal of the Association for Computing Machinery (ACM). It was established in 1954 and is published bi monthly by the ACM. As of May 2012, the editor-in-chief is Victor Vianu (University of California, San Diego). It is peer-reviewed and covers computer science and science in general, especially theoretical aspects. The scope of the journal is based on areas covered by the Editorial Board, and these areas are...

Formal Aspects of Computing
2012-04-25 18:46:59

Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media. It covers the area of formal methods and associated topics in computer science. The journal is associated with BCS-FACS (The British Computer Society Formal Aspects of Computing Science Specialist Group). FAC's editors-in-chief are Jim Woodcock and Cliff Jones. The main goal of the journal is to promote growth of computing science, to show its relation to practice and to...

More Articles (5 articles) »
Word of the Day
  • a meat pie that is usually eaten at Christmas in Quebec
The word 'tourtiere' comes from the French tourte, or passenger pigeon.