Academy awardwinning artist Doug Chiang and best-selling sci-fi author Orson Scott Card join forces for an extraordinary publishing adventure: Robota. An original illustrated science fiction novel, Robota follows the fortunes of a strangely powerful amnesiac named Caps as he navigates an ancient, decaying world in which a dwindling human population battles a society of merciless robot warriors. Aided by talking animals and stalked by terrifying hunter robots, Caps slowly rises to fulfill an awesome destiny. Integrating word and image, Card's masterful storytelling is interwoven with 75 pieces of Chiang's wildly imagined, meticulously rendered art. Packaged in a dramatic metallic case, this unusual and powerful collaboration is tailor-made to thrill.

This book presents a unique examination of mobile robots and embedded systems, from introductory to intermediate level. It is structured in three parts, dealing with Embedded Systems (hardware and software design, actuators, sensors, PID control, multitasking), Mobile Robot Design (driving, balancing, walking, and flying robots), and Mobile Robot Applications (mapping, robot soccer, genetic algorithms, neural networks, behavior-based systems, and simulation). The book is written as a text for courses in computer science, computer engineering, IT, electronic engineering, and mechatronics, as well as a guide for robot hobbyists and researchers.

The first generation of surgical robots are already being installed in a number of operating rooms around the world. Robotics is being introduced to medicine because it allows for unprecedented control and precision of surgical instruments in minimally invasive procedures. So far, robots have been used to position an endoscope, perform gallbladder surgery and correct gastroesophogeal reflux and heartburn. The ultimate goal of the robotic surgery field is to design a robot that can be used to perform closed-chest, beating-heart surgery. The use of robotics in surgery will expand over the next decades without any doubt. Minimally Invasive Surgery (MIS) is a revolutionary approach in surgery. In MIS, the operation is performed with instruments and viewing equipment inserted into the body through small incisions created by the surgeon, in contrast to open surgery with large incisions. This minimizes surgical trauma and damage to healthy tissue, resulting in shorter patient recovery time. The aim of this book is to provide an overview of the state-of-art, to present new ideas, original results and practical experiences in this expanding area. Nevertheless, many chapters in the book concern advanced research on this growing area. The book provides critical analysis of clinical trials, assessment of the benefits and risks of the application of these technologies. This book is certainly a small sample of the research activity on Medical Robotics going on around the globe as you read it, but it surely covers a good deal of what has been done in the field recently, and as such it works as a valuable source for researchers interested in the involved subjects, whether they are currently “medical roboticists” or not.

This book is the collection of selected articles that appeared at the First International Analytics Conference 2023 held in Hyderabad in virtual mode on February 2nd the 3rd 2023. This informative volume offers a window into recent breakthroughs shaping healthcare, agriculture, and environmental sustainability. It showcases the cutting-edge developments in these essential fields. Explore the progress in healthcare, from personalized medicine to telemedicine and innovative treatments, demonstrating how technology is enhancing patient care and transforming global health. Dive into the agricultural sector, where precision farming, genetic engineering, and sustainable practices are revolutionizing food production. Science and innovation play a key role in building a more resilient and food-secure future.

This book discusses the latest developmens in modelling, simulation and control of flexible robot manipulators. Coverage includes an overall review of previously developed methodologies, a range of modelling approaches including classical techniques, parametric and neuromodelling approaches and numerical modelling/simulation techniques.

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.