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/25/2014)... July 25, 2014 As the category creator ... Xoçai is to transform and improve individual lives ... Adam Paul Green a successful Austin, Texas based ... at the end of the July to promote the up ... September 2014. , Eric Worre has been a leader in ...
(Date:7/24/2014)... iFitDress.com, a renowned wedding dress manufacturer and retailer, has ... dresses . According to the company’s marketing specialist, all ... discounted prices, up to 59% off. The special offer ... , Most of the casual party dresses provided by ... popular for special designs, delicate craftsmanship and affordable rates. ...
(Date:7/24/2014)... breast tumors, exposure to dim light at night made ... according to data published in Cancer Research , ... The negative effects of dim light exposure on tamoxifen ... during the night. , "Resistance to tamoxifen is a ... said Steven M. Hill, PhD, professor of structural and ...
(Date:7/24/2014)... July 24, 2014 Ticket Down is ... Tickets in Denver at the Sports Authority Field on July ... World Football Challenge) has brought some of the best club teams ... the World Cup still being raved about weeks after its completion, ... to see some of the biggest stars in the world compete. ...
(Date:7/24/2014)... York, New York (PRWEB) July 24, 2014 ... GranuFlo lawsuits ( http://www.injurybeacon.com/granuflo-dialysis/lawsuit/ ) in the ... a qualified protective order for plaintiff medical information ... Accountability Act. According to the July 16th Order, ... granted attorneys for Fresenius Medical Care the ...
Breaking Medicine News(10 mins):Health News:Austin, Texas Based "Xocai Activ Drink" Author, Adam Paul Green, to Visit Niigata Japan to Promote mxicorp.com/company/igc Eric Worre Speaking Engagement 2Health News:Austin, Texas Based "Xocai Activ Drink" Author, Adam Paul Green, to Visit Niigata Japan to Promote mxicorp.com/company/igc Eric Worre Speaking Engagement 3Health News:Austin, Texas Based "Xocai Activ Drink" Author, Adam Paul Green, to Visit Niigata Japan to Promote mxicorp.com/company/igc Eric Worre Speaking Engagement 4Health News:2014 Casual Party Dresses for Chic Ladies Now at iFitDress.com 2Health News:Exposure to dim light at night may make breast cancers resistant to tamoxifen 2Health News:Manchester United vs. AS Roma Tickets Denver Sports Authority Field at Mile High: Ticket Down Cuts Ticket Prices for Guinness International Champions Cup Match 2Health News:Manchester United vs. AS Roma Tickets Denver Sports Authority Field at Mile High: Ticket Down Cuts Ticket Prices for Guinness International Champions Cup Match 3Health News:GranuFlo Lawsuits Move Forward in Federal Court, With Issuance of Protective Order for HIPAA Information, Bernstein Liebhard LLP Reports 2Health News:GranuFlo Lawsuits Move Forward in Federal Court, With Issuance of Protective Order for HIPAA Information, Bernstein Liebhard LLP Reports 3Health News:GranuFlo Lawsuits Move Forward in Federal Court, With Issuance of Protective Order for HIPAA Information, Bernstein Liebhard LLP Reports 4
... with four additional law suits, after the Liver Transplant Program ... ,Orange county Superior court has been a witness ... died just waiting for the transplants; the fourth, a patient ... program transparent to gross mismanagement has to also battle the ...
... are on tenterhooks, preventing the spread of the deadly virus H5N1, ... Eastern past of France. // The farm in Versailleux,on Thursday, that ... the lake where wild ducks were among the first to get ... ,This is perhaps the first time that a European Union farm ...
... prison in Guantanamo Bay to force feed the prisoners ... // through their noses has raised controversies among medical ... the fundamental principles of medical ethics. ,In ... targeted at extension of co-operation by the detainees. A ...
... mosquito-borne disease for which there is no known cure or ... of La Reunion Island // on Indian Ocean. As Nearly ... Xavier Bertrand, French Health Minister. ,More than 130, ... mortalities could be related directly or indirectly to the epidemic ...
... and unwholesomeness of visually appetizing foods, sugar coated cereals ... food strategies,// and yo-yo to consumer palettes, dictated by ... to keep heart disease and cancer at bay. ... a nutrition expert at the University of Maryland, ...
... offered insights into why Africans have an increased susceptibility ... compared to whites. // Worldwide, approximately more than ... 2 million people die due to the same every ... to official sources, the incidence of TB is eight ...
Cached Medicine News:Health News:Medical Ethics Violated By Prison Officials In Guantanamo Bay 2Health News:Wholly Ingrained: White or Brown? Food War Going Racist? Get to the Heart of the Matter 2Health News:Vitamin D May Help In Fight Against Tuberculosis 2
(Date:7/24/2014)... 24, 2014  Alimera Sciences, Inc. (NASDAQ: ... the research, development and commercialization of prescription ophthalmic pharmaceuticals, ... of fiscal year 2014 financial results after the market ... call will follow on the same day at 4:30 ... be hosted by Dan Myers , President and ...
(Date:7/24/2014)... KIRKLAND, Wash. , July 24, 2014 ... exhibiting at the 2014 National Association of State Veterans ... Carolina . The goal of the NASVH is ... receives the benefits, services, long term health care and ... sacrifice. With the InSite® Remote Dispensing ...
(Date:7/24/2014)... 2014 Consolidated Net Profit increased by 43.65 ...   , India Business grew by 20.87% to Rs. ... 4,886.70 Mn Rest of World (ROW) Business grew by ... by 34.53% to Rs. 977.26 Mn Latin America Business ... Glenmark Pharmaceuticals Limited, the research-led global integrated pharmaceutical company, today ...
Breaking Medicine Technology:Alimera Sciences To Release Second Quarter 2014 Results 2Talyst Exhibits at the National Association of State Veterans Homes Summer Conference 2Glenmark's Consolidated Revenue Increases by 20.08% to Rs. 14,869.40 Mn for Q1 FY 14 - 15 2Glenmark's Consolidated Revenue Increases by 20.08% to Rs. 14,869.40 Mn for Q1 FY 14 - 15 3Glenmark's Consolidated Revenue Increases by 20.08% to Rs. 14,869.40 Mn for Q1 FY 14 - 15 4
... Inc. (OTC Bulletin Board: HEWA), a ... a wholly-owned subsidiary of Huntington Bancshares Incorporated (Nasdaq: ... announced today a partnership that will give customers across ... HealthWarehouse.com will be added to the prescription ...
... 2011 On Wednesday, February 16, 2011, at ... members of Cell Therapeutics, Inc.,s (CTI) (Nasdaq and ... call to discuss the Company,s 2010 fourth quarter ... February 168:30 a.m. Eastern/2:30 p.m. Central European/5:30 a.m. ...
Cached Medicine Technology:HealthWarehouse.com and Huntington Insurance Partner to Help Self-Insured Employers in the Midwest Save on Prescription Medications 2
This stain is the McNeal formula and can be substituted for Wright Stain solution....
This Wright-Giemsa is a dual-use stain for peripheral blood and bone marrow smears. It produces somewhat darker results when compared with Giemsa, particularly in the blue to magenta shades....
Albumin (BCG). Storage temp: 15 -30 C. Linearity: 0.5 - 6.0 g/dl. Expected values: 3.5 - 5.5 g/dl. Available with calibrator. Performs 500 number of tests....
ASAT (GOT) FS (IFCC mod). For determination of ASAT (GOT) in serum or plasma. For Hitachi 717. Controls: Trulab N and Trulab P....
Medicine Products: