Nguyen working to make complex invariants accessible
2024-10-07
(Press-News.org)
Thanhvu Nguyen, Associate Professor, Computer Science, College of Engineering and Computing (CEC), received funding from the National Science Foundation for the project: “Collaborative Research: FMitF: Track II: From Theory to Practice: Making Complex Invariants Accessible with DIG.”
Nguyen and his collaborators are developing the invariant generator DIG-I, which is more efficient and scalable than other invariant generators. It also has applications beyond just invariant discovery. The researchers hold that DIG-I will be modern and leverage recent AI to efficiently learn and reason about invariants. Finally, it will be added to popular integrated development environments (IDEs) to improve usability.
The project's impacts are that the open-source DIG-I tool will enhance the efficiency and usability of invariant learning, benefiting developers in industry and research labs, and will be used to introduce formal methods and invariant generation to students and professionals through courses at George Mason.
Nguyen received $99,246 from NSF for this research. Funding began in Sept. 2024 and will end in late Aug. 2026.
###
ABOUT GEORGE MASON UNIVERSITY
George Mason University is Virginia’s largest public research university. Located near Washington, D.C., Mason enrolls more than 40,000 students from 130 countries and all 50 states. Mason has grown rapidly over the past half-century and is recognized for its innovation and entrepreneurship, remarkable diversity, and commitment to accessibility. In 2023, the university launched Mason Now: Power the Possible, a one-billion-dollar comprehensive campaign to support student success, research, innovation, community, and stewardship.Learn more at gmu.edu.
END
ELSE PRESS RELEASES FROM THIS DATE:
2024-10-07
The current expectation is that every ovulatory menstrual cycle will have a luteal phase (the time from egg released until the next flow) that lasts approximately 14 days. It is simple, ovulation covers half of the expected, classical 28-day menstrual cycle. That fits with another current concept, “All regular month-apart menstrual cycles are ovulatory.”
“We discovered a wide variety of luteal phase lengths, even in healthy premenopausal women who needed two cycles in a row that were both of normal cycle length and ovulatory in order to join the original study,” said this study’s first author, ...
2024-10-07
It’s not a bad thing if you pick a toasted bagel for breakfast, while your partner chooses eggs. In fact, according to a new study from the University of Waterloo, that difference could help you lose some weight.
The study, which employed a mathematical model of men’s and women’s metabolisms, showed that men’s metabolisms respond better on average to a meal laden with high carbohydrates like oats and grains after fasting for several hours, while women are better served ...
2024-10-07
SAN ANTONIO — October 7, 2024 —Southwest Research Institute’s Nathan Andrews has been named an Associate Fellow of the American Institute of Aeronautics and Astronautics (AIAA). AIAA Associate Fellows are recognized for overseeing important engineering or scientific work and outstanding contributions to their field. To receive this honor, nominees must be recommended by at least three other associate fellows, be a senior member in good standing of the AIAA and have at least 12 years of professional experience. AIAA selects only one Associate Fellow for each 150 members each ...
2024-10-07
The invasive mosquito species, the tiger mosquito (Aedes albopictus), poses significant threats to human and animal health due to its ability to spread over large geographic areas and act as a vector for numerous pathogens. Understanding the ecological relationships this species establishes in different locations is crucial for assessing its worldwide dispersion success and its role in disease transmission. To uncover how invasiveness couples with the ability to adapt to various food sources László Zsolt Garamszegi from the ...
2024-10-07
Researchers reporting in the Cell Press journal Current Biology on October 7 have made the surprising discovery that one species of comb jelly (Mnemiopsis leidyi) can fuse, such that two individuals readily turn into one following an injury. Afterwards, they rapidly synchronize their muscle contractions and merge digestive tracts to share food.
“Our findings suggest that ctenophores may lack a system for allorecognition, which is the ability to distinguish between self and others,” says Kei Jokura (@Ctenophore18) of the University of Exeter, UK, and National Institutes of Natural Sciences in Okazaki, ...
2024-10-07
EMBARGOED: NOT FOR RELEASE UNTIL 07 OCTOBER 2024 AT 16:00 (LONDON TIME), 07 OCTOBER 2024 AT 11:00 (US EASTERN TIME).
Global warming could increase the threat posed to whale sharks from large ships, according to a new study published in Nature Climate Change.
Researchers from the University of Southampton and Marine Biological Association (MBA) predict that increased ocean temperatures will see this already endangered species driven into new habitats crossed by busy shipping lanes.
The study predicts that the co-occurrence of whale sharks and large ships could be 15,000 times higher by the end of the century compared to the present day.
Lead author Dr ...
2024-10-07
We’ve seen dramatic increases in life expectancy over the 19th and 20th centuries, thanks to healthier diets, medical advances and many other quality-of-life improvements.
But after nearly doubling over the course of the 20th century, the rate of increase has slowed considerably in the last three decades, according to a new study led by the University of Illinois Chicago.
Despite frequent breakthroughs in medicine and public health, life expectancy at birth in the world’s longest-living populations has increased only an ...
2024-10-07
A study led by Johns Hopkins Medicine researchers concludes that commonly used ways of positioning the patient’s arm during blood pressure (BP) screenings can substantially overestimate test results and may lead to a misdiagnosis of hypertension.
In a report on the study, which will be published Oct. 7 in JAMA Internal Medicine, investigators examined the effects of three different arm positions: an arm supported on a desk, arm supported on a lap, and an unsupported arm hanging at the patient’s side. ...
2024-10-07
About The Study: This crossover randomized clinical trial showed that commonly used arm positions (lap or side) resulted in substantial overestimation of blood pressure readings and may lead to misdiagnosis and overestimation of hypertension.
Corresponding Author: To contact the corresponding author, Tammy M. Brady, MD, PhD, email tbrady8@jh.edu
To access the embargoed study: Visit our For The Media website at this link https://media.jamanetwork.com/
(doi:10.1001/jamainternmed.2024.5213)
Editor’s Note: Please see the article for additional information, including other authors, author contributions and affiliations, conflict of ...
2024-10-07
About The Study: The transition from childhood to adolescence may represent a sensitive developmental period when racism can have long-term deleterious impacts on healthy human development across the life span. Future research should build on the present study and interrogate which social regularities and policies may be perpetuating discrimination against ethnically and racially minoritized adolescents.
Corresponding Author: To contact the corresponding author, Juan Del Toro, PhD, email jdeltoro@umn.edu.
To ...
LAST 30 PRESS RELEASES:
[Press-News.org] Nguyen working to make complex invariants accessible
