This book addresses a modern topic in reliability: multi-state and continuous-state system reliability, which has been intensively developed in recent years. It offers an up-to-date overview of the latest developments in reliability theory for multi-state systems, engineering applications to a variety of technical problems, and case studies that will be of interest to reliability engineers and industrial managers. It also covers corresponding theoretical issues, as well as case studies illustrating the applications of the corresponding theoretical advances. The book is divided into two parts: Modern Mathematical Methods for Multi-state System Reliability Analysis (Part 1), and Applications and Case Studies (Part 2), which examines real-world multi-state systems. It will greatly benefit scientists and researchers working in reliability, as well as practitioners and managers with an interest in reliability and performability analysis. It can also be used as a textbook or as a supporting text for postgraduate courses in Industrial Engineering, Electrical Engineering, Mechanical Engineering, Applied Mathematics, and Operations Research.

Fractals have changed the way we understand and study nature. This change has been brought about mainly by the work of B. B. Mandelbrot and his book The Fractal Geometry of Nature. Now here is a book that collects articles treating fractals in the earth sciences. The themes chosen span, as is appropriate for a discourse on fractals, many orders of magnitude; including earthquakes, ocean floor topography, fractures, faults, mineral crystallinity, gold and silver deposition. There are also chapters on dynamical processes that are fractal, such as rivers, earthquakes, and a paper on self-organized criticality. Many of the chapters discuss how to estimate fractal dimensions, Hurst exponents, and other scaling exponents. This book, in a way, represents a snapshot of a field in which fractals has brought inspiration and a fresh look at familiar subjects. New ideas and attempts to quantify the world we see around us are found throughout. Many of these ideas will grow and inspire further work, others will be superseded by new observations and insights, most probably with future contributions by the authors of these chapters.

One service mathematics has rendered the ~Et moi, ..., si j'avait su comment en revenir, human race. It has put common sense back je riy serais point aile.' Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non- linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. o'; 'One service logic has rendered com- puter science .. o'; 'One service category theory has rendered mathematics ...'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

This book continues the biannual series of conference proceedings, which has become a classical reference resource in traffic and granular research alike, and addresses the latest developments at the intersection of physics, engineering and computational science. These involve complex systems, in which multiple simple agents, be they vehicles or particles, give rise to surprising and fascinating phenomena. The contributions collected in these proceedings cover several research fields, all of which deal with transport. Topics include highway, pedestrian and internet traffic; granular matter; biological transport; transport networks; data acquisition; data analysis and technological applications. Different perspectives, i.e., modeling, simulations, experiments, and phenomenological observations are considered.

This volume is a sequel to the books Fractals: Theory and Applications in Engineering (Springer-Verlag, 1999) and Fractals in Engineering. From Theory to Industrial Applications (Springer-Verlag, 1997), presenting some of the most recent advances in the ?eld. It is a fascinating exercise to follow the progress of knowledge in this interdisciplinary area, as witnessed by these three volumes. First,con?rmingprevioustrendsobservedin1997and1999,appliedma- ematical research on fractals has now reached a mature level, where beautiful theories are developed in direct contact with engineering concerns. The four papers in the Mathematical Aspects section constitute valuable additions to the set of tools needed by the engineer: Synthetic pictures modelling and rendering in computer graphics (Theory and Applications of Fractal Tops, by Michael Barnsley), curve approximation and "fractal B-splines" (Splines, Fractal Functions, and Besov and Triebel-Lizorkin Spaces, by Peter Mas- pust), deep understanding of the Hol .. derian properties of certain stochastic processes useful in a large number of applications (H.. olderian random fu- tions, by Antoine Ayache et al. ), and study of the invariant measure of a coupled discrete dynamical system (Fractal Stationary Density in Coupled Maps,byJu..rgen Jost et al. ). The second section of the book describes novel physical applications as well as recent progress on more classical ones. The paper A Network of Fr- tal Force Chains and Their E?ect in Granular Materials under Compression by Luis E. Vallejo et al.

