Latest Theoretical computer science Stories

Theoretical Physicist Michio Kaku: The End Is Near For Moore’s Law
2012-05-01 09:03:39

Brett Smith for Redorbit.com The days of Moore´s Law, which says computer processing capability doubles every 18 months, could be coming to a close according to theoretical physicist Michio Kaku. In a video produced for BigThink.com, Kaku said the smaller and smaller silicon chips that companies are producing might soon reach their processing limits. Once a chip´s layer of silicon reaches the size of about 5 atoms across it will begin to suffer from two particular...

2012-04-30 19:45:21

New device, developed by team of engineers led by Professor Amr Helmy (ECE), could bring quantum computing to your home or office In the age of high-speed computing, the photon is king. However, producing the finely tuned particles of light is a complex and time-consuming process, until now. Thanks to the work by a team of engineers led by Professor Amr Helmy of The Edward S. Rogers Sr. Department of Electrical & Computer Engineering, a novel solution has been identified that will...

NIST Physicists Benchmark Quantum Simulator With Hundreds Of Qubits
2012-04-25 11:32:05

Physicists at the National Institute of Standards and Technology (NIST) have built a quantum simulator that can engineer interactions among hundreds of quantum bits (qubits)–10 times more than previous devices. As described in the April 26 issue of Nature*, the simulator has passed a series of important benchmarking tests and scientists are poised to study problems in material science that are impossible to model on conventional computers. Many important problems in...

2012-04-03 09:40:44

Paper offers a mathematical formulation of the brain's neural networks As computer scientists this year celebrate the 100th anniversary of the birth of the mathematical genius Alan Turing, who set out the basis for digital computing in the 1930s to anticipate the electronic age, they still quest after a machine as adaptable and intelligent as the human brain. Now, computer scientist Hava Siegelmann of the University of Massachusetts Amherst, an expert in neural networks, has taken...

Image 1 - Algorithm Paves Way For Future 'Smart Sand'
2012-04-03 04:55:18

Lee Rannals for Redorbit.com Researchers from MIT have developed new algorithms that could enable "Smart Sand" to form into any shape. By using the algorithm, individual Smart Sand grains would be able to communicate to one another, forming a three-dimensional object. As messages are passed back and forth to each of the grains, they selectively attach to each other to form an object, while the unused grains simply fall away. Once the object has served its purposed, the smart sand...

2012-03-29 14:40:35

Researchers have discovered a new way in which computers based on quantum physics could beat the performance of classical computers. The work, by researchers based in Singapore and the UK, implies that a Matrix-like simulation of reality would require less memory on a quantum computer than on a classical computer. It also hints at a way to investigate whether a deeper theory lies beneath quantum theory. The finding emerges from fundamental consideration of how much information is needed to...

2012-02-07 23:16:08

Scientists at The Scripps Research Institute in California and the Technion—Israel Institute of Technology have developed a “biological computer” made entirely from biomolecules that is capable of deciphering images encrypted on DNA chips. Although DNA has been used for encryption in the past, this is the first experimental demonstration of a molecular cryptosystem of images based on DNA computing. Instead of using traditional computer hardware, a group led by Professor...

Image 1 - Quantum In The Cloud?
2012-01-20 14:20:14

A report published this week indicates that a new, secure, high-speed computing technology based on quantum physics is compatible with “cloud computing” and could eventually revolutionize the world of computers as we currently understand it. Blind quantum computing, as it´s being called, exploits uncertainties in quantum physics to carry out ultra-fast computations. And according to an international team of researchers who published their work in this week´s issue of...

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
  • Like a worm in form or movement; vermiform; tortuous or sinuous; also, writhing or wriggling.
  • Like the track or trace of a worm; appearing as if worm-eaten; vermiculate.
  • Marked with fine, close-set, wavy or tortuous lines of color; vermiculated.
  • A form of rusticated masonry which is so wrought as to appear thickly indented with worm-tracks.
This word ultimately comes from the Latin 'vermis,' worm.