Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Mobile Data Visualization
Mobile Data Visualization is about facilitating access to and understanding of data on mobile devices. Wearable trackers, mobile phones, and tablets are used by millions of people each day to read weather maps, financial charts, or personal health meters. What is required to create effective visualizations for mobile devices? This book introduces key concepts of mobile data visualization and discusses opportunities and challenges from both research and practical perspectives. Mobile Data Visualization is the first book to provide an overview of how to effectively visualize, analyze, and communicate data on mobile devices. Drawing from the expertise, research, and experience of an internation...
Virtual, Augmented and Mixed Reality. Multimodal Interaction
This two-volume set LNCS 11574 and 11575 constitutes the refereed proceedings of the 11th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 80 papers presented in this volume were organized in topical sections named: multimodal interaction in VR, rendering, layout, visualization and navigation, avatars, embodiment and empathy in VAMR, cognitive and health issues in VAMR, VAMR and robots, VAMR in learning, training and entertainment, VAMR in aviation, industry and the military.
Questions in Dataviz
This book takes the reader through the process of learning and creating data visualisation, following a unique journey with questions every step of the way, ultimately discussing how and when to bend and break the "rules" to come up with creative, unique, and sometimes unconventional ideas. Each easy-to-follow chapter poses one key question and provides a selection of discussion points and relevant data visualisation examples throughout. Structured in three parts: Section I poses questions around some fundamental data visualisation principles, while Section II introduces more advanced questions, challenging perceived best practices and suggesting when rules are open to interpretation or ther...
Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
Human-Computer Interaction -- INTERACT 2013
The four-volume set LNCS 8117-8120 constitutes the refereed proceedings of the 14th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2013, held in Cape Town, South Africa, in September 2013. The 55 papers included in the second volume are organized in topical sections on E-input/output devices (e-readers, whiteboards), facilitating social behaviour and collaboration, gaze-enabled interaction design, gesture and tactile user interfaces, gesture-based user interface design and interaction, health/medical devices, humans and robots, human-work interaction design, interface layout and data entry, learning and knowledge-sharing, learning tools, learning contexts, managing the UX, mobile interaction design, and mobile phone applications.
Eye Tracking and Visualization
This book discusses research, methods, and recent developments in the interdisciplinary field that spans research in visualization, eye tracking, human-computer interaction, and psychology. It presents extended versions of papers from the First Workshop on Eye Tracking and Visualization (ETVIS), which was organized as a workshop of the IEEE VIS Conference 2015. Topics include visualization and visual analytics of eye-tracking data, metrics and cognitive models, eye-tracking experiments in the context of visualization interfaces, and eye tracking in 3D and immersive environments. The extended ETVIS papers are complemented by a chapter offering an overview of visualization approaches for analyzing eye-tracking data and a chapter that discusses electrooculography (EOG) as an alternative of acquiring information about eye movements. Covering scientific visualization, information visualization, and visual analytics, this book is a valuable resource for eye-tracking researchers within the visualization community.
Pen-and-Paper User Interfaces
Even at the beginning of the 21st century, we are far from becoming paperless. Pen and paper is still the only truly ubiquitous information processing technology. Pen-and-paper user interfaces bridge the gap between paper and the digital world. Rather than replacing paper with electronic media, they seamlessly integrate both worlds in a hybrid user interface. Classical paper documents become interactive. This opens up a huge field of novel computer applications at our workplaces and in our homes. This book provides readers with a broad and extensive overview of the field, so as to provide a full and up-to-date picture of pen-and-paper computing. It covers the underlying technologies, reviews...
Human-Computer Interaction -- INTERACT 2011
The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2011, held in Lisbon, Portugal, in September 2011. The 46 papers included in the third volume are organized in topical sections on novel user interfaces and interaction techniques, paper 2.0, recommender systems, social media and privacy, social networks, sound and smell, touch interfaces, tabletops, ubiquitous and context-aware computing, UI modeling, and usability.
Automated Reasoning
This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