Parallel CFD 2008, the twentieth in the high-level international series of meetings featuring different aspect of parallel computing in computational?uid dynamics and other modern scienti?c domains was held May 19?22, 2008 in Lyon, France. The themes of the 2008 meeting included the traditional emphases of this c- ference, and experiences with contemporary architectures. Around 70 presentations were included into the conference program in the following sessions: Parallel Algorithms and solvers Parallel performances with contemporary architectures Structured and unstructured grid methods, boundary methods software framework and components architecture CFD applications(Bio ?uid, environmentalproblem)Lattice Boltzmannmethodand SPH Optimisation in Aerodynamics This book presents an up-to-date overviewof the state of the art in Parallel C- putational Fluid Dynamics from Asia, Europe, and North America. This reviewed proceedingsincluded about sixty percent of the oral lectures presented at the conf- ence. The editors. VI Preface Parallel CFD 2008 was organized by the Institut Camille Jordan of the Univ- sity of Lyon 1 in collaboration with the Center for the Development of the Parallel Scienti?c Computing. The Scienti?c Committee and Local Organizers of Parallel CFD 2008 are - lighted to acknowledge the generous sponsorship of the following organizations, through ?nancial or in-kind assistance. Assistance of our sponsors allowed to - ganize scienti?c as well as social program of the conference.

Probably the first book to describe computational methods for numerically computing steady state and Hopf bifurcations. Requiring only a basic knowledge of calculus, and using detailed examples, problems, and figures, this is an ideal textbook for graduate students.

This book contains a selected collection of papers providing an overview of the state of the art in the study of dynamical systems. A broad range of aspects of dynamical systems is covered, focusing on discrete and continuous dynamical systems, bifurcation theory, celestial mechanics, delay difference and differential equations, Hamiltonian systems and also the classic challenges in planar vector fields. Particular attention has been posed on real-world applications of dynamical systems, showing the constant interaction of the field with other sciences. The authors have made a special effort in placing the reader at the frontiers of current knowledge in the discipline. In this way, recent advances and new trends become available. The papers are based on talks given at the International Conference Dynamical Systems: 100 years after Poincare held at the University of Oviedo, Gijon (Spain), on September 3-7, 2012. Recent advances and new trends have been discussed during the meeting, including applications to a wide range of disciplines such as Biology, Chemistry, Physics and Economics, among others. The memory of Poincare, who laid the foundations of dynamical systems, provided the backdrop for the discussion of the new challenges 100 years after his death.

This book is an outgrowth of the NSF-CBMS conference Nonlinear Waves GBP3 Weak Turbulence held at Case Western Reserve University in May 1992. The principal speaker at the conference was Professor V. E. Zakharov who delivered a series of ten lectures outlining the historical and ongoing developments in the field. Some twenty other researchers also made presentations and it is their work which makes up the bulk of this text. Professor Zakharov's opening chapter serves as a general introduction to the other papers, which for the most part are concerned with the application of the theory in various fields. While the word "turbulence" is most often associated with f:l. uid dynamics it is in fact a dominant feature of most systems having a large or infinite number of degrees of freedom. For our purposes we might define turbulence as the chaotic behavior of systems having a large number of degrees of freedom and which are far from thermodynamic equilibrium. Work in field can be broadly divided into two areas: * The theory of the transition from smooth laminar motions to the disordered motions characteristic of turbulence. * Statistical studies of fully developed turbulent systems. In hydrodynamics, work on the transition question dates back to the end of the last century with pioneering contributions by Osborne Reynolds and Lord Rayleigh.

This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations with rigorous arguments and detailed proofs for key topics, the logically structured discussion guides the reader through the core concepts of automata and languages, computability, and complexity of computation. Topics and features: presents a detailed introduction to the theory of computation, complete with concise explanations of the mathematical prerequisites; provides end-of-chapter problems with solutions, in addition to chapter-opening summaries and numerous examples and definitions throughout the text; draws upon the author's extensive teaching experience and broad research interests; discusses finite automata, context-free languages, and pushdown automata; examines the concept, universality and limitations of the Turing machine; investigates computational complexity based on Turing machines and Boolean circuits, as well as the notion of NP-completeness.

This book is the first monograph in the field of uniqueness theory of meromorphic functions dealing with conditions under which there is the unique function satisfying given hypotheses. Developed by R. Nevanlinna, a Finnish mathematician, early in the 1920's, research in the field has developed rapidly over the past three decades with a great deal of fruitful results. This book systematically summarizes the most important results in the field, including many of the authors' own previously unpublished results. In addition, useful skills and simple proofs are introduced. This book is suitable for higher level and graduate students who have a basic grounding in complex analysis, but will also appeal to researchers in mathematics.

