Researchers from Korea have developed an artificial intelligence (AI)-guided optimization framework that dramatically reduces the computational effort needed to optimize solid oxide electrolysis cell (SOEC) operation.Researchers from Korea have developed an artificial intelligence (AI)-guided optimization framework that dramatically reduces the computational effort needed to optimize solid oxide electrolysis cell (SOEC) operation.Energy & Green Tech[#item_full_content]
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, which limits the size of systems that can be checked, and long verification times.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, which limits the size of systems that can be checked, and long verification times.[#item_full_content]
A platform for training and comparing machine learning models to actively reduce drag, improve lift, cut noise and manage heat has been launched by an international team that includes researchers at the University of Washington, University of Michigan Engineering, RWTH Aachen University and the Technical University of Munich.A platform for training and comparing machine learning models to actively reduce drag, improve lift, cut noise and manage heat has been launched by an international team that includes researchers at the University of Washington, University of Michigan Engineering, RWTH Aachen University and the Technical University of Munich.Automotive[#item_full_content]
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.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.Machine learning & AI[#item_full_content]
Before you prompt AI to answer another question or perform another task, a Wake Forest computer scientist wants you to know it could expose your sensitive data.Before you prompt AI to answer another question or perform another task, a Wake Forest computer scientist wants you to know it could expose your sensitive data.Security[#item_full_content]
Today, anyone with a large enough artificial intelligence model can generate millions of new material designs in minutes. Unfortunately, that hasn’t led to a huge leap in the number of new materials being used to improve the performance of products like computer chips and rockets.Today, anyone with a large enough artificial intelligence model can generate millions of new material designs in minutes. Unfortunately, that hasn’t led to a huge leap in the number of new materials being used to improve the performance of products like computer chips and rockets.Engineering[#item_full_content]
“Swarms” of cyborg cockroaches with cameras and miniature medical injectors could deliver supervised emergency care to people trapped in collapsed buildings, caves or other places too dangerous for rescuers to reach. The “Paraborgs” developed by University of Queensland biorobotics researchers, working with biomedical engineers at the University of New South Wales (UNSW), move cyborg insects of the future beyond searching for survivors to actively assisting them. The research is published in the journal Advanced Science.”Swarms” of cyborg cockroaches with cameras and miniature medical injectors could deliver supervised emergency care to people trapped in collapsed buildings, caves or other places too dangerous for rescuers to reach. The “Paraborgs” developed by University of Queensland biorobotics researchers, working with biomedical engineers at the University of New South Wales (UNSW), move cyborg insects of the future beyond searching for survivors to actively assisting them. The research is published in the journal Advanced Science.[#item_full_content]
Combinatorial optimization problems are ubiquitous, underpinning decision-making in a wide range of fields, including logistics, transportation, communication networks, drug discovery and materials science. However, these problems are computationally expensive, especially for conventional computing systems. As a result, researchers are exploring new computing paradigms capable of solving such problems more efficiently.Combinatorial optimization problems are ubiquitous, underpinning decision-making in a wide range of fields, including logistics, transportation, communication networks, drug discovery and materials science. However, these problems are computationally expensive, especially for conventional computing systems. As a result, researchers are exploring new computing paradigms capable of solving such problems more efficiently.Hi Tech & Innovation[#item_full_content]
Propeller-powered underwater vehicles have long helped scientists explore and monitor aquatic environments. But they’re limited by their own mechanics: Spinning blades can snag on vegetation, stir up sediment and startle the wildlife they’re often sent to study, making them poorly suited to shallow creeks, dense weeds or close encounters with fish.Propeller-powered underwater vehicles have long helped scientists explore and monitor aquatic environments. But they’re limited by their own mechanics: Spinning blades can snag on vegetation, stir up sediment and startle the wildlife they’re often sent to study, making them poorly suited to shallow creeks, dense weeds or close encounters with fish.[#item_full_content]
Nonuniformities can be a big deal on a manufacturing line. But they can be tough to identify in materials measured on a nanometer scale, as Alex Bordovalos came to appreciate during an internship with a solar cell manufacturer integrated into his master’s program at The University of Toledo.Nonuniformities can be a big deal on a manufacturing line. But they can be tough to identify in materials measured on a nanometer scale, as Alex Bordovalos came to appreciate during an internship with a solar cell manufacturer integrated into his master’s program at The University of Toledo.Hi Tech & Innovation[#item_full_content]
