One ofthe most important aspects in research fields where mathematics is "applied is the construction of a formal model of a real system. As for structural relations, graphs have turned out to provide the most appropriate tool for setting up the mat…
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, n…
Michael Powell is one of the world's foremost figures in numerical analysis. This volume, first published in 1997, is derived from invited talks given at a meeting celebrating his 60th birthday and, reflecting Powell's own achievements, focuses on i…
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first worksh…
Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on parallel computing was to review the progress of resea…
The present book provides an introduction to using space-filling curves (SFC) as tools in scientific computing. Special focus is laid on the representation of SFC and on resulting algorithms. For example, grammar-based techniques are introduced for…
This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the Gauss-Allianz, the association of High-Performance Computing centers in Germany. The reports cover all fields of…
This book provides an introduction to hypergraphs, its aim being to overcome the lack of recent manuscripts on this theory. In the literature hypergraphs have many other names such as set systems and families of sets. This work presents the theory o…
Inthecourseofthelast?ftyyears, developmentsinnonsmoothana- sisandnonsmoothmechanicshaveoftenbeencloselylinked. Thepresent book acts as an illustration of this. Its objective is two-fold. It is of course intended to help to di?use the recent results…
This book introduces novel solutions to the rendezvous problem in distributed systems, a fundamental problem that underpins the construction of many important functions in distributed systems and networks. The book covers rendezvous theories, distri…
This monograph contains original results in the field of mathematical and numerical modeling of mechanical behavior of granular materials and materials with different strengths. It proposes new models helping to define zones of the strain localizati…
This book represents the refereed proceedings of the Tenth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at the University of New South Wales (Australia) in February 2012. These biennial…
This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Information Security, ISW'98, held in Tatsunokuchi, Ishikawa, Japan, in September 1997. The volume presents six invited surveys together wit…
Many mathematical assumptions on which classical derivative pricing methods are based have come under scrutiny in recent years. The present volume offers an introduction to deterministic algorithms for the fast and accurate pricing of derivative con…
A description of 148 algorithms fundamental to number-theoretic computations, in particular for computations related to algebraic number theory, elliptic curves, primality testing and factoring. The first seven chapters guide readers to the heart of…
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014. The 37 revised full papers presented together with 64 s…
This is a book guaranteed to delight the reader. It not only depicts the state of mathematics at the end of the century, but is also full of remarkable insights into its future de- velopment as we enter a new millennium. True to its title, the book…
Separation of Variables for Partial Differential Equations: An Eigenfunction Approach includes many realistic applications beyond the usual model problems. The book concentrates on the method of separation of variables for partial differential equat…
In this follow-up to Afternotes on Numerical Analysis (SIAM, 1996) the author continues to bring the immediacy of the classroom to the printed page. Like the original undergraduate volume, Afternotes goes to Graduate School is the result of the auth…
This book constitutes revised selected papers from the 42nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2016, held in Istanbul, Turkey, in June 2016. The 25 papers presented in this volume were carefully reviewed and s…
During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam ples we show how to defin…
This book deals primarily with the numerical solution of linear systems of equations by iterative methods. The first part of the book is intended to serve as a textbook for a numerical linear algebra course. The material assumes the reader has a bas…
This book elaborates on an idea put forward by M. Abouzaid on equipping the Morse cochain complex of a smooth Morse function on a closed oriented manifold with the structure of an A -algebra by means of perturbed gradient flow trajectories. This app…
The subject of the book is the mathematical theory of the discontinuous Galerkin method (DGM), which is a relatively new technique for the numerical solution of partial differential equations. The book is concerned with the DGM developed for ellipti…
Acta Numerica has established itself as the prime forum for the presentation of definitive reviews of numerical analysis topics. The invited review papers, by leaders in their respective fields, allow researchers and graduate students alike quickly…
This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementat…
Highly computer-oriented text, introducing numerical methods and algorithms along with the applications and conceptual tools. Includes homework problems, suggestions for research projects, and open-ended questions at the end of each chapter. Written…
This volume highlights the latest developments and trends in advanced materials and their properties, the modeling and simulation of non-classical materials and structures, and new technologies for joining materials. It presents the developments of…
Designed to work as a reference and as a supplement to an advanced course on dynamical systems, this book presents a self-contained and comprehensive account of modern smooth ergodic theory. Among other things, this provides a rigorous mathematical…
This book provides a systematic introduction to the fundamental concepts, major challenges, and effective solutions for Quality of Service in Wireless Sensor Networks (WSNs). Unlike other books on the topic, it focuses on the networking aspects of W…
This two-volume work presents a systematic theoretical and computational study of several types of generalizations of separable matrices. The main attention is paid to fast algorithms (many of linear complexity) for matrices in semiseparable, quasis…
This book shows how modern Applied Mathematics influences everyday life. It features contributors from universities, research institutions and industry, who combine research and review papers to present a survey of current research. More than 20 con…
Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniqu…
This book deals with various aspects of scientific numerical computing. No at tempt was made to be complete or encyclopedic. The successful solution of a numerical problem has many facets and consequently involves different fields of computer scienc…
Reversible grammar allows computational models to be built that are equally well suited for the analysis and generation of natural language utterances. This task can be viewed from very different perspectives by theoretical and computational linguis…
This book reports on solved problems concerning vibrations and stability of complex beam systems. The complexity of a system is considered from two points of view: the complexity originating from the nature of the structure, in the case of two or mo…
This book gathers concepts of information across diverse fields -physics, electrical engineering and computational science - surveying current theories, discussing underlying notions of symmetry, and showing how the capacity of a system to distingui…
Premature cracking in asphalt pavements and overlays continues to shorten pavement lifecycles and creates significant economic and environmental burden. In response, RILEM Technical Committee TC 241-MCD on Mechanisms of Cracking and Debonding in Asp…
When we first heard in the spring of 2000 that the Seminaire de matMmatiques superieures (SMS) was interested in devoting its session of the summer of 200l-its 40th-to scientific computing the idea of taking on the organizational work seemed to us s…
Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms. Distributed memory multiprocessors - parallelcomputers that cons…
This book is a guide to concepts and practice in numerical algebraic geometry - the solution of systems of polynomial equations by numerical methods. Through numerous examples, the authors show how to apply the well-received and widely used open-sou…
This book will give readers the possibility of finding very important mathematical tools for working with fractional models and solving fractional differential equations, such as a generalization of Stirling numbers in the framework of fractional ca…
Michael Holzhauser discusses generalizations of well-known network flow and packing problems by additional or modified side constraints. By exploiting the inherent connection between the two problem classes, the author investigates the complexity an…
This book presents methodologies for analysing large data sets produced by the direct numerical simulation (DNS) of turbulence and combustion. It describes the development of models that can be used to analyse large eddy simulations, and highlights…
About 80 participants from 16 countries attended the Conference on Numerical Methods for Free Boundary Problems, held at the University of Jyviiskylii, Finland, July 23-27, 1990. The main purpose of this conference was to provide up-to-date informat…
Il testo, concepito per studenti di un primo corso di reti logiche nelle Facolta di Ingegneria e di Scienze, fornisce una solida conoscenza delle basi teoriche delle reti logiche. Parte dall'algebra booleana e dall'aritmetica binaria, e passando per…
This book constitutes the thoroughly refereed proceedings of the 38th International Workshop on Graph Theoretic Concepts in Computer Science (WG 2012) held in Jerusalem, Israel on June 26-28, 2012. The 29 revised full papers presented were carefully…