The idea for this book originated during the workshop "Model order reduction, coupled problems and optimization" held at the Lorentz Center in Leiden from S- tember 19-23, 2005. During one of the discussion sessions, it became clear that a book describing the state of the art in model order reduction, starting from the very basics and containing an overview of all relevant techniques, would be of great use for students, young researchers starting in the ?eld, and experienced researchers. The observation that most of the theory on model order reduction is scattered over many good papers, making it dif?cult to ?nd a good starting point, was supported by most of the participants. Moreover, most of the speakers at the workshop were willing to contribute to the book that is now in front of you. The goal of this book, as de?ned during the discussion sessions at the workshop, is three-fold: ?rst, it should describe the basics of model order reduction. Second, both general and more specialized model order reduction techniques for linear and nonlinear systems should be covered, including the use of several related numerical techniques. Third, the use of model order reduction techniques in practical appli- tions and current research aspects should be discussed. We have organized the book according to these goals. In Part I, the rationale behind model order reduction is explained, and an overview of the most common methods is described.

Scheduling, planning and packing are ubiquitous problems that can be found in a wide range of real-world settings. These problems transpire in a large variety of forms, and have enormous socio-economic impact. For many years, significant work has been devoted to automating the processes of scheduling, planning and packing using different kinds of methods. However, poor scaling and the lack of flexibility of many of the conventional methods coupled with the fact that most of the real-world problems across the application areas of scheduling, planning and packing nowadays tend to be of large scale, dynamic and full of complex dependencies have made it necessary to tackle them in unconventional ways.

This volume, "Natural Intelligence for Scheduling, Planning and Packing Problems," is a collection of numerous natural intelligence based approaches for solving various kinds of scheduling, planning and packing problems. It comprises 12 chapters which present many methods that draw inspiration from nature, such as evolutionary algorithms, neural-fuzzy system, particle swarm algorithms, ant colony optimisation, extremal optimisation, raindrop optimisation, and so on. Problems addressed by these chapters include freight transportation, job shop scheduling, flowshop scheduling, electrical load forecasting, vehicle routing, two-dimensional strip packing, network configuration and forest planning, among others. Along with solving these problems, the contributing authors present a lively discussion of the various aspects of the nature-inspired algorithms utilised, providing very useful and important new insights into the research areas.

The present volume collects lecture notes from the session of the International School of Mathematical Physics 'Ettore Majorana' on Renormalization Theory that took place in Erice (Sicily), August 17 to August 31, 1975. The School was a NATO Advanced Study Institute sponsored by the Italian Ministry of Public Education, the Italian Minis try of Scientific and Technological Research, and the Regional Sicilian Government. Renormalization theory has, by now, acquired forty years of history. The present volume assumes a general acquaintance with the elementary facts of the subject as they might appear in an introductory course in quantum field theory. For more recent significant developments it provides a systematic intro duction as well as a detailed discussion of the existing state of knowledge. In particular analytic and dimensional renorma lization, normal product technique, and the Bogoliubov-Shirkov Epstein-Glaser method are treated, with applications to physically important gauge theories. All the preceding deals with perturbative renormalization theory. In recent years there has been an interesting development of non-perturbative renormalization theory in models in space-times of two and three dimensions, with the use of the methods of constructive field theory. Despite the simplicity of these models, the results are of significance because they are exact and answer a number of questions of principle. There are parts of renormalization theory which are not well understood, for instance the renormalization theory of non-renormalizable interactions."

In a broad sense design science is the grammar of a language of images rather than of words. Modem communication techniques enable us to transmit and reconstitute images without needing to know a specific verbal sequence language such as the Morse code or Hungarian. Inter national traffic signs use international image symbols which are not An image language differs specific to any particular verbal language. from a verbal one in that the latter uses a linear string of symbols, whereas the former is multidimensional. Architectural renderings commonly show projections onto three mutually perpendicular planes, or consist of cross sections at different altitudes capable of being stacked and representing different floor plans. Such renderings make it difficult to imagine buildings compris ing ramps and other features which disguise the separation between and consequently limit the creative process of the architect. floors, Analogously, we tend to analyze natural structures as if nature had used similar stacked renderings, rather than, for instance, a system of packed spheres, with the result that we fail to perceive the system of organization determining the form of such structures."

The requirement of causality in system theory is inevitably accompanied by the appearance of certain mathematical operations, namely the Riesz proj- tion,theHilberttransform,andthespectralfactorizationmapping.Aclassical exampleillustratingthisisthedeterminationoftheso-calledWiener?lter(the linear, minimum means square error estimation ?lter for stationary stochastic sequences [88]). If the ?lter is not required to be causal, the transfer function of the Wiener ?lter is simply given by H(?)=? (?)/? (?),where ? (?) xy xx xx and ? (?) are certain given functions. However, if one requires that the - xy timation ?lter is causal, the transfer function of the optimal ?lter is given by 1 ? (?) xy H(?)= P ,?? (??,?] . + [? ] (?) [? ] (?) xx + xx? Here [? ] and [? ] represent the so called spectral factors of ? ,and xx + xx? xx P is the so called Riesz projection. Thus, compared to the non-causal ?lter, + two additional operations are necessary for the determination of the causal ?lter, namely the spectral factorization mapping ? ? ([? ] ,[? ] ),and xx xx + xx? the Riesz projection P .

