Quantcast

Latest Theoretical computer science Stories

2009-04-02 14:10:09

Researchers use algorithm developed for self-repairing robots to uncover scientific laws hidden in raw dataUsing the digital mind that guides their self-repairing robot, researchers at Cornell University have created a computer program that uses raw observational data to tease out fundamental physical laws. The breakthrough may aid the discovery of new scientific truths, particularly for biological systems, that have until now eluded detection.Reporting in the April 3, 2009, issue of Science,...

2009-03-16 17:41:41

A South Carolina computer scientist says he has come up with an infallible system for solving sudoku puzzles. J.F. Crook, a computer scientist at Winthrop University, said in the latest Notices of the American Mathematical Society that he has come up with the first mathematically guaranteed system for solving the popular numbers puzzle, USA Today reported Monday. Sudoku generally involves a grid of 81 squares, some of which contain numbers 1-9. The object is to fill in the remaining boxes...

2009-03-05 09:50:00

PITTSBURGH, March 5 /PRNewswire/ -- Apangea Learning Inc., (www.apangealearning.com), leaders in personalized, one-to-one online tutoring for students across the country, said today that its Apangea Math service has been named "Best In Tech" by Scholastic Administr@tor magazine. Apangea Math incorporates a skills-based problem-solving process that teaches students how to break down math problems into manageable steps. The program's three-tiered approach features computer-animated learning...

2009-03-02 13:02:00

NEWARK, Del., March 2 /PRNewswire-FirstCall/ -- Lightwave Logic, Inc. (OTC Bulletin Board: LWLG; http://lightwavelogic.com), a technology company focused on the development of electro-optic polymer materials for applications in high speed fiber-optic telecommunications and optical computing, announced today the move to new principal executive offices in Newark, Delaware. About Light wave Logic, Inc. Lightwave Logic, Inc. is a development stage company, moving toward prototype demonstration...

b4529243ae63ce3d359b593b0a664b591
2009-02-13 12:35:00

Delayed Quantum Image' Potentially Useful for Quantum Computers Pushing the envelope of Albert Einstein's "spooky action at a distance," known as entanglement, researchers at the Joint Quantum Institute (JQI) of the Commerce Department's National Institute of Standards and Technology (NIST) and the University of Maryland have demonstrated a "quantum buffer," a technique that could be used to control the data flow inside a quantum computer. Quantum computers could potentially speed up or...

2009-01-29 09:19:00

Platform Compares Attitudes of DC Legislators and Voters in Real-time PITTSBURGH, Jan. 29 /PRNewswire-USNewswire/ -- Civic Science Inc. today announced the public launch of the CS Spectrum(TM), a proprietary software tool for scientifically mapping Members of Congress and web users in real-time, based on voting behavior and polling data. "Heading into one of the most important legislative sessions in American history, we wanted to create a resource for people to empirically measure their...

2009-01-08 11:10:00

A powerful computing tool that allows scientists to extract features and patterns from enormously large and complex sets of raw data has been developed by scientists at University of California, Davis, and Lawrence Livermore National Laboratory. The tool "“ a set of problem-solving calculations known as an algorithm "“ is compact enough to run on computers with as little as two gigabytes of memory.The team that developed this algorithm has already used it to probe a slew of...

71ce86b8dd27e96da9c68a016d929f8a1
2008-12-03 06:48:23

A more human approach to processing raw data could change the way that computers deal with information, according to academics at The University of Nottingham. Researchers in the School of Computer Science at the University's Malaysia Campus are exploring "Ëœgranular computing' "” a computer paradigm that looks at groups or sets of information, called information granules, rather than the high level of detail at which data is currently processed. By looking at data in this...

665e1309415aa72a800d2111b487c9251
2008-11-21 08:30:00

Futuristic devices would likely outperform conventional computers in chemical simulations Quantum computers would likely outperform conventional computers in simulating chemical reactions involving more than four atoms, according to scientists at Harvard University, the Massachusetts Institute of Technology, and Haverford College. Such improved ability to model and predict complex chemical reactions could revolutionize drug design and materials science, among other fields. Writing in the...

2008-11-06 06:00:06

Aviza Technology, Inc. (NASDAQ:AVZA), a supplier of advanced semiconductor capital equipment and process technologies for the global semiconductor industry and related markets, today announced the introduction of StratIon(TM) fxP, the world's first 300-mm ready Ion Beam Deposition system. The first system was shipped to CEA-LETI-MINATEC in Grenoble, France, one of Europe's foremost applied research centers in electronics and Spintronics. The StratIon fxP will be used to develop...


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
mallemaroking
  • Nautical, the visiting and carousing of sailors in the Greenland ships.
This word is apparently from a confusion of two similar Dutch words: 'mallemerok,' a foolish woman, and 'mallemok,' a name for some persons among the crew of a whaling vessel.