# Latest Theoretical computer science Stories

The team implemented the 'phase estimation algorithm' – a central quantum algorithm which achieves an exponential speedup over all classical algorithms. It lies at the heart of quantum computing and is a key sub-routine of many other important quantum algorithms, such as Shor's factoring algorithm and quantum simulations. Dr Xiao-Qi Zhou, who led the project, said: "Before our experiment, there had been several demonstrations of quantum algorithms, however, none of them implemented...

University of Innsbruck A team of physicists at the University of Innsbruck, Austria, performed an experiment that seems to contradict the foundations of quantum theory — at first glance. The team led by Rainer Blatt reversed a quantum measurement in a prototype quantum information processor. The experiment is enabled by a technique that has been developed for quantum error correction in a future quantum computer. Measurements on quantum systems have puzzled generations of...

Alan McStravick for redOrbit.com - Your Universe Online What Einstein once referred to as “spooky action at a distance” could be our way into a 'Star Trek' future Watching the original 'Star Trek' series as a child, the most enthralling part of any episode was the moment they dissolved during teleportation on their way down to an alien planet. The science behind that at-one-time fiction shows it is now en route to becoming fact. The possibility of teleportation was first...

Lymboo (http://www.lymboo.com), an education technology startup, announces the availability of their innovative online math practice program that aims to revolutionize the way math is practiced. The program, Lymboo Math, is the only comprehensive, structured, and rigorous math practice program available today. The program helps students build a strong foundation in math through its comprehensive content, a structure that provides continuous reinforcement, and a rigor that promotes mastery....

Lee Rannals for redOrbit.com — Your Universe Online A new way of representing data might open up new possibilities for Internet-connected sensors like GPS receivers and cameras in smartphones. Computer scientists are running into problems as more devices become Internet connected. An explosion of data needs more-efficient algorithms to handle the load, and MIT researchers have found a new way to represent data that takes up much less space in memory but can still be processed in...

Griffith Uni researchers lead light breakthrough Research physicists have demonstrated the first device capable of amplifying the information in a single particle of light without adding noise. The research collaboration, involving Griffith University, The University of Queensland and University of Science and Technology of China, was able to amplify the noisy quantum state of a single photon subjected to loss, without adding noise in the process; in fact, their amplification reduced...

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

- The navel or umbilicus.
- In Greek archaeology: A central boss, as on a shield, a bowl, etc.
- A sacred stone in the temple of Apollo at Delphi, believed by the Greeks to mark the 'navel' or exact center-point of the earth.