This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi), and of the newly developed cal culi of explicit substitutions (Abadi, Cardelli, Curien, Hardin, Levy, and Rios), which are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus (Section 1.2). The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien). An order extensional model of error-sensitive sequential algorithms is also fully abstract for a corresponding extension of PCF with a control operator and errors (Sections 2.6 and 4.1). I suggest that sequential algorithms lend themselves to a decomposition of the function spaces that leads to models of linear logic (Lamarche, Curien), and that connects sequentiality with games (Joyal, Blass, Abramsky) (Sections 2.1 and 2.6)."

Geometric properties and relations play central roles in the description and processing of spatial data. The properties and relations studied by mathematicians usually have precise definitions, but verbal descriptions often involve imprecisely defined concepts such as elongatedness or proximity. The methods used in soft computing provide a framework for formulating and manipulating such concepts. This volume contains eight papers on the soft definition and manipulation of spatial relations and gives a comprehensive summary on the subject.

Traditional Artificial Intelligence (AI) systems adopted symbolic processing as their main paradigm. Symbolic AI systems have proved effective in handling problems characterized by exact and complete knowledge representation. Unfortunately, these systems have very little power in dealing with imprecise, uncertain and incomplete data and information which significantly contribute to the description of many real world problems, both physical systems and processes as well as mechanisms of decision making. Moreover, there are many situations where the expert domain knowledge (the basis for many symbolic AI systems) is not sufficient for the design of intelligent systems, due to incompleteness of the existing knowledge, problems caused by different biases of human experts, difficulties in forming rules, etc. In general, problem knowledge for solving a given problem can consist of an explicit knowledge (e.g., heuristic rules provided by a domain an implicit, hidden knowledge "buried" in past-experience expert) and numerical data. A study of huge amounts of these data (collected in databases) and the synthesizing of the knowledge "encoded" in them (also referred to as knowledge discovery in data or data mining), can significantly improve the performance of the intelligent systems designed."

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 that can be handled effectively. This monograph details state-of-the-art optimization methods, both exact and heuristic, for the LOP. The authors employ the LOP to illustrate contemporary optimization technologies as well as how to design successful implementations of exact and heuristic procedures. Therefore, they do not limit the scope of this book to the LOP, but on the contrary, provide the reader with the background and practical strategies in optimization to tackle different combinatorial problems.

Biometrics, the science of using physical traits to identify individuals, is playing an increasing role in our security-conscious society and across the globe. Biometric authentication, or bioauthentication, systems are being used to secure everything from amusement parks to bank accounts to military installations. Yet developments in this field have not been matched by an equivalent improvement in the statistical methods for evaluating these systems. Compensating for this need, this unique text/reference provides a basic statistical methodology for practitioners and testers of bioauthentication devices, supplying a set of rigorous statistical methods for evaluating biometric authentication systems. This framework of methods can be extended and generalized for a wide range of applications and tests. This is the first single resource on statistical methods for estimation and comparison of the performance of biometric authentication systems. The book focuses on six common performance metrics: for each metric, statistical methods are derived for a single system that incorporates confidence intervals, hypothesis tests, sample size calculations, power calculations and prediction intervals. These methods are also extended to allow for the statistical comparison and evaluation of multiple systems for both independent and paired data. Topics and features: * Provides a statistical methodology for the most common biometric performance metrics: failure to enroll (FTE), failure to acquire (FTA), false non-match rate (FNMR), false match rate (FMR), and receiver operating characteristic (ROC) curves * Presents methods for the comparison of two or more biometric performance metrics * Introduces a new bootstrap methodology for FMR and ROC curve estimation * Supplies more than 120 examples, using publicly available biometric data where possible * Discusses the addition of prediction intervals to the bioauthentication statistical toolset * Describes sample-size and power calculations for FTE, FTA, FNMR and FMR Researchers, managers and decisions makers needing to compare biometric systems across a variety of metrics will find within this reference an invaluable set of statistical tools. Written for an upper-level undergraduate or master's level audience with a quantitative background, readers are also expected to have an understanding of the topics in a typical undergraduate statistics course. Dr. Michael E. Schuckers is Associate Professor of Statistics at St. Lawrence University, Canton, NY, and a member of the Center for Identification Technology Research.

Computer-aided-design (CAD) of semiconductor microtransducers is relatively new in contrast to their counterparts in the integrated circuit world. Integrated silicon microtransducers are realized using microfabrication techniques similar to those for standard integrated circuits (ICs). Unlike IC devices, however, microtransducers must interact with their environment, so their numerical simulation is considerably more complex. While the design of ICs aims at suppressing "parasitic effects, microtransducers thrive on optimizing the one or the other such effect. The challenging quest for physical models and simulation tools enabling microtransducer CAD is the topic of this book. It is intended as a text for graduate students in Electrical Engineering and Physics and as a reference for CAD engineers in the microsystems industry. This text evolved from a series of courses offered to graduate students from Electrical Engineering and Physics. Much of the material in the book can be presented in about 40 hours of lecture time. The book starts with an illustrative example which highlights the goals and benefits of microtransducer CAD. This follows with a summary of model equations describing electrical transport in semiconductor devices and microtransducers in the absence of external fields. Models treating the effects of the external radiant, magnetic, thermal, and mechanical fields on electrical transport are then systematically introduced. To enable a smooth transition into modeling of mechanical systems, an abridged version of solid structural and fluid mechanics is presented, whereby the focus is on pertinent model equations and boundary conditions. This follows with model equations and boundary conditions relevant to various types of mechanical microactuators including electrostatic, thermal, magnetic, piezoelectric, and electroacoustic. The book concludes with a glimpse into SPICE simulation of the mixed-signal microsystem, i.e., microtransducer plus circuitry. Where possible, the model equations are supplemented with tables and/or graphs of process-dependent material data to enable the CAD engineer to carry out simulations even when reliable material models are not available. IVZ LANG: Introduction: Modeling and Simulation of Microtransducers; Illustrative Example; Progress in Microtransducer Modeling; References.- Basic Electronic Transport: Poisson s Equation; Continuity Equations; Carrier Transport in Crystalline Materials and Isothermal Behavior; Electrical Conductivity and Isothermal Behavior in Polycrystalline Materials; Electrical Conductivity and Isothermal Behavior in Metals; Boundary and Interface Conditions; The External Fields What Do They Influence?; References.- Radiation Effects on Carrier Transport: Reflection and Transmission of Optical Signals; Modeling Optical Absorption in Intrinsic Semiconductors; Absorption in Heavily-Doped Semiconductors; Optical Generation Rate and Quantum Efficiency; Low Energy Interactions with Insulators and Metals; High Energy Interactions and Monte Carlo Simulations; Model Equations for Radiant Sensor Simulation; Illustrative Simulation Example Color Sensor; References.- Magnetic-Field Effects on Carrier Transport: Galvanomagnetic Transport Equation; Galvanomagnetic Transport Coefficients; Equations and Boundary Conditions for Magnetic Sensor Simulation; Illustrative Simulation Example Micromachined Magnetic Vector Probe; References.- Thermal Non-Uniformity Effects on Carrier Transport: Non-Isothermal Effects; Electrothermal Transport Model; Electrical and Thermal Transport Coefficients; Electro-Thermo-Magnetic Interactions; Heat Transfer in Thermal Microstructures; Summary of Equations and Computational Procedure; Illustrative Simulation Example Micro Pirani Gauge; References.- Mechanical Effects on Carrier Transport: Piezoresistive Effect; Strain and Electron Transport; Strain and Hole Transport; Piezojunction Effect; Effects of Stress Gradients; Galvano-Piezo-Magnetic Effects; The Piezo Drift-Diffusion Transport Model; Illustrative Simulation Example Stress Effects on Hall Sensors; References.- Mechanical and Fluidic Signals: Definitions; Model Equations for Mechanical Analysis; Model Equations for Analysis of Fluid Transport; Illustrative Simulation Example Analysis of Flow Channels; References.- Micro-Actuation: Transduction Principles; State-of-the-Art and Preview; Electrostatic Actuation; Thermal Actuation; Magnetic Actuation; Piezoelectric Actuation; Electroacoustic Transducers; Computational Procedure and Coupling; Illustrative Example CMOS Micromirror.- Microsystem Simulation: Electrical Analogues for Mixed-Signals and Historical Developments; Circuit Modeling and Implementation Considerations; Lumped Analysis: Illustrative Example Electrostatic Micromirror; Distributed Analysis: Illustrative Example Flow Microsensor; References.- Subject Index."