4. 2 Variance of Quantum Matrix Elements. 125 4. 3 Berry's Trick and the Hyperbolic Case 126 4. 4 Nonhyperbolic Case . . . . . . . 128 4. 5 Random Matrix Theory . . . . . 128 4. 6 Baker's Map and Other Systems 129 4. 7 Appendix: Baker's Map . . . . . 129 5 Error Terms 133 5. 1 Introduction. . . . . . . . . . . . . . . . . . . . . . . 133 5. 2 The Riemann Zeta Function in Periodic Orbit Theory 135 5. 3 Form Factor for Primes . . . . . . . . . . . . . . . . . 137 5. 4 Error Terms in Periodic Orbit Theory: Co-compact Case. 138 5. 5 Binary Quadratic Forms as a Model . . . . . . . . . . . . 139 6 Co-Finite Model for Quantum Chaology 141 6. 1 Introduction. . . . . . . . 141 6. 2 Co-finite Models . . . . . 141 6. 3 Geodesic Triangle Spaces 144 6. 4 L-Functions. . . . . . . . 145 6. 5 Zelditch's Prime Geodesic Theorem. 146 6. 6 Zelditch's Pseudo Differential Operators 147 6. 7 Weyl's Law Generalized 148 6. 8 Equidistribution Theory . . . . . . . . . 150 7 Landau Levels and L-Functions 153 7. 1 Introduction. . . . . . . . . . . . . . . . . . . . . . . 153 7. 2 Landau Model: Mechanics on the Plane and Sphere. 153 7. 3 Landau Model: Mechanics on the Half-Plane 155 7. 4 Selberg's Spectral Theorem . . . . . . . . . . . 157 7. 5 Pseudo Billiards . . . . . . . . . . . . . . . . . 158 7. 6 Landau Levels on a Compact Riemann Surface 159 7. 7 Automorphic Forms . . . . . 160 7. 8 Maass-Selberg Trace Formula 162 7. 9 Degeneracy by Selberg. . . . 163 7. 10 Hecke Operators . . . . . . . 163 7. 11 Selberg Trace Formula for Hecke Operators 167 7. 12 Eigenvalue Statistics on X . . . . 169 7. 13 Mesoscopic Devices. . . . . . . . 170 7. 14 Hall Conductance on Leaky Tori 170 7.

Polymers occur in many different states and their physical properties are strongly correlated with their conformations. The theoretical investigation of the conformational properties of polymers is a difficult task and numerical methods play an important role in this field. This book contains contributions from a workshop on numerical methods for polymeric systems, held at the IMA in May 1996, which brought together chemists, physicists, mathematicians, computer scientists and statisticians with a common interest in numerical methods. The two major approaches used in the field are molecular dynamics and Monte Carlo methods, and the book includes reviews of both approaches as well as applications to particular polymeric systems. The molecular dynamics approach solves the Newtonian equations of motion of the polymer, giving direct information about the polymer dynamics as well as about static properties. The Monte Carlo approaches discussed in this book all involve sampling along a Markov chain defined on the configuration space of the system. An important feature of the book is the treatment of Monte Carlo methods, including umbrella sampling and multiple Markov chain methods, which are useful for strongly interacting systems such as polymers at low temperatures and in compact phases. The book is of interest to workers in polymer statistical mechanics and also to a wider audience interested in numerical methods and their application in polymeric systems.

This book focuses on the recent development of methodologies and computation methods in mathematical and statistical modelling, computational science and applied mathematics. It emphasizes the development of theories and applications, and promotes interdisciplinary endeavour among mathematicians, statisticians, scientists, engineers and researchers from other disciplines. The book provides ideas, methods and tools in mathematical and statistical modelling that have been developed for a wide range of research fields, including medical, health sciences, biology, environmental science, engineering, physics and chemistry, finance, economics and social sciences. It presents original results addressing real-world problems. The contributions are products of a highly successful meeting held in August 2017 on the main campus of Wilfrid Laurier University, in Waterloo, Canada, the International Conference on Applied Mathematics, Modeling and Computational Science (AMMCS-2017). They make this book a valuable resource for readers interested not only in a broader overview of the methods, ideas and tools in mathematical and statistical approaches, but also in how they can attain valuable insights into problems arising in other disciplines.

