Latest Theoretical computer science Stories
The way we secure digital transactions could soon change. An international team has demonstrated a form of quantum cryptography that can protect people doing business with others they may not know or trust – a situation encountered often on the internet and in everyday life, for example at a bank's ATM.
With cutting-edge technology, sometimes the first step scientists face is just making sure it actually works as intended.
While the Obama administration has made statements that the NSA will back off from its surveillance efforts, news has come out that the government agency is developing new tactics to pursue its surveillance efforts.
Computer security systems may one day get a boost from quantum physics, as a result of recent research from the National Institute of Standards and Technology (NIST).
On Thursday The Washington Post reported that the NSA is developing a computer that could break into nearly every type of encryption that currently exists.
Popular television shows such as “Doctor Who” have brought the idea of time travel into the vernacular of popular culture.
Fun math projects and a candy bingo game have been released on Kids Activities Blog.
A normally fragile quantum state has been shown to survive at room temperature for a world record 39 minutes, overcoming a key barrier towards building ultrafast quantum computers.
From supersensitive detections of magnetic fields to quantum information processing, the key to a number of highly promising advanced technologies may lie in one of the most common defects in diamonds.
A breakthrough in quantum cryptography demonstrates that information can be encrypted and then decrypted with complete security using the combined power of quantum theory and relativity - allowing the sender to dictate the unveiling of coded information without any possibility of intrusion or manipulation.
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...
More Images (2 images) »