In a coherent, exhaustive and progressive way, this book presents the tools for studying local bifurcations of limit cycles in families of planar vector fields. A systematic introduction is given to such methods as division of an analytic family of functions in its ideal of coefficients, and asymptotic expansion of non-differentiable return maps and desingularisation. The exposition moves from classical analytic geometric methods applied to regular limit periodic sets to more recent tools for singular limit sets.

The methods can be applied to theoretical problems such as Hilbert's 16th problem, but also for the purpose of establishing bifurcation diagrams of specific families as well as explicit computations.

- - -

"The book as a whole is awell-balanced exposition that can be recommended to all those who want to gain a thorough understanding and proficiency in therecently developed methods. The book, reflecting the currentstate of the art, can also be used for teaching special courses."
(Mathematical Reviews)"

Polynomial optimization have been a hot research topic for the past few years and its applications range from Operations Research, biomedical engineering, investment science, to quantum mechanics, linear algebra, and signal processing, among many others. In this brief the authors discuss some important subclasses of polynomial optimization models arising from various applications, with a focus on approximations algorithms with guaranteed worst case performance analysis. The brief presents a clear view of the basic ideas underlying the design of such algorithms and the benefits are highlighted by illustrative examples showing the possible applications.

This timely treatise will appeal to researchers and graduate students in the fields of optimization, computational mathematics, Operations Research, industrial engineering, and computer science."

This book offers a mathematical update of the state of the art of the research in the field of mathematical and numerical models of the circulatory system. It is structured into different chapters, written by outstanding experts in the field. Many fundamental issues are considered, such as: the mathematical representation of vascular geometries extracted from medical images, modelling blood rheology and the complex multilayer structure of the vascular tissue, and its possible pathologies, the mechanical and chemical interaction between blood and vascular walls, and the different scales coupling local and systemic dynamics. All of these topics introduce challenging mathematical and numerical problems, demanding for advanced analysis and efficient simulation techniques, and pay constant attention to applications of relevant clinical interest. This book is addressed to graduate students and researchers in the field of bioengineering, applied mathematics and medicine, wishing to engage themselves in the fascinating task of modeling the cardiovascular system or, more broadly, physiological flows.

This book is a snapshot of current research in multiscale modeling, computations and applications. It covers fundamental mathematical theory, numerical algorithms as well as practical computational advice for analysing single and multiphysics models containing a variety of scales in time and space. Complex fluids, porous media flow and oscillatory dynamical systems are treated in some extra depth, as well as tools like analytical and numerical homogenization, and fast multipole method.

This book surveys recent developments in numerical techniques for global atmospheric models. It is based upon a collection of lectures prepared by leading experts in the field. The chapters reveal the multitude of steps that determine the global atmospheric model design. They encompass the choice of the equation set, computational grids on the sphere, horizontal and vertical discretizations, time integration methods, filtering and diffusion mechanisms, conservation properties, tracer transport, and considerations for designing models for massively parallel computers. A reader interested in applied numerical methods but also the many facets of atmospheric modeling should find this book of particular relevance.

This brief provides guidance for the application of cohesive models to determine damage and fracture in materials and structural components. This can be done for configurations with or without a pre-existing crack. Although the brief addresses structural behaviour, the methods described herein may also be applied to any deformation induced material damage and failure, e.g. those occurring during manufacturing processes. The methods described are applicable to the behaviour of ductile metallic materials and structural components made thereof. Hints are also given for applying the cohesive model to other materials.

Of the many different approaches to solving partial differential equations numerically, this book studies difference methods. Written for the beginning graduate student in applied mathematics and engineering, this text offers a means of coming out of a course with a large number of methods that provide both theoretical knowledge and numerical experience. The reader will learn that numerical experimentation is a part of the subject of numerical solution of partial differential equations, and will be shown some uses and taught some techniques of numerical experimentation.
Prerequisites suggested for using this book in a course might include at least one semester of partial differential equations and some programming capability. The author stresses the use of technology throughout the text, allowing the student to utilize it as much as possible. The use of graphics for both illustration and analysis is emphasized, and algebraic manipulators are used when convenient. This is the second volume of a two-part book.

