Search results

ECMI has a brand name in Industrial Mathematics and organises successful biannual conferences. This time, the conference on Industrial Mathematics held in Eindhoven in June 2004 Mathematics focused on Aerospace, Electronic Industry, Chemical Technology, Life Sciences, Materials, Geophysics, Financial Mathematics and Water flow. The majority of the invited talks on these topics can be found in these proceedings. Apart from these lectures, a large number of contributed papers and minisymposium pap...

Finite element methods have become ever more important to engineers as tools for design and optimization, now even for solving non-linear technological problems. However, several aspects must be considered for finite-element simulations which are specific for non-linear problems: These problems require the knowledge and the understanding of theoretical foundations and their finite-element discretization as well as algorithms for solving the non-linear equations. This book provides the reader wit...

Proceedings from the 14th European Conference for Mathematics in Industry held in Madrid present innovative numerical and mathematical techniques. Topics include the latest applications in aerospace, information and communications, materials, energy and environment, imaging, biology and biotechnology, life sciences, and finance. In addition, the conference also delved into education in industrial mathematics and web learning.

This book begins with the fundamentals of the generalized inverses, then moves to more advanced topics. It presents a theoretical study of the generalization of Cramer's rule, determinant representations of the generalized inverses, reverse order law of the generalized inverses of a matrix product, structures of the generalized inverses of structured matrices, parallel computation of the generalized inverses, perturbation analysis of the generalized inverses, an algorithmic study of the compu...

This book constitutes the refereed proceedings of the Third International Workshop on Applied Parallel Computing, PARA'96, held in Lyngby, Denmark, in August 1996. The volume presents revised full versions of 45 carefully selected contributed papers together with 31 invited presentations. The papers address all current aspects of applied parallel computing relevant for industrial computations. The invited papers review the most important numerical algorithms and scientific applications on severa...

This is a motivated presentation of recent results on tree transducers, applied to studying the general properties of formal models and for providing semantics to context-free languages. The authors consider top-down tree transducers, macro tree transducers, attributed tree transducers, and macro attributed tree transducers. A unified terminology is used to define them, and their transformational capacities are compared. This handbook on tree transducers will serve as a base for further research...

This volume contains eighteen reports on work, which is conducted since 2000 in the Collaborative Research Programme 'Numerical Flow Simulation' of the Centre National de la Recherche Scientifique (CNRS) and the Deutsche Forschungsgemeinschaft (DFG). French and German engineers and mathematicians present their joint research on the topics 'Development of Solution Techniques', 'Crystal Growth and Melts', 'Flows of Reacting Gases, Sound Generation' and 'Turbulent Flows'. In the background of their...

These notes developed from a course on the numerical solution of conservation laws first taught at the University of Washington in the fall of 1988 and then at ETH during the following spring. The overall emphasis is on studying the mathematical tools that are essential in de veloping, analyzing, and successfully using numerical methods for nonlinear systems of conservation laws, particularly for problems involving shock waves. A reasonable un derstanding of the mathematical structure of these...

Undoubtably one of the key factors influencing recent technology has been the advent of high speed computational tools. Virtually every advanced engi neering system we come in contact with these days depends upon some form of sampling and digital signal processing. Well known examples are digital tele phone systems, digital recording of audio signals and computer control. These developments have been matched by the appearance of a plethora of books which explain a variety of analysis, synthesi...

In August 2003, ETHZ Computational Laboratory (CoLab), together with the Swiss Center for Scientific Computing in Manno and the Universita della Svizzera Italiana (USI), organized the Summer School in "Multiscale Modelling and Simulation" in Lugano, Switzerland. This summer school brought together experts in different disciplines to exchange ideas on how to link methodologies on different scales. Relevant examples of practical interest include: structural analysis of materials, flow through poro...

Dieses Buch stellt eine Weiterentwicklung seines Vorgangers "Wissenschaft liches Rechnen und Differentialgleichungen: Eine EinfUhrung in die Numerische Mathematik "(Golub und Ortega [1992]) dar. Ziel des vorliegenden Buches ist es, die grundlegenden Ideen des Vektor-und Parallelrechnens im Rahmen der Einfiihrung in die Grundlagen numerischer Verfahren darzustellen. Dies ist un serer Meinung nach sowohl fUr Studenten der Informatik als auch der Natur und Ingenieurwissenschaften von Interesse. Es...

This book brings Network Calculus closer to the network professional and will also have real appeal for postgraduates studying network performance. It provides valuable analytical tools and uses J as a means of providing a practical treatment of the subject. It builds a bridge between mathematics theory and the practical use of computers in the field of network performance analysis.

An elementary first course for students in mathematics and engineering Practical in approach: examples of code are provided for students to debug, and tasks - with full solutions - are provided at the end of each chapter Includes a glossary of useful terms, with each term supported by an example of the syntaxes commonly encountered

This book equips the student with essential intellectual tools that are needed from the very beginning of university studies in computing. These consist of abilities and skills - to pass from a concrete problem to an abstract representation, reason with the abstract structure coherently and usefully, and return with booty to the specific situation. The most basic and useful concepts needed come from the worlds of sets (with also their employment as relations and functions), structures (notably t...

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical, and features: - Clear explanations of formal notation and jargon, - Extensive use of examples to illustrate algorithms and proofs,...

This volume brings together four contributions to mathematical fluid mechanics, a classical but still highly active research field. The contributions cover not only the classical Navier-Stokes equations and Euler equations, but also some simplified models, and fluids interacting with elastic walls. The questions addressed in the lectures range from the basic problems of existence/blow-up of weak and more regular solutions, to modeling and aspects related to numerical methods. This book covers r...

The contents of this volume range from expository papers on several aspects of number theory, intended for general readers (Steinhaus property of planar regions; experiments with computers; Diophantine approximation; number field sieve), to a collection of research papers for specialists, which are at prestigious journal level. Thus, Number Theory and Its Applications leads the reader in many ways not only to the state of the art of number theory but also to its rich garden.

This book is mainly devoted to finite difference numerical methods for solving partial differential equations (PDEs) models of pricing a wide variety of financial derivative securities. With this objective, the book is divided into two main parts. In the first part, after an introduction concerning the basics on derivative securities, the authors explain how to establish the adequate PDE boundary value problems for different sets of derivative products (vanilla and exotic options, and interest...