الصفحة 27
الصفحة 27
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 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 Hyperbaric Medicine
It is now ten years since the first Handbook on Hyperbaric Medicine was published. During this time there have been many major advances: our understanding of the actions of hyperbaric oxygenation, and the pathophysiological processes it engages, have been elucidated by several studies; clinical practice is becoming more scientific with the application of evidence-based medicine (EBM) principles and the appearance of a number of randomised clinical trials; various consensus-derived organisational and operational recommendations and guidelines have become normative and are now widely accepted.
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 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 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 Technical and Vocational Education and Training Research
This handbook provides a comprehensive coverage of TVET research in an international context, and, with special focus on research and research methods, it is a cutting-edge resource and reference.Various areas of TVET research are covered, including on the vocational disciplines and on TVET systems. Case studies illustrate different approaches to TVET research, and the final section of the book presents research methods, including interview and observation methods, as well as of experimentation and development.
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 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)
Handbook of production scheduling
The HANDBOOK OF PRODUCTION SCHEDULING concentrates on real-world production scheduling in factories and industrial settings. It includes industry case studies that use innovative techniques as well as academic research results that can be used to improve real-world production scheduling. Its purpose is to present scheduling principles, advanced tools, and examples of innovative scheduling systems to persons who could use this information to improve production scheduling in their own organization.
Handbook of pharmaceutical manufacturing formulations ; Vol.2 : Uncompressed solid products
Covers uncompressed solids, which include formulations of powders, capsules, powders ready for reconstitution, and other similar products.Highlights from Uncompressed Solid Products, Volume Two include:the fundamental issues of good manufacturing practicesformulations for more than 400 pharmaceutical products, including currently approved products and innovative products such as small proteins, instantly liquifiable powders, and nanoparticlesaccess to US FDA guidelines, as well as all major guid
Handbook of Pediatric Eye and Systemic Disease
Concise yet comprehensive, the chapters in this handbook are reader friendly, organized with clear sub-headings to quickly guide the reader to areas of interest. Excellent, detailed color photographs and diagrams illustrate and enhance the clinical pearls. Extensive use of tables and information boxes helps to simplify and summarize complex topics.Also included is a comprehensive outline of the ocular manifestation of inherited diseases. This chapter provides a clinical snapshot of dozens of congenital conditions and their ocular manifestations.
Handbook of Pediatric Cardiovascular Drugs
The Handbook of Pediatric Cardiovascular Drugs provides the health care practitioner with general clinical and practical guidelines regarding the use of pediatric cardiovascular drugs. It reviews basic pediatric cardiovascular principles and satisfies the need for a pocket reference handbook tailored to meet the daily challenges of practitioners caring for pediatric cardiac patients.
Handbook of Optimization in Telecommunications
The Handbook of Optimization in Telecommunications includes planning and design of telecommunication networks, routing, network protection, grooming, restoration, wireless communications, network location and assignment problems, Internet protocol, World Wide Web, and stochastic issues in telecommunications. The editors’ objective is to provide a reference tool for the increasing number of scientists and engineers in telecommunications who depend upon optimization in some way. Each chapter in the handbook is of an expository nature, but of scholarly treatment, and includes a brief overview of the state-of-the-art thinking relative to the topic, as well as pointers to the key references in the field. Specialists as well as nonspecialists should find this handbook stimulating and helpful.
Handbook Of Operations Research In Natural Resources
Handbook of Operations Research in Natural Resources will be the first systematic handbook treatment of quantitative modeling natural resource problems, their allocated efficient use, and societal and economic impact. Andrés Weintraub is the very top person in Natural Resource research. Moreover, he has an international reputation in OR and a former president of the International Federation of Operational Research Societies (IFORS). He has selected co-editors who are at the top of the sub-fields in natural resources: agriculture, fisheries, forestry, and mining. The book will cover these areas in terms with contributions from researchers on modeling natural research problems, quantifying data, developing algorithms, and discussing the benefits of research implementations. The handbook will include tutorial contributions when necessary.
Handbook of obesity prevention : A resource for health professionals
Comprehensive in scope and meticulously researched, Handbook of Obesity Prevention analyzes the intricate causes of this public health crisis, and sets out concrete, multilevel strategies for meeting it head-on. This innovative handbook starts by clearly defining obesity in clinical, epidemiologic, and financial terms. From there, expert contributors provide insights on current issues, methods, and controversies in the field, focusing on new opportunities for prevention, successful interventions and initiatives, and guidelines for planning and implementing programs and evaluating results. This systematic approach to large-scale social and policy change gives all parties involved—from individual practitioners to multinational corporations—the tools to set and attain realistic goals based on solid evidence and best practice in public health.
Handbook of Number Theory I
This handbook covers a wealth of topics from number theory, special attention being given to estimates and inequalities. As a rule, the most important results are presented, together with their refinements, extensions or generalisations. These may be applied to other aspects of number theory, or to a wide range of mathematical disciplines. Cross-references provide new insight into fundamental research.
