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:12/21/2014)... The Oncology Institute of Hope and Innovation ... and Whittier offices. The Hope for the Holidays Toy Drive ... and their families during the holiday season. This year, the ... children between both offices. This event continues to be successful ... service team, store managers and assistant managers came out and ...
(Date:12/20/2014)... Weddingshe.com has recently announced its new collection of ... special occasion dresses for the coming new year. ... dresses for global women. Now, all the models on ... 80% off. Among the new items, the model of ... is very popular. What’s more, Weddingshe.com also provides a ...
(Date:12/20/2014)... SATURDAY, Dec. 20, 2014 (HealthDay News) -- The holidays ... when they contend with fresh trees, scented candles and ... and on the decorations that have been packed away ... in my allergy and asthma patients," Dr. Rachna Shah, ... School of Medicine, said in Loyola news release. ...
(Date:12/20/2014)... (PRWEB) December 20, 2014 Atore, Inc, ... company just launched first birthday focused portal on December ... BIRTHDAY MESSAGE” launched in both US and Japan. , ... MESSAGE : http://merrybirthday.net/message/ , MERRY BIRTHDAY MESSAGE ... birthday around the world. , Features, Choose from thousands ...
(Date:12/20/2014)... The Twin Cities DI Day is recognized ... nation! Over 250 financial professionals come together each year ... industry, get motivated to protect their clients and to ... overcoming the challenges of disability. , On September 23rd, ... together to attend The 13th Annual Twin Cities DI ...
Breaking Medicine News(10 mins):Health News:Tons of New-in Winter Sweet 16 Dresses from Weddingshe Online Now 2Health News:Holiday Trimmings Can Trigger Allergies 2Health News:Atore, Inc. Releasing the First Birthday Portal 2Health News:The 13th Annual Twin Cities DI Day Now On Video 2Health News:The 13th Annual Twin Cities DI Day Now On Video 3
... College at Dallas report that contact lenses, both ... materials are expected to reduce the possibility of ... available now. Based in part on these findings, ... hyper-oxygen transmissible contact lenses for 30-day continuous wear.// ...
... way to stop the hair loss associated with drug treatment ... alopecia (CIA), is a frequent side effect of cancer therapy ... time in their lives.// ,Currently, there is no effective ... way doctors can attempt to minimise hair loss is to ...
... have found the genetic mutation that is to blame ... many people.The breakthrough could lead to the development of drugs ... more than one in twelve people suffer from some form ... a history of problems such as panic disorders, agoraphobia and ...
... clues to the high failure rate of cloning and ... core of the nucleus.The discovery, announced at the annual ... Science in Washington, shows that DNA has an internal ... provides clues to how active genes and 'junk DNA' ...
... study, exercise can help older people avert a form ... standing up and walking an impossible one.Those who regularly ... lose abilities to perform activities of daily living. ... Texas, this report is the first to demonstrate that ...
... have developed a screening technique for persons suffering from ... investigations of skin lesions may allow doctors to identify ... particularly those of the colon. ,By looking ... in members of families with a history of HNPCC ...
Cached Medicine News:Health News:New contact lens materials 2Health News:Breakthrough in cancer therapy 2Health News:The anxiety gene, 2Health News:DNA and clones 2Health News:Arthritis risk reduced by exercise 2
(Date:12/19/2014)... DIEGO and CARDIFF-BY-THE-SEA, Calif. ... Inc. (NASDAQ: SRNE ;  Sorrento), an ... associated pain, and Conkwest, Inc., a privately-held immuno-oncology ... Natural Killer (NK) cell-line based therapy, announced today ... agreement to jointly develop next generation CAR-TNK™ (pronounced ...
(Date:12/19/2014)... 18, 2014  Decision Resources Group finds that the ... will increase to a value of over ... by expansion in the large direct energy device market. ... increasingly adopted due to the advantages they offer and ... findings from Decision Resources Group,s coverage of the U.S. ...
(Date:12/19/2014)... KANSAS CITY, Kan. , Dec. 18, 2014 ... PETX ), a biopharmaceutical company focused on ... for companion animals, today announced positive results from ... company,s innovative drug for treating pain in dogs ... demonstrated improvements in pain assessment scores that were ...
Breaking Medicine Technology:Sorrento and Conkwest Announce Exclusive Global Collaboration 2Sorrento and Conkwest Announce Exclusive Global Collaboration 3Sorrento and Conkwest Announce Exclusive Global Collaboration 4Sorrento and Conkwest Announce Exclusive Global Collaboration 5U.S. Laparoscopic Device Market Will Reach Over $4.3 Billion by 2023 2U.S. Laparoscopic Device Market Will Reach Over $4.3 Billion by 2023 3Aratana Therapeutics Announces Positive Top-Line Results from AT-001 Pivotal Field Study in Client-Owned Dogs with Osteoarthritis 2Aratana Therapeutics Announces Positive Top-Line Results from AT-001 Pivotal Field Study in Client-Owned Dogs with Osteoarthritis 3Aratana Therapeutics Announces Positive Top-Line Results from AT-001 Pivotal Field Study in Client-Owned Dogs with Osteoarthritis 4Aratana Therapeutics Announces Positive Top-Line Results from AT-001 Pivotal Field Study in Client-Owned Dogs with Osteoarthritis 5
... University Medical Pharmaceuticals, which specializes in developing and distributing ... to the mass market, announced today that it has ... , Mr. Ten brings 28 years of ... luxury and consumer packaged goods industry. At University ...
... Inc., a company leading the scientific research of neurogenesis ... identify novel pathways for the treatment of central nervous ... Scolnick from the Broad Institute of MIT and Harvard ... to its scientific advisory board. The appointees join BrainCells, ...
Cached Medicine Technology:University Medical Pharmaceuticals Selects Jeffrey Ten as Senior Vice President, International Sales 2University Medical Pharmaceuticals Selects Jeffrey Ten as Senior Vice President, International Sales 3BrainCells Inc. Broadens Scientific Advisory Board Adding Drs. Edward Scolnick and David Holtzman 2BrainCells Inc. Broadens Scientific Advisory Board Adding Drs. Edward Scolnick and David Holtzman 3
... Produces up to 12 L/min of Type ... On Demand, The Super-Q Plus System is ... water which has been pretreated by reverse ... consistently produce ultrapure water quality which exceeds ...
... to 12 L/min of Type I ultrapure ... The Super-Q Plus System is designed to ... has been pretreated by reverse osmosis, distillation ... ultrapure water quality which exceeds Type I ...
... Water for Basic Laboratory Needs, Synergy systems ... flow rate from 1 to 1.2 L/min to ... Synergy 185 system incorporates a dual-wavelength UV lamp ... with low levels of organic contaminants (< 5 ...
... speed, stability and durability. Back-lighted Display. ... multiple units of measure, piece counting ... and GLP/GMP/ISO output including date and ... Built-in, motor-driven internal calibration mass for ...
Medicine Products: