Page 10
Page 10
High-dimensional chaotic and attractor systems : A comprehensive introduction
If we try to describe real world in mathematical terms, we will see that real life is very often a high–dimensional chaos. Sometimes, by ‘pushing hard’, we manage to make order out of it; yet sometimes, we need simply to accept our life as it is. To be able to still live successfully, we need tounderstand, predict, and ultimately control this high–dimensional chaotic dynamics of life. This is the main theme of the present book.
High performance concrete optimal composition design
Presents experimental and theoretical results allowing production of special high-strength rapid hardening concrete and fiber reinforced concrete. It describes a method for effective proportioning of high-strength fast-setting concrete and fiber reinforced concrete with high dynamic strength as well as selecting proper technological parameters, methodology for design of reinforced concrete structures using such concrete. Particular attention is paid to ensuring the early strengthening of concrete within 24 hours after casting and to constructing structures with limited energy resources at the site.
High performance computing on vector systems 2007 ; Conference proceedings
The following book presents contributions from the 6th TERAFLOP Workshop which was hosted by Tohoku University in Sendai, Japan in Autumn 2006 and the 7th Workshop in Stuttgart which was held in spring 2007 in Stuttgart. Focus is layed on current applications and future requirements, as well as developments of next generation hardware architectures and installations. The papers presented in this book lay out the wide range of fields in which sustained performance can be achieved if engineering knowledge, numerical mathematics and computer science skills are brought together. With the advent of hybrid systems, the Teraflop workbench project will continue the support of leading edge computations for future applications.
High performance computing on vector systems ; Proceedings of the High Performance Computing Center Stuttgart, March 2005
The book presents the state of the art in high performance computing and simulation on modern supercomputer architectures. Innovative application fields like multiphysics simulations and material science are presented.
High Availability and Disaster Recovery : Concepts, Design, Implementation
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission critical business processes are IT-based processes. Business continuity is the ability to do business under any circumstances and is an essential requirement modern companies are facing. High availability and disaster recovery are contributions of the IT to fulfill this requirement. And companies will be confronted with such demands to an even greater extent in the future, since their credit ratings will be lower without such precautions. Both, high availability and disaster recovery, are realized by redundant systems. Redundancy can and should be implemented on different abstraction levels: from the hardware, the operating system and middleware components up to the backup computing center in case of a disaster. This book presents requirements, concepts, and realizations of redundant systems on all abstraction levels, and all given examples refer to UNIX and Linux systems.
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.
Herbal Products : Toxicology and Clinical Pharmacology
Herbal Products: Toxicology and Clinical Pharmacology, Second Edition builds upon the informative foundation laid by its predecessor. This fully revised and expanded second edition boasts over 200 new references that document efficacy studies and adverse effects and four new chapters devoted to dietary products.
Hemostasis in Dentistry
Offers a thorough, clinically oriented review of hemostasis and its impact on the practice of dentistry. Readers will gain a sound understanding of the pathophysiology of hemostasis and the pharmacology of antithrombotic and prothrombotic medications. Perioperative dental management strategies of value in patients with different congenital and acquired disorders of hemostasis are carefully explained, and the role of surgical techniques and local and topical agents in helping to minimize and control bleeding is described. Helpful instruction is also provided on the indications for antithrombotic medications and the management of patients receiving such therapy, including the risks of altering medications. As the number of available oral antithrombotic agents continues to increase, dentists will encounter significantly more patients receiving treatments that affect hemostasis.
Hearing and Sound Communication in Amphibians
Hearing and Sound Communication in Amphibians is a compendium of the latest research on acoustic communication in these highly vocal vertebrates. The chapters are written by experts currently investigating the physiology and behavior of amphibians both in the laboratory and in the field. This integrated approach guides each chapter and provides a neuroethologically-driven and evolutionary basis for our understanding of acoustic communication and its underlying mechanisms. The intended audience ranges from senior undergraduates to physiologists, zoologists, evolutionary biologists and communication specialists.
Health services marketing : A practitioner's guide
Health Services Marketing: A Practitioner’s Guide clearly and succinctly explains the range of marketing activities and techniques, from promotions to pricing, so any health professional can learn to navigate this bewildering but increasingly important aspect of healthcare.
Health Communication
The effective communication of information on medical conditions and healthy lifestyles has played an important part in the improvement of the health status of the American population. At the same time, it is hard to ignore the negative impact that ineffective communication can have within the healthcare arena.communication. The benefits of good health communication are many, from better relationships between providers and patients to improved treatment compliance to reduced inequities of care.
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 Verification with SystemVerilog : An Object-Oriented Framework
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task. With this handbook—the first to focus on applying OOP to SystemVerilog—we’ll show how to manage complexity by using layers of abstraction and base classes. By adapting these techniques, you will write more "reasonable" code, and build efficient and reusable verification components. Both a learning tool and a reference, this handbook contains hundreds of real-world code snippets and three professional verification-system examples.
Hardware Verification with C++ : A Practitioner’s Handbook
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two open-source C++ libraries that enable efficient verification with C++ -- Teal, a C++ to Verilog interface, and Truss, a standard verification framework. Part III focuses on OOP with examples from real verification projects. Part IV puts it all together showing complete block-level and system-level verification systems. "The handbook provides a clear understanding of object-oriented programming, and how it applies to hardware verification. It is clear to me that C++, together with Teal and Truss, could form a strong platform for the next generation of hardware verification."
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 Windows
Hardening is the process of protecting a system against unknown threats. System administrators harden against that which they think could be a threat. Administrators know the Internet is a hostile environment. Although they can't tell, for example, that a hacker will attempt to gain access to the SQL server next Tuesday, they can bet money there'll be an attempt soon and should "batten down the hatches" in anticipation. Hardening Windows, Second Edition is the definitive "counterintelligence" guide to performing preventative security measures for the Windows operating system. This second edition covers the release of Windows XP Service Pack 2 and its new security features, including the Windows Firewall and the Security Center. It also covers Windows Server 2003 Service Pack 1, Windows Server R2's new Security Configuration Wizard, Windows NT, Windows 2000, branch-office security features, and new setup options.
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.
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.
