All News
Tech Xplore / Divide-and-conquer approach advances system reliability through scalable model checking
Model checking helps automatically verify whether hardware and software systems satisfy specified requirements. It has become an important formal verification technique, but two major challenges remain: state-space explosion, ...
Phys.org / Are earthquakes becoming more common? Here's what the numbers say
Whenever there's a series of destructive or notable earthquakes, scientists get asked the same question: Are earthquakes becoming more frequent?
Medical Xpress / New clinical tool helps predict short-term risk of diabetes complications using routine health data
Researchers at the University of Maryland School of Medicine (UMSOM) have developed and validated a new risk calculator that can estimate an individual patient's short-term risk of developing a range of diabetes-related complications, ...
Phys.org / Even protected Florida wetlands can't escape microplastic pollution
Microplastics are turning up almost everywhere—from oceans and rivers to soils and sediments—yet far less is known about what happens when they enter freshwater wetlands. Often overlooked in favor of marine and coastal environments, ...
Medical Xpress / Writing the next bible of psychiatry: For the first time, the DSM will use biology to understand mental disorders
The "bible" of clinical psychiatry—the DSM, short for the Diagnostic and Statistical Manual of Mental Disorders—is one of the most popular reference books in psychiatry worldwide. Clinicians use it to diagnose patients, and ...
Tech Xplore / Bill Gates warns world unprepared for AI upheaval
Bill Gates warned Wednesday that the world is dangerously unprepared for the upheaval brought by artificial intelligence, with the technology destroying jobs and threatening human connection, especially for young people.
Medical Xpress / Immune responses to urinary tract infection linked to birth outcomes
A study published in Science Translational Medicine shows that the increased risk of preterm birth associated with urinary tract infection (UTI) is linked to the body's immune response to the infection rather than to the ...
Phys.org / Researchers develop hydrogels to create a programmable niche for blood stem cells
A research team from Tel Aviv University and the Leibniz Institute of Polymer Research Dresden (IPF), led by Ayala Lampel and Carsten Werner, has developed a peptide-glycosaminoglycan hydrogel system that creates a programmable ...
Medical Xpress / Why men can struggle with weight-loss initiatives
A new study has identified why many men struggle with weight loss, finding that traditional diet programs are often perceived as too restrictive and primarily aimed at women. The research, published in PLOS One and led by ...
Medical Xpress / We can't quit smartphones, but we can manage digital junk food better
Amy, a 27-year-old software developer, has struggled with disordered eating since she was a teenager. "But after learning to code, I got much better," she said in a research interview. "I often code for 10 or more hours without ...
Phys.org / Comet 220P McNaught puts on an encore performance
It has been a busy month for astronomy. In the midst of an eclipse season bookended by the total solar eclipse on Aug. 12 and the deep partial lunar eclipse coming up this week on Aug. 28, an outbound comet hanging high in ...
Medical Xpress / Study finds extreme obesity common among bariatric surgery patients, should not preclude treatment
Patients with extreme obesity are more common among those undergoing metabolic and bariatric surgery than previously recognized, and although they face a greater burden of certain health conditions and surgical complications, ...
