A divide and conquer approach to leads-to model checking for large-scale systems

Credit: Pixabay/CC0 Public Domain Model checking is one of the most successful computer science achievements in the last few decades. This is why Edmund M. Clarke, E. Allen Emerson, and…

Adoption of ‘Industry 4.0’ systems can lead to sustainability across organizations

Credit: Pixabay/CC0 Public Domain Adaptive “smart” technologies and integrated production systems driven by digital transformation are helping to accelerate more sustainable products and industries, Flinders University experts say. Adoption of…

Hollow carbon co-doped anatase titanium dioxide spheres hold promise for high-performance metal ion batteries

(a, b) Scanning electron microscopy, (c, d) transmission electron microscopy, (e, f) high resolution transmission electron microscopy and (g-i) energy-dispersive system mapping images of HS-TiO2. Credit: Li Zhaoqian By changing…

Examining how atomic nuclei vibrate with a greater degree of precision

Schematic of an MHI (HD+): It comprises a hydrogen (p) and a deuteron nucleus (d) that can rotate around and vibrate against each other. In addition, there is an electron…

Playful behavior in rats is controlled by a specific area of their brains

Rats are extremely playful creatures. They love playing chase, and they literally jump for joy when tickled. Central to this playfulness, a new study finds, are cells in a specific…

Bures and Sjöqvist metrics over thermal state manifolds for spin qubits and superconducting flux qubits

Credit: CC0 Public Domain Dr. Carlo Cafaro, SUNY Poly faculty in the Department of Mathematics and Physics, has collaborated with Dr. Paul M. Alsing, Principal Research Physicist at the Air…

Millions across the world live with low back pain, but addressing major risk factors like smoking, obesity and workplace ergonomics could curb the trend, research shows

The Research Brief is a short take about interesting academic work. The big idea Low back pain is the leading cause of disability in the world, with over 600 million…

Fixing the global childhood obesity epidemic begins with making healthy choices the easier choices – and that requires new laws and policies

The global childhood obesity epidemic has exploded. Over the past four decades, the world has witnessed a tenfold increase in obesity in children and adolescents between 5 and 19 years…

As suicides rise in the US, the 988 hotline offers hope – but most Americans aren’t aware of it

July 2023 marks the one-year anniversary of the national launch of the 988 Suicide & Crisis Lifeline. Currently, more than 200 call centers throughout the U.S. are responding to 988…

Ford raises 2023 profit outlook but sees bigger EV loss

Ford raised its 2023 forecast for its overall business but sees a deeper loss from electric vehicles. Ford lifted its full-year forecast Thursday after quarterly earnings nearly tripled on strong…