الصفحة 3
الصفحة 3
High-Pressure Shock Compression of Solids VIII : The Science and Technology of High-Velocity Impact
Research in the field of shock physics and ballistic impact has always been intimately tied to progress in development of facilities for accelerating projectiles to high velocity and instrumentation for recording impact phenomena. The chapters of this book, written by leading US and European experts, cover a broad range of topics and address researchers concerned with questions of material behaviour under impulsive loading and the equations of state of matter, as well as the design of suitable instrumentation such as gas guns and high-speed diagnostics. Applications include high-speed impact dynamics, the inner composition of planets, syntheses of new materials and materials processing. Among the more technologically-oriented applications treated is the testing of the flight characteristics of aeroballistic models and the assessment of impacts in the aerospace industry.
High-Latitude Bioerosion : The Kosterfjord Experiment
Bioerosion is the major force driving the degradation of marine skeletal carbonates and limestone coasts. A wide spectrum of mechanical and/or chemical boring, scraping or crushing organisms break down calcereous substrates, comprising various grazers, macroborers and especially microborers. Their traces on and within hard substrates are known from fossil carbonates as old as the Precambrian and serve as valuable palaeoenvironmental indicators. Bioerosion processes have been extensively studied in tropical seas, while corrsponding investigations from cold-temperate to polar settings remain sparse. For the first time, an experimental study yields insight into the pace of carbonate degradation and the chronology of boring community development along a bathymetric gradient in a high-latitude setting.
High Performance Tensegrity-Inspired Metamaterials and Structures
New metamaterials, smart materials and structures, and adaptive systems with adjustable behaviour or which use high performance or 'extremal' materials can be applied to bigger structural systems, such as cellular tensegrity lattices with extremal mechanical properties. Numerical analyses justify tensegrities and discrete and continuum models offer two main approaches to the analysis of tensegrity-based mechanical metamaterials and lattices. Two examples of 2D and 3D tensegrity modules and lattices, and potential applications in civil engineering are presented.
High Density Lipoproteins : From Biological Understanding to Clinical Exploitation
In this Handbook of Experimental Pharmacology on “High Density Lipoproteins – from biological understanding to clinical exploitation” contributing authors (members of COST Action BM0904/HDLnet) summarize in more than 20 chapters our current knowledge on the structure, function, metabolism and regulation of HDL in health and several diseases as well as the status of past and ongoing attempts of therapeutic exploitation.
Heat Shock Proteins and the Brain : Implications for Neurodegenerative Diseases and Neuroprotection
Neurodegenerative disorders such as Alzheimer’s disease, Huntington’s disease, Parkinson’s disease and amyotrophic lateral sclerosis have been termed ‘protein misfolding disorders’ that are char- terized by the neural accumulation of protein aggregates. Manipulation of the cellular stress response involving the induction of heat shock proteins offers a the- peutic strategy to counter conformational changes in neural proteins that trigger pathogenic cascades resulting in neurodegenerative diseases. Heat shock proteins are protein repair agents that provide a line of defense against misfolded, aggregati- prone proteins. Heat Shock Proteins and the Brain: Implications for Neurodegenerative Diseases and Neuroprotection reviews current progress on neural heat shock proteins (HSP) in relation to neurodegenerative diseases (Part I), neuroprotection (Part II), ext- cellular HSP (Part III) and aging and control of life span (Part IV).
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.
Handbook of Renal Biopsy Pathology
This practical handbook provides a short, clear and useful guide to interpretation of renal biopsy specimens. It is intended to be useful to pathologists, pathologists-in-training, nephrologists, nephrologists-in-training and medical students.
Group Coordination and Cooperative Control
Group coordination and cooperative control are topics currently receiving a lot of interest. Coordinating the motion of a group of relatively simple and inexpensive agents can cover a larger operational area and achieve complex tasks exceeding the abilities of a single agent. This enables applications such as teams of robots for de-mining operations, aerospace formation flying for survey, fleets of AUVs for oceanographic mapping, and ships doing coordinated towing operations. This volume contains the contributions of the workshop. The book covers a wide range of subjects within the area of group coordination and cooperative control, and forms a valuable and up-to-date text on the newer trends in group coordination and cooperative control.
Granite genesis : in-situ melting and crustal evolution
In this book we suggest an alternative model for the origin of granite in terms of in-situ meltingintracrustal convection that physically determines the process from partial melting of mid-upper crustal rocks to formation of a convecting magma layer. We illustrate the model using the geological, geochemical and geophysical studies from Australia, North and South America, Europe and China, and conclude that heat convection within a crustal partial melting layer is essential for formation of granite magma and that without convection, partial melting of rocks produces migmatites rather than granites. Granite is layer-like within the crust, and shape and size of granite bodies reflect the geometric relationship between an irregular upper surface of the crystallised magma layer and erosion surface. Repeated melting of the crust generates downward-younging granite sequences. Chemical and isotopic compositions of granites indicate differentiation within the magma rather than different deep sources.
Global Climatology and Ecodynamics : Anthropogenic Changes to Planet Earth
The purpose of the book is to summarize existing information and assess the level of these uncertainties. We want to stimulate readers to think in the longer term about climate change and ecological damage that is being done to the planet Earth in the hope that it may remain fit for human habitation and a satisfying life style for future generations, not just the next generation or two.
Genomics-assisted crop improvement ; Vol.2 : Genomics applications in crops
Genomics research has great potential to revolutionize the discipline of plant breeding. This two-volume set provides a critical assessment of genomics tools and approaches for crop breeding. Volume 2, entitled "Genomics Applications in Crops", compiles crop-specific studies that summarize both the achievements and limitations of genomics research for crop improvement.
Genomics-assisted crop improvement ; Vol.1 : Genomics approaches and platforms
Genomics research has great potential to revolutionize the discipline of plant breeding. This two-volume set provides a critical assessment of genomics tools and approaches for crop breeding. Volume 1, entitled "Genomics Approaches and Platforms", illustrates state-of-the-art genomics approaches and platforms presently available for crop improvement.
Game Theory : A Multi-Leveled Approach
This book presents the basics of game theory both on an undergraduate level and on a more advanced mathematical level. It covers most topics of interest in game theory, including cooperative game theory. Part I presents introductions to all these topics on a basic yet formally precise level. It includes chapters on repeated games, social choice theory, and selected topics such as bargaining theory, exchange economies, and matching. Part II goes deeper into noncooperative theory and treats the theory of zerosum games, refinements of Nash equilibrium in strategic as well as extensive form games, and evolutionary games. Part III covers basic concepts in the theory of transferable utility games, such as core and balancedness, Shapley value and variations, and nucleolus. Some mathematical tools on duality and convexity are collected in Part IV. Every chapter in the book concludes with a problem section. Hints, answers and solutions are included.
Future space-transport-system components under high thermal and mechanical loads : results from the DFG Collaborative Research Center TRR40
This book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded by the German Research Foundation (DFG). Gathering innovative design concepts for thrust chambers and nozzles, as well as cutting-edge methods of aft-body flow control and propulsion-component cooling, it brings together fundamental research undertaken at universities, testing carried out at the German Aerospace Center (DLR) and industrial developments from the ArianeGroup
Fundamentals of Structural Dynamics : Theory and Computation
Emphasizes numerical methods, nonlinear response of structures, and the analysis of continuous systems (e.g., wave propagation). Fundamentals of Structural Dynamics: Theory and Computation builds the theory of structural dynamics from simple single-degree-of-freedom systems through complex nonlinear beams and frames in a consistent theoretical context supported by an extensive set of MATLAB codes that not only illustrate and support the principles, but provide powerful tools for exploration. The book is designed for students learning structural dynamics for the first time but also serves as a reference for professionals throughout their careers.
Fundamentals of fluid mechanics : For scientists and engineers
Provides a coherent and structured overview of fluid mechanics, a discipline concerned with many natural phenomena and at the very heart of the most diversified industrial applications and human activities.
Fractal Geometry, Complex Dimensions and Zeta Functions : Geometry and Spectra of Fractal Strings
Number theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal strings, that is, one-dimensional drums with fractal boundary. Key Features The Riemann hypothesis is given a natural geometric reformulation in the context of vibrating fractal strings Complex dimensions of a fractal string, defined as the poles of an associated zeta function, are studied in detail, then used to understand the oscillations intrinsic to the corresponding fractal geometries and frequency spectra Explicit formulas are extended to apply to the geometric, spectral, and dynamical zeta functions associated with a fractal Examples of such explicit formulas include a Prime Orbit Theorem with error term for self-similar flows, and a geometric tube formula The method of Diophantine approximation is used to study self-similar strings and flows Analytical and geometric methods are used to obtain new results about the vertical distribution of zeros of number-theoretic and other zeta functions Throughout new results are examined. The final chapter gives a new definition of fractality as the presence of nonreal complex dimensions with positive real parts, and discusses several open problems and extensions.
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples.
