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 |
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:
(Date:5/19/2013)... The report “Feed Additives Market by Types, ... to 2017” published by MarketsandMarkets, defines and segments the ... of the global volume and revenue for the animal ... factors for the global market with analysis of trends, ... is segmented and revenue is forecasted on the basis ...
(Date:5/19/2013)... 19, 2013 The Pradaxa lawyers at ... was recently convened for hundreds of Pradaxa bleeding ... underway in U.S. District Court, Southern District of Illinois. ... on May 14th, the Conference addressed the status of ... during the Conference that Defendants submitted a list of ...
(Date:5/19/2013)... May 19, 2013 Farming methods have ... in the ground 10,000 years ago. Most recently, the ... productivity by using genetically engineered seeds and by applying ... a backlash to these techniques due to the adverse ... and a corresponding surge in interest in organic, sustainable ...
(Date:5/19/2013)... Seattle, WA (PRWEB) May 19, 2013 The ... updated weight loss secrets that help people get ... age, gender, and body shape. The program also is a ... loss diet plans. Besides, the author of this fat loss ... body transformation program, which can help people keep body fat ...
(Date:5/19/2013)... (PRWEB) May 19, 2013 Yeast infections are ... appear in sensitive areas of the human body. A new ... This new formula provides a unique method of application to ... spray solution is now provided to men and women searching ... naturally absorbed in the body through food and is stored ...
Breaking Medicine News(10 mins):Health News:Feed Additives Market to Reach $19.5 Billion by 2017 at a CAGR of 3.8% - New Report by MarketandMarkets 2Health News:Feed Additives Market to Reach $19.5 Billion by 2017 at a CAGR of 3.8% - New Report by MarketandMarkets 3Health News:Pradaxa Lawyers at Bernstein Liebhard LLP Report on Recent Status Conference in Federal Pradaxa Litigation 2Health News:Pradaxa Lawyers at Bernstein Liebhard LLP Report on Recent Status Conference in Federal Pradaxa Litigation 3Health News:Green Acre Aquaponics Introduces a Revolutionary Approach to Farm Education and Commercial Aquaponics 2Health News:Green Acre Aquaponics Introduces a Revolutionary Approach to Farm Education and Commercial Aquaponics 3Health News:Weight Loss Secrets | How “The Fat Loss Code” Helps People Gain A Healthy Life And Get In Shape - Health Review 2Health News:A Safe & Homeopathic Yeast Infection Relief by Yeastrol Now Available at HealthCareSupplementz.com with Massive Discount 2[0] Feed Additives Market to Reach $19.5 Billion by 2017 at a CAGR of 3.8% - New Report by MarketandMarkets[0] Pradaxa Lawyers at Bernstein Liebhard LLP Report on Recent Status Conference in Federal Pradaxa Litigation[0] Green Acre Aquaponics Introduces a Revolutionary Approach to Farm Education and Commercial Aquaponics[0] Weight Loss Secrets | How “The Fat Loss Code” Helps People Gain A Healthy Life And Get In Shape - Health Review[0] A Safe & Homeopathic Yeast Infection Relief by Yeastrol Now Available at HealthCareSupplementz.com with Massive Discount
... Hughes Medical Institute and the University of Chicago led ... not be all about unprompted mutations that occurred on ... with related species on the verge of extinction that ... which has remarkably contributed to successful evolution of humans. ...
... milk ice cream has just been launched in Rajasthan and ... milk face cream with its anti-wrinkle properties, it is now ... anti-bacterial properties. ,The ice cream comes in two ... by the Rajasthan-based Lokhit Pashu-Palak Sansthan (LPPS), an NGO that ...
... The lining of the womb may be damaged by heavy ... to recent research. // ,The study revealed that ... wall of the uterus difficult. ,The study was ... pregnancy rates for IVF using donated eggs for those who ...
... a heart attack Thursday and was admitted to hospital where ... 81, had complained of mild chest pains on Thursday morning ... of the National Heart Institute, the hospital said in a ... ,Mahathir had coronary artery bypass surgery in 1989 at the ...
... identical to HIV is endemic among wild gorillas in Africa ... to researchers on Wednesday. //,Statistics have shown that around 40 ... monkeys in Africa infected with simian immunodeficiency virus (SIV) are ... strains of the virus in humans the source of the ...
... the meager support for the increase in the number ... one among three individuals thought it would benefit healthcare. ... the 183-bed Beacon Hospital in Dublin are the recent ... were queried, only 34% expressed optimism regarding the increase ...
Cached Medicine News:Health News:Strong Evidence Suggests Incidence Of Mating Of Ancestors With Neanderthals 2Health News:Ice Cream made of Camel Milk Launched in Rajasthan 2Health News:Monkey Virus Identical to HIV Endemic in Gorillas 2(Date:5/18/2013)... NEW YORK , May 18, 2013 /PRNewswire/ ... securities law firm, is investigating potential securities fraud ... (NASDAQ: AVEO). (Logo: http://photos.prnewswire.com/prnh/20120119/MM38856LOGO ... the Company and its executives violated federal securities ... regarding the Company,s Phase III drug trials for ...
(Date:5/17/2013)... 2013 Medical devices are any medical items ... In light of their different mechanisms, actions and regulatory ... complicated than drug trails due to their unique clinical ... of evaluating both safety and efficacy (which is left ... the same as the SFDA) evaluate MDs for both ...
(Date:5/17/2013)... Sorrento Therapeutics, Inc. (OTCBB: SRNE; or STI) ... Business Technology Transfer Research (STTR) grant (#1R42AI098182-02) from ... (NIAID), a division of the National Institutes of ... antibody therapeutics to combat Staphylococcus aureus ... methicillin-resistant S. aureus (MRSA), was renewed ...
Breaking Medicine Technology:Faruqi & Faruqi, LLP Encourages Investors Who Suffered Losses In Excess Of $100,000 Investing In AVEO Pharmaceuticals, Inc. To Contact The Firm 2Statistical Challenges in Medical Device Trail Evaluation 2Sorrento Therapeutics, Inc. announces its approach to developing human antibody therapeutics against MRSA receives continued support from the National Institute of Allergy and Infectious Diseases 2Sorrento Therapeutics, Inc. announces its approach to developing human antibody therapeutics against MRSA receives continued support from the National Institute of Allergy and Infectious Diseases 3Sorrento Therapeutics, Inc. announces its approach to developing human antibody therapeutics against MRSA receives continued support from the National Institute of Allergy and Infectious Diseases 4[0] Faruqi & Faruqi, LLP Encourages Investors Who Suffered Losses In Excess Of $100,000 Investing In AVEO Pharmaceuticals, Inc. To Contact The Firm[0] Statistical Challenges in Medical Device Trail Evaluation[0] Sorrento Therapeutics, Inc. announces its approach to developing human antibody therapeutics against MRSA receives continued support from the National Institute of Allergy and Infectious Diseases
... indicates that anti-inflammatory drugs may become a new tool ... leading global cause of death. In investigating a specific ... researchers used the Cardiochip, a gene analysis tool designed ... Center for Applied Genomics at The Children,s Hospital of ...
... March 14, 2012 OncoSec Medical Incorporated ... Medical System (OMS) ElectroOncology therapies to treat solid ... Institute in Santa Monica, CA, and Lakeland Comprehensive ... as enrolling sites, and investigators are screening patients ...
Cached Medicine Technology:Gene Chip, Invented by Children's Hospital of Philadelphia Scientist, Pinpoints New Target to Prevent Heart Disease 2Gene Chip, Invented by Children's Hospital of Philadelphia Scientist, Pinpoints New Target to Prevent Heart Disease 3OncoSec Initiates Two Additional Clinical Sites for Phase II Metastatic Melanoma Trial 2OncoSec Initiates Two Additional Clinical Sites for Phase II Metastatic Melanoma Trial 3OncoSec Initiates Two Additional Clinical Sites for Phase II Metastatic Melanoma Trial 4... The EBV laboratory diagnosis is generally confirmed ... Severity of the disease however, is not indicated ... IM occurs in 10 - 20 percent of ... EBV are necessary to fully ascertain the stage ...
... IDI-Strep B test can lower healthcare costs ... hospital stays. By identifying mothers colonized with ... more targeted and effective antibiotic prophylaxis. This ... of infants and reduce unnecessary antibiotic use ...
... Needle is specially designed to help you ... reliable core sample. All needles are engineered ... polished surfaces for smooth entry and exit. ... needle sizes assures an ideal match with ...
... Used to obtain multiple core biopsies of ... Biopsy Needle design facilitates one-handed control. Precise, ... sample. Beveled point stylet permits easy penetration ... surrounding tissue. Sharp cutting edge of cannula ...
Medicine Products:| Copyright © 2003-2012 Bio-Medicine. All rights reserved. ABOUT | CONTACT US | DISCLAIMER | PRIVACY POLICY | TERMS AND CONDITIONS |  |