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:12/25/2014)... BambooFlooringChina.com sells many bamboo products and the business is ... company announces big discounts on its bamboo mats , ... is the world’s leader in bamboo flooring. According to ... 20, 2015. , The bamboo mats are made from ... All the bamboo strips for the mats are boiled ...
(Date:12/25/2014)... 25, 2014 (HealthDay News) -- The risk of burns ... so you need to be extra cautious, an expert ... see a significant increase in patients coming in with ... Suffolk County Volunteer Firefighters Burn Center of Stony Brook ... be full of joy, but if not careful, could ...
(Date:12/25/2014)... 2014 Thousands of transvaginal mesh lawsuits ... a number of multidistrict litigations currently underway in U.S. ... LLP reports. According to an Order issued on December ... Joint Status Conference in all of the proceedings on ... directed to submit a proposed agenda to the Court ...
(Date:12/25/2014)... Parker & Sons, Inc. an industry ... affordable quality regarding heating, cooling and plumbing services in ... by the “Queen of Clean” for impressive contractor services ... reputation over the years for providing outstanding quality customer ... contractor services for both homeowners and businesses. Linda Cobb, ...
(Date:12/24/2014)... Recently, iFitDress.com, a famous dress manufacturer and retailer, ... . All these items are brand new; they are made ... updated with the new range of high quality prom gowns. ... iFitDress.com’s designs are made according to the latest trends. For ... outfit from the company is handpicked by skilled tailors. , ...
Breaking Medicine News(10 mins):Health News:Various Styles of Bamboo Mats in Many Colors from BambooFlooringChina.com 2Health News:Don't Let Burns Mar Your Holidays 2Health News:Federal Court Overseeing Thousands of Transvaginal Mesh Lawsuits Set to Convene Joint Status Conference for All Litigations, Bernstein Liebhard LLP Reports 2Health News:Federal Court Overseeing Thousands of Transvaginal Mesh Lawsuits Set to Convene Joint Status Conference for All Litigations, Bernstein Liebhard LLP Reports 3Health News:Federal Court Overseeing Thousands of Transvaginal Mesh Lawsuits Set to Convene Joint Status Conference for All Litigations, Bernstein Liebhard LLP Reports 4Health News:Parker & Sons Announces Recognition In 2014 By The “Queen Of Clean” For Impressive Contractor Services In Arizona 2Health News:Parker & Sons Announces Recognition In 2014 By The “Queen Of Clean” For Impressive Contractor Services In Arizona 3Health News:Many Prom Dresses under 150 from Well-known Dress Manufacturer iFitDress.com 2
... WINDERMERE, Fla. , March 15 ... care industry,s leader in transparent pharmacy benefits assessment, has received ... reviews as the first quarter closes in 2010.  The ... values by First DataBank (FDB) and Medispan may very well ...
... , ... On March 23, the Meharry-State Farm Alliance will present Seat ... the state’s primary seat belt law. Alliance scientists have estimated Florida’s new ... reduce costs by $5.5 billion in the first five years alone. Previous ...
... ... Firm prepares for the first jury trial against the pharmaceutical giant Merck. , ... Mineola, NY (PRWEB) March ... FDA.gov , has issued a “FDA Drug Safety Communication” about the common osteoporosis ...
... major impact on a wide range of infectious diseases, according ... and prevent cancers from stimulating the growth of the blood ... research by the Centre for Immunology and Infection at the ... the treatment of other diseases including visceral leishmaniasis which kills ...
... The Board of Directors of Healthcare Trust of America, Inc. ("HTA"), a self-managed, non-traded, real ...  These distributions will be calculated based on the stockholders of record each day during the aforementioned months ... ... ...
... who suffer a break up to eight times more likely to ... men and women who break a hip are five to eight ... the fracture, a new study by Belgian researchers has found. , ... during the first two years after the break, it never returns ...
Cached Medicine News:Health News:ARMSRx Evaluation of AWP Neutrality 2Health News:ARMSRx Evaluation of AWP Neutrality 3Health News:Meharry-State Farm Alliance to Recognize Florida Legislators for Seat Belt Law 2Health News:Meharry-State Farm Alliance to Recognize Florida Legislators for Seat Belt Law 3Health News:The Sanders Firm is Assigned the First Fosamax Trial 2Health News:The Sanders Firm is Assigned the First Fosamax Trial 3Health News:Healthcare Trust of America Board of Directors Declares Distributions 2Health News:Healthcare Trust of America Board of Directors Declares Distributions 3Health News:Risk of Death Persists After a Hip Fracture 2Health News:Risk of Death Persists After a Hip Fracture 3
(Date:12/24/2014)... CRANBURY, N.J. and FARMINGTON, ... Palatin Technologies, Inc. (NYSE MKT: PTN), a biopharmaceutical ... treatment of diseases with significant unmet medical need ... closed on a private placement of 2,050,000 shares ... to purchase 24,949,325 shares of its common stock.  ...
(Date:12/24/2014)... 23, 2014 ResMed (NYSE: RMD ) ... against Chinese medical device manufacturer BMC Medical Co., Ltd. ... BMC,s masks listed below infringe ResMed,s patents, and entered an ... in the United States : ... , Willow nasal pillows mask , iVolve full ...
(Date:12/24/2014)... 23, 2014  The American Diabetes Association is ... for people with diabetes and that all people ... of statins, in keeping with recent changes to ... American College of Cardiology (ACC) and American Heart ... most recent changes to the Association,s annual revised ...
Breaking Medicine Technology:Palatin Completes $20 Million Equity and $10 Million Debt Financings 2Palatin Completes $20 Million Equity and $10 Million Debt Financings 3Palatin Completes $20 Million Equity and $10 Million Debt Financings 4ResMed Wins Patent Infringement Lawsuit Against Chinese Manufacturer BMC Medical 2New Standards of Care Provide Guidelines for Statin Use for People with Diabetes to Prevent Heart Disease 2New Standards of Care Provide Guidelines for Statin Use for People with Diabetes to Prevent Heart Disease 3New Standards of Care Provide Guidelines for Statin Use for People with Diabetes to Prevent Heart Disease 4
... April 21 Each year, the Food and Drug Administration (FDA) approves many ... , , ... , , This FDA ... October 2009 . , , , ...
... To enhance patient care management, Kaweah ... the wireless Draeger Infinity M300 patient-worn (telemetry) monitor. This ... both at the patient site and the central nursing ... achieve the best patient outcomes. Two-way communication with the ...
Cached Medicine Technology:FDA Consumer Health Information - Generic Drug Roundup: April 2010 2Draeger Infinity M300 Patient-Worn Monitors Help Improve Patient Care at Kaweah Delta Medical Center 2Draeger Infinity M300 Patient-Worn Monitors Help Improve Patient Care at Kaweah Delta Medical Center 3Draeger Infinity M300 Patient-Worn Monitors Help Improve Patient Care at Kaweah Delta Medical Center 4
... Pipetman Concept is a revolutionary ... and flexibility in mind, Pipetman Concept ... direct pipette-to-PC connectionthe only one of ... used with Diamond Tips from Gilson, ...
... breakthrough in real-time PCR analysis of ... analysis. ,The LightCycler 480 System combines ... will meet the needs of a ... genomics research including array validation, gene-knockdown ...
... is the first compact, broad menu clinical ... in any treatment setting. Care givers can ... with less than one minute of hands-on ... in quality to larger, expensive laboratory analyzers ...
A simple solution to hand assisted laparoscopic surgery....
Medicine Products: