Latest Theoretical computer science Stories
The circuit is designed to act as the controller in synthetic bacteria that monitor and modify their environment By force of habit we tend to assume computers are made of silicon, but there is actually no necessary connection between the machine and the material. All that an engineer needs to do to make a computer is to find a way to build logic gates — the elementary building blocks of digital computers — in whatever material is handy. So logic gates could theoretically be made of...
BURNABY, British Columbia and MILPITAS, Calif., Oct. 4, 2012 /PRNewswire/ -- D-Wave Systems, Inc. today announced that it has closed a $30 million round of equity funding. Bezos Expeditions and In-Q-Tel (IQT) have joined the investment round. Bezos Expeditions is the personal investment company of Jeff Bezos. IQT is the strategic investment firm that delivers innovative technology solutions in support of the missions of the U.S. Intelligence Community. "We are pleased to have...
April Flowers for redOrbit.com - Your Universe Online Two new studies, both published in Nature this week, outline incredible breakthroughs in the field of quantum mechanics. Australian engineers led an international team of researchers to create the first working quantum bit based on a single atom in silicon, potentially making another important step toward ultra-powerful quantum computing that theoreticians have dreamt of for decades. The team describes how they were able to read...
TOULOUSE, France, September 17, 2012 /PRNewswire/ -- Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that Infrabel, the Belgian railway infrastructure manager, has placed an order for using Prover iLock for validation of level crossing control requirements. The Belgian railway network is one of the busiest in Europe, with more than 1,800 level crossing systems. Infrabel chose Prover...
WATERLOO, ON, Sept. 12, 2012 /PRNewswire/ - The University of Waterloo today announced that the official opening of the Mike & Ophelia Lazaridis Quantum-Nano Centre (QNC), the site of future innovation in quantum information and nanotechnology, will be held Friday, Sept. 21 at 10 a.m. in the new building at the heart of the university campus. "It will be a momentous occasion when the curtain is lifted on this remarkable new building, unique in the world, which will add...
STOCKHOLM, September 12, 2012 /PRNewswire/ -- Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that General Electric has placed an order for turnkey delivery of interlocking software developed with Prover iLock. The scope of the order includes the interlocking systems for the existing light rail system Tvarbanan as well as the new Solna branch, to be delivered by General Electric to Stockholm Public...
New trends in math education create cool math games for kids help engaging children in math learning in an interactive and fun way. Kids Activities Blog has identified some of the newest online math learning games and non-traditional math learning techniques. Dallas, TX (PRWEB) September 10, 2012 Cool math games? Parents and teachers may be skeptical, but Kids Activities Blog has listed some kid-tested solutions to making math cool. Online games like Granny Prix are serving up silly...
Michael Harper for redOrbit.com – Your Universe Online Some of us were born naturally inclined to understand numbers and their relationships to one another. The rest of us, sadly, depend on the work of these mathematically savvy individuals just to function in everyday life. As such, while some may have no issues understanding prime numbers and calculating them in their heads, others may get a headache once they count past 10. There are computers that exist, of course, which can...
New research lends hope that a phenomenon called quantum discord could be harnessed to bring quantum technologies within easier reach than expected. The work, by an international team, is published 5 August in Nature Physics. Up until a few years ago, researchers thought that realising quantum technologies would mean harnessing the most difficult-to-tame properties of the quantum world. For example, 'entanglement', the phenomenon referred to by Einstein as spooky-action-at-a-distance, was...
A groundbreaking new device from the National Physical Laboratory could help to usher in the long-awaited era of quantum computers Researchers at NPL have demonstrated for the first time a monolithic 3D ion microtrap array which could be scaled up to handle several tens of ion-based quantum bits (qubits). The research, published in Nature Nanotechnology, shows how it is possible to realize this device embedded in a semiconductor chip, and demonstrates the device's ability to confine...
Latest Theoretical computer science Reference Libraries
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...
