You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book analyses the legal, ethical and social aspects of using deep-learning AI robotic products. The collective effort of distinguished international researchers has been incorporated into one book suitable for the broader audience interested in the emerging scientific field of roboethics. The book has been edited by Prof. George Dekoulis, Aerospace Engineering Institute, Cyprus, expert on state-of-the-art implementations of robotic systems for unmanned spacecraft navigation and other aerospace applications. We hope this book will increase the sensitivity of all the community members involved with roboethics. The significance of incorporating all aspects of roboethics right at the beginn...
This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004. The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation.
The investigation of computational models of argument is a rich and fascinating interdisciplinary research field with two ultimate aims: the theoretical goal of understanding argumentation as a cognitive phenomenon by modeling it in computer programs, and the practical goal of supporting the development of computer-based systems able to engage in argumentation-related activities with human users or among themselves. The biennial International Conferences on Computational Models of Argument (COMMA) provide a dedicated forum for the presentation and discussion of the latest advancements in the field, and cover both basic research and innovative applications. This book presents the proceedings ...
The new frontiers of robotics research foresee future scenarios where artificial agents will leave the laboratory to progressively take part in the activities of our daily life. This will require robots to have very sophisticated perceptual and action skills in many intelligence-demanding applications, with particular reference to the ability to seamlessly interact with humans. It will be crucial for the next generation of robots to understand their human partners and at the same time to be intuitively understood by them. In this context, a deep understanding of human motion is essential for robotics applications, where the ability to detect, represent and recognize human dynamics and the ca...
Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebra...
The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT’95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS’98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.
Maintenance of the information embedded in the genomic DNA sequence is essential for life. DNA polymerases play pivotal roles in the complex processes that maintain genetic integrity. Besides their tasks in vivo, DNA polymerases are the workhorses in numerous biotechnology applications such as the polymerase chain reaction (PCR), cDNA cloning, genome sequencing, nucleic acids-based diagnostics and in techniques to analyze ancient and otherwise damaged DNA. Moreover, some diseases are related to DNA polymerase defects, and chemotherapy through inhibition of DNA polymerases is used to fight HIV, Herpes and Hepatitis B and C infections. We have recently witnessed the discovery of an abundance of novel DNA polymerases in viruses, bacteria, archaea and eukaryotes with specialized properties whose physiological functions are only beginning to be understood. This book summarizes the current knowledge of these fascinating enzymes. It is intended for a wide audience from basic scientists, to diagnostic laboratories and to clinicians who seek a better understanding of these fascinating enzymes.
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.
This book gathers the peer-reviewed papers presented at the 13th International Conference on Structural Analysis of Historical Constructions (SAHC), held in Kyoto, Japan, on September 12-15, 2023. It highlights the latest advances and innovations in the field of conservation and restoration of historical and heritage structures. The conference topics encompass history of construction and building technology, theory and practice of conservation, inspection methods, non-destructive techniques and laboratory testing, numerical modeling and structural analysis, management of heritage structures and conservation strategies, structural health monitoring, repair and strengthening strategies and tec...