Page 234
Page 234
Focal liver lesions : Detection, characterization, ablation
Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in imaging technology, the development of novel contrast agents, and the introduction of optimized scanning protocols have greatly facilitated the non-invasive detection and characterization of focal liver lesions. Furthermore, image-guided techniques for percutaneous tumor ablation have become an accepted alternative treatment for patients with inoperable liver cancer. This book provides a comprehensive and up-to-date overview of the role of diagnostic and interventional radiology in respect of liver tumors. The volume moves from background sections on methodology and segmental liver anatomy to the main sections on the diagnosis of benign and malignant liver lesions. An integrated approach, focused on the correlation of ultrasound, CT, and MR imaging findings, is presented. Finally, a full section describes the principles, methods, and results of percutaneous tumor ablation techniques.
FOBA : Buildings
The book also chronicles the FOB Homes systema FOBA subsidiary company established in 1999a uniquely creative response to the generic mass-produced pre-fabricated housing available in Japan. With five basic prototypes that can be easily adapted to any site or client, FOB Homes redefines the concept of standardized housing. Their simple, neutral white boxes counter the visual chaos of contemporary Japan and offer the elegance and experience of "architecture" to the general publica union of modernist aesthetics with the modernist ideology of democratic, affordable design.
FM 2008 : Formal methods ; 15th International symposium on formal methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
FM 2006: Formal Methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
FM 2005: Formal Methods ; International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume.
Flux-corrected transport : Principles, algorithms, and applications
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development of high-resolution schemes based on the Flux-Corrected Transport (FCT) paradigm. Intended for readers who have a solid background in Computational Fluid Dynamics, the book begins with historical notes by J.P. Boris and D.L. Book. Review articles that follow describe recent advances in the design of FCT algorithms as well as various algorithmic aspects. The topics addressed in the book and its main highlights include: the derivation and analysis of classical FCT schemes with special emphasis on the underlying physical and mathematical constraints; flux limiting for hyperbolic systems; generalization of FCT to implicit time-stepping and finite element discretizations on unstructured meshes and its role as a subgrid scale model for Monotonically Integrated Large Eddy Simulation (MILES) of turbulent flows. The proposed enhancements of the FCT methodology also comprise the prelimiting and 'failsafe' adjustment of antidiffusive fluxes, the use of characteristic variables, and iterative flux correction. The cause and cure of detrimental clipping/terracing effects are discussed. Many numerical examples are presented for academic test problems and large-scale applications alike.
Flux Pinning in Superconductors
Covers the flux pinning mechanisms and properties and the electromagnetic phenomena caused by the flux pinning common for metallic, high-Tc and MgB2 superconductors. The condensation energy interaction known for normal precipitates or grain boundaries and the kinetic energy interaction proposed for artificial Nb pins in Nb-Ti, etc., are introduced for the pinning mechanism.
Fluorescence Spectroscopy in Biology : Advanced Methods and their Applications to Membranes, Proteins, DNA, and Cells
This volume - the third book in the Springer-Verlag Series on Fluorescence - reviews some of the most characteristic topics of the multidisciplinary area of fluorescence applications in life sciences either presendted directly at th 8th MAF Conference or considered to be a cruical development in the field. In the initial contribution in Part 1 - Basics and Advanced Approaches, the - itors explain the basics of fluorescence and illustrate the relationship between some modern fluorescence techniques and classical approaches. The second contrigution by B.
Fluorescence of supermolecules, polymers, and nanosystems
The field of fluorescence continues to steadily grow, both in its fundamental aspects and in applications in highly interdisciplinary areas including analytical, physical and organic chemistry, molecular sciences, biology, biomedicine and medical research. The 4th volume in the Springer Series on Fluorescence focuses on the fluorescence of nanosystems, polymers and supermolecules, and the development and application of fluorescent probes. Special emphasis is placed on the fluorescence of artificial and biological nanosystems, single molecule fluorescence and the luminescence of polymers, micro- and nanoparticles and nanotubes. Fluorescence microscopy and fluorescence correlation spectroscopy are covered as well. Historical aspects of this growing field and an overview of fluorescence applications are also provided.
Fluorescence angiography in ophthalmology
This atlas covers the basic principles of the new methods for fluorescein- and indocyanine green-angiography, as well as the high resolution imaging of fundus autofluorescence.
Fluid-structure interaction : Modelling, simulation, optimisation
Fluid-structure interactions (FSI), that is interactions of some movable or deformable structure with an internal or surrounding fluid flow, are among the most important and, with respect to both modelling and computational issues, the most challenging multi-physics problems. The variety of FSI occurrences is abundant and ranges from tent-roofs to micropumps, from parachutes via airbags to blood flow in arteries.
Fluid volume monitoring with glucose dilution
Decision making regarding fluid volume loading, fluid restriction, or administration of vasoactive drugs may vary among physicians, depending solely upon their clinical experience in the absence of evidence-based measurement. The initial distribution volume of glucose (IDVG) is believed to be clinically relevant as a marker of cardiovascular and fluid management in critically ill patients without a significant modification of glucose metabolism. This book covers all aspects of IDVG measurement, including the basic concept, its relationship with other fluid volumes, and the clinical application of this technique in the intensive care unit based on both the authors’ studies and their clinical experience with more than 4000 IDVG determinations. When the concept of IDVG is properly understood and its measurement is then performed routinely, daily fluid and cardiovascular management in critically ill patients can be improved based on evidence-based measurement.
Fluid Transport in Nanoporous Materials : Proceedings of the NATO Advanced Study Institute, held in La Colle sur Loup, France, 16-28 June 2003
The most promising include molecular sieves which are being developed as inorganic or polymeric systems with 0. 3-30nm in pore dimensions. These nanoporous solids have a broad spectrum of applications in chemical and biochemical processes. The unique applications of molecular sieves are based on their sorption and transport selectivity. Yet, the transport processes in nanoporous systems are not understood well. At the same time, the theoretical capabilities have increased exponentially catalyzed by increases in computational capabilities. The interactions between a diffusing species and the host solid are being studied with increasing details and realism. Further, in situ experimental techniques have been developed which give an understanding of the interactions between diffusing species and nanoporous solids that was not available even a few years ago. The time was ripe to bring together these areas of common interest and study to understand what is known and what has yet to be determined concerning transport in nanoporous solids. Molecular sieves are playing an increasing role in a broad range of industrial petrochemical and biological processes. These include shape-selective separations and catalysis as well as sensors and drug delivery. Molecular sieves are made from inorganic as well as organic solids, e. g. , polymers. They can be employed in packed beds, as membranes and as barrier materials. Initially, the applications of molecular sieves were dominated by the use of zeolites.
Fluid Mechanics of Flow Metering
This book addresses two major fluid mechanical problems in flow metering: the analysis of signal generation in turbulent pipe flow, which explains the function of the meter beyond a simple calibration, and the possible use of a meter in non-developed flows. These problems are investigated with reference to, and examples from, a variety of meters, e.g. ultrasound cross-correlation meters, vortex meters, and turbine meters. Studying these problems requires consideration of specific phenomena in turbulent non-developed pipe flow, as caused by installations, and finding special solutions with signal processing, both of which are included in the book.
Fluid Mechanics : With Problems and Solutions, and an Aerodynamics Laboratory
This textbook introduces the major branches of fluid mechanics of incompressible and compressible media, the basic laws governing their flow, and gasdynamics. "Fluid Mechanics" demonstrates how flows can be classified and how specific engineering problems can be identified, formulated and solved, using the methods of applied mathematics. The material is elaborated in special applications sections by more than 200 exercises and separately listed solutions. The final section comprises the Aerodynamics Laboratory, an introduction to experimental methods treating eleven flow experiments. This class-tested textbook offers a unique combination of introduction to the major fundamentals, many exercises, and a detailed description of experiments.
Fluid Mechanics : An Introduction to the Theory of Fluid Flows
Advancements of fluid flow measuring techniques and of computational methods have led to new ways to treat laminar and turbulent flows. These methods are extensively used these days in research and engineering practise. This also requires new ways to teach the subject to students at higher educational institutions in an introductory manner. The book provides the knowledge to students in engineering and natural science needed to enter fluid mechanics applications in various fields. Analytical treatments are provided, based on the Navier-Stokes equations. Introductions are also given into numerical and experimental methods applied to flows. The main benefit the reader will derive from the book is a sound introduction into all aspects of fluid mechanics covering all relevant subfields.
Fluid Mechanics
This successful textbook emphasizes the unified nature of all the disciplines of Fluid Mechanics as they emerge from the general principles of continuum mechanics. The different branches of Fluid Mechanics, always originating from simplifying assumptions, are developed according to the basic rule: from the general to the specific.
Fluid dynamics of cavitation and cavitating turbopumps
The book focuses on the fluid dynamics of cavitation with special reference to high power density turbopumps, where it represents the major source of performance and life degradation and often generates the conditions for the onset of dangerous fluid dynamic instabilities. To this purpose the first part of the book covers the more fundamental aspects of cavitation (nucleation, bubble dynamics, thermodynamic effects, cavitation erosion, stability of parallel bubbly flows) and the main kinds of cavitating flows (attached cavitation, cloud cavitation, supercavitation, ventilated supercavities, vortex cavitation, shear cavitation). The second part focuses on the hydrodynamics and instabilities of cavitating turbopumps (cavitation surge, rotating cavitation, higher order cavitation surge, rotordynamic whirl forces). Finally, the third part illustrates the alternative approaches for modeling and engineering simulation of cavitating flows.
Fluid and thermodynamics ; Vol.1 : Basic fluid mechanics
Simple, yet precise solutions to special flows are also constructed, namely Blasius boundary layer flows, matched asymptotics of the Navier-Stokes equations, global laws of steady and unsteady boundary layer flows and laminar and turbulent pipe flows
Fluent Python : Clear, Concise, and Effective Programming
You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python to fit patterns you learned in other languages. Discover and apply idiomatic Python 3 features beyond your past experience. Author Luciano Ramalho guides you through Python’s core language features and libraries and teaches you how to make your code shorter, faster, and more readable.
