# Latest Theoretical computer science Stories

During the month of November, 258 schools across Indiana competed in the 2nd Annual Hoosier Math Cup, a contest encouraging kids to practice their math skills and have fun while creating a stronger

The fundamental resource that drives a quantum computer is entanglement—the connection between two distant particles which Einstein famously called 'spooky action at a distance'.

Researchers at MIT have devised an algorithm that predicts when an oncoming car is likely to run a red light.

A discovery by physicists at UC Santa Barbara may earn silicon carbide –– a semiconductor commonly used by the electronics industry –– a role at the center of a new generation of information technologies designed to exploit quantum physics for tasks such as ultrafast computing and nanoscale sensing.

An advanced material that could help bring about next-generation "spintronic" computers has revealed one of its fundamental secrets to a team of scientists from Argonne National Laboratory (ANL) and the National Institute of Standards and Technology (NIST).

Scientists have successfully demonstrated that they can build some of the basic components for digital devices out of bacteria and DNA, which could pave the way for a new generation of biological computing devices.

Greg Herzog has created a Quantum Reaction Algorithm using a geometric mathematical equation, where X number of points represents the makeup of a subject and each degree of expression within the

A combination of two algorithms developed at MIT allows autonomous robots to execute tasks much more efficiently — and move more predictably.

Thanks to advances in experimental design, physicists at the National Institute of Standards and Technology (NIST) have achieved a record-low probability of error in quantum information processing with a single quantum bit (qubit)—the first published error rate small enough to meet theoretical requirements for building viable quantum computers.

## Latest Theoretical computer science Reference Libraries

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 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...

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...

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 (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...

- A pivoted catch designed to fall into a notch on a ratchet wheel so as to allow movement in only one direction (e.g. on a windlass or in a clock mechanism), or alternatively to move the wheel in one direction.