Search results

This book contains a collection of articles corresponding to some of the talks delivered at the Foundations of Computational Mathematics conference held at IMPA in Rio de Janeiro in January 1997. Some ofthe others are published in the December 1996 issue of the Journal of Complexity. Both of these publications were available and distributed at the meeting. Even in this aspect we hope to have achieved a synthesis of the mathematics and computer science cultures as well as of the disciplines. The...

The Boundary Element Method is a simple, efficient and cost effective computational technique which provides numerical solutions - for objects of any shap- for a wide range of scientific and engineering problems. In dealing with the development of the mathematics of the Boundary Element Method the aim has been at every stage, only to present new material when sufficient experience and practice of simpler material has been gained. Since the usual background of many readers will be of differential...

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...

Researchers in the ?eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. However, many important issues must be addressed before the Life Science Grid becomes commonplace. The 1st International Life Science Grid Workshop (LSGRID 2004) was held in Kanazawa Japan, May 31-June 1, 2004. This workshop focused on life...

This text offers an introduction to error-correcting linear codes for researchers and graduate students in mathematics, computer science and engineering. The book differs from other standard texts in its emphasis on the classification of codes by means of isometry classes. The relevant algebraic are developed rigorously. Cyclic codes are discussed in great detail. In the last four chapters these isometry classes are enumerated, and representatives are constructed algorithmically.

With Chromatic Graph Theory, Second Edition, the authors present various fundamentals of graph theory that lie outside of graph colorings, including basic terminology and results, trees and connectivity, Eulerian and Hamiltonian graphs, matchings and factorizations, and graph embeddings. Readers will see that the authors accomplished the primary goal of this textbook, which is to introduce graph theory with a coloring theme and to look at graph colorings in various ways. The textbook also cove...

Faced with the challenge of solving the hard optimization problems that abound in the real world, existing methods often encounter great difficulties. Important applications in business, engineering or economics cannot be tackled by the techniques that have formed the predominant focus of academic research throughout the past three decades. Exact and heuristic approaches are dramatically changing our ability to solve problems of practical significance and are extending the frontier of problems t...

A definitive guide for accurate state-of-the-art modelling of free surface flows Understanding the dynamics of free surface flows is the starting point of many environmental studies, impact studies, and waterworks design. Typical applications, once the flows are known, are water quality, dam impact and safety, pollutant control, and sediment transport. These studies used to be done in the past with scale models, but these are now being replaced by numerical simulation performed by software suite...

Clogging of steam generators in nuclear power plants is a highly sensitive issue in terms of performance and safety and this book proposes a completely novel methodology for diagnosing this phenomenon. It demonstrates real-life industrial applications of this approach to French steam generators and applies the approach to operational data gathered from French nuclear power plants. The book presents a detailed review of in situ diagnosis techniques and assesses existing methodologies for clogging...

This book explains the stages necessary to create a wavelet compression system for images and describes state-of-the-art systems used in image compression standards and current research. It starts with a high level discussion of the properties of the wavelet transform, especially the decomposition into multi-resolution subbands. It continues with an exposition of the null-zone, uniform quantization used in most subband coding systems and the optimal allocation of bitrate to the different subband...

th Thisvolumecontainsaselectionofthebestcontributionsdeliveredatthe6 - ternational Meeting on Computational Intelligence Methods for Bioinformatics andBiostatistics(CIBB2009)heldatOratorioSanFilippoNeriinGenoa(Italy) during October 15-17, 2009. TheCIBBmeetingseriesisorganizedbytheSpecialInterestGrouponBio- formatics of the International Neural Network Society (INNS) to provide a - rum open to researchers from di?erent disciplines to present and discuss pr- lems concerning computational technique...

This book constitutes the proceedings of the 7th InternationalConference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014.The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.

Despite the ample number of articles on parallel-vector computational algorithms published over the last 20 years, there is a lack of texts in the field customized for senior undergraduate and graduate engineering research. Parallel-Vector Equation Solvers for Finite Element Engineering Applications aims to fill this gap, detailing both the theoretical development and important implementations of equation-solution algorithms. The mathematical background necessary to understand their incep...

The ICANNGA series of Conferences has been organised since 1993 and has a long history of promoting the principles and understanding of computational intelligence paradigms within the scientific community and is a reference for established workers in this area. Starting in Innsbruck, in Austria (1993), then to Ales in Prance (1995), Norwich in England (1997), Portoroz in Slovenia (1999), Prague in the Czech Republic (2001) and finally Roanne, in France (2003), the ICANNGA series has established...

Systematically teaches key paradigmic algorithm design methods Provides a deep insight into randomization

This book constitutes the refereed proceedings of the 8th Brazilian Symposium on Bioinformatics, BSB 2013, held in Recife, Brazil, in November 2013. The 18 regular papers presented were carefully reviewed and selected for inclusion in this book. The papers cover all aspects of bioinformatics and computational biology.

This volume contains refereed papers based on the lectures presented at the XIV International Conference on Mathematical Programming held at Matrahaza, Hungary, between 27-31 March 1999. This conference was organized by the Laboratory of Operations Research and Deci sion Systems at the Computer and Automation Institute, Hungarian Academy of Sciences. The editors hope this volume will contribute to the theory and applications of mathematical programming. As a tradition of these events, the main...

This volume contains original research articles, survey articles and lecture notes related to the Computations with Modular Forms 2011 Summer School and Conference, held at the University of Heidelberg. A key theme of the Conference and Summer School was the interplay between theory, algorithms and experiment. The 14 papers offer readers both, instructional courses on the latest algorithms for computing modular and automorphic forms, as well as original research articles reporting on the latest...

Moving on from earlier stochastic and robust control paradigms, this book introduces the fundamentals of probabilistic methods in the analysis and design of uncertain systems. The use of randomized algorithms, guarantees a reduction in the computational complexity of classical robust control algorithms and in the conservativeness of methods like H-infinity control. Features: * self-contained treatment explaining randomized algorithms from their genesis in the principles of probability theory...