News tagged with proof assistants

Sorry no news is found ... Your search criteria may have been too narrow. You can quickly re-sort the news in different ways by clicking on the tabs at the top of this page.




Search results for proof assistants


Green tea found to reduce disability in the elderly

(Medical Xpress) -- A lot of research has been done over the past several years looking into the health benefits of green tea. As a result, scientists have found that regular consumption of the beverage leads ...

Medicine & Health / Health

created Feb 07, 2012 | popularity 4.2 / 5 (17) | comments 10 | with audio podcast report

Scientists make strides toward fixing infant hearts

Researchers at Rice University and Texas Children's Hospital have turned stem cells from amniotic fluid into cells that form blood vessels. Their success offers hope that such stem cells may be used to grow ...

Medicine & Health / Research

created Feb 06, 2012 | popularity 4.7 / 5 (3) | comments 0 | with audio podcast

Making sense of addiction terminology

A new editorial released this week offers clarity and structure on confusing drug and alcohol addiction terminology for prescribers, users and regulators. "Through a glass darkly: can we improve clarity about mechanism and ...

Medicine & Health / Psychology & Psychiatry

created Feb 03, 2012 | popularity not rated yet | comments 0

A zap of cold plasma reduces harmful bacteria on raw chicken

A new study by food safety researchers at Drexel University demonstrates that plasma can be an effective method for killing pathogens on uncooked poultry. The proof-of-concept study was published in the January issue of the ...

Chemistry / Other

created Feb 02, 2012 | popularity 4.5 / 5 (2) | comments 0

Astronomers solve mystery of vanishing energetic electrons in Earth's outer radiation belt

UCLA researchers have explained the puzzling disappearing act of energetic electrons in Earth's outer radiation belt, using data collected from a fleet of orbiting spacecraft.

Physics / General Physics

created Jan 29, 2012 | popularity 4.5 / 5 (11) | comments 14 | with audio podcast

Israel sets sights on next-generation Internet

(AP) -- Israel is often referred to as "Startup Nation," thanks to its long history of high-tech breakthroughs produced by scrappy little companies. But in one critical area, the speed of Internet connections, ...

Technology / Telecom

created Jan 26, 2012 | popularity 4 / 5 (1) | comments 0

Winged predators seek certain trees when foraging for caterpillars

Location matters for birds on the hunt for caterpillars, according to researchers at UC Irvine and Wesleyan University. Findings suggest that chickadees and others zero in on the type of tree as much as the characteristics ...

Biology / Plants & Animals

created Jan 26, 2012 | popularity not rated yet | comments 0

Biochip measures glucose in saliva, not blood

For the 26 million Americans with diabetes, drawing blood is the most prevalent way to check glucose levels. It is invasive and at least minimally painful. Researchers at Brown University are working on a ...

Nanotechnology / Nanophysics

created Jan 23, 2012 | popularity 4.5 / 5 (4) | comments 0 | with audio podcast

Gene therapy research cures retinitis pigmentosa in dogs

Members of a University of Pennsylvania research team have shown that they can prevent, or even reverse, a blinding retinal disease, X-linked Retinitis Pigmentosa, or XLRP, in dogs.

Medicine & Health / Genetics

created Jan 23, 2012 | popularity 4.9 / 5 (11) | comments 0 | with audio podcast

New silicon probe assists in disease diagnostics and drug discovery

IBM scientists have developed a flexible, non-contact microfluidic probe made from silicon can aid researchers and pathologists to investigate critical tissue samples accurately for disease diagnostics and ...

Technology / Semiconductors

created Jan 13, 2012 | popularity 2 / 5 (1) | comments 0 | with audio podcast


List of search results for proof assistants