High performance computational science and engineering : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
High accuracy detection of mobile malware using machine learning
As increasingly sophisticated and evasive malware attacks continue to emerge, more effective detection solutions to tackle the problem are being sought through the application of advanced machine learning techniques. This reprint presents several advances in the field including: a new method of generating adversarial samples through byte sequence feature extraction using deep learning; a state-of-the-art comparative evaluation of deep learning approaches for mobile botnet detection; a novel visualization-based approach that utilizes images for Android botnet detection; a study on the detection of drive-by exploits in images using deep learning; etc. Furthermore, this reprint presents state-of-the-art reviews about machine learning-based detection techniques that will increase researchers' knowledge in the field and enable them to identify future research and development directions.
Hexagonal image processing : A practical approach
Hexagonal Image Processing provides an introduction to the processing of hexagonally sampled images, includes a survey of the work done in the field, and presents a novel framework for hexagonal image processing (HIP) based on hierarchical aggregates. Digital image processing is currently dominated by the use of square sampling lattices, however, hexagonal sampling lattices can also be used to define digital images. The strengths offered by hexagonal lattices over square lattices are considerable: • higher packing density, • uniform connectivity of points (pixels) in the lattice, • better angular resolution by virtue of having more nearest neighbours, and • superlative representation of curves. The utility of the HIP framework is demonstrated by implementing several basic image processing techniques (for the spatial and frequency domain) and some applications. The HIP framework serves as a tool for comparing processing of images defined on a square vs hexagonal grid, to determine their relative merits and demerits. The theory and algorithms covered are supplemented by attention to practical details such as accommodating hardware that support only images sampled on a square lattice. Including a Foreword written by Professor Narendra Ahuja, an eminent researcher in the field of Image Processing and Computer Vision, the book’s fresh approach to the subject offers insight and workable know-how to both researchers and postgraduates.
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types.
Heterogeneity in statistical genetics : How to assess, address, and account for mixtures in association studies
Heterogeneity, or mixtures, are ubiquitous in genetics. Even for data as simple as mono-genic diseases, populations are a mixture of affected and unaffected individuals. Still, most statistical genetic association analyses, designed to map genes for diseases and other genetic traits, ignore this phenomenon.In this book, we document methods that incorporate heterogeneity into the design and analysis of genetic and genomic association data. Among the key qualities of our developed statistics is that they include mixture parameters as part of the statistic, a unique component for tests of association. A critical feature of this work is the inclusion of at least one heterogeneity parameter when performing statistical power and sample size calculations for tests of genetic association.
Heavy-Tailed Time Series
This book aims to present a comprehensive, self-contained, and concise overview of extreme value theory for time series, incorporating the latest research trends alongside classical methodology.Additionally, the book incorporates complete proofs and exercises with solutions as well as substantive reference lists and appendices, featuring a novel commentary on the theory of vague convergence.
Healthcare solutions using machine learning and informatics
Covers novel and innovative solutions for the healthcare that apply machine learning and biomedical informatics technology. The healthcare sector is one of the most critical in society. This book presents a series of artificial intelligence, machine learning, intelligent IoT-based solutions for medical image analysis, medical big data processing, disease predictions. Machine learning and artificial intelligence use cases in healthcare presented in the book give researchers, practitioners, and students a wide range of practical examples of cross-domain convergence. The wide variety of topics covered include: Artificial Intelligence in healthcare Machine learning solutions for such disease as diabetes, arthritis, cardiovascular disease, and COVID-19 Big data analytics solutions for healthcare data processing Reliable biomedical applications using AI models Intelligent IoT in healthcare. The book explains fundamental concepts as well as the advanced use cases illustrating how to apply emerging technologies such as machine learning, AI models, data informatics into practice to tackle challenges in the field of healthcare with real-world scenarios. Chapters contributed by noted academicians and professionals examine various solutions, frameworks, applications, case studies, and best practices in the healthcare domain
Health Information Science ; 9th International Conference, HIS 2020, Amsterdam, The Netherlands, October 20–23, 2020, Proceedings
This book constitutes the proceedings of the 9th International Conference on Health Information Science, HIS 2020, which took place in Amsterdam, The Netherlands, during October 20-23, 2020. The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections named: mental health; medical record processing; medical information systems; medical diagnosis with machine learning; and health behavior and medication.
HCI in games : Experience design and game mechanics ; Third International Conference, HCI-Games 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I
This two-volume set LNCS 12789 and 12790 constitutes the refereed proceedings of the Third International Conference on HCI in Games, HCI-Games 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 241 poster papers included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The regular papers of DAPI 2021, Distributed, Ambient and Pervasive Interactions, are organized in topical sections named: Experience Design in Games; User Engagement and Game Impact; Game Mechanics.
HCI and usability for medicine and health care ; 3rd Symposium of the Workgroup Human-computer interaction and usability engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007, Proceedings
The work group Human–Computer Interaction & Usability Engineering (HCI&UE) of the Austrian Computer Society (OCG) serves as a platform for interdisciplinary exchange, research and development. Our 2007 topic was “Human–Computer Interaction for Medicine and Health Care” (HCI4MED), Medical information systems are already extremely sophisticated and technological performance increases exponentially.
HCI and usability for education and work ; 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2008, held in Graz, Austria, in November 2008.The 7 revised full papers and 26 revised short papers presented were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on cognitive processes and end user experience, social software and collaborative knowledge development, knowledge processing, assessment and human performance.
Hardy Inequalities on Homogeneous Groups : 100 Years of Hardy Inequalities
This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects.In this environment, the theory of Hardy inequalities becomes intricately intertwined with the properties of sub-Laplacians and subelliptic partial differential equations.
Hardware and software, verification and testing ; 2nd International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL.
Hardware and software : Verification and testing ; 3rd International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic verifcation, for both hardware and software systems. This year’s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process.
Hardware and software : Verification and testing ; 1st International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.
Hardening Linux
“Hardening” is the process of protecting a system and its applications against unknown threats. Hardening Linux identifies many of the risks of running Linux hosts and applications and provides practical examples and methods to minimize those risks. The book is written for Linux/UNIX administrators who do not necessarily have in-depth knowledge of security but need to know how to secure their networks.
Haptics: Science, Technology, Applications ; 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020.
Haptics : Perception, Devices and Scenarios ; 6th International Conference, EuroHaptics 2008 Madrid, Spain, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2008, held in Madrid, Spain, in June 2008.The 119 revised full papers presented were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections on control and technology, haptic perception and psychophysics, haptic devices, haptics rendering and display, multimodal interaction and telepresence, as well as haptic applications.
Haptic and Audio Interaction Design ; 3rd International Workshop, HAID 2008 Jyväskylä, Finland, September 15-16, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Haptic and Audio Interaction Design, HAID 2008 held in Jyväskylä, Finland, in September 2008.The 13 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on visual impairment, applications of multimodality, evaluation, conceptual integration of audio and haptics, interaction techniques, and perception.
Haptic and Audio Interaction Design ; 2nd International Workshop, HAID 2007 Seoul, Korea, November 29-30, 2007 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on Haptic and Audio Interaction Design, HAID 2007 held in Seoul, South Korea, in November 2007. The papers are organized in topical sections on tactile displays, communication and games, accessibility and navigation, as well as design.



















