Quantcast
Last updated on April 24, 2014 at 5:50 EDT

Latest Theoretical computer science Stories

2010-11-08 02:00:00

JERSEY CITY, N.J. and LONDON, Nov. 8, 2010 /PRNewswire/ -- Knight Capital Group, Inc. (NYSE Euronext: KCG) today announced that its smart order execution algorithm, FAN, has been named "Best Broker-Supplied Tool/Technology," and its Oasis smart order execution algorithm for sourcing small- and mid-cap liquidity has been named "Best Buy-Side New Product" by Waters Technology in the magazine's 2010 Buy-Side Technology Awards. "We see an increasing number of institutions adopting...

2010-10-20 00:51:07

In the world of the very small, researchers at Shanxi University in China have announced progress in understanding the single-molecule magnet, which combines the classical macroscale properties of a magnet with the quantum properties of a nanoscale entity. In the Journal of Applied Physics, Hai-Bin Xue and colleagues studied the statistics of how electrons move through a single-molecule magnet to better understand the magnet's inner level structure. Understanding the single-molecule magnet...

2010-10-15 16:22:20

Physicists at UC Santa Barbara have succeeded in combining laser light with trapped electrons to detect and control the electrons' fragile quantum state without erasing it. This is an important step toward using quantum physics to expand computing power and to communicate over long distances without the possibility of eavesdropping. The work appears online today at Science Express. The research, led by David Awschalom, professor of physics, electrical and computer engineering, and director of...

2010-08-24 10:17:00

PITTSBURGH, Aug. 24 /PRNewswire/ -- With standardized math test scores showing marked improvement, the Idaho Department of Education has renewed a statewide contract to continue deploying the online tutoring service Apangea Math for the 2010/2011 school year. More than 40,000 elementary, middle school and high school math students in about 350 schools across Idaho use the Apangea Math online supplemental learning program, both during the school day and after hours from home. The state's...

c25709e3b54a3390cfeaf46ffd484f5d1
2010-08-17 16:03:49

Breakthrough paves way to store and process information in novel spin-electronics Processing large amounts of information in today's electronics requires large amounts of power, which results in heating. Heat can ruin modern electronics by potentially damaging the stuff that makes them work--the ever smaller and denser structures in a computer's "brain," the microprocessor that incorporates all of its logic functions. So, researchers have been investigating something called "spintronics," a...

2010-08-09 14:26:30

Dr. David Awschalom, professor of physics at the University of California, Santa Barbara has been selected as the recipient of the 2010 Materials Research Society Turnbull award for research funded in large measure by the Air Force Office of Scientific Research. The David Turnbull Award, one of the three highest honors bestowed upon scientists by MRS, will be awarded to Dr. Awschalom at the MRS Fall Meeting in Boston, Ma. for his achievements and leadership in establishing the field of...

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

fc73b59e8d2af9f2dd23b2c35269d2951
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,...

44027789665c03f0edd3bda6449b47ba1
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,...


Latest Theoretical computer science Reference Libraries

Algorithm
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) »