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

d winner for his work on systems verification. Among the other notables on the team are Patrick Cousot, an NYU computer scientist and co-inventor of Abstract Interpretation, and James Glimm, a National Medal of Science winner who heads the Department of Applied Mathematics and Statistics at the State University of New York at Stony Brook.

"Professor Clarke has truly assembled a dream team for this important new initiative," said Carnegie Mellon President Jared L. Cohon. "Computational modeling and simulation have become critical to discoveries in almost every scientific discipline, so finding new ways to build and explore these models will pay research dividends for years to come."

Carnegie Mellon is one of three lead institutions receiving the latest round of awards under the National Science Foundation's Expeditions in Computing program. The program, established last year by the Directorate for Computer and Information Science and Engineering (CISE), provides the CISE research and education community with the opportunity to pursue ambitious, fundamental research agendas that promise to define the future of computing and information and render great benefit to society. Funded at levels up to $2 million per year for five years, the Expeditions in Computing program represents some of the largest single investments currently made by the directorate.

Model Checking and Abstract Interpretation are the result of more than 30 years of research. Model Checking is the most widely used technique for detecting and diagnosing errors in complex hardware and software designs. It considers every possible state of a hardware or software design and determines if it is consistent with the designer's specifications; it produces counterexamples when it uncovers inconsistencies. It is limited, however, by the size of the systems it can analyze.

