Page 4
Page 4
Framing global mathematics : The international mathematical union between theorems and politics
This book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows the sinuous path that was taken to reach this state, from the long nineteenth century, through the two wars, to the present day. International cooperation in mathematics was well established by 1900, centered in Europe. The first International Mathematical Union, IMU, founded in 1920 and disbanded in 1932, reflected above all the trauma of WW I. Since 1950 the current IMU has played an increasing role in defining mathematical excellence, as is shown both in the historical narrative and by analyzing data about the International Congresses of Mathematicians. For each of the three periods discussed, interactions are explored between world politics, the advancement of scientific infrastructures, and the inner evolution of mathematics. Readers will thus take a new look at the place of mathematics in world culture, and how international organizations can make a difference. Aimed at mathematicians, historians of science, scientists, and the scientifically inclined general public.
Fractional-in-time semilinear parabolic equations and applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain fractional kinetic equations. This class of equations is characterized by the presence of a nonlinear time-dependent source, generally of arbitrary growth in the unknown function, a time derivative in the sense of Caputo and the presence of a large class of diffusion operators. The global regularity problem is then treated separately and the analysis is extended to some systems of fractional kinetic equations, including prey-predator models of Volterra–Lotka type and chemical reactions models, all of them possibly containing some fractional kinetics.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Foundations of information and knowledge systems ; 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers presented together with 9 revised short papers and 3 invited lectures were carefully selected during two rounds of reviewing and improvement from from 79 submissions. The papers deal with any foundational aspect of information and knowledge systems, including submissions from researchers working in fields such as discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, geometry, analysis, statistics and optimisation who are interested in applying their ideas, theories and methods to research on information and knowledge systems.
Foundations of Data Mining and Knowledge Discovery
This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art for much of the current research. This book will prove extremely valuable and fruitful for data mining researchers, no matter whether they would like to uncover the fundamental principles behind data mining, or apply the theories to practical applications.
Formal Modeling and Analysis of Timed Systems ; 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Forecasting and Assessing Risk of Individual Electricity Peaks
The overarching aim of this open access book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples.
Finite Elements III : First-Order and Time-Dependent PDEs
Volume III is divided into 28 chapters. The first eight chapters focus on the symmetric positive systems of first-order PDEs called Friedrichs' systems. This part of the book presents a comprehensive and unified treatment of various stabilization techniques from the existing literature. It discusses applications to advection and advection-diffusion equations and various PDEs written in mixed form such as Darcy and Stokes flows and Maxwell's equations. The remainder of Volume III addresses time-dependent problems: parabolic equations (such as the heat equation), evolution equations without coercivity (Stokes flows, Friedrichs' systems), and nonlinear hyperbolic equations (scalar conservation equations, hyperbolic systems). It offers a fresh perspective on the analysis of well-known time-stepping methods. The last five chapters discuss the approximation of hyperbolic equations with finite elements. Here again a new perspective is proposed.
Finite Difference Computing with PDEs : A Modern Software Approach
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analyses of physical behavior as implied by the numerical solutions, and how to apply the methods and software to solve problems in the fields of physics and biology.
Finite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts in mathematics and computer science. The book is easy to read and only requires a command of one-variable calculus and some very basic knowledge about computer programming. Contrary to similar texts on numerical methods and programming, this text has a much stronger focus on implementation and teaches testing and software engineering in particular.
Experimental Research in Evolutionary Computation : The New Experimentalism
This book introduces the new experimentalism in evolutionary computation, providing tools to understand algorithms and programs and their interaction with optimization problems. The book develops and applies statistical techniques to analyze and compare modern search heuristics such as evolutionary algorithms and particle swarm optimization. Treating optimization runs as experiments, the author offers methods for solving complex real-world problems that involve optimization via simulation, and he describes successful applications in engineering and industrial control projects.
Evolutionary Equations : Picard's Theorem for Partial Differential Equations, and Applications
This book provides a solution theory for time-dependent partial differential equations, which classically have not been accessible by a unified method. Instead of using sophisticated techniques and methods, the approach is elementary in the sense that only Hilbert space methods and some basic theory of complex analysis are required. Nevertheless, key properties of solutions can be recovered in an elegant manner.
Evolutionary Algorithms for Solving Multi-Objective Problems
This book for Solving Multi-Objective Problems, significantly augmented with contemporary knowledge and adapted for the classroom. All the various features of multi-objective evolutionary algorithms (MOEAs) are presented in an innovative and student-friendly fashion, incorporating state-of-the-art research results. The diversity of serial and parallel MOEA structures are given, evaluated and compared. The book provides detailed insight into the application of MOEA techniques to an array of practical problems. The assortment of test suites are discussed along with the variety of appropriate metrics and relevant statistical performance techniques.
Ergodic Dynamics : From Basic Theory to Applications
This textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples throughout, the author offers readers an approachable entry-point to the dynamics of ergodic systems. Modern and classical applications complement the theory on topics ranging from financial fraud to virus dynamics, offering numerous avenues for further inquiry. Starting with several simple examples of dynamical systems, the book begins by establishing the basics of measurable dynamical systems, attractors, and the ergodic theorems. From here, chapters are modular and can be selected according to interest. Highlights include the Perron–Frobenius theorem, which is presented with proof and applications that include Google PageRank. An in-depth exploration of invariant measures includes ratio sets and type III measurable dynamical systems using the von Neumann factor classification. Topological and measure theoretic entropy are illustrated and compared in detail, with an algorithmic application of entropy used to study the papillomavirus genome. A chapter on complex dynamics introduces Julia sets and proves their ergodicity for certain maps. Cellular automata are explored as a series of case studies in one and two dimensions, including Conway’s Game of Life and latent infections of HIV. Other chapters discuss mixing properties, shift spaces, and toral automorphisms.
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics ; International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings
Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimization pr- lems from many areas of computer science, operations research, and engineering. However, in recent years it has become evident that at the core of this development task there is a highly complex engineering process, which combines various aspects of algorithm design with empirical analysis techniques and problem-specific background, and which relies heavily on knowledge from a number of disciplines and areas, including computer science, operations research, artificial intelligence, and statistics. This development process needs to be - sisted by a sound methodology that addresses the issues arising in the various phases of algorithm design, implementation, tuning, and experimental eval- tion.
Engineering self-organising systems ; 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
This book discusses a broad variety of topics in an effort to allow room for new ideas and discussion, and eventually a better understanding of the important directions and techniques of Engineering Self-Organizing.This book raises the important question of whether there are underlying statistical mechanics-like principles that apply to emergent multi-agent systems. Answering this question will in the long run provide an important part of the underlying theory of emergent distributed systems.
Energy minimization methods in computer vision and pattern recognition ; 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007, Proceedings
Contains critical issues of representation, learning, and inference. Important new themes include pr- abilistic grammars, image parsing, and the use of datasets with ground-truth to act as benchmarks for evaluating algorithms and as a way to train learning algorithms. Other themes include the development of efficient inference algorithms using advanced techniques from statistics, computer science, and applied mathematics. This book makes no distinction between oral and poster papers. It also contiants sections on al- rithms, applications, image parsing, image processing, motion, shape, and thr- dimensional processing.
Economic Analysis of Information System Investment in Banking Industry
Explains in reahty, examines theoretically, and analyzes statistically information system investment in the banking industry with regard to the process of the information technology revolution. This kind of comprehensive research on the banking industry is the first in the world. It could be seen as an application study for Japanese financial deregulation after 1997. However, our project, the Workshop of Information System Investment, is a theoretical research venture, consisting originally, when it began in 1994, of economists and computer scientists. It aimed to measure the effect of com puter hardware and software on the modern economy, based on the microdata of each firm, and to extend the frontiers of economic science. It was, coin- dentally, the time when this project began full-scale operation, in July 1997, that the voluntary closure of Yamaichi Securities was decided. The failure of the Hokkaido Takushoku Bank was disclosed in November of the same year, and the breakdown, temporary nationalization, buying out, and mergers of several banks succeeded one another. Our research therefore suddenly got into the social spotlight on the application stage. Part I is the first history and strategic guidelines of information systems in the banking industry. Part II summarizes the economic analyses of informa tion system investment in the United States, Europe, and Japan. These parts are foundations for the statistical analyses in Part III.
Dynamical Vision ; ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006, Revised Papers
Classical multiple-view geometry studies the reconstruction of a static scene - served by a rigidly moving camera. However, in many real-world applications the scene may undergo much more complex dynamical changes. For instance, the scene may consist of multiple moving objects (e.g., a trafic scene) or arti- lated motions (e.g., a walking human) or even non-rigid dynamics (e.g., smoke, fire, or a waterfall). In addition, some applications may require interaction with the scene through a dynamical system (e.g., vision-guided robot navigation and coordination). To study the problem of reconstructing dynamical scenes, many new al- braic, geometric, statistical, and computational tools have recently emerged in computer vision, computer graphics, image processing, and vision-based c- trol.
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia.It addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
