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 Joseph Sifakis were honored with the 2007 A.M. Turing Award for their role in developing model checking into a highly effective verification technology.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 Joseph Sifakis were honored with the 2007 A.M. Turing Award for their role in developing model checking into a highly effective verification technology.[#item_full_content]
A research team has shown for the first time that reinforcement learning—i.e., a neural network that learns the best action to perform at each moment based on a series of rewards—allows autonomous vehicles and underwater robots to locate and carefully track marine objects and animals.A research team has shown for the first time that reinforcement learning—i.e., a neural network that learns the best action to perform at each moment based on a series of rewards—allows autonomous vehicles and underwater robots to locate and carefully track marine objects and animals.Robotics[#item_full_content]
A research team has shown for the first time that reinforcement learning—i.e., a neural network that learns the best action to perform at each moment based on a series of rewards—allows autonomous vehicles and underwater robots to locate and carefully track marine objects and animals.A research team has shown for the first time that reinforcement learning—i.e., a neural network that learns the best action to perform at each moment based on a series of rewards—allows autonomous vehicles and underwater robots to locate and carefully track marine objects and animals.[#item_full_content]
For the first time, researchers have trained a machine learning model in outer space, on board a satellite. This achievement could enable real-time monitoring and decision making for a range of applications, from disaster management to deforestation.For the first time, researchers have trained a machine learning model in outer space, on board a satellite. This achievement could enable real-time monitoring and decision making for a range of applications, from disaster management to deforestation.Hi Tech & Innovation[#item_full_content]
ChatGPT has made headlines around the world with its ability to write well-done essays, emails, and computer code based on a few questions from a user.ChatGPT has made headlines around the world with its ability to write well-done essays, emails, and computer code based on a few questions from a user.Hi Tech & Innovation[#item_full_content]
A new soft robotic gripper is not only 3D printed in one print, it also doesn’t need any electronics to work. The device was developed by a team of roboticists at the University of California San Diego, in collaboration with researchers at the BASF corporation, who detailed their work in Science Robotics.A new soft robotic gripper is not only 3D printed in one print, it also doesn’t need any electronics to work. The device was developed by a team of roboticists at the University of California San Diego, in collaboration with researchers at the BASF corporation, who detailed their work in Science Robotics.[#item_full_content]
In a study published in special issue of the journal IET Cyber-Systems and Robotics, researchers from Zhejiang University experienced in legged robot motion and control, pre-trained the neural network (NN) using data from a robot operated by conventional model-based controllers.In a study published in special issue of the journal IET Cyber-Systems and Robotics, researchers from Zhejiang University experienced in legged robot motion and control, pre-trained the neural network (NN) using data from a robot operated by conventional model-based controllers.Robotics[#item_full_content]
The Korea Institute of Civil Engineering and Building Technology (KICT) developed a digital model designed to identify dangerous roads where traffic accidents frequently occur while further finding optimal measures to improve the safety of such roads, thereby minimizing the risk of traffic accidents.The Korea Institute of Civil Engineering and Building Technology (KICT) developed a digital model designed to identify dangerous roads where traffic accidents frequently occur while further finding optimal measures to improve the safety of such roads, thereby minimizing the risk of traffic accidents.Automotive[#item_full_content]
Researchers at Carnegie Mellon University’s Robotics Institute have shown that computer vision systems can more easily detect objects in motion—like a car driving down the street or a person walking in a crosswalk—than stationary objects.Researchers at Carnegie Mellon University’s Robotics Institute have shown that computer vision systems can more easily detect objects in motion—like a car driving down the street or a person walking in a crosswalk—than stationary objects.[#item_full_content]
Achieving human-level dexterity during manipulation and grasping has been a long-standing goal in robotics. To accomplish this, having a reliable sense of tactile information and force is essential for robots. A recent study, published in IEEE Robotics and Automation Letters, describes the L3 F-TOUCH sensor that enhances the force sensing capabilities of classic tactile sensors. The sensor is lightweight, low-cost, and wireless, making it an affordable option for retrofitting existing robot hands and graspers.Achieving human-level dexterity during manipulation and grasping has been a long-standing goal in robotics. To accomplish this, having a reliable sense of tactile information and force is essential for robots. A recent study, published in IEEE Robotics and Automation Letters, describes the L3 F-TOUCH sensor that enhances the force sensing capabilities of classic tactile sensors. The sensor is lightweight, low-cost, and wireless, making it an affordable option for retrofitting existing robot hands and graspers.[#item_full_content]
