Global Editions

Tag Archives: Robotics

Applying Formal Methods to Ensure Accurate and Reliable Engineering Systems

Applying Formal Methods to Ensure Accurate and Reliable Engineering Systems

These days hardware and software systems are progressively being used in safety-critical domains, such as automated transportation networks and electronic military and medicine equipment. This makes the accuracy of their analysis of vital importance since an uncaught system bug can endanger human …Continue reading

Social Impact Projects Main Highlight of 5th Robotics Expo

Technology is being used globally to create products that lead to positive social impacts. From 3D printing orthotics for children to solar-run portable incubators for premature babies, the impact is limitless. The same idea was taken forward at the 5th Robotics Exhibition …Continue reading

Baidu’s Self-Driving Car Takes On Beijing Traffic

China’s leading search company is developing a self-driving car with BMW. Driving around Beijing often feels unnervingly like a contact sport, with vehicles recklessly plunging through thick traffic, sneaking along the shoulder, or cutting through red lights—whether pedestrians are trying to cross …Continue reading

Top