This volume presents selected peer-reviewed contributions from The International Work-Conference on Time Series, ITISE 2015, held in Granada, Spain, July 1-3, 2015. It discusses topics in time series analysis and forecasting, advanced methods and online learning in time series, high-dimensional and complex/big data time series as well as forecasting in real problems. The International Work-Conferences on Time Series (ITISE) provide a forum for scientists, engineers, educators and students to discuss the latest ideas and implementations in the foundations, theory, models and applications in the field of time series analysis and forecasting. It focuses on interdisciplinary and multidisciplinary research encompassing the disciplines of computer science, mathematics, statistics and econometrics.

This volume focuses on contributions from both the mathematics and life science community surrounding the concepts of time and dynamicity of nature, two significant elements which are often overlooked in modeling process to avoid exponential computations. The book is divided into three distinct parts: dynamics of genomes and genetic variation, dynamics of motifs, and dynamics of biological networks. Chapters included in dynamics of genomes and genetic variation analyze the molecular mechanisms and evolutionary processes that shape the structure and function of genomes and those that govern genome dynamics. The dynamics of motifs portion of the volume provides an overview of current methods for motif searching in DNA, RNA and proteins, a key process to discover emergent properties of cells, tissues, and organisms. The part devoted to the dynamics of biological networks covers networks aptly discusses networks in complex biological functions and activities that interpret processes in cells. Moreover, chapters in this section examine several mathematical models and algorithms available for integration, analysis, and characterization. Once life scientists began to produce experimental data at an unprecedented pace, it become clear that mathematical models were necessary to interpret data, to structure information with the aim to unveil biological mechanisms, discover results, and make predictions. The second annual "Bringing Maths to Life" workshop held in Naples, Italy October 2015, enabled a bi-directional flow of ideas from and international group of mathematicians and biologists. The venue allowed mathematicians to introduce novel algorithms, methods, and software that may be useful to model aspects of life science, and life scientists posed new challenges for mathematicians.

During the 90s robust control theory has seen major advances and achieved a new maturity, centered around the notion of convexity. The goal of this book is to give a graduate-level course on this theory that emphasizes these new developments, but at the same time conveys the main principles and ubiquitous tools at the heart of the subject. Its pedagogical objectives are to introduce a coherent and unified framework for studying the theory, to provide students with the control-theoretic background required to read and contribute to the research literature, and to present the main ideas and demonstrations of the major results. The book will be of value to mathematical researchers and computer scientists, graduate students planning to do research in the area, and engineering practitioners requiring advanced control techniques.

Intended for graduates and researchers in physics, chemistry, biology, and applied mathematics, this book provides an up-to-date introduction to current research in fluctuations in spatially extended systems. It covers the theory of stochastic partial differential equations and gives an overview of the effects of external noise on dynamical systems with spatial degrees of freedom. Starting with a general introduction to noise-induced phenomena in dynamical systems, the text moves on to an extensive discussion of analytical and numerical tools needed to gain information from stochastic partial differential equations. It then turns to particular problems described by stochastic PDEs, covering a wide part of the rich phenomenology of spatially extended systems, such as nonequilibrium phase transitions, domain growth, pattern formation, and front propagation. The only prerequisite is a minimal background knowledge of the Langevin and Fokker-Planck equations.

This book presents for the first time a methodology that combines the power of a modelling formalism such as colored petri nets with the flexibility of a discrete event program such as SIMIO. Industrial practitioners have seen the growth of simulation as a methodology for tacking problems in which variability is the common denominator. Practically all industrial systems, from manufacturing to aviation are considered stochastic systems. Different modelling techniques have been developed as well as mathematical techniques for formalizing the cause-effect relationships in industrial and complex systems. The methodology in this book illustrates how complexity in modelling can be tackled by the use of coloured petri nets, while at the same time the variability present in systems is integrated in a robust fashion. The book can be used as a concise guide for developing robust models, which are able to efficiently simulate the cause-effect relationships present in complex industrial systems without losing the simulation power of discrete-event simulation. In addition SIMIO's capabilities allows integration of features that are becoming more and more important for the success of projects such as animation, virtual reality, and geographical information systems (GIS).

The book contains 11 chapters written by relevant scientists in the field of particle-based methods and their applications in engineering and applied sciences. The chapters cover most particle-based techniques used in practice including the discrete element method, the smooth particle hydrodynamic method and the particle finite element method. The book will be of interest to researchers and engineers interested in the fundamentals of particle-based methods and their applications.