In the recent decade, there has been a growing interest in the numerical treatment of high-dimensional problems. It is well known that classical numerical discretization schemes fail in more than three or four dimensions due to the curse of dimensionality. The technique of sparse grids helps overcome this problem to some extent under suitable regularity assumptions. This discretization approach is obtained from a multi-scale basis by a tensor product construction and subsequent truncation of the resulting multiresolution series expansion. This volume of LNCSE is a collection of the papers from the proceedings of the workshop on sparse grids and its applications held in Bonn in May 2011. The selected articles present recent advances in the mathematical understanding and analysis of sparse grid discretization. Aspects arising from applications are given particular attention.

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2013, held in Ischia, Italy, in July 2013. The 28 revised full papers presented were carefully reviewed and selected from 67 submissions. SIROCCO is devoted to the study of communication and knowledge in distributed systems. Special emphasis is given to innovative approaches and fundamental understanding, in addition to efforts to optimize current designs. The typical areas include distributed computing, communication networks, game theory, parallel computing, social networks, mobile computing (including autonomous robots), peer to peer systems, communication complexity, fault tolerant graph theories and randomized/probabilistic issues in networks.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 94 regular and 30 short submissions. They present original research on all aspects of combinatorial optimization, ranging from mathematical foundations and theory of algorithms to computational studies and practical applications.

The author, who died in 1984, is well-known both as a person and through his research in mathematical logic and theoretical computer science. In the first part of the book he presents the new classical theory of finite automata as unary algebras which he himself invented about 30 years ago. Many results, like his work on structure lattices or his characterization of regular sets by generalized regular rules, are unknown to a wider audience. In the second part of the book he extends the theory to general (non-unary, many-sorted) algebras, term rewriting systems, tree automata, and pushdown automata. Essentially Buchi worked independent of other rersearch, following a novel and stimulating approach. He aimed for a mathematical theory of terms, but could not finish the book. Many of the results are known by now, but to work further along this line presents a challenging research program on the borderline between universal algebra, term rewriting systems, and automata theory. For the whole book and again within each chapter the author starts at an elementary level, giving careful explanations and numerous examples and exercises, and then leads up to the research level. In this way he covers the basic theory as well as many nonstandard subjects. Thus the book serves as a textbook for both the beginner and the advances student, and also as a rich source for the expert.

This volume contains contributions to the BRITE-EURAM 3rd Framework Programme ETMA and extended articles of the TMA-Workshop. It focusses on turbulence modelling techniques suitable to use in typical flow configurations, with emphasis on compressibility effects and inherent unsteadiness. These methodologies are applied to the Navier-Stokes equations, involving various turbulence modelling levels from algebraic to RSM. Basic turbulent flows in aeronautics are considered; mixing layers, wall-flows (flat-plate, backward-facing step, ramp, bump), and more complex configurations (bump, aerofoil). A critical assessment of the turbulence modelling performances is offered, based on previous results and on the experimental data-base of this research programme. The ETMA results figure in the data-base constituted by all partners and organized by INRIA

A recent development in SDC-related problems is the establishment of intelligent SDC models and the intensive use of LMI-based convex optimization methods. Within this theoretical framework, control parameter determination can be designed and stability and robustness of closed-loop systems can be analyzed. This book describes the new framework of SDC system design and provides a comprehensive description of the modelling of controller design tools and their real-time implementation. It starts with a review of current research on SDC and moves on to some basic techniques for modelling and controller design of SDC systems. This is followed by a description of controller design for fixed-control-structure SDC systems, PDF control for general input- and output-represented systems, filtering designs, and fault detection and diagnosis (FDD) for SDC systems. Many new LMI techniques being developed for SDC systems are shown to have independent theoretical significance for robust control and FDD problems.

This book constitutes the refereed proceedings of the 19th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2012, held in Reykjavik, Iceland for 3 days starting June 30, 2012. The 28 revised full papers presented were carefully reviewed and selected from 54 submissions. SIROCCO is devoted to the study of communication and knowledge in distributed systems. Special emphasis is given to innovative approaches and fundamental understanding, in addition to efforts to optimize current designs. The typical areas include distributed computing, communication networks, game theory, parallel computing, social networks, mobile computing (including autonomous robots), peer to peer systems, communication complexity, fault tolerant graph theories, and randomized/probabilistic issues in networks.

