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