Quantcast

Latest Theoretical computer science Stories

2011-03-15 07:00:00

STOCKHOLM and TOULOUSE, France, March 15, 2011 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that Ansaldo STS has placed an order for using Prover Certifier for ERTMS Level 2 interlocking systems delivered to Trafikverket, the Swedish Transport Administration. Prover Certifier is the only software product on the market that enables automatic production of the complete safety evidence for CENELEC EN50128 SIL 4 certification based on...

8c2c49fe54f3972533ca2c18eb391f141
2011-03-02 09:25:19

A research group led by scientists from the University of Bristol has demonstrated the quantum operation of new components that will enable compact circuits for future photonic quantum computers. Quantum computers, holding the great promise of tremendous computational power for particular tasks, have been the goal of worldwide efforts by scientists for several years. Tremendous advances have been made but there is still a long way to go. Building a quantum computer will require a large number...

2011-02-03 12:09:00

NEW YORK, Feb. 3, 2011 /PRNewswire/ -- Registration is open! Students across the U.S. are preparing to join millions from across the world to participate in the largest online math competition during World Math Day 2011 on February 28. World Math Day is the world's largest education event, with 2.5 million students from 55,000 schools in 235 countries expected to compete in real time against other international students on the World Math Day website. The event encourages students of all...

2011-01-21 08:35:02

Tokyo, Jan 21, 2011 - (JCN Newswire) - Professor Kohei Itoh, who is developing quantum computers based on silicon semiconductors at Keio University's Faculty of Science and Technology, together with Dr. John Morton at Oxford University and others, has successfully generated and detected quantum entanglement between electron spin and nuclear spin in phosphorus impurities added to silicon. This is the world's first successful generation and detection of entanglement, which is essential for...

2011-01-13 17:43:16

Biologically derived method could help organize wireless sensor networks The fruit fly has evolved a method for arranging the tiny, hair-like structures it uses to feel and hear the world that's so efficient a team of scientists in Israel and at Carnegie Mellon University says it could be used to more effectively deploy wireless sensor networks and other distributed computing applications. With a minimum of communication and without advance knowledge of how they are connected with each other,...

2010-12-22 00:01:30

As America strives to become more competitive in the global economy, many schools across the U.S. are increasing their focus on math and science education and pushing for higher standards in science, technology, engineering, and math courses. Of equal importance, however, is the students' ability to apply their knowledge to real-world issues: a skill that will eventually allow them to translate their education to successful careers in research and industry.That is the idea behind Moody's Mega...

2010-12-17 13:07:48

Researchers pave the way for spin computers A research team from the Institut Català de Nanotecnologia (ICN), in Barcelona, has demonstrated a device that induces electron spin motion without net electric currents, a key step in developing the spin computers of the future. The results are published in the Dec 17 issue of the journal Science. The authors are Marius V. Costache and Sergio O. Valenzuela, an ICREA Professor who is leader of the Physics and Engineering of...

62d8fc6bacbb2279a8eb5bb5e44b37e61
2010-12-17 09:38:03

Physicists read data after storing them in atomic nuclei for 112 seconds University of Utah physicists stored information for 112 seconds in what may become the world's tiniest computer memory: magnetic "spins" in the centers or nuclei of atoms. Then the physicists retrieved and read the data electronically "“ a big step toward using the new kind of memory for both faster conventional and superfast "quantum" computers. "The length of spin memory we observed is more than adequate to...

2010-12-09 17:35:58

What algorithms should an air defense system work with? If there are more than ten targets, greedy algorithms work best. These findings are presented by Fredrik Johansson at the Informatics Research Centre, University of Skövde, Sweden. What algorithms should an air defense system work with? Particle swarm algorithms if there are ten targets to be hit. If there are more than ten targets, greedy algorithms work best. These findings are presented by researcher Fredrik Johansson at the...

2010-12-06 07:30:00

WALTHAM, Mass., Dec. 6, 2010 /PRNewswire/ -- Raytheon Company (NYSE: RTN) unveiled new research exploring parental attitudes toward math, parents' perceived math capabilities and the level of active engagement in math-related learning among 10-14 year olds across the United States, England and Singapore. Raytheon conducted this study as part of its continuous focus on education and the five year anniversary of the company's MathMovesU® program, which is designed to...


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) »
Word of the Day
barratry
  • The offense of persistently instigating lawsuits, typically groundless ones.
  • An unlawful breach of duty on the part of a ship's master or crew resulting in injury to the ship's owner.
  • Sale or purchase of positions in church or state.
This word ultimately comes from the Old French word 'barater,' to cheat.
Related