- Table View
- List View
Structures and Algorithms: Mathematics and the Nature of Knowledge (Logic, Argumentation & Reasoning #15)
by Jens Erik FenstadThis book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms, i.e., what the readers “see” and how they make use of what they see. Thus in comparison with some other books on the philosophy (or methodology) of science, which employ a syntactic approach, the author’s approach is model theoretic or structural. Properly understood, it extends the current art and science of mathematical modeling to all fields of knowledge. The link between structure and algorithms is mathematics. But viewing “mathematics” as such a link is not exactly what readers most likely learned in school; thus, the task of this book is to explain what “mathematics” should actually mean. Chapter 1, an introductory essay, presents a general analysis of structures, algorithms and how they are to be linked. Several examples from the natural and social sciences, and from the history of knowledge, are provided in Chapters 2–6. In turn, Chapters 7 and 8 extend the analysis to include language and the mind. Structures are what the readers see. And, as abstract cultural objects, they can almost always be seen in many different ways. But certain structures, such as natural numbers and the basic theory of grammar, seem to have an absolute character. Any theory of knowledge grounded in human culture must explain how this is possible. The author’s analysis of this cultural invariance, combining insights from evolutionary theory and neuroscience, is presented in the book’s closing chapter. The book will be of interest to researchers, students and those outside academia who seek a deeper understanding of knowledge in our present-day society.
Structured Stochastic Matrices of M/G/1 Type and Their Applications
by Marcel F. NeutsThis book deals with Markov chains and Markov renewal processes (M/G/1 type). It discusses numerical difficulties which are apparently inherent in the classical analysis of a variety of stochastic models by methods of complex analysis.
Structured Stochastic Matrices of M/G/1 Type and Their Applications
by Marcel F. NeutsThis book deals with Markov chains and Markov renewal processes (M/G/1 type). It discusses numerical difficulties which are apparently inherent in the classical analysis of a variety of stochastic models by methods of complex analysis.
Structured-Population Models in Marine, Terrestrial, and Freshwater Systems (Population and Community Biology Series #18)
by Shripad Tuljapurkar Hal CaswellIn the summer of 1993, twenty-six graduate and postdoctoral stu dents and fourteen lecturers converged on Cornell University for a summer school devoted to structured-population models. This school was one of a series to address concepts cutting across the traditional boundaries separating terrestrial, marine, and freshwa ter ecology. Earlier schools resulted in the books Patch Dynamics (S. A. Levin, T. M. Powell & J. H. Steele, eds., Springer-Verlag, Berlin, 1993) and Ecological Time Series (T. M. Powell & J. H. Steele, eds., Chapman and Hall, New York, 1995); a book on food webs is in preparation. Models of population structure (differences among individuals due to age, size, developmental stage, spatial location, or genotype) have an important place in studies of all three kinds of ecosystem. In choosing the participants and lecturers for the school, we se lected for diversity-biologists who knew some mathematics and mathematicians who knew some biology, field biologists sobered by encounters with messy data and theoreticians intoxicated by the elegance of the underlying mathematics, people concerned with long-term evolutionary problems and people concerned with the acute crises of conservation biology. For four weeks, these perspec tives swirled in discussions that started in the lecture hall and carried on into the sweltering Ithaca night. Diversity mayor may not increase stability, but it surely makes things interesting.
Structured Population Models in Biology and Epidemiology (Lecture Notes in Mathematics #1936)
by P. Auger M. Ballyk R. Bravo de la Parra W. E. Fitzgibbon S. A. Gourley D. Jones M. Langlais R. Liu M. Martcheva T. Nguyen-Huu J. C. Poggiale E. Sánchez H. L. Smith H. R. Thieme G. F. Webb J. WuIn this new century mankind faces ever more challenging environmental and publichealthproblems,suchaspollution,invasionbyexoticspecies,theem- gence of new diseases or the emergence of diseases into new regions (West Nile virus,SARS,Anthrax,etc.),andtheresurgenceofexistingdiseases(in?uenza, malaria, TB, HIV/AIDS, etc.). Mathematical models have been successfully used to study many biological, epidemiological and medical problems, and nonlinear and complex dynamics have been observed in all of those contexts. Mathematical studies have helped us not only to better understand these problems but also to ?nd solutions in some cases, such as the prediction and control of SARS outbreaks, understanding HIV infection, and the investi- tion of antibiotic-resistant infections in hospitals. Structuredpopulationmodelsdistinguishindividualsfromoneanother- cording to characteristics such as age, size, location, status, and movement, to determine the birth, growth and death rates, interaction with each other and with environment, infectivity, etc. The goal of structured population models is to understand how these characteristics a?ect the dynamics of these models and thus the outcomes and consequences of the biological and epidemiolo- cal processes. There is a very large and growing body of literature on these topics. This book deals with the recent and important advances in the study of structured population models in biology and epidemiology. There are six chapters in this book, written by leading researchers in these areas.
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7787)
by Shaoying LiuThis book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8332)
by Shaoying Liu Zhenhua DuanThis book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8979)
by Shaoying Liu Zhenhua DuanThis book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9559)
by Shaoying Liu Zhenhua DuanThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Lecture Notes in Computer Science #12723)
by Jinyun Xue Fumiko Nagoya Shaoying Liu Zhenhua DuanThis book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually.
Structured Matrix Based Methods for Approximate Polynomial GCD (Publications of the Scuola Normale Superiore #15)
by Paola BoitoDefining and computing a greatest common divisor of two polynomials with inexact coefficients is a classical problem in symbolic-numeric computation. The first part of this book reviews the main results that have been proposed so far in the literature. As usual with polynomial computations, the polynomial GCD problem can be expressed in matrix form: the second part of the book focuses on this point of view and analyses the structure of the relevant matrices, such as Toeplitz, Toepliz-block and displacement structures. New algorithms for the computation of approximate polynomial GCD are presented, along with extensive numerical tests. The use of matrix structure allows, in particular, to lower the asymptotic computational cost from cubic to quadratic order with respect to polynomial degree.
Structured Matrices in Numerical Linear Algebra: Analysis, Algorithms and Applications (Springer INdAM Series #30)
by Dario Andrea Bini Fabio Di Benedetto Eugene Tyrtyshnikov Marc Van BarelThis book gathers selected contributions presented at the INdAM Meeting Structured Matrices in Numerical Linear Algebra: Analysis, Algorithms and Applications, held in Cortona, Italy on September 4-8, 2017. Highlights cutting-edge research on Structured Matrix Analysis, it covers theoretical issues, computational aspects, and applications alike. The contributions, written by authors from the foremost international groups in the community, trace the main research lines and treat the main problems of current interest in this field. The book offers a valuable resource for all scholars who are interested in this topic, including researchers, PhD students and post-docs.
Structured Matrices and Polynomials: Unified Superfast Algorithms
by Victor Y. PanThis user-friendly, engaging textbook makes the material accessible to graduate students and new researchers who wish to study the rapidly exploding area of computations with structured matrices and polynomials. The book goes beyond research frontiers and, apart from very recent research articles, includes previously unpublished results.
Structured Decision Making: A Practical Guide to Environmental Management Choices
by Robin Gregory Lee Failing Michael Harstone Graham Long Tim McDaniels Dan OhlsonThis book outlines the creative process of making environmental management decisions using the approach called Structured Decision Making. It is a short introductory guide to this popular form of decision making and is aimed at environmental managers and scientists. This is a distinctly pragmatic label given to ways for helping individuals and groups think through tough multidimensional choices characterized by uncertain science, diverse stakeholders, and difficult tradeoffs. This is the everyday reality of environmental management, yet many important decisions currently are made on an ad hoc basis that lacks a solid value-based foundation, ignores key information, and results in selection of an inferior alternative. Making progress – in a way that is rigorous, inclusive, defensible and transparent – requires combining analytical methods drawn from the decision sciences and applied ecology with deliberative insights from cognitive psychology, facilitation and negotiation. The authors review key methods and discuss case-study examples based in their experiences in communities, boardrooms, and stakeholder meetings. The goal of this book is to lay out a compelling guide that will change how you think about making environmental decisions. Visit www.wiley.com/go/gregory/sdm to access the figures and tables from the book.
Structured Decision Making: A Practical Guide to Environmental Management Choices
by Robin Gregory Lee Failing Michael Harstone Graham Long Tim McDaniels Dan OhlsonThis book outlines the creative process of making environmental management decisions using the approach called Structured Decision Making. It is a short introductory guide to this popular form of decision making and is aimed at environmental managers and scientists. This is a distinctly pragmatic label given to ways for helping individuals and groups think through tough multidimensional choices characterized by uncertain science, diverse stakeholders, and difficult tradeoffs. This is the everyday reality of environmental management, yet many important decisions currently are made on an ad hoc basis that lacks a solid value-based foundation, ignores key information, and results in selection of an inferior alternative. Making progress – in a way that is rigorous, inclusive, defensible and transparent – requires combining analytical methods drawn from the decision sciences and applied ecology with deliberative insights from cognitive psychology, facilitation and negotiation. The authors review key methods and discuss case-study examples based in their experiences in communities, boardrooms, and stakeholder meetings. The goal of this book is to lay out a compelling guide that will change how you think about making environmental decisions. Visit www.wiley.com/go/gregory/sdm to access the figures and tables from the book.
Structured Credit Portfolio Analysis, Baskets and CDOs
by Christian Bluhm Ludger OverbeckThe financial industry is swamped by credit products whose economic performance is linked to the performance of some underlying portfolio of credit-risky instruments, like loans, bonds, swaps, or asset-backed securities. Financial institutions continuously use these products for tailor-made long and short positions in credit risks. Based on a stead
Structured Controllers for Uncertain Systems: A Stochastic Optimization Approach (Advances in Industrial Control)
by Rosario ToscanoStructured Controllers for Uncertain Systems focuses on the development of easy-to-use design strategies for robust low-order or fixed-structure controllers (particularly the industrially ubiquitous PID controller). These strategies are based on a recently-developed stochastic optimization method termed the "Heuristic Kalman Algorithm" (HKA) the use of which results in a simplified methodology that enables the solution of the structured control problem without a profusion of user-defined parameters. An overview of the main stochastic methods employable in the context of continuous non-convex optimization problems is also provided and various optimization criteria for the design of a structured controller are considered; H∞, H2, and mixed H2/H∞ each merits a chapter to itself. Time-domain-performance specifications can be easily incorporated in the design.
Structured Adaptive Mesh Refinement (The IMA Volumes in Mathematics and its Applications #117)
by Scott B. Baden Nikos P. Chrisochoides Dennis B. Gannon Michael L. NormanThe papers presented here describe research to improve the general understanding of the application of SAMR to practical problems, to identify issues critical to efficient and effective implementation on high performance computers and to stimulate the development of a community code repository for software including benchmarks to assist in the evaluation of software and compiler technologies. The ten chapters have been divided into two parts reflecting two major issues in the topic: programming complexity of SAMR algorithms and the applicability and numerical challenges of SAMR methods.
Structure Theory for Canonical Classes of Finite Groups
by Wenbin GuoThis book offers a systematic introduction to recent achievements and development in research on the structure of finite non-simple groups, the theory of classes of groups and their applications. In particular, the related systematic theories are considered and some new approaches and research methods are described – e.g., the F-hypercenter of groups, X-permutable subgroups, subgroup functors, generalized supplementary subgroups, quasi-F-group, and F-cohypercenter for Fitting classes. At the end of each chapter, we provide relevant supplementary information and introduce readers to selected open problems.
Structure-Preserving Algorithms for Oscillatory Differential Equations II
by Xinyuan Wu Kai Liu Wei ShiThis book describes a variety of highly effective and efficient structure-preserving algorithms for second-order oscillatory differential equations. Such systems arise in many branches of science and engineering, and the examples in the book include systems from quantum physics, celestial mechanics and electronics. To accurately simulate the true behavior of such systems, a numerical algorithm must preserve as much as possible their key structural properties: time-reversibility, oscillation, symplecticity, and energy and momentum conservation. The book describes novel advances in RKN methods, ERKN methods, Filon-type asymptotic methods, AVF methods, and trigonometric Fourier collocation methods. The accuracy and efficiency of each of these algorithms are tested via careful numerical simulations, and their structure-preserving properties are rigorously established by theoretical analysis. The book also gives insights into the practical implementation of the methods. This book is intended for engineers and scientists investigating oscillatory systems, as well as for teachers and students who are interested in structure-preserving algorithms for differential equations.
Structure-Preserving Algorithms for Oscillatory Differential Equations
by Xinyuan Wu Xiong You Bin WangStructure-Preserving Algorithms for Oscillatory Differential Equations describes a large number of highly effective and efficient structure-preserving algorithms for second-order oscillatory differential equations by using theoretical analysis and numerical validation. Structure-preserving algorithms for differential equations, especially for oscillatory differential equations, play an important role in the accurate simulation of oscillatory problems in applied sciences and engineering. The book discusses novel advances in the ARKN, ERKN, two-step ERKN, Falkner-type and energy-preserving methods, etc. for oscillatory differential equations.The work is intended for scientists, engineers, teachers and students who are interested in structure-preserving algorithms for differential equations. Xinyuan Wu is a professor at Nanjing University; Xiong You is an associate professor at Nanjing Agricultural University; Bin Wang is a joint Ph.D student of Nanjing University and University of Cambridge.
The Structure of United Nations Economic-Aid to Underdeveloped Countries
by U. KirdarIt is becoming increasingly evident that the existence together, in a diminishing world, of rich nations and very poor nations, is the critical problem of our time; and indeed other questions of international relations are rapidly taking on the appearance of being merely aspects of this central crux. According to some authorities it may only be a matter of a few years before the food and population question takes on such alarming proportions as to make our present troubles on the international scene seem slight by comparison. It is only against this background that we can fully appreciate the significance of the United Nations institutions and procedures for the mediation of aid, whether financial or technical, to developing coun tries; and indeed also for the flow of credit and skills between countries generally, for few nations or none belong wholly to one side in this matter, and the whole question is one that vitally affects the immediate futures of every one of the members of the international community.
The Structure of the Real Line (Monografie Matematyczne #71)
by Lev BukovskýThe rapid development of set theory in the last fifty years, mainly by obtaining plenty of independence results, strongly influenced an understanding of the structure of the real line. This book is devoted to the study of the real line and its subsets taking into account the recent results of set theory. Whenever possible the presentation is done without the full axiom of choice. Since the book is intended to be self-contained, all necessary results of set theory, topology, measure theory, and descriptive set theory are revisited with the purpose of eliminating superfluous use of an axiom of choice. The duality of measure and category is studied in a detailed manner. Several statements pertaining to properties of the real line are shown to be undecidable in set theory. The metamathematics behind set theory is shortly explained in the appendix. Each section contains a series of exercises with additional results.
Structure of Space and the Submicroscopic Deterministic Concept of Physics
by Volodymyr KrasnoholovetsThis book, Structure of Space and the Submicroscopic Deterministic Concept of Physics, completely formalizes fundamental physics by showing that all space, which consists of objects and distances, arises from the same origin: manifold of sets. A continuously organized mathematical lattice of topological balls represents the primary substrate named the tessellattice. All fundamental particles arise as local fractal deformations of the tessellattice. The motion of such particulate balls through the tessellattice causes it to deform neighboring cells, which generates a cloud of a new kind of spatial excitations named ‘inertons’. Thus, so-called "hidden variables" introduced in the past by de Broglie, Bohm and Vigier have acquired a sense of real quasiparticles of space.This theory of space unambiguously answers such challenging issues as: what is mass, what is charge, what is a photon, what is the wave psi-function, what is a neutrino, what are the nuclear forces, and so on. The submicroscopic concept uncovers new peculiar properties of quantum systems, especially the dynamics of particles within a section equal to the particle’s de Broglie wavelength, which are fundamentally impossible for quantum mechanics. This concept, thoroughly discussed in the book, allows one to study complex problems in quantum optics and quantum electrodynamics in detail, to disclose an inner world of particle physics by exposing the structure of quarks and nucleons in real space, and to derive gravity as the transfer of local deformations of space by inertons which in turn completely solves the problems of dark matter and dark energy. Inertons have revealed themselves in a number of experiments carried out in condensed media, plasma, nuclear physics and astrophysics, which are described in this book together with prospects for future studies in both fundamental and applied physics.
Structure of Space and the Submicroscopic Deterministic Concept of Physics
by Volodymyr KrasnoholovetsThis book, Structure of Space and the Submicroscopic Deterministic Concept of Physics, completely formalizes fundamental physics by showing that all space, which consists of objects and distances, arises from the same origin: manifold of sets. A continuously organized mathematical lattice of topological balls represents the primary substrate named the tessellattice. All fundamental particles arise as local fractal deformations of the tessellattice. The motion of such particulate balls through the tessellattice causes it to deform neighboring cells, which generates a cloud of a new kind of spatial excitations named ‘inertons’. Thus, so-called "hidden variables" introduced in the past by de Broglie, Bohm and Vigier have acquired a sense of real quasiparticles of space.This theory of space unambiguously answers such challenging issues as: what is mass, what is charge, what is a photon, what is the wave psi-function, what is a neutrino, what are the nuclear forces, and so on. The submicroscopic concept uncovers new peculiar properties of quantum systems, especially the dynamics of particles within a section equal to the particle’s de Broglie wavelength, which are fundamentally impossible for quantum mechanics. This concept, thoroughly discussed in the book, allows one to study complex problems in quantum optics and quantum electrodynamics in detail, to disclose an inner world of particle physics by exposing the structure of quarks and nucleons in real space, and to derive gravity as the transfer of local deformations of space by inertons which in turn completely solves the problems of dark matter and dark energy. Inertons have revealed themselves in a number of experiments carried out in condensed media, plasma, nuclear physics and astrophysics, which are described in this book together with prospects for future studies in both fundamental and applied physics.