In the wake of the computer revolution, a large number of apparently uncon nected computational techniques have emerged. Also, particular methods have assumed prominent positions in certain areas of application. Finite element methods, for example, are used almost exclusively for solving structural problems; spectral methods are becoming the preferred approach to global atmospheric modelling and weather prediction; and the use of finite difference methods is nearly universal in predicting the flow around aircraft wings and fuselages. These apparently unrelated techniques are firmly entrenched in computer codes used every day by practicing scientists and engineers. Many of these scientists and engineers have been drawn into the computational area without the benefit offormal computational training. Often the formal computational training we do provide reinforces the arbitrary divisions between the various computational methods available. One of the purposes of this monograph is to show that many computational techniques are, indeed, closely related. The Galerkin formulation, which is being used in many subject areas, provides the connection. Within the Galerkin frame-work we can generate finite element, finite difference, and spectral methods."

This volume contains eighteen contributions of work, conducted since 2000 in the French - German Research Programme "Numerical Flow Simulation," which was initiated in 1996 by the Centre National de la Recherche Scientifique (CNRS) and the Deutsche Forschungsgemeinschaft (DFG). The main purpose of this third publication on the research programme is again to give an overview over recent progress, and to make the obtained results available to the public. The reports are grouped, like those in the first and the second publi cation (NNFM 66, 1998, and NNFM 75, 2001), under the four headings "Devel opment of Solution Techniques," "Crystal Growth and Melts," "Flows of React ing Gases, Sound Generation" and "Turbulent Flows." All contributions to this publication were reviewed by a board consisting of T. Alziary de Roquefort (Poi tiers, France), H. W. Buggisch (Karlsruhe, Germany), S. Candel (Paris, France), U. Ehrenstein (Nice, France), Th. Gallouet (Marseille, France), W. Kordulla (Gottingen, Germany), A. Lerat (Paris, France), 1. Piquet (Nantes, France), R. Rannacher (Heidelberg, Germany), G. Warnecke (Magdeburg, Germany), and the editor. The responsibility for the contents of the reports nevertheless lies with the contributors."

R. V. M. Zahar* The sixty-fifth birthday of Walter Gautschi provided an opportune moment for an international symposium in his honor, to recognize his many contributions to mathematics and computer sciences. Conceived by John Rice and sponsored by Purdue University, the conference took place in West Lafayette from December 2 to 5, 1993, and was organized around the four main themes representing Professor Gautschi's principal research interests: Approximation, Orthogonal Polynomials, Quadrature and Special Functions. Thirty-eight speakers - colleagues, co-authors, research collaborators or doctoral students of Professor Gautschi - were invited to present articles at the conference, their lectures providing an approximately equal representation of the four disciplines. Five invited speakers, Germund Dahlquist, Philip Davis, Luigi Gatteschi, Werner Rheinboldt and Stephan Ruscheweyh, were unable to present their talks because of illness or other commitments, although Professors Dahlquist, Gatteschi and Ruscheweyh subsequently contributed arti cles to these proceedings. Thus, the final program contained thirty-three technical lectures, ten of which were plenary sessions. Approximately eighty scientists attended the conference, and for some ses sions - in particular, Walter's presentation of his entertaining and informative Reflections and Recollections - that number was complemented by many visitors and friends, as well as the family of the honoree. A surprise visit by Paul Erdos provided one of the highlights of the conference week. The ambiance at the sym posium was extremely collegial, due no doubt to the common academic interests and the personal friendships shared by the participants.

Optimization Approaches for Solving String Selection Problems provides an overview of optimization methods for a wide class of genomics-related problems in relation to the string selection problems. This class of problems addresses the recognition of similar characteristics or differences within biological sequences. Specifically, this book considers a large class of problems, ranging from the closest string and substring problems, to the farthest string and substring problems, to the far from most string problem. Each problem includes a detailed description, highlighting both biological and mathematical features, and presents state-of-the-art approaches. This Brief provides a quick introduction of optimization methods for string selection problems for young scientists and a detailed description of the mathematical and computational methods developed for experts in the field of optimization who want to deepen their understanding of the string selection problems. Researchers, practitioners and graduate students in the field of Computer Science, Operation Research, Mathematics, Computational Biology and Biomedicine will find this book useful.

What is the role of exercise in maintaining good health and preventing metabolic disease, hypertension, cardiorespiratory disease, cancer, and obesity? What is the optimal exercise level to prevent such common diseases and conditions? These important questions were addressed and discussed by researchers, therapists, and physicians at the international symposium "Optimal Exercise for Preventing Common Diseases," held in Fukuoka, Japan, in July 1998, in conjunction with the Fukuoka University Research Center. This book compiles the papers presented at the symposium, giving state-of-the-art information that will be especially valuable to exercise physiologists, physical therapists, and those working in the field of sports medicine.