Navigation Links
Carnegie Mellon leads NSF initiative to develop modeling tools for disease and complex systems
Date:8/19/2009

PITTSBURGHA multidisciplinary team led by Carnegie Mellon University computer scientist Edmund M. Clarke has received a five-year, $10 million grant from the National Science Foundation's Expeditions in Computing program to create revolutionary computational tools that will advance science on a broad array of fronts, from discovering new cancer treatments to designing safer aircraft.

The researchers will combine Model Checking and Abstract Interpretation, two methods that have been successful in finding errors in computer circuitry and software, and extend them so they can provide insights into models of complex systems, whether they are biological or electronic.

Specifically, computer scientists, biomedical researchers and engineers from eight leading research institutions will use the techniques to better understand what causes deadly pancreatic cancer and the common heart rhythm problem known as atrial fibrillation. At the same time, they will use the techniques to study the embedded computer systems that are increasingly critical to the safe operation of aircraft and automobiles.

"Biological and embedded computer systems may be on opposite ends of the research spectrum, but they pose similar challenges for creating and analyzing computational models of their behavior," said Clarke, the FORE Systems University Professor of Computer Science and the 2007 winner of the Association for Computing Machinery's Turing Award, the computer science equivalent of the Nobel Prize. "Solutions to these problems at either end will enable new approaches to modeling across the spectrum that ultimately will improve health and safety. With this new initiative, I think we finally have achieved the critical mass of expertise and effort needed to crack these puzzles."

In addition to Clarke, who is one of the co-inventors of Model Checking, the research team includes project Deputy Director Amir Pnueli, a New York University computer scientist and a Turing Awar
'/>"/>

Contact: Byron Spice
bspice@cs.cmu.edu
412-268-9068
Carnegie Mellon University
Source:Eurekalert

Page: 1 2 3 4 5

Related medicine news :

