Page 35
Page 35
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.
Hans Christian Ørsted and the Romantic Legacy in Science : Ideas, Disciplines, Practices
This volume owes its origin to the perception of a puzzling paradox. Hans Christian Ørsted, the great Danish scientist and philosopher, was one of the founders of modern physics through his experimental discovery in 1820 of the interaction of electricity and magnetism—a key step and model for the further unification of the forces of nature. Followers such as Maxwell and Einstein were, and today searchers worldwide are, enchanted by the hope for a completion of that grand program. In addition to Ørsted’s discovery of electromagnetism, his work in science included other fields, chiefly high-pressure physics and acoustics.
Handbook on Information Technologies for Education and Training
The handbook's goal is to enable the reader to gain a deep understanding of past, current and future research and applications in the field of educational technology. The reader will gain an in-depth understanding of complex theories, strategies, concepts, and methods relating to the design, development, implementation, and evaluation of educational technologies. Because it combines both the present experience in the field and the vision of its emerging directions, the handbook will be a comprehensive guide for researchers and practitioners working with educational technologies. All the chapters of the second edition are newly written, the handbook therefore presents the latest developments in the field.
Handbook on Drowning : Prevention, Rescue, Treatment
this congress book, the fruit of much effort in recent years of many devoted researchers in the fields of prevention, rescue and treatment of drowned people. It is a compilation of the results of their successful studies, as laid down during the World Congress on Drowning held in Amsterdam on 26–28 June 2002.
Handbook on Decision Support Systems 1 : Basic Themes
Decision support systems have experienced a marked increase in attention and importance over the past 25 years. The aim of this book is to survey the decision support system (DSS) field – covering both developed territory and emergent frontiers. It will give the reader a clear understanding of fundamental DSS concepts, methods, technologies, trends, and issues. It will serve as a basic reference work for DSS research, practice, and instruction. To achieve these goals, the book has been designed according to a ten-part structure, divided in two volumes with chapters authored by well-known, well-versed scholars and practitioners from the DSS community.
Handbook of X-Ray Data
This sourcebook an X-ray data reference for scientists and engineers working in the field of energy or wavelength dispersive X-ray spectrometry and related fields of basic and applied research, technology, or process and quality controlling. The most important data connected with the emission of characteristic X-ray lines are tabulated for all elements up to Z = 95 (Americium).
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 Visual Communication : Theory, Methods, and Media
Explores the key theoretical areas and research methods of visual communication. With chapters contributed by many of the best-known and respected scholars in visual communication, this volume brings together significant and influential work in the discipline. Thriteen major theories of communication are defined by the top experts in their fields: perception, cognition, aesthetics, visual rhetoric, semiotics, cultural studies, ethnography, narrative, media aesthetics, digital media, intertextuality, ethics, and visual literacy. Each of these theory chapters is followed by an exemplar study or two in the area, demonstrating the various methods used in visual communication research as well as the research approaches applicable for specific media types.
Handbook of transdisciplinary research
Transdisciplinary research (TR) is an emerging field of research in the knowledge society.This handbook provides, for the first time, a structured overview of the manifold experiences gained in these fields. Twenty-one projects from all over the world present their research approaches, structured along the three phases of a TR project.
Handbook of the Sociology of Racial and Ethnic Relations
In this comprehensive handbook, the editors cover the complex issue of racial and ethnic relations from many perspectives. The contributions to this volume cover the effects of racism on society and on the individual, exploring the impact of the sociology of race on health disparities, media coverage, family dynamics, migration, work, globalization, education, violence, as well as solidarity, anti-racism movements, and community interventions. The result is a seminal handbook for the study of the racial and ethnic relations, across the field of sociology. Leading experts in the field explore the major topics of inquiry, as well as provide direction for future research.
Handbook of the Sociology of Education
The Handbook of the Sociology of Education provides a comprehensive overview of the field of education from a sociological perspective. Experts in this area present theoretical and empirical research on major educational issues and analyze the social processes that govern schooling, as well as the role of schools in and their impact on contemporary society. The book is a major reference work for social scientists, graduate students, and educators who want an overview of the field.
Handbook of Spatial Logics
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.
Handbook of Solar-Terrestrial Environment
Recognized international leaders in their field contribute basic topics of solar physics, space plasmas and the Earth's magnetosphere. The book further covers applied topics like the aurora, magnetospheric storms, space weather, space climatology and planetary science.
Handbook of Social Psychology
Social Psychology is an important interdisciplinary field within Sociology. Psychology, focusing on processes that occur inside the individual and Sociology, focusing on social collectives and social institutions, come together in social psychology to explore the interface between the two fields. Social Psychology is the study of how both intra-individual factors and social interaction influence and are influenced by individual behavior.
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 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 research on nano-drug delivery and tissue engineering : Guide to strengthening healthcare systems
Provides an important and valuable collection of research accomplishments in nanomedicine, drug delivery, tissue engineering, processing, formulations, and their applications. Addresses topical issues in nano-drug delivery and nanotechnological approaches to tissue engineering. The first section offers research on a variety of diverse nano-based drug delivery systems, along with discussions of their efficacy, safety, toxicology, and applications for different purposes. Focusing on nanotechnology approaches to tissue engineering, part two of the volume considers the use of hydrogel systems, nanoceria and micro- and nano-structured biomaterials for bone tissue engineering, mesenchymal stem cells, and more. This volume is a systematic scientific reference of the novel research developments specifically in this area. The editors give special emphasis on the new trends and developments in the field of nanomedicine that will be very helpful for pharmaceutical and medical researchers, scientists, faculty, and students.
Handbook of research on methodologies for design and production practices in interior architecture
The aim of this book is to broaden the understanding of the processes in the practice of architectural design, presenting new approaches and alternative methods in the field of Interior Architecture
Handbook of Radiopharmaceuticals : Methodology and Applications ; 2nd ed.
A comprehensive review of the field, presenting up-to-date coverage of central topics such as radionuclide production, synthetic methodology, radiopharmaceutical development and regulations, and a wide range of practical applications. A valuable reference work for those new to the Radiopharmaceutical Sciences and experienced professionals alike, this volume explores the latest concepts and issues involving both targeted diagnostic and therapeutic radiopharmaceuticals. Contributions from a team of experts from across sub-disciplines provide readers with an immersive examination of radiochemistry, nuclear medicine, molecular imaging, and more. Features extensive new and revised content throughout Covers key areas of application for diagnosis and therapy in oncology, neurology, and cardiology Emphasizes the multidisciplinary nature of Radiopharmaceutical Sciences Discusses how drug companies are using modern radiopharmaceutical imaging techniques to support drug discovery Examines current and emerging applications of Positron Emission Tomography (PET) and Single Photon Emission Computed Tomography (SPECT)
