- Table View
- List View
Proofs and Refutations
by John Worrall Elie Zahar Imre Lakatos Lakatos Imre Zahar ElieImre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire mathematicians and philosophers aspiring to develop a philosophy of mathematics that accounts for both the static and the dynamic complexity of mathematical practice. With a specially commissioned Preface written by Paolo Mancosu, this book has been revived for a new generation of readers.
Proofs and Refutations
by John Worrall Elie ZaharProofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.
Proofs of the Cantor-Bernstein Theorem
by Arie HinkisThis book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem and the related Bernstein division theorem. While the emphasis is placed on providing accurate proofs, similar to the originals, the discussion is broadened to include aspects that pertain to the methodology of the development of mathematics and to the philosophy of mathematics. Works of prominent mathematicians and logicians are reviewed, including Cantor, Dedekind, Schröder, Bernstein, Borel, Zermelo, Poincaré, Russell, Peano, the Königs, Hausdorff, Sierpinski, Tarski, Banach, Brouwer and several others mainly of the Polish and the Dutch schools. In its attempt to present a diachronic narrative of one mathematical topic, the book resembles Lakatos' celebrated book Proofs and Refutations. Indeed, some of the observations made by Lakatos are corroborated herein. The analogy between the two books is clearly anything but superficial, as the present book also offers new theoretical insights into the methodology of the development of mathematics (proof-processing), with implications for the historiography of mathematics.
Propagation Dynamics on Complex Networks
by Michael Small Guanrong Chen Xinchu FuExplores the emerging subject of epidemic dynamics on complex networks, including theories, methods, and real-world applicationsThroughout history epidemic diseases have presented a serious threat to human life, and in recent years the spread of infectious diseases such as dengue, malaria, HIV, and SARS has captured global attention; and in the modern technological age, the proliferation of virus attacks on the Internet highlights the emergent need for knowledge about modeling, analysis, and control in epidemic dynamics on complex networks. For advancement of techniques, it has become clear that more fundamental knowledge will be needed in mathematical and numerical context about how epidemic dynamical networks can be modelled, analyzed, and controlled. This book explores recent progress in these topics and looks at issues relating to various epidemic systems.Propagation Dynamics on Complex Networks covers most key topics in the field, and will provide a valuable resource for graduate students and researchers interested in network science and dynamical systems, and related interdisciplinary fields.Key Features:Includes a brief history of mathematical epidemiology and epidemic modeling on complex networks.Explores how information, opinion, and rumor spread via the Internet and social networks.Presents plausible models for propagation of SARS and avian influenza outbreaks, providing a reality check for otherwise abstract mathematical modeling.Considers various infectivity functions, including constant, piecewise-linear, saturated, and nonlinear cases.Examines information transmission on complex networks, and investigates the difference between information and epidemic spreading.
Propagation of Multidimensional Nonlinear Waves and Kinematical Conservation Laws (Infosys Science Foundation Series)
by Phoolan PrasadThis book formulates the kinematical conservation laws (KCL), analyses them and presents their applications to various problems in physics. Finally, it addresses one of the most challenging problems in fluid dynamics: finding successive positions of a curved shock front. The topics discussed are the outcome of collaborative work that was carried out mainly at the Indian Institute of Science, Bengaluru, India. The theory presented in the book is supported by referring to extensive numerical results.The book is organised into ten chapters. Chapters 1–4 offer a summary of and briefly discuss the theory of hyperbolic partial differential equations and conservation laws. Formulation of equations of a weakly nonlinear wavefront and those of a shock front are briefly explained in Chapter 5, while Chapter 6 addresses KCL theory in space of arbitrary dimensions. The remaining chapters examine various analyses and applications of KCL equations ending in the ultimate goal-propagation of a three-dimensional curved shock front and formation, propagation and interaction of kink lines on it.
Proper Generalized Decompositions
by Elías Cueto David González Icíar AlfaroThis book is intended to help researchers overcome the entrance barrier to Proper Generalized Decomposition (PGD), by providing a valuable tool to begin the programming task. Detailed Matlab Codes are included for every chapter in the book, in which the theory previously described is translated into practice. Examples include parametric problems, non-linear model order reduction and real-time simulation, among others. Proper Generalized Decomposition (PGD) is a method for numerical simulation in many fields of applied science and engineering. As a generalization of ProperOrthogonal Decomposition or Principal Component Analysis to an arbitrary numberof dimensions, PGD is able to provide the analyst with very accurate solutionsfor problems defined in high dimensional spaces, parametric problems and evenreal-time simulation.
Properly Colored Connectivity of Graphs (SpringerBriefs in Mathematics)
by Xueliang Li Colton Magnant Zhongmei QinA comprehensive survey of proper connection of graphs is discussed in this book with real world applications in computer science and network security. Beginning with a brief introduction, comprising relevant definitions and preliminary results, this book moves on to consider a variety of properties of graphs that imply bounds on the proper connection number. Detailed proofs of significant advancements toward open problems and conjectures are presented with complete references. Researchers and graduate students with an interest in graph connectivity and colorings will find this book useful as it builds upon fundamental definitions towards modern innovations, strategies, and techniques. The detailed presentation lends to use as an introduction to proper connection of graphs for new and advanced researchers, a solid book for a graduate level topics course, or as a reference for those interested in expanding and further developing research in the area.
Properties of QCD Matter at High Baryon Density
by Xiaofeng Luo Qun Wang Nu Xu Pengfei ZhuangThis book highlights the discussions by renown researchers on questions emerged during transition from the relativistic heavy-ion collider (RHIC) to the future electron ion collider (EIC). Over the past two decades, the RHIC has provided a vast amount of data over a wide range of the center of mass energies. What are the scientific priorities, after RHIC is shut down and turned to the future EIC? What should be the future focuses of the high-energy nuclear collisions? What are thermodynamic properties of quantum chromodynamics (QCD) at large baryon density? Where is the phase boundary between quark-gluon-plasma and hadronic matter at high baryon density? How does one make connections from thermodynamics learned in high-energy nuclear collisions to astrophysical topics, to name few, the inner structure of compact stars, and perhaps more interestingly, the dynamical processes of the merging of neutron stars? While most particle physicists are interested in Dark Matter, we should focus on the issues of Visible Matter! Multiple heavy-ion accelerator complexes are under construction: NICA at JINR (4 ~ 11 GeV), FAIR at GSI (2 ~ 4.9 GeV SIS100), HIAF at IMP (2 ~ 4 GeV). In addition, the heavy-ion collision has been actively discussed at the J-PARC. The book is a collective work of top researchers from the field where some of the above-mentioned basic questions will be addressed. We believe that answering those questions will certainly advance our understanding of the phase transition in early universe as well as its evolution that leads to today's world of nature.
Properties, Powers and Structures: Issues in the Metaphysics of Realism (Routledge Studies in Metaphysics)
by Brian Ellis Alexander Bird Howard SankeyWhile the phrase "metaphysics of science" has been used from time to time, it has only recently begun to denote a specific research area where metaphysics meets philosophy of science—and the sciences themselves. The essays in this volume demonstrate that metaphysics of science is an innovative field of research in its own right. The principle areas covered are: The modal metaphysics of properties: What is the essential nature of natural properties? Are all properties essentially categorical? Are they all essentially dispositions, or are some categorical and others dispositional? Realism in mathematics and its relation to science: What does a naturalistic commitment of scientific realism tell us about our commitments to mathematical entities? Can this question be framed in something other than a Quinean philosophy? Dispositions and their relation to causation: Can we generate an account of causation that takes dispositionality as fundamental? And if we take dispositions as fundamental (and hence not having a categorical causal basis), what is the ontological ground of dispositions? Pandispositionalism: Could all properties be dispositional in nature? Natural kinds: Are there natural kinds, and if so what account of their nature should we give? For example, do they have essences? Here we consider how these issues may be illuminated by considering examples from reals science, in particular biochemistry and neurobiology.
Proportional Representation
by Friedrich PukelsheimThe book offers a rigorous description of the procedures that proportional representation systems use to translate vote counts into seat numbers. Since the methodological analysis is guided by practical needs, plenty of empirical instances are provided and reviewed to motivate the development, and to illustrate the results. Concrete examples, like the 2009 elections to the European Parliament in each of the 27 Member States and the 2013 election to the German Bundestag, are analyzed in full detail. The level of mathematical exposition, as well as the relation to political sciences and constitutional jurisprudence makes this book suitable for special graduate courses and seminars.
Proportionen und ihre Musik: Was Brüche und Tonfolgen miteinander zu tun haben
by Karlheinz SchüfflerKlänge können harmonisch sein, Zahlenfolgen auch – ein Zufall? Dieses Buch behandelt eine musikalische Proportionenlehre, also die antike Lehre der Proportionen als die älteste und wichtigste gemeinsame Verankerung der beiden Kulturwissenschaften Mathematik und Musik. Die Musiktheorie der Töne, Intervalle, Tetrachorde, Klänge und Skalen ist nämlich das genaue musikalische Abbild der Gesetze der Arithmetik und ihrer Symmetrien in dem Regelwerk des Spiels mit Zahlen, ihren Proportionen und ihren Medietäten. Alleine schon das Wunder der sogenannten Harmonia perfecta maxima 6 – 8 – 9 – 12, deren Proportionen die Quinte sowie die Quarte bestimmen, die Oktave bilden und den ehernen Ganzton in ihrer Mitte haben, prägte das musikalische Gebäude der pythagoräischen Musik über Jahrtausende. Diese elementare Proportionenkette 6 : 8 : 9 : 12 ist zudem vollkommen symmetrisch und aus der arithmetischen wie auch aus der harmonischen Medietät der Oktavzahlen 6 und 12 aufgebaut. Dieses Buch entwickelt die Proportionenlehre als eine mathematische Wissenschaft und stellt ihr immer die musikalische Motivierung mittels zahlreicher Beispiele gegenüber. Die Leitidee ist die Herleitung einer Symmetrietheorie von der Harmonia perfecta maxima bis hin zur Harmonia perfecta infinita abstracta, einem Prozess unbeschränkter Tongenerierungen durch babylonische Mittelwerte-Iterationen. Dabei wird hieraus simultan sowohl die klassisch-antike Diatonik gewonnen als auch der Weg „vom Monochord zur Orgel“ neu beleuchtet. Das Werk enthält schließlich eine von der Mathematik geleitete Hinführung zu der antiken Tetrachordik wie auch zu den kirchentonalen Skalen und schließt mit einem Exkurs in die Klangwelten der Orgel. Hierbei führt uns die „Fußzahlregel der Orgel“ anhand von Beispielen in die Welt der klanglichen Dispositionen dieses Instruments und zeigt die Allgegenwärtigkeit der antiken Proportionenlehre auf. Dieses Buch eignet sich für alle, die Interesse an Mathematik und Musik haben.
Proportions and Their Music: What Fractions and Tone Sequences Have to Do with Each Other
by Karlheinz SchüfflerSounds can be harmonic, number sequences too - a coincidence?This book deals with a musical theory of proportions, i.e. the ancient doctrine of proportions as the oldest and most important common anchorage of the two cultural sciences mathematics and music.The musical theory of tones, intervals, tetrachords, sounds and scales is in fact the exact musical image of the laws of arithmetic and its symmetries in the set of rules of playing with numbers, their proportions and their medievals. Alone the miracle of the so-called Harmonia perfecta maxima 6 - 8 - 9 - 12, whose proportions determine the fifth as well as the fourth, form the octave and have the brazen whole tone in their center, shaped the musical edifice of Pythagorean music for thousands of years. This elementary chain of proportions 6 : 8 : 9 : 12 is, moreover, completely symmetrical and built up from the arithmetic as well as from the harmonic medieta of the octave numbers 6 and 12.This book develops the theory of proportions as a mathematical science and always contrasts it with the musical motivation by means of numerous examples. The main idea is the derivation of a theory of symmetry from the Harmonia perfecta maxima to the Harmonia perfecta infinita abstracta, a process of unlimited tone generations by Babylonian mean iterations. From this, both the classical-antique diatonic is simultaneously extracted and the path "from the monochord to the organ" is re-examined.Finally, the work contains a mathematically guided introduction to the ancient tetrachordics as well as to the church tonal scales and concludes with an excursion into the sound worlds of the organ. Here the "foot-number rule of the organ" leads us by means of examples into the world of the tonal dispositions of this instrument and shows the omnipresence of the ancient theory of proportions. This book is suitable for anyone with an interest in mathematics and music.This book is a translation of the original German 1st edition Proportionen und ihre Musik by Karlheinz Schüffler, Springer-Verlag GmbH Germany, part of Springer Nature in 2019. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation. Springer Nature works continuously to further the development of tools for the production of books and on the related technologies to support the authors.
Prospect Theory
by Peter P. WakkerProspect Theory: For Risk and Ambiguity provides the first comprehensive and accessible textbook treatment of the way decisions are made both when we have the statistical probabilities associated with uncertain future events (risk) and when we lack them (ambiguity). The book presents models, primarily prospect theory, that are both tractable and psychologically realistic. A method of presentation is chosen that makes the empirical meaning of each theoretical model completely transparent. Prospect theory has many applications in a wide variety of disciplines. The material in the book has been carefully organized to allow readers to select pathways through the book relevant to their own interests. With numerous exercises and worked examples, the book is ideally suited to the needs of students taking courses in decision theory in economics, mathematics, finance, psychology, management science, health, computer science, Bayesian statistics, and engineering.
Prospective Longevity: A New Vision of Population Aging
by Warren C. Sanderson Sergei ScherbovWarren Sanderson and Sergei Scherbov argue for a new way to measure individual and population aging. Instead of counting how many years we’ve lived, we should think about our “prospective age”—the number of years we expect to have left. Their pioneering model can generate better demographic estimates, which inform better policy choices.
Prosperous Paupers and Other Population Problems
by Nicholas EberstadtIn current intellectual and public discourse, the entire modern world-from the affluent United States to the poorest low-income regions-is beset today by a broad and alarming array of "population problems." Around the globe, leading scientists, academics, and political figures attribute poverty, hunger, social tension, and even political conflict t
Protecting Privacy through Homomorphic Encryption
by Kristin Lauter Wei Dai Kim LaineThis book summarizes recent inventions, provides guidelines and recommendations, and demonstrates many practical applications of homomorphic encryption. This collection of papers represents the combined wisdom of the community of leading experts on Homomorphic Encryption. In the past 3 years, a global community consisting of researchers in academia, industry, and government, has been working closely to standardize homomorphic encryption. This is the first publication of whitepapers created by these experts that comprehensively describes the scientific inventions, presents a concrete security analysis, and broadly discusses applicable use scenarios and markets. This book also features a collection of privacy-preserving machine learning applications powered by homomorphic encryption designed by groups of top graduate students worldwide at the Private AI Bootcamp hosted by Microsoft Research.The volume aims to connect non-expert readers with this important new cryptographic technology in an accessible and actionable way. Readers who have heard good things about homomorphic encryption but are not familiar with the details will find this book full of inspiration. Readers who have preconceived biases based on out-of-date knowledge will see the recent progress made by industrial and academic pioneers on optimizing and standardizing this technology. A clear picture of how homomorphic encryption works, how to use it to solve real-world problems, and how to efficiently strengthen privacy protection, will naturally become clear.
Protecting Your Privacy in a Data-Driven World (ASA-CRC Series on Statistical Reasoning in Science and Society)
by Claire McKay BowenAt what point does the sacrifice to our personal information outweigh the public good? If public policymakers had access to our personal and confidential data, they could make more evidence-based, data-informed decisions that could accelerate economic recovery and improve COVID-19 vaccine distribution. However, access to personal data comes at a steep privacy cost for contributors, especially underrepresented groups. Protecting Your Privacy in a Data-Driven World is a practical, nontechnical guide that explains the importance of balancing these competing needs and calls for careful consideration of how data are collected and disseminated by our government and the private sector. Not addressing these concerns can harm the same communities policymakers are trying to protect through data privacy and confidentiality legislation.
Protein Bioinformatics (Methods in Molecular Biology #2836)
by Frédérique LisacekThis detailed volume explores techniques for protein bioinformatics research, including databases, software tools, and computational methods, in the context of protein science or proteomics and opening to other omics areas. Beginning with a section on proteogenomics, the book continues by covering posttranslational modifications, processing large-scale mass spectrometry data, protein structure and interactions, as well as protein feature inference. Written for the highly successful Methods in Molecular Biology series, chapters include the kind of detailed implementation advice to ensure efficacious results. Authoritative and practical, Protein Bioinformatics serves as an ideal guide for researchers in disciplines encompassing the biotechnological, pharmaceutical, biological, and medical sciences, as well as the computational and engineering sciences.
Protein Bioinformatics: From Protein Modifications and Networks to Proteomics (Methods in Molecular Biology #1558)
by Cathy H. Wu Cecilia N. Arighi Karen E. RossThis volume introduces bioinformatics research methods for proteins, with special focus on protein post-translational modifications (PTMs) and networks. This book is organized into four parts and covers the basic framework and major resources for analysis of protein sequence, structure, and function; approaches and resources for analysis of protein PTMs, protein-protein interactions (PPIs) and protein networks, including tools for PPI prediction and approaches for the construction of PPI and PTM networks; and bioinformatics approaches in proteomics, including computational methods for mass spectrometry-based proteomics and integrative analysis for alternative splice isoforms, for functional discovery. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory or computational protocols, and tips on troubleshooting and avoiding known pitfalls.Cutting-edge and thorough, Protein Bioinformatics: From Protein Modifications and Networks to Proteomics is a valuable resource for readers who wish to learn about state-of-the-art bioinformatics databases and tools, novel computational methods, and future trends in protein and proteomic data analysis in systems biology. This book is useful to researchers who work in the biotechnology and pharmaceutical industries, and in various academic departments, such as biological and medical sciences and computer sciences and engineering.
Protein Families
by Alex Bateman Vladimir Uversky Christine OrengoNew insights into the evolution and nature of proteinsExploring several distinct approaches, this book describes the methods for comparing protein sequences and protein structures in order to identify homologous relationships and classify proteins and protein domains into evolutionary families. Readers will discover the common features as well as the key philosophical differences underlying the major protein classification systems, including Pfam, Panther, SCOP, and CATH. Moreover, they'll discover how these systems can be used to understand the evolution of protein families as well as understand and predict the degree to which structural and functional information are shared between relatives in a protein family.Edited and authored by leading international experts, Protein Families offers new insights into protein families that are important to medical research as well as protein families that help us understand biological systems and key biological processes such as cell signaling and the immune response. The book is divided into three sections: Section I: Concepts Underlying Protein Family Classification reviews the major strategies for identifying homologous proteins and classifying them into families. Section II: In-Depth Reviews of Protein Families focuses on some fascinating super protein families for which we have substantial amounts of sequence, structural and functional data, making it possible to trace the emergence of functionally diverse relatives. Section III: Review of Protein Families in Important Biological Systems examines protein families associated with a particular biological theme, such as the cytoskeleton.All chapters are extensively illustrated, including depictions of evolutionary relationships. References at the end of each chapter guide readers to original research papers and reviews in the field.Covering protein family classification systems alongside detailed descriptions of select protein families, this book offers biochemists, molecular biologists, protein scientists, structural biologists, and bioinformaticians new insight into the evolution and nature of proteins.
Protein Function Prediction
by Daisuke KiharaGene function annotation has been a central question in molecular biology. The importance of computational function prediction is increasing because more and more large scale biological data, including genome sequences, protein structures, protein-protein interaction data, microarray expression data, and mass spectrometry data, are awaiting biological interpretation. Traditionally when a genome is sequenced, function annotation of genes is done by homology search methods, such as BLAST or FASTA. However, since these methods are developed before the genomics era, conventional use of them is not necessarily most suitable for analyzing a large scale data. Therefore we observe emerging development of computational gene function prediction methods, which are targeted to analyze large scale data, and also those which use such omics data as additional source of function prediction. In this book, we overview this emerging exciting field. The authors have been selected from 1) those who develop novel purely computational methods 2) those who develop function prediction methods which use omics data 3) those who maintain and update data base of function annotation of particular model organisms (E. coli), which are frequently referred
Protein Homology Detection Through Alignment of Markov Random Fields
by Jinbo Xu Sheng Wang Jianzhu MaThis work covers sequence-based protein homology detection, a fundamental and challenging bioinformatics problem with a variety of real-world applications. The text first surveys a few popular homology detection methods, such as Position-Specific Scoring Matrix (PSSM) and Hidden Markov Model (HMM) based methods, and then describes a novel Markov Random Fields (MRF) based method developed by the authors. MRF-based methods are much more sensitive than HMM- and PSSM-based methods for remote homolog detection and fold recognition, as MRFs can model long-range residue-residue interaction. The text also describes the installation, usage and result interpretation of programs implementing the MRF-based method.
Protein Interactions: The Molecular Basis of Interactomics
by Volkhard HelmsProtein Interactions A fundamental guide to the burgeoning field of protein interactions From enzymes to transcription factors to cell membrane receptors, proteins are at the heart of biological cell function. Virtually all cellular processes are governed by their interactions, with one another, with cell bodies, with DNA, or with small molecules. The systematic study of these interactions is called Interactomics, and research within this new field promises to shape the future of molecular cell biology. Protein Interactions goes beyond any existing guide to protein interactions, presenting the first truly comprehensive overview of the field. Edited by two leading scholars in the field of protein bioinformatics, this book covers all known categories of protein interaction, stable as well as transient, as well as the effect of mutations and post-translational modifications on the interaction behavior. Protein Interactions readers will also find: Introductory chapters on protein structure, conformational dynamics, and protein-protein binding interfaces A data-driven approach incorporating machine learning and integrating experimental data into computational models An outlook on the current challenges in the field and suggestions for future research Protein Interactions will serve as a fundamental resource for novice researchers who want a systematic introduction to interactomics, as well as for experienced cell biologists and bioinformaticians who want to gain an edge in this exciting new field.
Proteogenomics: Methods and Protocols (Methods in Molecular Biology #2859)
by Jens Allmer Abhishek KumarThis volume presents an up-to-date overview of the current state-of-the-art protocols, and aims to put proteogenomics into a broader perspective. The chapters in this book detail methods and techniques ranging from mass spectrometry to proteomics and proteogenomics and their biomedical implications and applications. Written in the highly successful Methods in Molecular Biology series format, the chapters include introductions to their respective topics, application details for both the expert and non-expert reader, and tips on troubleshooting and avoiding known pitfalls. A highlight for everyone new to the field are the chapters, which put proteogenomics to use to answer biomedical questions. Authoritative and accessible, Proteogenomics: Methods and Protocols aims to ensure successful results in the further study of this vital field.
Proteomics Data Analysis (Methods in Molecular Biology #2361)
by Daniela CecconiThis thorough book collects methods and strategies to analyze proteomics data. It is intended to describe how data obtained by gel-based or gel-free proteomics approaches can be inspected, organized, and interpreted to extrapolate biological information. Organized into four sections, the volume explores strategies to analyze proteomics data obtained by gel-based approaches, different data analysis approaches for gel-free proteomics experiments, bioinformatic tools for the interpretation of proteomics data to obtain biological significant information, as well as methods to integrate proteomics data with other omics datasets including genomics, transcriptomics, metabolomics, and other types of data. Written for the highly successful Methods in Molecular Biology series, chapters include the kind of detailed implementation advice that will ensure high quality results in the lab. Authoritative and practical, Proteomics Data Analysis serves as an ideal guide to introduce researchers, both experienced and novice, to new tools and approaches for data analysis to encourage the further study of proteomics.