الصفحة 8
الصفحة 8
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.
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 ; 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.
Hard Disk Drive Servo Systems
The second edition of this monograph provides a systematic treatment of the design of modern hard disk drive servo systems updated with the latest research results to reflect recent improvements in spindle speed and bit density and other changes in this fast-moving field. In particular, it focuses on the applications of some newly developed results in control theory, i.e., robust and perfect tracking control and composite non-linear feedback control which are suitable for track following and seeking respectively. Emphasis is placed on hard disk drive servo systems with single- or dual-stage actuation using a voice-coil-motor actuator enhanced in the latter case by the addition of a micro-actuator providing faster responses and therefore higher bandwidth in track following. Other issues such as modeling and compensation of nonlinearities and friction in microdrives, disturbance rejection and resonance compensation are also addressed.
Handbook of Word-Formation
This volume, intended both for advanced students and scholars of linguistics, traces the many strands of study in the field of word formation that have developed since the seminal work of Marchand and Lees in the 1960s. In mapping the state of the art in the field of word formation, it avoids a biased approach by presenting different, but mutually complementary frameworks within which research into word formation has taken place. It covers the historical development of theories of word formation within generative grammar, and affords a solid introduction to the treatment of word formation in cognitive grammar, natural morphology, optimality theory, Lexeme Morpheme Base Morphology, onomasiological theory, and other recent frameworks.
Handbook of urban health : Populations, methods, and practice
As more people worldwide live in cities, increasingly we need to understand how cities and city living affect population health. Does city living negatively affect health? Conversely, can city living enhance population health and well-being? Over forty experts from around the world bring a depth of ideas to the Handbook of Urban Health, making the Handbook a focused resource for a range of health disciplines. A unique professional idea book, research resource, and teaching text, the Handbook of Urban Health challenges readers to consider the role that cities plays in shaping population health and to generate solutions that can make cities healthier places for all those who live there.
Handbook of the Sociology of Gender
In this seminal work, the contributors focus on sociological theories and research concerning gender, which are discussed across the full array of social processes, structures and institutions. In each chapter, focus is placed on gender rather than on women alone, and copious cross-national and historical material is utilized in addition to an in-depth focus on contemporary North America.
Handbook of Social Movements Across Disciplines
Researchers and students from divergent academic disciplines share an interest in the study of social movements and collective action. Through a variety of disciplinary approaches and techniques, researchers seek to understand the emergence and development of collective action. In the last few decades, the field of social-movements-studies has proliferated enormously, covering a wide array of movements, issues and places. With this growth, social movement scholars have criticized the traditional vision of collective mobilization as the results of irrational behavior and have instead developed a range of new approaches. The expansion of the field has also led to increased theoretical debates and attempts to synthesize the different perspectives. With this in mind, this seminal volume revisits the disciplinary roots of social movement studies. Each discipline raises its own questions and approaches the subject from a different perspective. This volume combines these divergent perspectives into one cohesive, comprehensive work.
Handbook of healthcare in the Arab World
Examines health and medical care in the Arab world from a systems biology approach. It features comprehensive coverage that includes details of key social, environmental, and cultural determinants. In addition, the contributors also investigate the developed infrastructure that manages and delivers health care and medical solutions throughout the region. More than 25 sections consider all aspects of health, from cancer to hormone replacement therapy, from the use of medications to vitamin deficiency in emergency medical care. Chapters highlight essential areas in the wellbeing and care of this population. These topics include women’s health care, displaced and refugee women’s health needs, childhood health, social and environmental causes of disease, health systems and health management, and a wide range of diseases of various body systems. This resource also explores issues related to access and barriers to health delivery throughout the region.
Handbook of contact mechanics : Exact solutions of axisymmetric contact problems
This book contains a structured collection of complete solutions of all significant axially symmetric contact problems. It provides solutions for classical profiles such as the sphere, cone or flat cylindrical punch as well as a multitude of other technically relevant shapes, e.g. the truncated cone, the worn sphere, rough profiles, hollow cylinders, etc. Normal, tangential and torsional contacts with and without adhesion are examined. Elastically isotropic, transversally isotropic, viscoelastic and functionally graded media are addressed. The solutions of the contact problems cover the relationships between the macroscopic quantities of force and displacement, the contact configuration as well as the stress and displacement fields at the surface and in some cases within the half-space medium. The solutions are obtained by the simplest available method – usually involving the method of dimensionality reduction or approaches of reduction to the non-adhesive normal contact problem.
Handbook of Biodegradable Materials
Discusses the recent advances in biodegradation technologies and highlights emerging sustainable materials, including environmentally friendly nano-based materials for replacing plastics. It is useful to scientists, engineers, biologists, medical doctors and provides alternative eco-friendly materials to replace the currently used ones with harmful impact on the environment and life. The chapters present different types of alternative materials in diverse areas, such as food packaging materials, materials for construction and agricultural materials. The principles and types of biodegration technologies are described in depth.
Handbook of Applied Solid State Spectroscopy
Solid-State spectroscopy is a burgeoning field with applications in many branches of science, including physics, chemistry, biosciences, surface science, and materials science. Handbook of Applied Solid-State Spectroscopy brings together in one volume information about various spectroscopic techniques that is currently scattered in the literature of these disciplines. This concise yet comprehensive volume covers theory and applications of a broad range of spectroscopies, including NMR, NQR, EPR/ESR, ENDOR, scanning tunneling, acoustic resonance, FTIR, auger electron emission, x-ray photoelectron emission, luminescence, and optical polarization, and more. Emphasis is placed on fundamentals and current methods and procedures, together with the latest applications and developments in the field.
Guidelines for the supplementary load testing of bridges
As of January 1999, under European Union ruling, 40 tonne vehicles have been allowed on UK roads, leading to a challenging programme of bridge assessment. In order to determine the true load carrying capacity of bridges and to avert a vast programme of unnecessary bridge strengthening and replacement schemes, bridge owners are turning increasingly to load testing.
Ground bearing concrete slabs : Specification, design, construction and behaviour
Ground bearing concrete floors, industrial concrete hardstandings and concrete highway pavements have not, in the past, been perceived as a single type of structural element and their construction has taken place independently of each other. This is in spite of their obvious commonality in the areas of design, materials, geotechnical appreciation and construction.
Grippers in Motion : The Fascination of Automated Handling Tasks
This book shows you how to ensure process reliability on the basis of combining the right components with advanced application know-how. By explaining basic preconditions of the gripping process and highlighting the milestones of automation history, we guide you all the way through to the center of the handling process – the workpiece. Its ambient conditions and setup are clearly defined as well as the process of setting grippers in motion. Starting with simple linear movements up to multi-axis kinematics, you are provided with the details for practical solutions.
Grid computing in life science ; 1st International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. However, many important issues must be addressed before the Life Science Grid becomes commonplace. The 1st International Life Science Grid Workshop (LSGRID 2004) was held in Kanazawa Japan, May 31–June 1, 2004. This workshop focused on life s- ence applications of grid systems especially for bionetwork research and systems biology which require heterogeneous data integration from genome to phenome, mathematical modeling and simulation from molecular to population levels, and high-performance computing including parallel processing, special hardware and grid computing.
Gravity, Black Holes, and the Very Early Universe : An Introduction to General Relativity and Cosmology
In the early 1900s, Albert Einstein formulated two theories that would forever change the landscape of physics: the Special Theory of Relativity and the General Theory of Relativity. By 1925, quantum mechanics had been born out of the dissection of these two theories, and shortly after that, relativistic quantum field theory. We now had in place some important ties between the laws of physics and the types of particle interactions the new physics was uncovering. Gravity is one of the four types of forces that are found throughout the universe. In fact, although it is a relatively weak force, it operates at huge distances, and so must be accounted for in any cosmological system. Unfortunately, gravity continues to defy our neat categorization of how all the forces in nature work together.
Graphs, networks and algorithms ; 3rd ed.
The third edition of this standard textbook contains additional material: two new application sections (on graphical codes and their decoding) and about two dozen further exercises (with solutions, as throughout the text). Moreover, recent developments have been discussed and referenced, in particular for the travelling salesman problem. The presentation has been improved in many places (for instance, in the chapters on shortest paths and on colorings), and a number of proofs have been reorganized, making them more precise or more transparent.
Graphics of Large Datasets : Visualizing a Million
Graphics are great for exploring data, but how can they be used for looking at the large datasets that are commonplace to-day? This book shows how to look at ways of visualizing large datasets, whether large in numbers of cases or large in numbers of variables or large in both. Data visualization is useful for data cleaning, exploring data, identifying trends and clusters, spotting local patterns, evaluating modeling output, and presenting results. It is essential for exploratory data analysis and data mining. New approaches to graphics are needed to visualize the information in large datasets and most of the innovations described in this book are developments of standard graphics. There are considerable advantages in extending displays which are well-known and well-tried, both in understanding how best to make use of them in your work and in presenting results to others. It should also make the book readily accessible for readers who already have a little experience of drawing statistical graphics. All ideas are illustrated with displays from analyses of real datasets and the authors emphasize the importance of interpreting displays effectively. Graphics should be drawn to convey information and the book includes many insightful examples.
