الصفحة 6
الصفحة 6
UMTS Radio Network Planning : Mastering Cell Coupling for Capacity Optimization
Interference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network operators need to control the effects and dynamics of interference coupling among users and cells. This is a major challenge in planning and optimizing UMTS radio networks. In this book establishes a concise system model, which describes interference coupling and its impact on the network. The system model enables an efficient analysis of radio network performance. It is also the basis for new automatic planning algorithms. Extensive computational experiments on realistic data demonstrate that the presented evaluation and optimization methods are well-suited tools for use in practice.
Ultrathin magnetic structures IV : Applications of nanomagnetism
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism which already has a profound impact in technology and is providing the basis for a revolution in electronics. The last decade has seen dramatic progress in the development of magnetic devices for information technology but also in the basic understanding of the physics of magnetic nanostructures. Volume III describes thin film magnetic properties and methods for characterising thin film structure topics that underpin the present 'spintronics' revolution in which devices are based on combined magnetic materials and semiconductors. The present volume (IV) deals with the fundamentals of spintronics: magnetoelectronic materials, spin injection and detection, micromagnetics and the development of magnetic random access memory based on GMR and tunnel junction devices. Together these books provide readers with a comprehensive account of an exciting and rapidly developing field. The treatment is designed to be accessible both to newcomers and to experts already working in this field who would like to get a better understanding of this very diversified area of research.
Ultrathin magnetic structures III : Fundamentals of nanomagnetism
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism which already has a profound impact in technology and is providing the basis for a revolution in electronics. The last decade has seen dramatic progress in the development of magnetic devices for information technology but also in the basic understanding of the physics of magnetic nanostructures. This volume describes thin film magnetic properties and methods for characterising thin film structure topics that underpin the present 'spintronics' revolution in which devices are based on combined magnetic materials and semiconductors. Volume IV deals with the fundamentals of spintronics: magnetoelectronic materials, spin injection and detection, micromagnetics and the development of magnetic random access memory based on GMR and tunnel junction devices. Together these books provide readers with a comprehensive account of an exciting and rapidly developing field. The treatment is designed to be accessible both to newcomers and to experts already working in this field who would like to get a better understanding of this very diversified area of research.
Ultrasound of the Gastrointestinal Tract
Transabdominal ultrasound has become accepted in clinical practice as a primary imaging procedure in the diagnostic work-up and follow-up of various disorders of the gastrointestinal tract. This book provides a comprehensive overview of the use of ultrasound in the imaging of acute and chronic inflammatory conditions of the gastrointestinal tract as well as of neoplastic and infectious diseases. The specific ultrasound features of gastrointestinal disorders are explained, and the value and limits of ultrasound are discussed. Each chapter provides a description of the findings obtained with ultrasound imaging, with inclusion of alternative diagnostic imaging methods for comparative purposes. Specific technical developments and applications of ultrasound relevant to studies of the gastrointestinal tract, such as functional and 3D ultrasound, contrast agents and operative ultrasound, are also discussed.
Ultrasonic Periodontal Debridement : Theory and Technique
Focuses exclusively on this fundamentally important component of periodontal therapy. George, Donley, and Preshaw provide a comprehensive resource for dental students, dental hygiene and therapy students, and periodontal residents, as well as practicing dental hygienists and dentists who are looking to increase their familiarity and skills with ultrasonic instrumentation.
U.S. Pharmacopeia National Formulary 2018 USP 41 NF 36
Contains standards for medicines, dosage forms, drug substances, excipients, biologics, compounded preparations, medical devices, dietary supplements, and other therapeutics. Offers convenient, comprehensive information for all phases of producing quality prescription, nonprescription, and compounded medicines; excipients; biologics; medical devices; and dietary supplements. It is essential for quality control, quality assurance, regulatory/compendial affairs, research and development, method development/analytical services, and corporate management. USP–NF monographs and methods can help to: Ensure compliance with required U.S. quality standards / Work to world-recognized standards of precision and accuracy / Validate test results against proven benchmarks / Establish and validate in-house standard operating procedures, and specifications / Expedite new product development and approvals
Types for Proofs and Programs ; International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning
Types for Proofs and Programs ; International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
Types for Proofs and Programs ; International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics
Typed Lambda Calculi and Applications ; 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 52 submissions. The papers present original research results that are broadly relevant to the theory and applications of typed calculi and address a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.
Typed Lambda Calculi and Applications ; 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
Constitutes the refereed proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005, held in Nara, Japan in April 2005.The 27 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 61 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts.
Type-2 Fuzzy Logic : Theory and Applications
Describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including type-1 fuzzy logic, neural networks, and genetic algorithms, which can be used to create powerful hybrid intelligent systems. The authors extends the use of fuzzy logic to a higher order, which is called type-2 fuzzy logic. Combining type-2 fuzzy logic with traditional SC techniques, we can build powerful hybrid intelligent systems that can use the advantages that each technique offers. We consider in this book the use of type-2 fuzzy logic and traditional SC techniques to solve pattern recognition problems in realworld applications.
Twitter als Basis wissenschaftlicher Studien : Eine Bewertung gängiger Erhebungs- und Analysemethoden der Twitter-Forschung = Twitter as a basis for scientific studies: an evaluation of common survey and analysis methods in Twitter research
Evaluates the scientific usefulness of Twitter by considering several common survey and analysis methods. Twitter has become a popular source for studies, although the short message service is only suitable for research to a limited extent: Limited representativeness, limited data availability and low data quality reduce the scientific benefit. Nevertheless, Twitter is increasingly becoming the focus of science due to its social and media relevance and the mass of freely available data.
Tutorials on Emerging Methodologies and Applications in Operations Research : Presented at INFORMS 2004, Denver, CO
The primary purpose of Tutorials on Emerging Methodologies and Applications in Operations Research is to provide a reference for practitioners and academics who seek a clear, concise presentation of developing methodologies, hence providing themselves with the capability to apply these methods to new problems. The field of Operations Research is always changing. Its changes are driven by the technology it uses and that it extends, and the applications that it affects. Relevant changes in the field have a permanent effect on the conduct of OR and are vital to anyone who wants to be current in the field.
Turbulence in Fluids : Fourth Revised and Enlarged ed.
This is the 4th edition of a book originally published by Kluwer Academic Publishers. It is an exhaustive monograph on turbulence in fluids in its theoretical and applied aspects, with many advanced developments using mathematical spectral methods (two-point closures like the EDQNM theory), direct-numerical simulations, and large-eddy simulations.Topics dealt with include: an introduction to turbulence in fluid mechanics; basic fluid dynamics; transition to turbulence; shear-flow turbulence; Fourier analysis for homogeneous turbulence; isotropic turbulence; phenomenology and simulations; analytical theories and stochastic models; two-dimensional turbulence; geostrophic turbulence; absolute-equilibrium ensembles; the statistical predictability theory; large-eddy simulations; and a section that explores developments towards real-world turbulence.
Turbomachinery Flow Physics and Dynamic Performance
Over the past three decades turbomachines experienced a steep increase in efficiency and performance. Based on fundamental principles of turbomachinery thermo-fluid mechanics, numerous CFD based calculation methods are being developed to simulate the complex 3-dimensional, highly unsteady turbulent flow within turbine or compressor stages. The objective of this book is to present the fundamental principals of turbomachinery fluid-thermodynamic design process of turbine and compressor components, power generation and aircraft gas turbines in a unified and compact manner. The book provides senior undergraduate students, graduate students and engineers in the turbomachinery industry with a solid background of turbomachinery flow physics and performance fundamentals that are essential for understanding turbomachinery performance and flow complexes.
Tunnelling and Tunnel Mechanics : A Rational Approach to Tunnelling
The book covers not only practical aspects but also the underlying theoretical approaches. It also covers the fundamentals of rock mechanics. It addresses not only students but also professionals who are interested to understand the underlying principles and methods and – possibly – to further develop them. Emphasis is given to the mechanical approach rather than to hardly tractable empirical statements. The text is concise and comprises a large list of citations. Publications of the English and German speaking scientific communities have been taken into account.
Tunnel design methods
Covers analytical, numerical and empirical methods for the design of tunnels in soil and in rock. It gives detailed analytical and numerical methods for design engineers, and guides specialists in ground-support interaction under static and seismic loading. It presents fundamental concepts in ground and support behavior and in ground-excavation-support interaction along with detailed information on methods used for the design of tunnels, with applications, and on the latest developments in empirical methods
Tuning, Timbre, Spectrum, Scale
Focuses on perceptions ofconsonance and dissonance, and how these are dependent on timbre. This alsorelates to musical scale: certain timbres sound more consonant in some scalesthan others. Sensory consonance and the ability to measure it have importantimplications for the design of audio devices and for musical theory andanalysis. Applications include methods of adapting sounds for arbitrary scales,ways to specify scales for nonharmonic sounds, and techniques of soundmanipulation based on maximizing (or minimizing) consonance. Specialconsideration is given here to a new method of adaptive tuning that canautomatically adjust the tuning of a piece based its timbral character so as tominimize dissonance. Audio examples illustrating the ideas presented areprovided for free on the Springer Extras website (http://extras.springer.com).
Tumor angiogenesis assays : Methods and protocols
Provides new and updated methods and protocols for studying tumor angiogenesis in vitro and in vivo. Chapters detail morphological aspects of tumor angiogenesis, aortic ring, ex vivo tissue culture model for anti-angiogenic drug testing, transgenic zebrafish, orthotopic models of ovarian cancer, and uncovering metabolic effects of anti-angiogenic therapy in tumors by induced metabolic bioluminescence imaging.
