Latest Theoretical computer science Stories

2010-07-01 12:02:29

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. Most of these candidate systems, such as atoms and semiconducting quantum dots, work for quantum computing, but only at very low temperatures. Now a team of researchers from the Wuhan...

2010-05-24 12:40:00

On Monday, Australian scientists unveiled the world's smallest electronic switch measuring just a few atoms, which will shrink microchips and revolutionize computing speeds. The seven-atom transistor is the first step in a "quantum computer" which will make calculations millions of times faster than existing devices. Michelle Simmons, the lead researcher, said the technology has major implications for code breaking, financial transactions and weather forecasting, which involve testing...

2010-05-04 08:52:00

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. The Prover iLock solution will automate code generation, formal safety verification and functional testing of interlocking system software for platforms Microlok(R) II,...

2010-04-26 15:14:27

Discovery supports development of nanoscale magnetic storage devices 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. In a study published as an Advance Online Publication in the journal Nature Nanotechnology on Sunday,...

2010-03-31 08:44:48

Largest simulation of an ideal quantum computer; efficient multi-core software developed A quantum computer could provide an enormous improvement in the processing speed of existing computers. However, as yet they only exist in the laboratory in the form of small prototypes with a capacity of a few bits. They can now be explored in more detail, at least in simulations. The Jlich supercomputer JUGENE can now simulate the largest quantum computer system in the world with 42 bits. "The computing...

2010-03-18 07:40:00

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. Even worse, over 70% of our colleges have found it necessary to offer remedial math classes. The panel states that algebra is the gateway subject which will enable students to take more advanced math, science, and technical classes. They have concluded that all students very...

2010-02-23 15:38:28

Designing molecules 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. All-optical switching could allow dramatic speed increases in telecommunications by eliminating the need to convert photonic signals to electronic signals "“ and back "“ for switching. All-optical processing could...

2010-02-22 16:21:00

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. World Math Day is the world's largest education event where students compete in real time against other students internationally using the World Math Day website. The event encourages students of all ages, backgrounds and abilities to have a go at math...

2010-02-07 10:10:00

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." Princeton University's Jason Petta has discovered how to do just that -- demonstrating a method that alters the properties of a lone electron without disturbing the trillions of electrons in its immediate surroundings. The feat is essential to the...

2010-01-27 07:30:10

Operators of satellites, weather instruments may receive early alerts 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. The patented technique, known as the Intelligent Outlier Detection Algorithm, or IODA, is described this month in the Journal of Atmospheric and Oceanic Technology. IODA offers the potential to alert operators to...

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
  • Color; hue; complexion.
This word is Middle English in origin.