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:8/20/2014)... Verndale is pleased to announce their recent ... list ranking the fastest-growing private companies in America. The ... yearly percentage revenue growth over a three-year period. For ... 5000 list where it ranked number 2,855. , As ... a wide range of digital marketing services including core ...
(Date:8/20/2014)... (PRWEB) August 20, 2014 Oxnard ... founder of the Anacapa Dental Art Institute, is presenting ... Dr. Jivraj will be speaking on All-on-4 dental ... Aspects of Graft Less Solutions” at 12:40 p.m. Sept. ... in Vancouver, British Columbia, Canada. , “The All-on-4 procedure ...
(Date:8/20/2014)... No matter how “lonely” a person may be, ... of friends to be always there for them. However, it ... of making new friends during adulthood : not only ... care of one’s family to a near-slavish devotion to career-building, ... person just is not the same as it was when ...
(Date:8/20/2014)... BuyCheapTicketsToEvents.com is always ready to ... tickets to many events. Cheap NHL hockey tickets are in ... , Hockey fans are enthusiastic about their sport, and they ... Now is the time to acquire 2014 NHL preseason tickets ... There will be a great deal of action and excitement, ...
(Date:8/20/2014)... often have difficulty falling asleep and staying asleep, and ... individuals with Alzheimer,s disease, this common and troubling symptom ... to nighttime confusion and wandering. , Now, a study ... (BIDMC) and the University of Toronto/Sunnybrook Health Sciences Center ... Reported online today in the journal Brain , ...
Breaking Medicine News(10 mins):Health News:For the 8th Time, Verndale Has Been Honored on the Inc. 5000 List 2Health News:Internationally Known Oxnard Dentist to Speak at Conference in Vancouver 2Health News:Internationally Known Oxnard Dentist to Speak at Conference in Vancouver 3Health News:‘How to Make Friends as an Adult by Just Being Yourself: Becoming a “People Person” In Three Steps or Less’ Gives Tips for Making Friends During Adulthood - Vinamy 2Health News:2014 NHL Preseason Tickets Are Among Top Selling Seats at Trusted Provider BuyCheapTicketsToEvents.com 2Health News:Research helps explain why elderly have trouble sleeping 2Health News:Research helps explain why elderly have trouble sleeping 3
... Prize Announced to Recognize Outstanding Journalism in, Support of Parkinson,s Disease ... ... NEW YORK, May 9 Although the weatherman predicted rain,that did not ... on Saturday, April 26th to unite as a passionate and,dedicated community to ...
... Sunrise Senior Living,Inc. (NYSE: SRZ ), today announced ... at the 2008 Bank of America Healthcare,Conference in Las ... Pacific,Time., Sunrise will Web cast the presentation live ... http://www.sunriseseniorliving.com ). A,replay of the Web cast will be ...
... May 9 Claremont Insurance,Services ( http://www.claremontcompanies.com ... today announced an innovative partnership to,market and ... broker,channel. PayrollSelect expands the selling power and ... an additional recurring revenue,stream for the broker ...
... to have suffered from depression before the diagnosis, , , ... are more than twice as likely to develop post-traumatic ... anxiety disorders, new research suggests. , About 16 percent ... at the Ohio State University Medical experienced PTSD 18 ...
... Washington University School of Medicine in St. Louis working ... immune cells long thought to be responsible for type ... the immune cells from isolated insulin-making structures in the ... the immune cells, known as dendritic cells, "red-handed": carrying ...
... Force,Colonel Mike Turner, a Democratic candidate for U.S. Congress ... inspired by MSNBC host,Keith Olbermann. Today is the 169th ... key architect of Hillary Clinton,s,notorious 1993 health care plan, ... 10th District voters what, if any, plan she has ...
Cached Medicine News:Health News:14th Annual Parkinson's Unity Walk Most Successful Event to Date 2Health News:14th Annual Parkinson's Unity Walk Most Successful Event to Date 3Health News:New Payroll Service Expands Selling Power and Service Capability of Employee Benefits Brokers 2Health News:Mood Disorders Put Breast Cancer Patients at Risk for PTSD 2Health News:Suspected cause of type 1 diabetes caught 'red-handed' for the first time 2Health News:Suspected cause of type 1 diabetes caught 'red-handed' for the first time 3Health News:Mike Turner, Virginia Congressional Candidate, Starts Healthcare Countdown 2
(Date:8/19/2014)... According to Kalorama Information, electronic medical records ... Data in healthcare a reality, and this a factor ... American Recovery and Reinvestment Act, the U.S. government dedicated ... penalties will start applying soon for use of paper ... study of the EMR industry, EMR 2014: The ...
(Date:8/19/2014)...  SCILEX Pharmaceuticals, Inc., a company engaged in the ... treatment of pain, announced that it had formed a Scientific ... Gudin , Dr. Charles Argoff , Dr. ... SCILEX Chief Executive Officer Anthony ... greatly assist in the development and commercialization of future ...
(Date:8/19/2014)... -- Sequence, Inc., an industry leader in the field of quality ... is opening a third office location in the "Gateway to ... result of demand by clients to provide cost effective solutions ... Sequence to better serve new and existing customers in the ... office provides Sequence a hub to support customers in ...
Breaking Medicine Technology:Kalorama: EMR Paves the Way for Big Data 2Kalorama: EMR Paves the Way for Big Data 3SCILEX Pharmaceuticals Announces Scientific Advisory Board 2SCILEX Pharmaceuticals Announces Scientific Advisory Board 3SCILEX Pharmaceuticals Announces Scientific Advisory Board 4Quality and Compliance Solutions Provider Announces Opening of St. Louis, Missouri Office 2
... Data from Serial Outpatient Infusion Study in Patients ... of Cardiology 56th Annual Scientific Session --, MOUNTAIN ... -- Scios Inc. announced today that an exploratory,920-patient, ... effect on the primary endpoint, a composite of ...
... March 26, 2007 /PRNewswire/ -- A large ... CYPHER(R) Sirolimus-eluting,Coronary Stent reported favorable safety and ... investigators at the of,Cardiology's 56th Annual Scientific ... a prospective, single-arm study designed,to evaluate the ...
Cached Medicine Technology:Scios Announces Results From Exploratory Nesiritide Study Providing,Important New Renal and Mortality Safety Data with a Neutral Effect,on the Primary Endpoint 2Scios Announces Results From Exploratory Nesiritide Study Providing,Important New Renal and Mortality Safety Data with a Neutral Effect,on the Primary Endpoint 3Scios Announces Results From Exploratory Nesiritide Study Providing,Important New Renal and Mortality Safety Data with a Neutral Effect,on the Primary Endpoint 4Scios Announces Results From Exploratory Nesiritide Study Providing,Important New Renal and Mortality Safety Data with a Neutral Effect,on the Primary Endpoint 5Scios Announces Results From Exploratory Nesiritide Study Providing,Important New Renal and Mortality Safety Data with a Neutral Effect,on the Primary Endpoint 6Scios Announces Results From Exploratory Nesiritide Study Providing,Important New Renal and Mortality Safety Data with a Neutral Effect,on the Primary Endpoint 7Two-Year Patient Registry Results Support Safety and Efficacy of,Cypher Sirolimus-Eluting Coronary Stent in 'Real World' Uses 2Two-Year Patient Registry Results Support Safety and Efficacy of,Cypher Sirolimus-Eluting Coronary Stent in 'Real World' Uses 3Two-Year Patient Registry Results Support Safety and Efficacy of,Cypher Sirolimus-Eluting Coronary Stent in 'Real World' Uses 4
Dynamic brace that provides a low load, prolonged stretch to the connective tissue around the joint using an adjustment hinge with a built-in tension spring...
... Original Knee Brace gives fracture treatment patients ... control, this brace features the the Bledsoe ... from 0-120, and positively locks at any ... eccentric cam slots, the Bledsoe Multi-Centric Hinge ...
The Bledsoe Adjustable Knee Brace is designed to meet the most stringent demands of post-op care. When post-op care demands the best, the Bledsoe Adjustable Knee Brace is the physicians' preferred ch...
... Bird and Cronin, Inc. ... of Patient Footwear, Orthopedic ... Care Products. Our products ... quality and available in ...
Medicine Products: