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, ...

18 hours ago
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 ...

19 hours ago
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.

20 hours ago
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, ...

17 hours ago
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, ...

20 hours ago
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 ...

19 hours ago
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 ...

21 hours ago
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 ...

19 hours ago
Medical Xpress / Extreme heat and childhood adversity linked to drinking patterns in older adults

The decision to crack open a beer on a hot summer day may be about more than refreshment, according to a new University of Georgia study. The paper is published in the journal JMIR Aging.

19 hours ago
Phys.org / Tax break 'megadeals' spurred innovation in local communities

When cities, counties or states provide corporations with big tax breaks to lure factories, corporate headquarters and other facilities, the economic benefits may go beyond the new jobs and investments the companies bring ...

21 hours ago
Medical Xpress / What happens to your body when you eat more pulses? Five effects you need to know

Lentils, beans and chickpeas have been feeding people for thousands of years. Lentils are among the world's earliest cultivated crops, with archaeological evidence tracing them back to the beginnings of agriculture. Yet scientists ...

20 hours ago
Phys.org / CanopyFit maps urban tree sites with greatest cooling potential

UBC researchers and municipal partners have developed a modeling tool to help cities adapt to rising temperatures by mapping where new trees offer the greatest cooling impact.

21 hours ago