Author : Alfried Pollmann
Publisher : Walter de Gruyter GmbH & Co KG
Page : 312 pages
File Size : 48,4 MB
Release : 2020-10-12
Category : Computers
ISBN : 3110816016
No detailed description available for "Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects".
Author : Gareth J. Monkman
Publisher : John Wiley & Sons
Page : 463 pages
File Size : 25,42 MB
Release : 2007-02-27
Category : Technology & Engineering
ISBN : 352760989X
Since robotic prehension is widely used in all sectors of manufacturing industry, this book fills the need for a comprehensive, up-to-date treatment of the topic. As such, this is the first text to address both developers and users, dealing as it does with the function, design and use of industrial robot grippers. The book includes both traditional methods and many more recent developments such as micro grippers for the optolectronics industry. Written by authors from academia, industry and consulting, it begins by covering the four basic categories of robotic prehension before expanding into sections dealing with endeffector design and control, robotic manipulation and kinematics. Later chapters go on to describe how these various gripping techniques can be used for a common industrial aim, with details of related topics such as: kinematics, part separation, sensors, tool excahnge and compliance. The whole is rounded off with specific examples and case studies. With more than 570 figures, this practical book is all set to become the standard for advanced students, researchers and manufacturing engineers, as well as designers and project managers seeking practical descriptions of robot endeffectors and their applications.
Author : Martin Wirsing
Publisher : Springer
Page : 537 pages
File Size : 41,10 MB
Release : 2015-03-03
Category : Computers
ISBN : 3319163108
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment. This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period 2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility.
Author : Cristiano Castelfranchi
Publisher : Springer
Page : 372 pages
File Size : 43,66 MB
Release : 2003-07-31
Category : Computers
ISBN : 3540446311
Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.
Author : Piotr Jedrzejowicz
Publisher : Springer Science & Business Media
Page : 540 pages
File Size : 49,76 MB
Release : 2011-09-13
Category : Computers
ISBN : 3642239374
The two-volume set LNAI 6922 and LNAI 6923 constitutes the refereed proceedings of the Third International Conference on Computational Collective Intelligence, ICCCI 2011, held in Gdynia, Poland, in September 2011. The 112 papers in this two volume set presented together with 3 keynote speeches were carefully reviewed and selected from 300 submissions. The papers are organized in topical sections on knowledge management, machine learning and applications, autonomous and collective decision-making, collective computations and optimization, Web services and semantic Web, social networks and computational swarm intelligence and applications.
Author : Scott L. Delp
Publisher : Springer Science & Business Media
Page : 1275 pages
File Size : 18,81 MB
Release : 2000-09-27
Category : Medical
ISBN : 3540411895
This volume constitutes the refereed proceedings of the Third International Conference on Medical Image Computing and computer-Assisted Intervention, MICCAI 2000, held in Pittsburgh, PA, USA in October 2000. The 136 papers presented were carefully reviewed and selected from a total of 194 submissions. The book offers topical sections on neuroimaging and neuroscience, segmentation, oncology, medical image analysis and visualization, registration, surgical planning and simulation, endoscopy and laparoscopy, cardiac image analysis, vascular image analysis, visualization, surgical navigation, medical robotics, plastic and craniofacial surgery, and orthopaedics.
Author : Emil Vassev
Publisher : Springer
Page : 260 pages
File Size : 44,18 MB
Release : 2014-08-27
Category : Computers
ISBN : 3319098160
Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE’s ability to handle autonomy requirements.
Author : A. K. Gupta
Publisher : Firewall Media
Page : 364 pages
File Size : 27,13 MB
Release : 2007
Category : Automation
ISBN : 9788131801819
Author : Wade H. Shafer
Publisher : Springer Science & Business Media
Page : 407 pages
File Size : 41,85 MB
Release : 2012-12-06
Category : Science
ISBN : 1468451979
Masters Theses in the Pure and Applied Sciences was first conceived, published, and disseminated by the Center for Information and Numerical Data Analysis and Synthesis (CINDAS) * at Purdue University in 1 957, starting its coverage of theses with the academic year 1955. Beginning with Volume 13, the printing and dissemination phases of the activity were transferred to University Microfilms/Xerox of Ann Arbor, Michigan, with the thought that such an arrangement would be more beneficial to the academic and general scientific and technical community. After five years of this joint undertaking we had concluded that it was in the interest of all con cerned if the printing and distribution of the volumes were handled by an interna tional publishing house to assure improved service and broader dissemination. Hence, starting with Volume 18, Masters Theses in the Pure and Applied Sciences has been disseminated on a worldwide basis by Plenum Publishing Cor poration of New York, and in the same year the coverage was broadened to include Canadian universities. All back issues can also be ordered from Plenum. We have reported in Volume 29 (thesis year 1984) a total of 12,637 theses titles from 23 Canadian and 202 United States universities. We are sure that this broader base for these titles reported will greatly enhance the value of this important annual reference work. While Volume 29 reports theses submitted in 1984, on occasion, certain univer sities do report theses submitted in previous years but not reported at the time.
Author : Rocco De Nicola
Publisher : Springer
Page : 705 pages
File Size : 46,57 MB
Release : 2015-03-05
Category : Computers
ISBN : 3319155458
This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing’s work. The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems.
