الصفحة 44
الصفحة 44
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.
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.
Haptic and Audio Interaction Design ; 1st International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings
Overview The International Workshop on Haptic and Audio Interaction Design was - ganized as part of the EPSRC-funded MultiVis project. The main focus of the workshop was to investigate how the modalities of sound and haptics (touch) could be used together in interaction, and what novel interfaces could be p- vided when they are used in conjunction. What are the relative advantages of each of the modalities when used alone and together? Are there reasons why haptic-based information is moreuseful in certain situations than equivalent - dio information? How can di?erent modalities be used together to create c- pelling and useful interaction with computer-based systems?
Hands-On Software Architecture with Java - Learn key architectural techniques and strategies to design efficient and elegant Java applications
Starts with the fundamentals of architecture and takes you through the basic components of application architecture. You'll cover the different types of software architectural patterns and application integration patterns and learn about their most widespread implementation in Java. You'll then explore cloud-native architectures and best practices for enhancing existing applications to better suit a cloud-enabled world. Later, the book highlights some cross-cutting concerns and the importance of monitoring and tracing for planning the evolution of the software, foreseeing predictable maintenance, and troubleshooting. The book concludes with an analysis of the current status of software architectures in Java programming and offers insights into transforming your architecture to reduce technical debt.
Hands-On Design Patterns with Java : Learn Design Patterns That Enable the Building of Large-Scale Software Architectures
Java design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested design patterns used by developers to create functional, reusable, and flexible software. Hands-On Design Patterns with Java starts with an introduction to the Unified Modeling Language (UML), and delves into class and object diagrams with the help of detailed examples. You'll study concepts and approaches to object-oriented programming (OOP) and OOP design patterns to build robust applications. As you advance, you'll explore the categories of GOF design patterns, such as behavioral, creational, and structural, that help you improve code readability and enable large-scale reuse of software. You’ll also discover how to work effectively with microservices and serverless architectures by using cloud design patterns, each of which is thoroughly explained and accompanied by real-world programming solutions. By the end of the book, you’ll be able to speed up your software development process using the right design patterns, and you’ll be comfortable working on scalable and maintainable projects of any size.
Hands-On Data Structures and Algorithms with Python : Store, manipulate, and access data effectively ; 3rd ed.
Expands your understanding of key structures, including stacks, queues, and lists, and also show you how to apply priority queues and heaps in applications. You'll learn how to analyze and compare Python algorithms, and understand which algorithms should be used for a problem based on running time and computational complexity. You will also become confident organizing your code in a manageable, consistent, and scalable way, which will boost your productivity as a Python developer. By the end of this Python book, you'll be able to manipulate the most important data structures and algorithms to more efficiently store, organize, and access data in your applications
Handhelds in medicine : A practical guide for clinicians
Handheld computers are emerging as the stethoscopes of the twenty-first century, and no clinician should be without! These small, easy-to-use devices are now powerful enough to help clinicians manage information and make medical decisions at the point of care. Here, Drs. Stayer, Reynolds and Ebell, practicing physicians and nationally recognized handheld computing experts, show you how to make the most of a handheld computer in your medical practice. This comprehensive how-to guide targets all levels of handheld computer users from novices to experts. It is designed with easy-to-understand hands-on exercises that walk readers through each new skill presented. For beginners, the first section is devoted to "getting to know your handheld," choosing or upgrading a handheld computer, and the basics of handheld operation. There's also a comprehensive chapter on downloading and installing software. Futher sections delve into different types of medical and nonmedical software, Internet and evidence-based resources for medical handheld computing, and, finally, advanced topics such as designing custom software and going wireless. Even the most advanced user will find a lot to learn in this book.
Handbook on Scheduling : From Theory to Applications
This handbook covers not only in a unified approach the most important scheduling models and methods, it also put special emphasis to their relevance to practical situations. Many applications from industry and service operations management and case studies are described. Because the book offers some preliminaries concerning basic notions from discrete mathematics, it can also be used by beginners. As a consequence, the handbook is an indispensable source for a broad audience, ranging from researchers to practitioners, graduate and advanced undergraduate students in computer science/engineering, operations research, industrial and real-time engineering, management science, business administration, information systems, and applied mathematics curricula.
Handbook on Modelling for Discrete Optimization
This handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. It will be done in an academic handbook treatment outlining the state-of-the-art for researchers across the domains of the Computer Science, Math Programming, Applied Mathematics, Engineering, and Operations Research. Included in the handbook's treatment are results from Graph Theory, Logic, Computer Science, and Combinatorics.
Handbook on Interactive Storytelling
You will find a comprehensive discussion of the latest research covering the creation of interactive narratives that allow users to experience a dramatically compelling story that responds directly to their actions and choices. Readers will also enjoy: A thorough introduction to interactive storytelling, including discussions of narrative, plot, story, interaction, and a history of the phenomenon, from improvisational theory to role-playing games A rigorous discussion of the background of storytelling, from Aristotle’s Poetics to Joseph Campbell and the hero’s journey Compelling explorations of different perspectives in the interactive storytelling space, including different platforms, designers, and interactors, as well as an explanation of storyworlds
Handbook on Craniofacial Superimposition : The MEPROCS Project
This book is the first comprehensive guide to a new soft computing technique which is used in complex forensic cases. The chapters include detailed technical and practical overviews, and discussions about the latest tools, open problems and ethical and legal issues involved. The book will be of interest to researchers and practitioners in forensic medicine and computational intelligence.
Handbook on Architectures of Information Systems
This book is the first volume of a running series under the title Inter- tional Handbooks on Information Systems. The series is edited by Peter Bernus, Jacek Blazewicz, Günter Schmidt and Mike Shaw. One objective is to give state of the art surveys on selected topics of information systems theory and applications. To this end, a distinguished international group of academics and practitioners are invited to provide a reference source not only for problem solvers in business, industry, and government but also for professional researchers and graduate students.
Handbook of vascular biometrics
This handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric recognition, i.e. vascular biometrics, including finger vein recognition, hand/palm vein recognition, retina recognition, and sclera recognition.
Handbook of smart cities
This Handbook presents a comprehensive and rigorous overview of the state-of-the-art on Smart Cities. It provides the reader with an authoritative, exhaustive one-stop reference on how the field has evolved and where the current and future challenges lie. From the foundations to the many overlapping dimensions (human, energy, technology, data, institutions, ethics etc.)
Handbook of philosophical logic ; Vol. 14
I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics and arti?cial intelligence. In the early 1980s the perception of the role of logic in computer science was that of a speci?cation and reasoning tool and that of a basis for possibly neat computer languages. The computer scientist was manipulating data structures and the use of logic was one of his options.
Handbook of philosophical logic : Vol.12
The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
Handbook of Petroleum Processing
"This Handbook describes and discusses the features that make up the petroleum refining industry. It begins with a description of the crude oils and their nature. It continues with the saleable products from the refining processes, with a review of the modern day environmental impact. There is a complete overview of the processes that make up the refinery with a brief history of the processes. It also describes design technique, operation, and, in the case of catalytic units, the chemistry of the reaction routes. These discussions are supported by calculation procedures and examples, sufficient to enable good input to modern computer simulation packages. The Handbook also covers off-sites and utilities, as well as environmental and safety aspects relevant to the industry."