1. Carnegie Mellon develops innovative method to detect genetic causes of complex diseases
2. Carnegie Mellon algorithm charts evolution of genetic networks during fruit fly life cycle
3. Carnegie Mellon engineers create mobile video service
4. Carnegie Mellon scientists offer explanation for face blindness
5. Carnegie Mellon International Autism Symposium to Feature Groundbreaking Research, Oct. 17-18
6. Carnegie Mellon to host micromanufacturing conference
7. Trouble quitting?: A new Pitt-Carnegie Mellon smoking study may reveal why
8. Phoenix Health Systems Awarded Level 2 Carnegie Mellon University eSCM-SP Certification
9. Carnegie Corporation funds ASCB course on parasites for African scientists
10. Possible link between different forms of epilepsy found by Carnegie Mellon scientists
11. Carnegie Mellon researchers improve assessments of aortic aneurysms
Post Your Comments:
*Name:
*Comment:
*Email:
(Date:1/22/2015)... Payday lending practices in four southern ... financial distress to the states that permit them, according ... Center on Race and Wealth. , While they generate ... loans at the same time substantially depress economic activity, ...
(Date:1/22/2015)... As interest in the value of spiritual support as ... Rev. Eric J. Hall , president and CEO of the ... the keynote speaker on January 27 at an international summit ... The conference, “Hope and Resilience: Innovative and Interdisciplinary Spiritual Care,” ...
(Date:1/22/2015)... a new blog post presenting a list of vehicles that cannot ... Some types of vehicles cannot be covered under an ordinary auto ... see if their vehicle qualifies for auto insurance coverage. , ... that cannot be covered by a plan. Clients have little options ...
(Date:1/22/2015)... (PRWEB) January 22, 2015 Step into ... at the Science Museum of Virginia. Wicked Plants, the ... Wicked Plants unearths 75 poisonous, carnivorous and diabolical plants ... each room to uncover the biochemical, physical and neurological ...
(Date:12/26/2014)... December 26, 2014 The US represents the ... report. In 2013, GlobalData’s forecast estimates that sales of branded ... market due to the high incidence of the disease, high ... 5EU, Japan, and China. Increased sales of CRC therapies over ...
Breaking Medicine News(10 mins):Health News:Howard University Spotlights the Economic Impact of Payday Lending in Southern States 2Health News:HealthCare Chaplaincy CEO to Keynote Spiritual Care Summit in Israel 2Health News:HealthCare Chaplaincy CEO to Keynote Spiritual Care Summit in Israel 3Health News:Some Vehicles Cannot Be Covered By An Auto Insurance Policy! 2Health News:Wicked Plants are taking over the Science Museum of Virginia 2Health News:US Colorectal Cancer Drug Market Analysis and Forecast to 2023 Report Available at ReportsnReports.com 2Health News:US Colorectal Cancer Drug Market Analysis and Forecast to 2023 Report Available at ReportsnReports.com 3Health News:US Colorectal Cancer Drug Market Analysis and Forecast to 2023 Report Available at ReportsnReports.com 4
... class of breast cancer drugs, worked better than standard ... with advanced disease. Femara is a member of a ... differently to prevent certain kinds of breast cancer than ... better and helped more women survive. The US Food ...
... other vascular diseases are the leading causes of ... depiction of stenotic, occlusive, aneurismal, inflammatory or vascular ... are used to depict vascular lesions with high ... It is the gold standard with a very ...
... used in vitro fertilisation (IVF) technique intracytoplasmic sperm injection ... with abnormalities such as ambiguous genitalia. Researchers from the ... infertility is genetic are likely to have other, more ... spermatozoa are injected directly into the egg. // ...
... might overcome a major obstacle to treating brain ailments ... in rats, researchers from the Stroke Lab and Alzheimer's ... direct path from the nose to the brain” could ... foreign substances, including drugs. ,Senior investigator Dr. William ...
... The use of refined fossil fuels--especially kerosene, which is ... source--may cause sniffling, wheezing, itching, and other allergy symptoms. ... the fuels may somehow irritate the nasal lining and ... // ,The researchers studied the effects of ...
... out why women who have a baby when they are ... They have identified a substance produced naturally in the body ... the changes in the breast tissue of young women. The ... that could protect against breast cancer. ,In experiments, ...
Cached Medicine News:Health News:Magnetic resonance angiography in clinical medicine 2Health News:Nasal Spray Could Take Drugs Directly to Brain 2
(Date:1/23/2015)... , Jan. 23, 2015  MedScope ( www.medscope.org ), ... nominated for a 2015 Connected World magazine ... Response System (mPERS), that can be used anywhere, anytime. ... partner.  In nominating MedScope, Landon ...
(Date:1/23/2015)... all-time hits leader, is the new spokesperson for the topical ... announced. "Pete,s a Hall of Famer in our ... with Myoflex," said Ducere Pharma Chief Executive Officer Chris ... across all generations. The passion and intensity that Pete brought ...
(Date:1/23/2015)... N.Y. , Jan. 23, 2015  Lixte Biotechnology Holdings, Inc. ... its Phase I trial of Lixte,s lead compound, LB‑100, is ... John S. Kovach , M.D., the founder ... planned to be completed at a single site. Accrual of ...
Breaking Medicine Technology:MedScope Nominated by RacoWireless for Prestigious 2015 Connected World Magazine Connected World Award 2Pete Rose bets on Myoflex to relieve aches and pains 2Lixte Biotechnology Holdings Announces Expansion Of Clinical Sites For Its Phase I Trial Of Its Lead Anti-Cancer Compound, LB-100 2Lixte Biotechnology Holdings Announces Expansion Of Clinical Sites For Its Phase I Trial Of Its Lead Anti-Cancer Compound, LB-100 3
Conforms to the convexity of the lens providing easier access to anterior capsule. Reduces pontential of corneal touch. 25G x 5/8in (.50 x 16mm)...
... product designed for LASIK surgery and ... to irrigate the corneal interface and/or ... insertion under the flap and helps ... provide multi-directional irrigation.27G x 7/8in (.40 ...
... for LASIK surgery and other types of ... interface and/or stromal bed. Flattened tip provides ... elevate the flap edge. Multiple ports provide ... 22mm) Formed 9mm from end. Two .15mm ...
... for LASIK surgery and other types ... the corneal interface and/or stromal bed. ... the flap and helps elevate the ... irrigation. 23G x 7/8in (.60 x ...
Medicine Products: