This innovative reference examines how consumer health informatics (CHI) can transform healthcare systems stressed by staffing shortages and budget constraints and challenged by patients taking a more active role in their care. It situates CHI as vital to upgrading healthcare service delivery, detailing the relationship between health information technologies and quality healthcare, and outlining what stakeholders need to learn for health IT systems to function effectively. Wide-ranging content identifies critical issues and answers key questions at the consumer, practitioner, administration, and staff levels, using examples from diverse conditions, countries, technologies, and specialties. In this framework, the benefits of CHI are seen across service domains, from individual patients and consumers to healthcare systems and global health entities. Included in the coverage: Use of video technology in an aged care environment A context-aware remote health monitoring service for improved patient care Accessibility issues in interoperable sharing of electronic health records: physician's perspective Managing gestational diabetes with mobile web-based reporting of glucose readings An organizing vision perspective for developing and adopting e-health solutions An ontology of consumer health informatics Contemporary Consumer Health Informatics combines blueprint and idea book for public health and health informatics students, healthcare professionals, physicians, medical administrators, managers, and IT practitioners.

This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018.The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 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 constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2017, held in Rome, Italy, , in October 2017. The 33 revised full papers included in the volume were carefully reviewed and selected from 38 submissions. They are organized in the following topical sections: M&S of Intelligent Systems - AI, R&D and Applications; Autonomous Systems in Context of Future Warfare and Security - Concepts, Applications, Standards and Legislation; Future Challenges and Opportunities of Advanced M&S Technology.

Why aren't the most powerful new technologies being used to solve the world's most important problems: hunger, poverty, conflict, inequality, employment, disease? What's missing? From a pioneer in Artificial Intelligence and Machine Learning comes a thought-provoking book that answers these questions. In Link: How Decision Intelligence Connects Data, Actions, and Outcomes for a Better World, Dr. Lorien Pratt explores the solution that is emerging worldwide to take Artificial Intelligence to the next level: Decision Intelligence. Decision Intelligence (DI) goes beyond AI as well, connecting human decision makers in multiple areas like economics, optimization, big data, analytics, psychology, simulation, game theory, and more. Yet despite the sophistication of these approaches, Link shows how they can be used by you and me: connecting us in a way that supercharges our ability to meet the interconnected challenges of our age. Pratt tells the stories of decision intelligence pioneers worldwide, along with examples of their work in areas that include government budgeting, space exploration, emerging democracy conflict resolution, banking, leadership, and much more. Link delivers practical examples of how DI connects people to computers and to each other to help us solve complex interconnected problems. Link explores a variety of scenarios that show readers how to design solutions that change the way problems are considered, data is analyzed, and technologies work together with people. Technology and academics has accelerated beyond our ability to understand or effectively control them. Link brings technology down to earth and connects it to our more natural ways of thinking. It offers a roadmap to the future, empowering us all to make practical steps and take the best actions to solve the hardest problems.

This book constitutes the refereed post-conference proceedings of the 7th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2018, held in Sophia Antipolis, France, in September 2018. The 11 full papers and 7 short papers presented together with 5 poster and demo papers were carefully reviewed and selected from 36 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: HCI education and training; model-based and model-driven approaches; task modeling and task-based approaches; tools and tool support; and usability evaluation and UI testing.

This book constitutes the revised selected papers from the 12th International Conference on Risk and Security of Internet and Systems, CRISIS 2017, held in Dinard, France, in September 2017.The 12 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 42 submissions. They cover diverse research themes, ranging from classic topics, such as vulnerability analysis and classification; apps security; access control and filtering; cloud security; cyber-insurance and cyber threat intelligence; human-centric security and trust; and risk analysis.

This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017.The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas for extending the OpenSHMEM specification and making it efficient for current and next generation systems. This includes new research for communication contexts in OpenSHMEM, different optimizations for OpenSHMEM on shared memory machines, exploring the implementation of OpenSHMEM and its memory model on Intel's KNL architecture, and implementing new applications and benchmarks with OpenSHMEM.

The two-volume set LNCS 10704 and 10705 constitutes the thoroughly refereed proceedings of the 24th International Conference on Multimedia Modeling, MMM 2018, held in Bangkok, Thailand, in February 2018. Of the 185 full papers submitted, 46 were selected for oral presentation and 28 for poster presentation; in addition, 5 papers were accepted for Multimedia Analytics: Perspectives, Techniques, and Applications, 12 extended abstracts for demonstrations ,and 9 accepted papers for Video Browser Showdown 2018. All papers presented were carefully reviewed and selected from 185 submissions.

This book compiles the most visionary papers from 10 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, held in Sao Paulo, Brazil, in May 2017. The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this volume. They deal with novel ideas proposing a change in the way research is currently carried out.

This book includes the post-conference proceedings of the 20th RoboCup International Symposium, held in Leipzig, Germany, in July 2016. In addition to the 38 contributions to the symposium, selected from 63 submissions, the book also contains 15 champion papers of teams winning individual leagues of the RoboCup 2016 competition, the Amazon Picking Challenge, and the Harting Open Source Award. The papers present current research in the fields of robotics and artificial intelligence with a special focus to robot hardware and software, environment perception, action planning and control, robot learning, multi-robot systems, and human-robot interaction.

This book constitutes the proceedings of the 15th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2018, held in Nanjing, China, in August 2018. The 15 full papers and 7 short papers included in this volume were carefully reviewed and selected from 51 initial submissions. They cover the methods and tools as well as the applications related to developing a knowledge base, healthcare, financial systems, and intelligent systems.

This book constitutes the proceedings of the 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, held in Tallinn, Estonia, in September 2017. The 24 full papers, 23 short papers, 6 demo papers, and 22 poster papers presented in this volume were carefully reviewed and selected from 141 submissions. The theme for the 12th EC-TEL conference on Data Driven Approaches in Digital Education' aims to explore the multidisciplinary approaches thateectively illustrate how data-driven education combined with digital education systems can look like and what are the empirical evidences for the use of datadriven tools in educational practices.

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.

This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017. The 28 full papers presented in this volume were carefully reviewed and selected from 33 submissions. They deal with cutting-edge research in all major disciplines of Computer Algebra.

This book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017. The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo system, image retrieval, visual detection, visual recognition, system design, and 3D vision / fusion.

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; OpenMP 4 Application Evaluation; Extended Parallelism Models: Performance Analysis and Tools; and Advanced Data Management with OpenMP.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2017, held in Messina, Italy, in September 2017. The 22 full and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions were organized in topical sections named: internet of things; security; smart city; ad-hoc networks; implementations and validations; wireless sensor networks; data management; wireless systems.

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017. The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions. The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.

This book constitutes the refereed proceedings of the 14th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2017, held in Prague, Czech Republic, in August 2017. The 23 full papers together with 4 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience.

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Large-Scale Scientific Computations, LSSC 2017, held in Sozopol, Bulgaria, in June 2017. The 63 revised short papers together with 3 full papers presented were carefully reviewed and selected from 63 submissions. The conference presents results from the following topics: Hierarchical, adaptive, domain decomposition and local refinement methods; Robust preconditioning algorithms; Monte Carlo methods and algorithms; Numerical linear algebra; Control and optimization; Parallel algorithms and performance analysis; Large-scale computations of environmental, biomedical and engineering problems. The chapter 'Parallel Aggregation Based on Compatible Weighted Matching for AMG' is available open access under a CC BY 4.0 license.

This book constitutes the proceedings of the 13th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, held in Madrid, Spain, in May 2018. The 17 full papers presented together with 2 demo papers in this volume were carefully reviewed and selected from numerous submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: - Vehicles on road: e.g. cars, tracks and buses; - Air: e.g. aircraft and unmanned aerial vehicles; and - Rail: e.g. trains, metros and trams.

This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017. The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources.