Page 12
Page 12
How to engineer software : A model-based approach
The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software documentation that specifically and intentionally adds value for development and maintenance. Contains many illustrative examples of model-based software engineering, from semantic model all the way to executable code Explains how to derive verification (acceptance) test cases from a semantic model Describes project estimation, along with alternative software development and maintenance processes Shows how to develop and maintain cost-effective software that solves real-world problems
Housing Contemporary Ireland : Policy, Society and Shelter
This book, the first comprehensive review of housing in Ireland for many years, introduces, in an accessible manner, the key housing developments since the foundation of the State and also reports on the findings of the latest research on the transformation of the sector in the past decade. The issues examined here include: -the impact of the house price boom on wealth and affordability / -the urban renewal schemes and private rented housing -the management of social housing / -the accommodation of Travellers and homeless people -rural housing policy and politics
Hop Integrity in the Internet
Hop Integrity in the Internet introduces a new security defense, hop integrity, that can be used against denial-of-service attacks in the Internet. A suite of protocols for providing hop integrity in the Internet is discussed in great detail. In particular, each protocol in this suite is specified and verified using an abstract and formal notation, called the Secure Protocol Notation. There are five protocols in this suite: - A secure address resolution protocol - A light-weight key update protocol - A protocol for computing and verifying message digests - An anti-replay protocol that uses soft sequence numbers - An anti-replay protocol that uses hard sequence numbers In addition, other benefits of hop integrity extend to secure routing, mobile IP, and IP multicast.
Home
Develops the conceptual and methodological underpinnings of a critical geography of home, drawing on key feminist, postcolonial, and housing thinkers as well as contemporary methodological currents in non-representational thinking and performance. The book’s chapters consider the making and unmaking of home across the domestic scale – house-as-home; the urban – city-as-home; national – nation-as-home; and homemaking in relation to transnational migration and diaspora. Each chapter includes illustrative examples from diverse geographical contexts and historical time periods. Chapters also address some of the key cross-cutting dimensions of home across these scales, including digital connectivity, art and performance, more-than-human constructions of home, and violence and dispossession.
HIV and AIDS : Basic elements and priorities
This volume is an excellent reference for science graduates and post graduates, medical students, research scholars and scientists across the world. This book is recommended by the World Health Organization Eastern Mediterranean Region Office (WHO-EMRO) as a basic resource for medical faculty libraries.
Histology and cell biology : An introduction to pathology
Helps students build a stronger clinical knowledge base in the challenging area of pathologic abnormalities. This award-winning text presents key concepts in an understandable, easy-to-understand manner, with full-color illustrations, diagrams, photomicrographs, and pathology photos fully integrated on every page.
High performance embedded architectures and compilers ; 3rd International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2008, held in Göteborg, Sweden, January 27-29, 2008. The 25 revised full papers presented together with 1 invited keynote paper were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on Multithreaded and Multicore Processors, Reconfigurable - ASIP, Compiler Optimizations, Industrial Processors and Application Parallelization, Power-Aware Techniques, High-Performance Processors, Profiles: Collection and Analysis as well as Optimizing Memory Performance.
High performance embedded architectures and compilers ; 2nd International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
This book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2007, held in Ghent, Belgium, in January 2007. The 19 revised full papers presented together with one invited keynote paper were carefully reviewed and selected from 65 submissions.
High performance embedded architectures and compilers ; 1st International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
The ProgramCommittee received a total of 84 submissions; only 17 were selected for presentation as full-length papers and another one as an invited paper. Each paper was rigorously reviewed by three ProgramCommittee members and at least one external referee. Many reviewers spent a great amount of e?ort to provide detailed feedback. In many cases, such feedback along with constructive shepherding resulted in dramatic improvement in the quality of accepted papers. The names of the Program Committee m- bers and the referees are listed in the proceedings. The net result of this team e?ort is that the symposium proceedings include outstanding contributions by authors from nine countries in three continents. In addition to paper presentations, this ?rst HiPEAC conference featured two keynotes delivered by prominent researchers from industry and academia.
High performance computing and communications ; Vol. 4208 : 2nd International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings
HPCC has moved into the mainstream of c- puting and has become a key technology in future research and development activities in many academic and industrial branches, especially when the so- tion of large and complex problems must cope with very tight time constraints. The HPCC 2006 conference provides a forum for engineers and scientists in academia, industry, and governmentto address all resulting profound challenges and to present and discuss their new ideas, research results, applications, and experience on all aspects of HPCC.
High performance computing - HiPC 2008 ; 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008.The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture.
High performance computing - HiPC 2007 ; 14th International Conference, Goa, India, December 18-21, 2007, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on High-Performance Computing, HiPC 2007, held in Goa, India, in December 2007. The 53 revised full papers presented together with the abstracts of five keynote talks were carefully reviewed and selected from 253 submissions.
High performance computing – HiPC 2005 ; 12th International Conference, Goa, India, December 18-21, 2005, Proceedings
Contains the refereed proceedings of the 12th International Conference on High-Performance Computing. Beginning with the keynote section and the presentation of the 2 awarded best contributions, this book is organized in topical sections on algorithms, applications, architecture, systems software, communication networks, and systems and networks.
High performance computing - HiPC 2004 ; 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
Keynote Addresses.- Rethinking Computer Architecture Research.- Event Servers for Crisis Management.- DIET: Building Problem Solving Environments for the Grid.- The Future Evolution of High-Performance Microprocessors.- Low Power Robust Computing.- Networks and Games.- Plenary Session - Best Papers.- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks.- A Novel Battery Aware MAC Protocol for Ad Hoc Wireless Networks, and other
Heterogeneity in statistical genetics : How to assess, address, and account for mixtures in association studies
Heterogeneity, or mixtures, are ubiquitous in genetics. Even for data as simple as mono-genic diseases, populations are a mixture of affected and unaffected individuals. Still, most statistical genetic association analyses, designed to map genes for diseases and other genetic traits, ignore this phenomenon.In this book, we document methods that incorporate heterogeneity into the design and analysis of genetic and genomic association data. Among the key qualities of our developed statistics is that they include mixture parameters as part of the statistic, a unique component for tests of association. A critical feature of this work is the inclusion of at least one heterogeneity parameter when performing statistical power and sample size calculations for tests of genetic association.
Heterocycles from Carbohydrate Precursors
This book is a volume in the series Topics in Heterocyclic Chemistry.Itc- ers the key methods used for designing synthetic approaches to heterocycles from carbohydrates and the value and scope of these methods. Carbohydrates are widely distributed in nature and constitute the largest part of renewable biomasses. Moreover, many carbohydrates and their derivatives are comm- cially available at relatively cheap prices. Consequently their utilization is highly encouraged and economically they are of great signifcance. Moreover, carbohydrates are highly functionalized compounds that can be readily deritized and/or cyclized to provide heterocyclic compounds. This book provides a modern account and an up-to-date description of the advancement in the synthesis of diverse heterocycles from carbohydrates. Carbohydrates can be considered as a source of chiral centers in addition to the variable modifcation thereof.
Hebrew Scholasticism in the Fifteenth Century : A History and Source Book
This book aims to respond to this need. After a historical introduction, where a "state of the art" about research on the relationship between Jewish philosophy and science and Latin Scholasticism in the thirtheenth-fifteenth centuries is given, the book consists of four chapters. Each of them offers a general bio-bibliographical survey of one or two key-authors of fifteenth-century "Hebrew Scholasticism", followed by English translations of some of their most significant "Scholastic" works or of some parts of them: Abraham Bibago’s "Treatise on the Plurality of Forms", Baruch Ibn Ya’ish’s commentaries on Aristotle’s "Nicomachean Ethics" and "De anima", Eli Habillo’s introduction to Antonius Andreas’s commentary on the "Metaphysics", Judah Messer Leon’s commentary on Aristotle’s "Physics" and questions on Porphyry’s "Isagoge".
Heat Shock Proteins in Cancer
Heat shock proteins are emerging as important molecules in the development of cancer and as key targets in cancer therapy. These proteins enhance the growth of cancer cells and protect tumors from treatments such as drugs or surgery.
Heat and Mass Transfer
This comprehensive textbook provides readers with a firm foundation in the principles of heat and mass transfer and shows them how to solve problems by applying modern methods. The basic theory is developed systematically, and the solution methods to all important problems are covered in detail. The second edition incorporates state-of-the-art findings on heat and mass transfer correlations. Therefore, this book will be useful not only to upper- and graduate-level students, but also to practicing scientists and engineers. Many worked-out examples and numerous exercises with their solutions will facilitate learning and understanding, and an appendix includes data on key properties of important substances.
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.