Abstract Interpretation, by contrast, doesn't attempt to look at every possible state of a system, but to develop a simplif
'/>"/>

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:7/28/2015)... ... July 28, 2015 , ... ... that Schneider Electric has completed its upgrade and expansion of its ... with more than 170,000 employees in 134 countries supplying a wide range of ...
(Date:7/28/2015)... ... July 28, 2015 , ... ... biologics and biologic-device combination products for the treatment of bone disorders and conditions ... Patent No. 9,062,300 entitled "Fusion Proteins of Collagen Binding-Domain and Parathyroid Hormone". The ...
(Date:7/28/2015)... ... July 28, 2015 , ... A new Taiwanese study suggests ... are in the general population. Surviving Mesothelioma has just posted an article detailing ... at Taiwan’s National Health Research Institutes and three Taiwanese universities evaluated the health ...
(Date:7/28/2015)... MA (PRWEB) , ... July 28, 2015 , ... Women ... cancer. One reason is that cancer, heart attack, and stroke are treatable, but there ... thing individuals can do is to take part in a clinical trial, reports the ...
(Date:7/28/2015)... ... July 28, 2015 , ... Every summer, the public is reminded ... caution when lighting fireworks in their own neighborhoods. Unfortunately, according to a recent report ... 3, 2015 USA Today article " Eye Injuries Caused by Fireworks Doubled in Last ...
Breaking Medicine News(10 mins):Health News:Schneider Electric Amps Up Its Use of Kinetic Data’s Enterprise Request Management Software 2Health News:Schneider Electric Amps Up Its Use of Kinetic Data’s Enterprise Request Management Software 3Health News:Schneider Electric Amps Up Its Use of Kinetic Data’s Enterprise Request Management Software 4Health News:BiologicsMD, Inc. Announces Additional US Patent Issuance Covering Company’s Pipeline of Targeted Therapies 2Health News:New Findings Suggest Mesothelioma is Not the Only Cancer Threat for Shipbreakers, According to Surviving Mesothelioma 2Health News:Fight Alzheimer's By Taking Part in a Clinical Trial, From the July 2015 Harvard Women's Health Watch 2Health News:Fight Alzheimer's By Taking Part in a Clinical Trial, From the July 2015 Harvard Women's Health Watch 3Health News:Carlsbad Ophthalmologist Discusses Doubling of Fireworks Eye Injuries in Three Year Span 2Health News:Carlsbad Ophthalmologist Discusses Doubling of Fireworks Eye Injuries in Three Year Span 3
... (Jan. 17, 2008) Twenty research projects have been ... at the Argonne Leadership Computing Facility (ALCF) at Argonne ... competitively selected group of 55 scientific projects announced Thursday ... awards are made through the 2008 Innovative and Novel ...
... diagnostic tool to detect surface cancers quickly and ... calculate body composition has been developed by a ... from QUTs School of Physical and Chemical Sciences ... spectroscopy to diagnose cervical and skin cancers. , ...
... stroke and even death, study finds , , FRIDAY, ... to aspirin are four times more likely to suffer a ... says. , People who are aspirin-resistant have platelets -- the ... in the same way as platelets in people who respond ...
... Jan. 18 Cardiac Science,Corporation (Nasdaq: ... cardiac diagnosis,resuscitation, rehabilitation, and informatics products, announced ... its first responder units with,425 Powerheart(R) G3 ... (Logo: http://www.newscom.com/cgi-bin/prnh/20050913/SFTU139LOGO ), "Like first ...
... Farm Safety 4 Just Kids Founder, Adams, Reaches Finals of 6th Annual Volvo ... Celebrity Judges Will Select and Unveil Top Four Winners March 19 at Volvo,for life ... ... Life, IRVINE, Calif., Jan. 18 For the past ...
... Jan. 18 /PRNewswire-FirstCall/ - QLT Inc. (NASDAQ: QLTI;,TSX: ... reduction in its,overall headcount affecting approximately 115 people ... U.S. subsidiaries, including members,of its management team., ... undertaken by the,Company as part of its strategic ...
Cached Medicine News:Health News:Argonne's Blue Gene/P to host large cadre of INCITE researchers 2Health News:Argonne's Blue Gene/P to host large cadre of INCITE researchers 3Health News:Argonne's Blue Gene/P to host large cadre of INCITE researchers 4Health News:Argonne's Blue Gene/P to host large cadre of INCITE researchers 5Health News:Argonne's Blue Gene/P to host large cadre of INCITE researchers 6Health News:Argonne's Blue Gene/P to host large cadre of INCITE researchers 7Health News:Cardiac Science Completes Deployment of AEDs With Los Angeles County Fire Department 2Health News:Cardiac Science Completes Deployment of AEDs With Los Angeles County Fire Department 3Health News:America Selects Earlham Resident Marilyn Adams as One of the Nation's Top Hometown Heroes 2Health News:America Selects Earlham Resident Marilyn Adams as One of the Nation's Top Hometown Heroes 3Health News:America Selects Earlham Resident Marilyn Adams as One of the Nation's Top Hometown Heroes 4Health News:America Selects Earlham Resident Marilyn Adams as One of the Nation's Top Hometown Heroes 5Health News:QLT reduces workforce as first step in its strategic restructure 2Health News:QLT reduces workforce as first step in its strategic restructure 3
(Date:7/27/2015)... -- SeraCare Life Sciences, a leading partner to global ... AACC Annual Meeting today that it has signed ... biotechnology company that develops, markets and sells preanalytic ... ViveST™ allow sample collection, transport and storage in ... of the agreement, the two firms will jointly ...
(Date:7/27/2015)... July 27, 2015  The fairness of the proposed ... St. Jude Medical ("St. Jude") is the subject of ... shareholder rights law firm.  The investigation is focusing on ... law by the Board of Directors of THOR for ... July 22, 2015, the Company announced it had reached a ...
(Date:7/27/2015)... , July 20, 2015 ... has announced the addition of the "Cardiometabolic ... Afrezza,s discounted pricing is in line ... is critical to the product,s commercial appeal. However, ... prevent Afrezza from gaining a sizeable share of ...
Breaking Medicine Technology:SeraCare Life Sciences Announces Strategic Partnership with ViveBio to Enable Next Generation Preanalytic Products for the IVD Industry 2SeraCare Life Sciences Announces Strategic Partnership with ViveBio to Enable Next Generation Preanalytic Products for the IVD Industry 3WeissLaw LLP: Thoratec Corporation Acquisition By St. Jude Medical May Not Be In The Best Interest Of THOR Shareholders 2Cardiometabolic Drug News Issue - Afrezza Aggressive Pricing Strategy View Playing Out 2Cardiometabolic Drug News Issue - Afrezza Aggressive Pricing Strategy View Playing Out 3
The ultimate ultrasound system for clinical ophthalmologists....
The Ultrasonic BioMicroscope (UBM P40) provides the highest ultrasound resolution for imaging....
EchoScan US-3300 takes accurate axial length and corneal thickness measurements in either automatic or manual modes. It is available in a single configuration or in combination with the A scan for ma...
... eye. Whether used as part of ... independently to accommodate a specific scanning ... to accommodate maximizing the image resolution. ... tonometer-mounted, hand-held and immersion techniques. Unique ...
Medicine Products: