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:5/22/2015)... CA (PRWEB) May 22, 2015 The ... two exciting events in June. They will hold a ... Doctorate and a two-day class on Classical Chinese Medicine. ... June 3, Dr. Steve Given, the Dean of Clinical ... discuss the new First Professional Doctorate program. ACTCM is ...
(Date:5/22/2015)... York, New York (PRWEB) May 22, 2015 ... http://www.xareltolawsuit2015.com/ ) filed on behalf of individuals who ... due to its use continue to move forward ... Louisiana. According to a Pretrial Order dated May ... the preservation of documents and electronically stored information. ...
(Date:5/22/2015)... May 22, 2015 Combination therapy, ... option for chronic obstructive pulmonary disorder (COPD) as ... and AstraZeneca plc as well as Germany’s Boehringer ... and position. But will market payers, clinicians and ... well-entrenched products to completely new ones? , In ...
(Date:5/22/2015)... DC (PRWEB) May 22, 2015 Family, ... University Hospital’s world-renowned surgical oncologist, Dr. LaSalle D. Leffall, ... , The luncheon began after Grand Rounds in the ... Leffall, waited anxiously outside the auditorium, trying to keep ... him, but if he sees me, he’ll know something ...
(Date:5/22/2015)... Memorial Day weekend is typically considered the beginning of ... tips to help promote safe travel. , According to estimates ... fatalities this Memorial Day weekend. Amica is sharing the following ... , , Always wear a seatbelt: ... whether they’re driving or riding along as a passenger. Seatbelts ...
Breaking Medicine News(10 mins):Health News:ACTCM Announces Upcoming June Events 2Health News:Court Overseeing Federal Xarelto Lawsuits Establishes Procedures Governing Preservation of Documents, Electronically Stored Information 2Health News:Court Overseeing Federal Xarelto Lawsuits Establishes Procedures Governing Preservation of Documents, Electronically Stored Information 3Health News:Court Overseeing Federal Xarelto Lawsuits Establishes Procedures Governing Preservation of Documents, Electronically Stored Information 4Health News:Chronic Obstructive Pulmonary Disorder Therapeutics Market Discussed in In-demand FirstWord Report Published at MarketPublishers.com 2Health News:Colleagues Surprise Dr. LaSalle Leffall with 85th Birthday Celebration 2Health News:Amica Has 4 Road Safety Tips for Memorial Day Weekend 2
... raw fruits, vegetables to protect against stroke , WEDNESDAY, ... foods such as leafy greens, potatoes and bananas may ... according to Italian researchers. , The new analysis was ... that included almost 280,000 adults. During follow-ups that ranged ...
... test might cut unnecessary biopsies, researchers say , WEDNESDAY, ... in finding ways to treat and detect stubborn forms ... three studies being presented this week at the annual ... include cancers of the prostate, kidney, bladder and testicles," ...
... In landmark trial, it beat two newer meds for treating ... News) -- A landmark comparison of three drugs widely used ... oldest to be the most effective. , The study of ... (Zarontin), one of the oldest anti-seizure medications available in the ...
... heart disease and stroke risk, study finds, , WEDNESDAY, ... test predicts diabetes as well as the traditional fasting ... in predicting a patient,s future risk of heart disease ... for common cardiovascular disease risk factors, the study found ...
... , ... ... ... ...
... , ... ... , ... , , ...
Cached Medicine News:Health News:Potassium-Rich Foods Do a Heart Good 2Health News:New Drugs, Approaches Offer Hope Against Prostate Cancer 2Health News:New Drugs, Approaches Offer Hope Against Prostate Cancer 3Health News:New Drugs, Approaches Offer Hope Against Prostate Cancer 4Health News:Oldest Epilepsy Drug Best for Children 2Health News:Oldest Epilepsy Drug Best for Children 3Health News:Newer Blood Test Predicts Diabetes, Heart Disease 2Health News:Newer Blood Test Predicts Diabetes, Heart Disease 3Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 2Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 3Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 4Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 5Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 6Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 7Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 8Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 9Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 10Health News:Cardiogenesis Reports Fourth Quarter and Full-Year 2009 Results 11Health News:Consumer Alert: Denture Cream Maker Warns Doctors of Product Dangers 2Health News:Consumer Alert: Denture Cream Maker Warns Doctors of Product Dangers 3Health News:Consumer Alert: Denture Cream Maker Warns Doctors of Product Dangers 4
(Date:5/22/2015)... , May 22, 2015 The ... the $13 billion global cardiac rhythm management device ... Kalorama found that Medtronic, St. Jude Medical, Boston ... 80% of this market segment. The healthcare market ... Markets , uses 2015 as a base year, ...
(Date:5/22/2015)... 2015  The U.S. Food and Drug Administration,s ... first biosimilar product approved in the ... in the contract manufacturing organization (CMO) industry, according ... geared to the production of small-molecular drugs and ... The healthcare market research publisher,s report, Biopharmaceutical ...
(Date:5/22/2015)... 2015  The Mesothelioma Victims Center is incredibly ... get the best possible compensation, and they are also ... rare cancer caused by exposure to asbestos or ... to treatment options such as a recent possible ... Victims Center anytime at 866-714-6466. http://MesotheliomaVictimsCenter.Com ...
Breaking Medicine Technology:Kalorama: Top Companies Dominate Cardiac Defibrillator Market 2Kalorama: Top Companies Dominate Cardiac Defibrillator Market 3Kalorama: Top Companies Dominate Cardiac Defibrillator Market 4Kalorama: First FDA-Approved Biosimilar Brings Hope for CMO Growth 2Kalorama: First FDA-Approved Biosimilar Brings Hope for CMO Growth 3Kalorama: First FDA-Approved Biosimilar Brings Hope for CMO Growth 4Mesothelioma Victims Center Calls Attention to a Recent Medical Article About a New Drug That Could Slow the Progression of Mesothelioma and Allow People to Live Longer 2Mesothelioma Victims Center Calls Attention to a Recent Medical Article About a New Drug That Could Slow the Progression of Mesothelioma and Allow People to Live Longer 3Mesothelioma Victims Center Calls Attention to a Recent Medical Article About a New Drug That Could Slow the Progression of Mesothelioma and Allow People to Live Longer 4Mesothelioma Victims Center Calls Attention to a Recent Medical Article About a New Drug That Could Slow the Progression of Mesothelioma and Allow People to Live Longer 5
... CSG/SportsCoatings and,the National Wrestling Coaches Association (NWCA) ... and proven method of controlling,bacteria, mold, and fungi ... its Sports Antimicrobial System (R) that,inhibits and controls ... of,athletic surfaces and fabrics for extended periods of ...
... premature babies, FORT WORTH, Texas, Dec. 10 ... are helping improve the care of,premature infants. Harris ... recently implemented the use of the Bubble CPAP ... decreasing the,incidence of chronic lung disease among premature ...
Cached Medicine Technology:National Wrestling Coaches Association Teams Up With CSG/SportsCoatings(TM) 2Harris Methodist Fort Worth Hospital Using Bubbles to Help Babies Breathe 2
... the Pneumatic Armband to focus compression where ... the Armband concentrates compression directly on the ... more support and less constriction. Designed for ... to conform to the arm's tapered contour ...
... lightweight brace allows it to fit easily into ... joint following severe sprains, tendonitis or after cast ... with the ankle and provide optimum medial-lateral support. ... rotational strains on the ankle, and they provide ...
... ankle splint may be used for either ... It is effective in stabilizing the ... after cast removal. The rigid pre-bent ... side-to-side support. The stays also help ...
... effective stirrup designed to truly function for both ... in profile than other stirrups, so it fits ... The X-Brace offers the Figure 8 X-Strap which ... foot. This allows the strapping of the midfoot ...
Medicine Products: