COMPUTER-HUMAN INTERACTION IN SYMBOLIC COMPUTION

類似書籍推薦給您

New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and reasoning capabilities supported by the whole framework are described.

Basic Human–Robot Interaction

類似書籍推薦給您

The book's content is designed to provide practical guidance and insights for conducting experiments in Human–Robot Interaction (HRI) and publishing the results in scientific journals. It includes a detailed explanation of how to conduct HRI experiments and what to do and what not to do to get an article accepted for publication. It is tailored to those seeking to deepen their understanding of HRI methodologies, statistical measurements, and research design. The case studies and examples featured in the book focus on interactions between social robots and specific demographics such as children and older adults, making it relevant for individuals working in healthcare, education, and related domains. Also covered are common statistical measurements used in HRI research and quantitative, qualitative, and meta-analyses. The concepts are illustrated with several international case studies of interactions between social robots and children and older adults and robot learning instead of programming. The final chapter explores current trends in HRI and provides insights into what to look for in the coming years. It includes an extensive reference section to help HRI researchers in all these areas. This book will appeal to an international audience of advanced students, researchers, industry, and others who are actively engaged or interested in the field of HRI. Related Link(s) Press Release: How to conduct an HRI experiment: And get an article accepted for publication Sample Chapter(s) Preface Chapter 1: Introduction to Human–Robot Interaction Contents: Introduction to Human–Robot Interaction How to Conduct a Human–Robot Interaction Experiment Measuring User Acceptance Imitating Human Emotions Human–Robot Interaction with Older Adults Human–Robot Interaction with Children Robot Learning The Future of Human–Robot Interaction Readership: Advanced students, researchers, and professionals who are actively engaged or interested in the field of Human–Robot Interaction (HRI).