Latest Theoretical computer science Stories
Dr Xiao-Qi Zhou and colleagues at the University of Bristol's Centre for Quantum Photonics and the University of Queensland, Australia, have shown that controlled operations â€” ones that are implemented on the condition that a "control bit" is in the state 1 â€” can be dramatically simplified compared to the standard approach.
NEWARK, Del., July 12, 2011 /PRNewswire/ -- Lightwave Logic, Inc.
NEWARK, Del., June 29, 2011 /PRNewswire/ -- Lightwave Logic, Inc.
AMSTERDAM, June 7, 2011 /PRNewswire-FirstCall/ -- - Contest Created to Improve the Way Scientific Information is Communicated and Used Elsevier, a leading publisher of scientific, technical and medical information products and services, has announced the winners of the Executable Paper Grand Challenge (http://www.executablepapers.com/), a program Elsevier created to address the difficulties associated with reproducing computer science research results.
Evolution is providing the inspiration for University of Adelaide computer science research to find the best placement of turbines to increase wind farm productivity.
Mangahigh, an online games-based teaching resource for K-12 math, today announced that the Mangahigh.com service will henceforth be free for use in US schools.
University of Utah researchers built "spintronic" transistors and used them to align the magnetic "spins" of electrons for a record period of time in silicon chips at room temperature.
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.
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.
NEW YORK, Feb. 3, 2011 /PRNewswire/ -- Registration is open! Students across the U.S.
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 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...
- A gift; a largess; a gratuity; a present; a dole.
More Images (2 images) »