الصفحة 17
الصفحة 17
Mathematics of Program Construction ; 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
Islamic Bioethics : Problems and Perspectives
This book presents a critical analysis of the debate at the religious, legal and political level sparked off by the introduction of new biomedical technologies (cloning, genetics, organ transplants, IVF, etc.) in Muslim countries. It compares the positions of "classic" Muslim law and contemporary religious authorities; laws in Muslim countries; the attitudes and concrete behaviour of populations, families and individuals, as well as the regulations of medical associations, bioethics committees etc..
Irreversible Phenomena : Ignitions, Combustion and Detonation Waves
Ideals are simple and able to be easily understood, but never exist in reality. In this book a theory based on the second law of thermodynamics and its applications are described. In thermodynamics there is a concept of an ideal gas which satisfies a mathematical formula PV = RT. This formula can appro- mately be applied to the real gas, so far as the gas has not an especially high pressure and low temperature. In connection with the second law of thermo- namics there is also a concept of reversible and irreversible processes. The reversible process is a phenomenon proceeding at an infinitely low velocity, while the irreversible process is that proceeding with a finite velocity. Such a process with an infinitely slow velocity can really never take place, and all processes observed are always irreversible, therefore, the reversible process is an ideal process, while the irreversible process is a real process.
Iron Nutrition in Plants and Rhizospheric Microorganisms
This book uses an interdisciplinary approach to provide a comprehensive review on the status of iron nutrition in plants. International scientists discuss research on acquisition of iron by strategy I and strategy II plants. These reviews summarize a variety of plant species and include both laboratory and field observations. Topics covered in this book include: plants as a source of iron for animals and humans, iron translocation in the plants, iron-stimulated activities that influence crop yield and fruit tree productivity, iron uptake by plants as influenced by microorganisms (i.e. free living soil microorganisms, symbiotic nitrogen-fixing and pathogenic bacteria), the role of plant hormones in iron transport, iron-metal competition in phytoremediation, root zone activities involving interactions between minerals and organic matter, the role of microbial siderophores in rhizospheric iron cycling, iron storage as phytoferritin, proteomic and metabolic studies associated with iron stress response, methods for studying iron metabolism including stable isotopes, and the correction of iron deficiency through the use of synthetic or natural chelates.
IQ Calibration Techniques for CMOS Radio Tranceivers
There are a lot of factors that degrade the matching of gains and phases between I/Q signals: the instinct layout mismatch, the random mismatch of the devices, the different temperatures over the I/Q signal paths. IQ Calibration Techniques For CMOS Radio Transceivers describes a fully-analog compensation technique without baseband circuitry to control the calibration process. This book will use an 802.11g transceiver design as an example to give a detailed description on the I/Q gains and phases imbalance auto-calibration mechanism.
IP operations and management ; 7th IEEE International workshop, IPOM 2007 San José, USA, October 31 - November 2, 2007 Proceedings
This book constitutes the refereed proceedings of the 7th IEEE International Workshop on IP Operations and Management, IPOM 2007, held in the course of the 3rd International Week on Management of Networks and Services, Manweek 2007.
IoT and AI Technologies for Sustainable Living : A Practical Handbook
Brings together all the latest methodologies, tools and techniques related to the Internet of Things and Artificial Intelligence in a single volume to build insight into their use in sustainable living. The areas of application include agriculture, smart farming, healthcare, bioinformatics, self-diagnosis systems, body sensor networks, multimedia mining, and multimedia in forensics and security. Provides a comprehensive discussion of modeling and implementation in water resource optimization, recognizing pest patterns, traffic scheduling, web mining, cyber security and cyber forensics. It will help develop an understanding of the need for AI and IoT to have a sustainable era of human living. The tools covered include genetic algorithms, cloud computing, water resource management, web mining, machine learning, block chaining, learning algorithms, sentimental analysis and Natural Language Processing (NLP).
Ionic Soft Matter : Modern Trends in Theory and Applications; Proceedings of the NATO Advanced Research Workshop on Ionic Soft Matter: Modern Trends in Theory and Application Lviv, Ukraine, 14-17 April, 2004
Consists of reviews of the experimental, theoretical and simulation studies on ionic criticality, polyelectrolytes, proton transport in fuel cell membranes, and the design of DNA arrays. This book deals with discussions of the fundamental and applied problems of important phenomena such as ion association, ion adsorption, ion solvation.
Ion channels as targets in drug discovery
Built around ion channel research and, more specifically, ion channels as important therapeutic drug targets. Under the editorial leadership of Gary Stephens in academic research and Edward Stevens from industry, the aim is to bring these strands together to provide a cutting-edge translational reference on ion channel drug discovery. Exploiting our knowledge of ion channel structure and function has clear current and future potential to intervene and correct the pathophysiology associated with debilitating conditions, including cardiovascular disease, diabetes, cystic fibrosis, pain, epilepsy, and neurodegenerative disorders. Individual chapters have a disease focus, also providing a “case study story” that will also appeal to a clinical audience
Investment Banking : Valuation, LBOs, M&A, and IPOs
This book fulfills an important need as a valuable training material and reliable handbook for finance professionals in these markets. This book also provides essential tools for professionals at corporations, including members of business development, M&A, finance, and treasury departments. These specialists are responsible for corporate finance, valuation, and transaction-related deliverables on a daily basis. They also work with investment bankers on various M&A transactions (including leveraged buyouts (LBOs) and related financings), as well as IPOs, restructurings, and other capital markets transactions.
Investing in Private Equity Partnerships : The Role of Monitoring and Reporting
Private equity has become an important asset class for institutional investors. As the asset class grows and investors get more experienced, the debate concerning transparency and governance of private equity funds has intensified. Fund investors demand more disclosure from private equity fund managers. Are these calls justified? What information do fund investors need? How can private equity fund investors manage their exposure to the asset class effectively? Kay Müller presents an in-depth analysis into the monitoring activities of institutional investors and explores their information requirements by interviewing leading European private equity fund investors. He contrasts these results with the actual reporting by fund managers and reveals essential information gaps based on a disclosure study of private equity fund reports. Since effective and open communication supports long-lasting and trusted partnerships, these findings provide important guidance on how to improve the relationships between investors and fund managers in the private equity industry.
Invariant Probabilities of Markov-Feller Operators and Their Supports
In this book invariant probabilities for a large class of discrete-time homogeneous Markov processes known as Feller processes are discussed. These Feller processes appear in the study of iterated function systems with probabilities, convolution operators, certain time series, etc. Rather than dealing with the processes, the transition probabilities and the operators associated with these processes are studied.
Introduzione al Calcolo Scientifico : Esercizi e problemi risolti con MATLAB = Introduction to scientific computing : Exercises and problem solved with MATLAB
Introduces the fundamental concepts for the numerical modeling of partial differential problems. We consider the classic linear elliptic, parabolic and hyperbolic equations, but also other equations, such as those of diffusion and transport, of Navier-Stokes, and the conservation laws. Numerous physical examples underlying these equations are provided, their main mathematical properties are studied, then numerical resolution methods based on finite elements, finite differences, finite volumes and spectral methods are proposed and analyzed. In particular, the algorithmic and computer implementation aspects are discussed and some easy-to-use programs in C ++ language are provided. The text does not presuppose an advanced mathematical knowledge of partial differential equations: the strictly indispensable concepts in this regard are reported in the Appendix. THE VOLUME is therefore suitable for students of scientific degree courses (Engineering, Mathematics, Physics, Chemistry, Information Sciences) and recommended for researchers from the academic and extra-academic world who want to approach this interesting branch of applied mathematics.
Introduction to the Tools of Scientific Computing
The book provides an introduction to common programming tools and methods in numerical mathematics and scientific computing. Unlike widely used standard approaches, it does not focus on any particular language but aims to explain the key underlying concepts. In general, new concepts are first introduced in the particularly user-friendly Python language and then transferred and expanded in various scientific programming environments from C / C ++, Julia and MATLAB to Maple. This includes different approaches to distributed computing.
Introduction to the basic concepts of modern physics : Special relativity, quantum and statistical physics
These notes are designed as a text book for a course on the Modern Physics Theory for undergraduate students. The purpose is providing a rigorous and self-contained presentation of the simplest theoretical framework using elementary mathematical tools.
Introduction to Systems Biology
Informative and cutting-edge, this volume presents a clear and intuitive illustration of the biological systemic approaches and introduces ideal computational methods for research. Introduction to Systems Biology is an indispensable resource, providing a first glimpse into the state-of-the-art in systems biology.
Introduction to Symplectic Dirac Operators
One of the basic ideas in differential geometry is that the study of analytic properties of certain differential operators acting on sections of vector bundles yields geometric and topological properties of the underlying base manifold. Symplectic spinor fields are sections in an L^2-Hilbert space bundle over a symplectic manifold and symplectic Dirac operators, acting on symplectic spinor fields, are associated to the symplectic manifold in a very natural way. Hence they may be expected to give interesting applications in symplectic geometry and symplectic topology. These symplectic Dirac operators are called Dirac operators, since they are defined in an analogous way as the classical Riemannian Dirac operator known from Riemannian spin geometry. They are called symplectic because they are constructed by use of the symplectic setting of the underlying symplectic manifold. This volume is the first one that gives a systematic and self-contained introduction to the theory of symplectic Dirac operators and reflects the current state of the subject. At the same time, it is intended to establish the idea that symplectic spin geometry and symplectic Dirac operators may give valuable tools in symplectic geometry and symplectic topology,
Introduction to Soliton Theory : Applications to Mechanics
This monograph provides the application of soliton theory to solve certain problems selected from the fields of mechanics. The present monograph is not a simple translation of its predecessor appeared in Publishing House of the Romanian Academy in 2002. Improvements outline the way in which the soliton theory is applied to solve some engineering problems. The book addresses concrete resolution methods of certain problems such as the motion of thin elastic rod, vibrations of initial deformed thin elastic rod, the coupled pendulum oscillations, dynamics of left ventricle, transient flow of blood in arteries, the subharmonic waves generation in a piezoelectric plate with Cantor-like structure, and some problems related to Tzitzeica surfaces. This comprehensive study enables the readers to make connections between the soliton physical phenomenon and some partical, engineering problems.
Introduction to robotics : Mechanics and control ; 3rd ed.
Includes material from traditional mechanical engineering, control theoretical material and computer science. It includes coverage of rigid-body transformations and forward and inverse positional kinematics
Introduction to robotics : Mechanics and control ; 2nd ed.
Written for senior level or first year graduate level robotics courses, this text includes material from traditional mechanical engineering, control theoretical material and computer science. It includes coverage of rigid-body transformations and forward and inverse positional kinematics
