Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space.
This book discusses how smart cities strive to deploy and interconnect infrastructures and services to guarantee that authorities and citizens have access to reliable and global customized services.
This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020.
The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.
This book focuses on the modeling, processing and visualization of anisotropy, irrespective of the context in which it emerges, using state-of-the-art mathematical tools.
This collection of research papers provides extensive information on deploying services, concepts, and approaches for using open linked data from libraries and other cultural heritage institutions.
The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA, in August 2015, jointly with 13 other thematically similar conferences.
This book provides accessible, comprehensive guidance on service design and enables practitioners approaching the discipline for the first time to develop the strategic mindset needed to exploit its innovation potential.
This textbook offers a comprehensive introduction to the control of marine vehicles, from fundamental to advanced concepts, including robust control techniques for handling model uncertainty, environmental disturbances, and actuator limitations.
This collection of research papers provides extensive information on deploying services, concepts, and approaches for using open linked data from libraries and other cultural heritage institutions.
The two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022.
With the continued application of gaming for training and education, which has seen exponential growth over the past two decades, this book offers an insightful introduction to the current developments and applications of game technologies within educational settings, with cutting-edge academic research and industry insights, providing a greater understanding into current and future developments and advances within this field.
The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
This book presents the user-facing aspects of digital media, from the web and computer games, to mobile technologies and social media, and demonstrates how these are continuously growing and developing.
This book reports on the latest advances in understanding human cognition and its interplay with various cultural constructs, such as geographical, historical, sociological, and organizational cultures.
Presenting mobile software agents for Internet service monitoring, this research monograph discusses newly standardized Internet technologies that allow service providers to offer secured Internet services with quality guarantees.
Communication networks are very complex and interdependent systems requiring complicated management and control operations under strict resource and time constraints.
Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information.
