This book constitutes the refereed proceedings of the 12th International Symposium on Experimental Algorithms, SEA 2013, held in Rome, Italy, in June 2013. The 32 revised full papers presented togethe
The approximation of functions by linear positive operators is an important research topic in general mathematics and it also provides powerful tools to application areas such as computer-aided geomet
Algorithms are a fundamental component of robotic systems. Robot algorithms process inputs from sensors that provide noisy and partial data, build geometric and physical models of the world, plan high
In conventional metals, various transport coefficients are scaled according to the quasiparticle relaxation time, \tau, which implies that the relaxation time approximation (RTA) holds well. However,
Bioinformatics can be loosely defined as the collection, classification, storage, and analysis of biochemical and biological information using computers and mathematical algorithms. Bioinformatics rep
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presente
Constraint Programming is a problem-solving paradigm that establishes a clear distinction between two pivotal aspects of a problem: (1) a precise definition of the constraints that define the probl
All the research areas of Numerical Analysis and Computational Mathematics (Numerical ODEs, Numerical PDEs (inc. BVPs), Scientific Computing and Algorithms, Stochastic Differential Equations, Approxim
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Quebec, Canada, i
This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully revi
Michael A. Matt constructs two trivariate local Lagrange interpolation methods which yield optimal approximation order and Cr macro-elements based on the Alfeld and the Worsey-Farin split of a tetrahe
These notes provide an introduction to the theory of spherical harmonics in an arbitrary dimension as well asan overview of classical and recent results on some aspects of the approximation of functio
The purpose of these lecture notes is to provide an introduction to the theory of complex Monge–Ampere operators (definition, regularity issues, geometric properties of solutions, approximation) on co
Revised and?updated, this second edition of Walter Gautschi's successful Numerical Analysis?explores?computational methods?for problems arising in the areas of classical analysis, approximation theory
This book describes models and algorithms for complex scheduling problems. It presents key algorithms in detail and includes examples. This second revised edition includes new material, in particular,
Includes MATLAB-based computational and design algorithms utilizing the "Linear Systems Toolkit."All results and case studies presented in both the continuous- and discrete-time settings.
This updated edition offers an indispensable exposition on real-time computing, with particular emphasis on predictable scheduling algorithms. It introduces the fundamental concepts of real-time compu
This textbook introduces students of economics to the fundamental notions and instruments in linear algebra. Linearity is used as a first approximation to many problems that are studied in different b
The aim of stochastic programming is to find optimal decisions in problems which involve uncertain data. This field is currently developing rapidly with contributions from many disciplines including
Programming languages are often classified according to their paradigms, e.g. imperative, functional, logic, constraint-based, object-oriented, or aspect-oriented. A paradigm characterizes the style,
A handbook of the R statistical programming language, this volume provides a roadmap for the R language and programming environment, pointing readers to further resources and documentation.
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented i
Simulation Methods for Reliability and Availability of Complex Systems discusses the use of computer simulation-based techniques and algorithms to determine reliability and availability (R and A) leve
This book is organized in five chapters. In Chapter 1, some basic concepts are explained to completely understand the contribution of the algorithms developed in this research work. The evaluation of
50 Years of Integer Programming features talks and panel discussions from the Aussois workshop in 2008, commemorating the cutting-plane algorithm, which transformed the field. Key topics of integer pr
"Programming Mobile Robots with Aria and Player" provides a guide to creating object-oriented C++ programs for robots using the Player and Aria APIs within a Linux environment. The book is supported t
This volume presents theories, models, algorithms, and applications in clustering, classification, and visualization. It also includes applications of clustering, classification, and visualization in
Recent years have seen the widespread application of Natural Computing algorithms (broadly defined in this context as computer algorithms whose design draws inspiration from phenomena in the natural w
This is the only advanced programming book on R, the enormously successful open-source system based on the S language. It is written by John Chambers, the author of the S language from which R evolve
This book provides a long-needed survey of new results. Especially welcome is a new summary of the measured and calculated sputtering yields with an algebraic approximation formula for the energy and
This book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a tutorial way. It covers fundamental algorithms as well as more specialized and
This book is concerned with the study of infinite matrices and their approximation by matrices of finite size. The main concepts presented are invertibility at infinity (closely related to Fredholmnes
This book constitutes the refereed proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2006, held in Oulu, Finland, June 2006. The bo
This essential resource for professionals and advanced students in security programming and system design introduces the foundations of programming systems security and the theory behind access contro
This book constitutes the refereed proceedings of the Second International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2
Presents the background and context of all ideas, concepts, algorithms, analyses and arguments before discussing details.Accessible to both beginners as well as specialists.
This book constitutes the refereed proceedings of the 4th International Workshop on Algorithms in Bioinformatics, WABI 2004, held in Bergen, Norway, in September 2004.The 39 revised full papers presen
A detailed examination of learning classifier systems (LCS), a form of machine learning system, which incorporates both Evolutionary Algorithms and Reinforcement Learning Algorithms.
Algorithms that have to process large data sets have to take into account that the cost of memory access depends on where the data is stored. Traditional algorithm design is based on the von Neumann m
This book presents a thorough development of the modern theory of stochastic approximation or recursive stochastic algorithms for both constrained and unconstrained problems. This second edition is a
