- Table View
- List View
Perspectives of System Informatics
by Manuel Mazzara Andrei VoronkovThis book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Perspectives of System Informatics
by Andrei Voronkov Irina VirbitskaiteThis book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction (Synthese Library #481)
by Antonio Piccolomini D'AragonaThis book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other.The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the alleged conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on “ecumenic” or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups.Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Perspectives on Spatial Data Analysis
by Luc Anselin Sergio J. ReyThis book takes both a retrospective and prospective view of the field of spatial analysis by combining selected reprints of classic articles by Arthur Getis with current observations by leading experts in the field. Four main aspects are highlighted, dealing with spatial analysis, pattern analysis, local statistics as well as illustrative empirical applications. Researchers and students will gain an appreciation of Getis' methodological contributions to spatial analysis and the broad impact of the methods he has helped pioneer on an impressively broad array of disciplines including spatial epidemiology, demography, economics, and ecology. The volume is a compilation of high impact original contributions, as evidenced by citations, and the latest thinking on the field by leading scholars. This makes the book ideal for advanced seminars and courses in spatial analysis as well as a key resource for researchers seeking a comprehensive overview of recent advances and future directions in the field.
Perspectives on Spin Glasses
by Pierluigi Contucci Cristian GiardinàPresenting and developing the theory of spin glasses as a prototype for complex systems, this book is a rigorous and up-to-date introduction to their properties. The book combines a mathematical description with a physical insight of spin glass models. Topics covered include the physical origins of those models and their treatment with replica theory; mathematical properties like correlation inequalities and their use in the thermodynamic limit theory; main exact solutions of the mean field models and their probabilistic structures; and the theory of the structural properties of the spin glass phase such as stochastic stability and the overlap identities. Finally, a detailed account is given of the recent numerical simulation results and properties, including overlap equivalence, ultrametricity and decay of correlations. The book is ideal for mathematical physicists and probabilists working in disordered systems.
Perturbation Methods
by E. J. HinchPerturbation methods are one of the fundamental tools used by all applied mathematicians and theoretical physicists. In this book, the author has managed to present the theory and techniques underlying such methods in a manner which will give the text wide appeal to students from a broad range of disciplines. Asymptotic expansions, strained coordinates and multiple scales are illustrated by copious use of examples drawn from all areas of applied mathematics and theoretical physics. The philosophy adopted is that there is no single or best method for such problems, but that one may exploit the small parameter given some experience and understanding of similar perturbation problems. The author does not look to perturbation methods to give quantitative answers but rather to give a physical understanding of the subtle balances in a complex problem.
Perturbation Methods for Engineers and Scientists
by AlanW. BushThe subject of perturbation expansions is a powerful analytical technique which can be applied to problems which are too complex to have an exact solution, for example, calculating the drag of an aircraft in flight. These techniques can be used in place of complicated numerical solutions. This book provides an account of the main techniques of perturbation expansions applied to both differential equations and integral expressions. Features include a non-rigorous treatment of the subject at undergraduate level not available in any other current text; contains computer programs to enable the student to explore particular ideas and realistic case studies of industrial applications; a number of practical examples are included in the text to enhance understanding of points raised, particularly in the areas of mechanics and fluid mechanics; presents the main techniques of perturbation expansion at a level accessible to the undergraduate student.
Perturbation Theory: Mathematics, Methods and Applications (Encyclopedia of Complexity and Systems Science Series)
by Giuseppe GaetaThis volume in the Encyclopedia of Complexity and Systems Science, Second Edition, is devoted to the fundamentals of Perturbation Theory (PT) as well as key applications areas such as Classical and Quantum Mechanics, Celestial Mechanics, and Molecular Dynamics. Less traditional fields of application, such as Biological Evolution, are also discussed. Leading scientists in each area of the field provide a comprehensive picture of the landscape and the state of the art, with the specific goal of combining mathematical rigor, explicit computational methods, and relevance to concrete applications. New to this edition are chapters on Water Waves, Rogue Waves, Multiple Scales methods, legged locomotion, Condensed Matter among others, while all other contributions have been revised and updated. Coverage includes the theory of (Poincare’-Birkhoff) Normal Forms, aspects of PT in specific mathematical settings (Hamiltonian, KAM theory, Nekhoroshev theory, and symmetric systems), technical problems arising in PT with solutions, convergence of series expansions, diagrammatic methods, parametric resonance, systems with nilpotent real part, PT for non-smooth systems, and on PT for PDEs [write out this acronym partial differential equations]. Another group of papers is focused specifically on applications to Celestial Mechanics, Quantum Mechanics and the related semiclassical PT, Quantum Bifurcations, Molecular Dynamics, the so-called choreographies in the N-body problem, as well as Evolutionary Theory. Overall, this unique volume serves to demonstrate the wide utility of PT, while creating a foundation for innovations from a new generation of graduate students and professionals in Physics, Mathematics, Mechanics, Engineering and the Biological Sciences.
Perturbation Theory for Linear Operators: Denseness and Bases with Applications
by Aref JeribiThis book discusses the important aspects of spectral theory, in particular, the completeness of generalised eigenvectors, Riesz bases, semigroup theory, families of analytic operators, and Gribov operator acting in the Bargmann space. Recent mathematical developments of perturbed non-self-adjoint operators are discussed with the completeness of the space of generalized eigenvectors, bases on Hilbert and Banach spaces and asymptotic behavior of the eigenvalues of these operators. Most results in the book are motivated by physical problems, such as the perturbation method for sound radiation by a vibrating plate in a light fluid, Gribov operator in Bargmann space and other applications in mathematical physics and mechanics. This book is intended for students, researchers in the field of spectral theory of linear non self-adjoint operators, pure analysts and mathematicians.
Perturbed Functional Iterations: A Matrix Free Large-Scale Nonlinear System Solver in Applied Science with an Introduction to D-Mapping (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
by Suhrit DeyPerturbed functional iterations (PFI) is a large‑scale nonlinear system solver. Nature is abundant with events simulated mathematically by nonlinear systems of equations and inequalities. These we call nonlinear models. Often, they are ill‑conditioned, meaning small changes in data causing huge changes in the output. PFI, previously called the perturbed iterative scheme (PIS), is a numerical method to solve nonlinear systems of equations in multidimensional space. Computational results demonstrate that this numerical method has some unique features, which have made it more practical for applications in engineering and applied mathematics. This book will guide readers in the proper use of PFI, both in theoretical and practical settings. Features: Ideal resource for postgraduates and professional researchers in science and engineering working in nonlinear systems Algorithmically simple enough for engineers and applied scientists to write their own software based on the contents
Perturbed Gradient Flow Trees and A∞-algebra Structures in Morse Cohomology (Atlantis Studies In Dynamical Systems Ser. #6)
by Stephan MescherThis book elaborates on an idea put forward by M. Abouzaid on equipping the Morse cochain complex of a smooth Morse function on a closed oriented manifold with the structure of an A∞-algebra by means of perturbed gradient flow trajectories. This approach is a variation on K. Fukaya’s definition of Morse-A∞-categories for closed oriented manifolds involving families of Morse functions. To make A∞-structures in Morse theory accessible to a broader audience, this book provides a coherent and detailed treatment of Abouzaid’s approach, including a discussion of all relevant analytic notions and results, requiring only a basic grasp of Morse theory. In particular, no advanced algebra skills are required, and the perturbation theory for Morse trajectories is completely self-contained.In addition to its relevance for finite-dimensional Morse homology, this book may be used as a preparation for the study of Fukaya categories in symplectic geometry. It will be of interest to researchers in mathematics (geometry and topology), and to graduate students in mathematics with a basic command of the Morse theory.
Pervasive Computing: Concepts, Technologies and Applications (Lecture Notes in Computer Science #6646)
by Minyi Guo Jingyu Zhou Feilong Tang Yao ShenThis book introduces fundamental concepts and theories in pervasive computing as well as its key technologies and applications. It explains how to design and implement pervasive middleware and real application systems, covering nearly all aspects related to pervasive computing. Key technologies in the book include pervasive computing-oriented resource management and task migration, mobile pervasive transaction, human computer interface, and context collection-oriented wireless sensor networks.
Peter 2.0: The Human Cyborg
by Peter Scott-MorganThe incredible book behind the primetime Channel 4 documentary, Peter: The Human Cyborg'A remarkable account of what it means to be human and what technology can really achieve' Sunday Telegraph'Peter's story is one of the most extraordinary you will ever hear. I urge people to read it' Stephen Fry'A remarkable story . . . you're left desperate to take nothing for granted' Radio Times __________ Peter, a brilliant scientist, is told that he will lose everything he loves. His husband. His family. His friends. His ability to travel the world. All will be gone. But Peter will not give up. He vows that this will not be the end and instead seeks a completely new beginning . . . Peter has Motor Neurone Disease, a condition universally considered by doctors to be terminal. He is told it will destroy his nerve cells and that within about two years, it will take his life too. But, face-to-face with death, he decides there is another way. Using his background in science and technology, he navigates a new path, one that will enable him not just to survive, but to thrive. This is the astonishing true story about Peter Scott-Morgan: the first person to combine his very humanity with artificial intelligence and robotics to become a full Cyborg. His discovery means that his terminal diagnosis is negotiable, something that will rewrite the future.And change the world. By embracing love, life and hope rather than fear, tragedy and despair, he will become Peter 2.0. __________'Compelling . . . Scott-Morgan is a true one-off. It is in the telling of the love story, rather than the technical details of becoming a cyborg, that this book succeeds' The Times 'What's striking is Peter's constant optimism, bravery and his ability to find radical answers to problems that have confounded Britain's brightest minds' Daily Telegraph 'A soaring love story' Financial Times 'Fascinating and extremely moving' Sun
Petr Hájek on Mathematical Fuzzy Logic
by Franco MontagnaThis volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hájek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic. Articles in the volume also focus on the treatment of vagueness, building connections between Hájek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles. Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication. The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that Hájek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call Hájek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by Hájek in the context of fuzzy logic.
Petri Nets: Fundamental Models, Verification and Applications (Wiley-iste Ser. #935)
by Michel DiazA Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantic basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programming languages, multimedia architectures, manufacturing systems, and communication protocols.
Pflegefachpersonen als pflegende Angehörige: Eine qualitative Studie zum Erleben der Doppelrolle
by Anke JähnkeIn diesem Open-Access-Buch stehen Pflegefachpersonen im Zentrum, die zugleich pflegende Angehörige sind. Als professionell Pflegende verfügen sie über Fachwissen, pflegefachliche Kompetenzen und Kenntnisse zum Versorgungssystem. Als pflegende Angehörige sind sie persönlich betroffen. Die qualitative Studie fokussiert auf das Erleben der Doppelrolle als beruflich Pflegende und zugleich pflegende Angehörige. Sind dies ‚zwei Paar Schuhe‘? Ausgehend von einer Literaturrecherche und der Sekundäranalyse von Interviewdaten wurden episodische Interviews mit 15 Interviewpartner*innen geführt. Die Datenanalyse verdeutlicht ihre Aufgaben im Krankheitsverlauf, welche Entwicklungen sie durchlaufen und ihre Erfahrungen in der Doppelrolle. Die Studie zeigt, dass die Befragten über ein Repertoire von Handlungsoptionen verfügen, die sie im Umgang mit Fachpersonen der Gesundheitsversorgung nutzen. Die gewonnenen Erkenntnisse werden in einem Modell gebündelt, das ihre Positionierung als pflegende Angehörige und zugleich Pflegefachperson im Versorgungskontext veranschaulicht.
Pharmaceutical Statistics: MBSW 39, Muncie, Indiana, USA, May 16-18, 2016 (Springer Proceedings in Mathematics & Statistics #218)
by Ray Liu Yi TsongThis book presents the proceedings of the 39th annual Midwest Biopharmaceutical Statistics Workshop (MBSW), held in Muncie, Indiana on May 16–18, 2016. It consists of selected peer- reviewed and revised papers on topics ranging from statistical applications in drug discovery and CMC to biomarkers, clinical trials, and statistical programming. All contributions feature original research, and together they cover the full spectrum of pharmaceutical R&D – with a special focus on emergent topics such as biosimilarity, bioequivalence, clinical trial design, and subgroup identification.Founded in 1978, the MBSW has provided a forum for statisticians to share knowledge, research, and applications on key statistical topics in pharmaceutical R&D for almost forty years, with the 2016 conference theme being “The Power and 3 I’s of Statistics: Innovation, Impact and Integrity.” The papers gathered here will be of interest to all researchers whose work involves the quantitative aspects of pharmaceutical research and development, including pharmaceutical statisticians who want to keep up-to-date with the latest trends, as well as academic statistics researchers looking for areas of application.
Pharmacokinetics: Basics to Applications
by Biswajit MukherjeeThis textbook covers all the essential elements of pharmacokinetics, from basics to applications. It describes authoritative equations and methods on pharmacokinetic evaluation procedures with their importance. Each chapter of the book is supplemented with numerous illustrations and figures for easy understanding of the subject. The book presents mathematical techniques, step- by-step descriptive equations, and applicable statistical analysis methods for the easy understanding of the topic. Further, it covers the preclinical applications and methods of pharmacokinetic aspects. The book also contains mathematical problems and questions related to pharmacokinetics for students. Special emphasis is on recent pharmacokinetic methods and their applications for managing clinical data and biostatistical approaches based on the current literature. This book is primarily meant for researchers and students from academic institutions and to R&D professionals.
The Pharmacy Technician Workbook and Certification Review (Basic Pharmacy and Pharmacology)
by American Pharmacy AssociationThis workbook was developed to correspond with the textbook, The Pharmacy Technician, Sixth Edition, by Perspective Press. For pharmacy technician students, it is a valuable tool for success. It provides a useful format for memorizing important information and checking knowledge. Hundreds of key concepts and terms are carefully explained, and there are over 1,000 exercises and problems for self testing. Answers are included at the back of the book "In the Workplace" sections provide sample job-related documents and skills checklists. The sixth edition includes additional skills checklists as well as "In the Workplace Activities" that provide practical, active-learning applications of the concepts discussed in The Pharmacy Technician. Working out these exercises and activities successfully will help you to succeed in your training.
Phase Field Theory in Materials Physics: The Hodograph Equation
by Peter GalenkoThis book deals with the use of the hodograph equation in phase transformations in condensed matter, especially, for crystallization and solidification processes. The main focus of the book is the interpretation of the phase-field equations for isotropic and anisotropic interfaces based on the advanced Gibbs–Thomson and Herring conditions, respectively. Beginning with the basic ideas behind the extended irreversible thermodynamics, the kinetic phase-field model for slow and arbitrarily fast phase transformations is derived where the unified hodograph equation follows from:• the sharp interface limit of the diffuse interface or• the traveling wave solution of the propagating phase field.Under the example of solute trapping and disorder trapping effects, comparing theoretical results with molecular dynamics simulations, and with the analysis of experimental data, the concrete workability of the developed hodograph equation is demonstrated for widest range of driving force in phase transformations.
Phase II Clinical Development of New Drugs
by Naitee Ting Ding-Geng Chen Shuyen Ho Joseph C. CappelleriThis book focuses on how to appropriately plan and develop a Phase II program, and how to design Phase II clinical trials and analyze their data. It provides a comprehensive overview of the entire drug development process and highlights key questions that need to be addressed for the successful execution of Phase II, so as to increase its success in Phase III and for drug approval. Lastly it warns project team members of the common potential pitfalls and offers tips on how to avoid them.
Phase Space Dynamics in Plasma Based Wakefield Acceleration (Springer Theses)
by Xinlu XuThis book explores several key issues in beam phase space dynamics in plasma-based wakefield accelerators. It reveals the phase space dynamics of ionization-based injection methods by identifying two key phase mixing processes. Subsequently, the book proposes a two-color laser ionization injection scheme for generating high-quality beams, and assesses it using particle-in-cell (PIC) simulations. To eliminate emittance growth when the beam propagates between plasma accelerators and traditional accelerator components, a method using longitudinally tailored plasma structures as phase space matching components is proposed. Based on the aspects above, a preliminary design study on X-ray free-electron lasers driven by plasma accelerators is presented. Lastly, an important type of numerical noise—the numerical Cherenkov instabilities in particle-in-cell codes—is systematically studied.
Phase Transition Dynamics
by Tian Ma Shouhong WangThis book is an introduction to a comprehensive and unified dynamic transition theory for dissipative systems and to applications of the theory to a range of problems in the nonlinear sciences. The main objectives of this book are to introduce a general principle of dynamic transitions for dissipative systems, to establish a systematic dynamic transition theory, and to explore the physical implications of applications of the theory to a range of problems in the nonlinear sciences. The basic philosophy of the theory is to search for a complete set of transition states, and the general principle states that dynamic transitions of all dissipative systems can be classified into three categories: continuous, catastrophic and random. The audience for this book includes advanced graduate students and researchers in mathematics and physics as well as in other related fields.
Phase Transition Dynamics
by Tian Ma Shouhong WangThis book is an introduction to a comprehensive and unified dynamic transition theory for dissipative systems and to applications of the theory to a range of problems in the nonlinear sciences. The main objectives of this book are to introduce a general principle of dynamic transitions for dissipative systems, to establish a systematic dynamic transition theory, and to explore the physical implications of applications of the theory to a range of problems in the nonlinear sciences. The basic philosophy of the theory is to search for a complete set of transition states, and the general principle states that dynamic transitions of all dissipative systems can be classified into three categories: continuous, catastrophic and random. The audience for this book includes advanced graduate students and researchers in mathematics and physics as well as in other related fields.This second edition introduces a unified theory for topological phase transitions, provides a first-principle approach to statistical and quantum physics, and offers a microscopic mechanism of quantum condensates (Bose-Einstein condensation, superfluidity, and superconductivity). Reviews of first edition: “The goals of this interesting book are to derive a general principle of dynamic transitions for dissipative systems and to establish a systematic dynamic transition theory for a wide range of problems in the nonlinear sciences. … The intended audience for this book includes students and researchers working on nonlinear problems in physics, meteorology, oceanography, biology, chemistry, and the social sciences.” (Carlo Bianca, Mathematical Reviews, December, 2014) “This is a clearly written book on numerous types of phase transitions taken in a broad sense when a dynamical dissipative system transforms from one physical state into another. … The book is a very useful literature not only for the professionals in the field of dynamic systems and phase transitions but also for graduate students due to its interdisciplinary coverage and state-of-the-art level.” (Vladimir Čadež, zbMATH, Vol. 1285, 2014)
Phase Transitions (Primers in Complex Systems #3)
by Ricard SoléPhase transitions--changes between different states of organization in a complex system--have long helped to explain physics concepts, such as why water freezes into a solid or boils to become a gas. How might phase transitions shed light on important problems in biological and ecological complex systems? Exploring the origins and implications of sudden changes in nature and society, Phase Transitions examines different dynamical behaviors in a broad range of complex systems. Using a compelling set of examples, from gene networks and ant colonies to human language and the degradation of diverse ecosystems, the book illustrates the power of simple models to reveal how phase transitions occur. Introductory chapters provide the critical concepts and the simplest mathematical techniques required to study phase transitions. In a series of example-driven chapters, Ricard Solé shows how such concepts and techniques can be applied to the analysis and prediction of complex system behavior, including the origins of life, viral replication, epidemics, language evolution, and the emergence and breakdown of societies. Written at an undergraduate mathematical level, this book provides the essential theoretical tools and foundations required to develop basic models to explain collective phase transitions for a wide variety of ecosystems.