You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 16th Annual Conference on Towards Autonomous Robotics, TAROS 2015, held in Liverpool UK, in September 2015. The 16 revised full papers presented together with 18 short papers were carefully reviewed and selected from 59 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.
The three volume set LNAI 7506, LNAI 7507 and LNAI 7508 constitutes the refereed proceedings of the 5th International Conference on Intelligent Robotics and Applications, ICIRA 2012, held in Montreal, Canada, in October 2012. The 197 revised full papers presented were thoroughly reviewed and selected from 271 submissions. They present the state-of-the-art developments in robotics, automation and mechatronics. This volume covers the topics of robotics for rehabilitation and assistance; mechatronics and integration technology in electronics and information devices fabrication; man-machine interactions; manufacturing; micro and nano systems; mobile robots and intelligent autonomous systems; motion control; multi-agent systems and distributed control; and multi-sensor data fusion algorithms.
This book constitutes the refereed proceedings of the 15th Conference on Advances in Autonomous Robotics, TAROS 2014, held in Birmingham, UK, in September 2014. The 23 revised full papers presented together with 9 extended abstracts were carefully reviewed and selected from 48 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.
This volume constitutes the proceedings of the 18th Mexican Conference on Artificial Intelligence, MICAI 2019, held in Xalapa, Mexico, in October/November 2019. The 59 full papers presented in this volume were carefully reviewed and selected from 148 submissions. They cover topics such as: machine learning; optimization and planning; fuzzy systems, reasoning and intelligent applications; and vision and robotics.
This book constitutes the refereed proceedings of the 14th Conference on Advances in Autonomous Robotics, TAROS 2013, held in Oxford, UK, in August 2013. The 36 revised full papers presented together with 25 extended abstracts were carefully reviewed and selected from 89 submissions. The papers cover various topics such as artificial intelligence, bio-inspired and aerial robotics, computer vision, control, humanoid and robotic arm, swarm robotics, verification and ethics.
Prisoners and Prisons in India" is an in-depth exploration of the conditions within India's prison system, emphasizing the human rights of prisoners and the legal framework governing their treatment. The book provides a comprehensive analysis of the historical evolution of prisons in India, highlighting the various challenges that persist in the modern era, such as overcrowding, inadequate healthcare, and the systemic issues that often lead to the violation of prisoners' rights. At the core of this book is a detailed examination of the landmark Supreme Court case "Re-Inhuman Conditions in 1382 Prisons," which serves as a pivotal moment in India's judicial history. This case brought to light ...
Chiefly in the Indian context; papers presented at a conference.
Issues for 1919-47 include Who's who in India; 1948, Who's who in India and Pakistan.