Latest Theoretical computer science Stories

New Quantum Technologies Enabled With Spintronics Approach
2013-06-04 16:20:51

A team of researchers, including members of the University of Chicago’s Institute for Molecular Engineering, highlight the power of emerging quantum technologies

2013-05-21 23:00:31

As mobile security and privacy remains a top priority, Tigerspike is proud to announce the release of Kaicomm, a method of converting mobile devices into secure communication tools, using Tigerspike's

Observing Competition In The Quantum World
2013-05-20 13:26:00

"When water boils, its molecules are released as vapor. We call this change of the physical state of matter a phase transition," explains Sebastian Diehl from the Institute of Theoretical Physics at the University of Innsbruck.

Quantum Supercomputing Facility Brings NASA And Google Together
2013-05-19 06:37:30

Google and NASA are joining forces to create a new research laboratory that will use a quantum supercomputer to study artificial intelligence and machine learning, according to various media reports.

Researchers Extend Electron Spin In Diamond For Incredibly Tiny Magnetic Detectors
2013-05-10 10:18:01

From brain to heart to stomach, the bodies of humans and animals generate weak magnetic fields that a supersensitive detector could use to pinpoint illnesses, trace drugs – and maybe even read minds.

D-Wave Quantum Computer Passes Important Computing Test
2013-05-09 17:57:32

Quantum computing just took a step from theory to practice with a test that took place at Amherst College in Massachusetts.

Laser Light Yields Versatile Manipulation Of A Quantum Bit
2013-05-01 15:09:02

By using light, researchers at UC Santa Barbara have manipulated the quantum state of a single atomic-sized defect in diamond –– the nitrogen-vacancy center –– in a method that not only allows for more unified control than conventional processes, but is more versatile, and opens up the possibility of exploring new solid-state quantum systems.

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
  • To play, gamble.
  • To impose upon; delude; trick; humbug; also, to joke; chaff.
  • A deceitful game or trick; trickery; humbug; nonsense.
The word 'gammon' in the sense of 'joke, trick' may come from 'backgammon'.