News tagged with computer proof


Proof by computer: Harnessing the power of computers to verify mathematical proofs

Other Sciences / Mathematics

created Nov 06, 2008 | popularity 4.5 / 5 (46) | comments 2

New computer tools have the potential to revolutionize the practice of mathematics by providing far more-reliable proofs of mathematical results than have ever been possible in the history of humankind. These computer tools, ...





Search results for computer proof


Cisco chief executive John Chambers

Cisco going from Internet plumber to platform

Technology / Business

created 22 hours ago | popularity 3.7 / 5 (3) | comments 0

Cisco chief executive John Chambers said Tuesday that the computer switching colossus is changing from the Internet's "plumber" to a platform and provider of products for online work and leisure.


Intelligence inside metal components

Intelligence inside metal components

Technology / Engineering

created Nov 24, 2009 | popularity 4.5 / 5 (2) | comments 3

Up to now, extreme production temperatures made it impossible to equip metallic components with RFID chips during the operating process. At Euromold in Frankfurt (Dec. 2-5), Germany, Fraunhofer researchers ...


Hackers leak e-mails, stoke climate debate

Technology / Internet

created Nov 21, 2009 | popularity 3.5 / 5 (73) | comments 43

(AP) -- Computer hackers have broken into a server at a well-respected climate change research center in Britain and posted hundreds of private e-mails and documents online - stoking debate over whether some scientists have ...


Researcher: Faint writing seen on Shroud of Turin (AP)

Researcher: Faint writing seen on Shroud of Turin (Update)

Other Sciences / Archaeology & Fossils

created Nov 20, 2009 | popularity 2.2 / 5 (37) | comments 96

(AP) -- A Vatican researcher has rekindled the age-old debate over the Shroud of Turin, saying that faint writing on the linen proves it was the burial cloth of Jesus. Experts say the historian may be reading ...


Trust Linux!

Trust Linux!

Technology / Software

created Nov 20, 2009 | popularity 3.5 / 5 (6) | comments 0

(PhysOrg.com) -- A team of researchers has implemented support for 'trusted computing' in a commercially available version of the open source operating system Linux, breaking new ground in the global drive ...


The court will now call its expert witness: the brain

The court will now call its expert witness: the brain

Medicine & Health / Neuroscience

created Nov 20, 2009 | popularity not rated yet | comments 0

(PhysOrg.com) -- Will advances in neuroscience make the justice system more accurate and unbiased? Or could brain-based testing wrongly condemn some and trample the civil liberties of others? The new field ...


Magnetic Nanotags Spot Cancer in Mice Earlier Than Current Methods

Nanotechnology / Bio & Medicine

created Nov 17, 2009 | popularity 3 / 5 (2) | comments 0

(PhysOrg.com) -- Searching for biomarkers that can warn of diseases such as cancer while they are still in their earliest stage is likely to become far easier thanks to an innovative biosensor chip developed by Stanford University ...


New 'finFETS' promising for smaller transistors, more powerful chips

New 'finFETs' promising for smaller transistors, more powerful chips

Technology / Semiconductors

created Nov 10, 2009 | popularity 4.9 / 5 (15) | comments 3

(PhysOrg.com) -- Purdue University researchers are making progress in developing a new type of transistor that uses a finlike structure instead of the conventional flat design, possibly enabling engineers ...


Verbatim SureFire

Gadgets: Verbatim SureFire, RockBuds earphones, Targus Lap Chill Mat

Electronics / Consumer & Gadgets

created Nov 05, 2009 | popularity 5 / 5 (1) | comments 0

Bigger, better and faster is what you get from the new Verbatim SureFire portable hard drive.


Creating a six-qubit cluster state

Physics / Quantum Physics

created Nov 02, 2009 | popularity 4.6 / 5 (10) | comments 2

(PhysOrg.com) -- Many scientists believe that quantum entanglement is required in order for effective quantum computing. Entanglement takes place when there is a connection that exists between two objects - even when they ...



List of search results for computer proof