Latest Theoretical computer science Stories
Since Richard Feynman's first envisioned the quantum computer in 1982, there have been many studies of potential candidates -- computers that use quantum bits, or qubits, capable of holding an more than one value at a time and computing at speeds far beyond existing silicon-based machines for certain problems.
On Monday, Australian scientists unveiled the world's smallest electronic switch measuring just a few atoms, which will shrink microchips and revolutionize computing speeds.
STOCKHOLM and CALIFORNIA, May 4, 2010 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that it has received an order for delivering a Prover iLock solution for development and checking of interlocking systems from Canadian Pacific (CP), a Class 1 railway company.
Though scientists argue that the emerging technology of spintronics may trump conventional electronics for building the next generation of faster, smaller, more efficient computers and high-tech devices, no one has actually seen the spinâ€”a quantum mechanical property of electronsâ€”in individual atoms until now.
Largest simulation of an ideal quantum computer; efficient multi-core software developed.
LOS GATOS, Calif., March 18 /PRNewswire/ -- According to the President's National Math Advisory Panel, only three out of every 10 American kids are proficient in math, and by grade twelve, it is only two out of 10.
A class of molecules whose size, structure and chemical composition have been optimized for photonic use could provide the demanding combination of properties needed to serve as the foundation for low-power, high-speed all-optical signal processing.
NEW YORK, Feb. 22 /PRNewswire/ -- Children all over the US are preparing to join over a million students from across the world and break the Guinness World Record for the largest online math competition during World Math Day on March 3.
A major hurdle in the ambitious quest to design and construct a radically new kind of quantum computer has been finding a way to manipulate the single electrons that very likely will constitute the new machines' processing components or "qubits."
An innovative computational technique that draws on statistics, imaging and other disciplines has the capability to detect errors in sensitive technological systems ranging from satellites to weather instruments.
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...
- Emitting flashes of light; glittering.
More Images (2 images) »