Refine Results
Sort By
From
To
Page 1
Page 1
Automatic program development : A tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Analysis and Development of Sustainable Urban Production Systems
Manufacturing of products in urban production sites is connected to unique potentials, yet also to specific challenges. Urban factories can provide functional diversity and contribute positive impacts to a city. The concept of urban production receives rising attention in research and industry and it is recognized in its interdisciplinary nature. With a holistic approach from both the urban perspective and the factory perspective, negative impacts can be minimized, positive effects enabled and mutually beneficial, symbiotic combinations created. The presented framework and methods for the evaluation and implementation of sustainable urban production systems allow the assessment of impacts and provide the means to control and utilize the unique strengths of urban factories for cities and industry. This will allow a structured derivation of methods and measures from the concept of urban production for producing enterprises and the urban stakeholders.
Analog and Pulse Circuits
Intended for anyone who has an interest to learn the analysis and design of analog and digital systems. The book covers the foundation of analysis and design of all analog and pulse circuits. The book is organized into seven chapters. In each chapter, practical derivations are explained step by step.
Algorithmic Aspects of Bioinformatics
Advances in bioinformatics and systems biology require improved computational methods for analyzing data, while progress in molecular biology is in turn influencing the development of computer science methods. This book introduces some key problems in bioinformatics, discusses the models used to formally describe these problems, and analyzes the algorithmic approaches used to solve them. After introducing the basics of molecular biology and algorithmics, Part I explains string algorithms and alignments; Part II details the field of physical mapping and DNA sequencing; and Part III examines the application of algorithmics to the analysis of biological data. Exciting application examples include predicting the spatial structure of proteins, and computing haplotypes from genotype data. This book describes topics in detail and presents formal models in a mathematically precise, yet intuitive manner, with many figures and chapter summaries, detailed derivations, and examples. It is well suited as an introduction into the field of bioinformatics, and will benefit students and lecturers in bioinformatics and algorithmics, while also offering practitioners an update on current research topics.
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.
Bond Portfolio Optimization
1 The tools of modern portfolio theory are in general use in the equity markets, either in the form of portfolio optimization software or as an accepted frame- 2 work in which the asset managers think about stock selection. In the ?xed income market on the other hand, these tools seem irrelevant or inapplicable. Bond portfolios are nowadays mainly managed by a comparison of portfolio 3 4 risk measures vis ¶a vis a benchmark. The portfolio manager’s views about the future evolution of the term structure of interest rates translate th- selves directly into a positioning relative to his benchmark, taking the risks of these deviations from the benchmark into account only in a very crude 5 fashion, i.e. without really quantifying them probabilistically. This is quite surprising since sophisticated models for the evolution of interest rates are commonly used for interest rate derivatives pricing and the derivation of ?xed 6 income risk measures.
Magnetic Control of Tokamak Plasmas
The main topic of Magnetic Control of Tokamak Plasmas is the design of feedback control systems guaranteeing the stability of plasma equilibrium inside a tokamak and the regulation of the plasma position and shape during plasma pulses. Modelling and control details are presented, allowing the non-expert to understand the control problem. Starting from equations of magneto-hydro-dynamics, all the steps needed for the derivation of plasma state-space models are enumerated. The basics of electromagnetics are frequently recalled. The control problem is then described beginning with control of current and position – vertical and radial – and progressing to the more challenging shape control. The solutions proposed vary from simple PIDs to more sophisticated MIMO controllers.
Linear Estimation and Detection in Krylov Subspaces
Focuses on the foundations of linear estimation theory which is essential for effective signal processing. In its first part, it gives a comprehensive overview of several key methods like reduced-rank signal processing and Krylov subspace methods of numerical mathematics. Based on the derivation of the multistage Wiener filter in its most general form, the relationship between statistical signal processing and numerical mathematics is presented. In the second part, the theory is applied to iterative multiuser detection receivers (Turbo equalization) which are typically desired in wireless communication systems.
Computational Acoustics of Noise Propagation in Fluids - Finite and Boundary Element Methods
Among numerical methods applied in acoustics, the Finite Element Method (FEM) is normally favored for interior problems whereas the Boundary Element Method (BEM) is quite popular for exterior ones. That is why this valuable reference provides a complete survey of methods for computational acoustics, namely FEM and BEM. It demonstrates that both methods can be effectively used in the complementary cases. The chapters by well-known authors are evenly balanced: 10 chapters on FEM and 10 on BEM. An initial conceptual chapter describes the derivation of the wave equation and supplies a unified approach to FEM and BEM for the harmonic case. A categorization of the remaining chapters and a personal outlook complete this introduction. In what follows, both FEM and BEM are discussed in the context of very different problems.
Compositionality and Concepts in Linguistics and Psychology
By highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the central challenges in the study of language and cognition. The articles bring together work by leading scholars and younger researchers in psychology, linguistics and philosophy. An introductory chapter lays out the background on concept composition, a problem that is stimulating much new research in cognitive science. Researchers in this interdisciplinary domain aim to explain how meanings of complex expressions are derived from simple lexical concepts and to show how these meanings connect to concept representations.
Classical Nucleation Theory in Multicomponent Systems
Nucleation is the initial step of every first-order phase transition, and most phase transitions encountered both in everyday life and industrial processes are of the first-order. Using an elegant classical theory based on thermodynamics and kinetics, this book provides a fully detailed picture of multi-component nucleation. As many of the issues concerning multi-component nucleation theory have been solved during the last 10-15 years, it also thoroughly integrates both fundamental theory with recent advances presented in the literature. It covered are: the basic relevant thermodynamics and statistical physics; modelling a molecular cluster as a spherical liquid droplet; predicting the size and composition of the nucleating critical clusters; kinetic models for cluster growth and decay; calculating nucleation rates; and a full derivation and application of nucleation theorems that can be used to extract microscopic cluster properties from nucleation rate measurements.
Bayesian core : A practical approach to computational Bayesian statistics
This Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on its theoretical justifications. Special attention is paid to the derivation of prior distributions in each case and specific reference solutions are given for each of the models.
Asymptotic Analysis and Boundary Layers
Presents a new method of asymptotic analysis of boundary-layer problems, the Successive Complementary Expansion Method (SCEM). The first part is devoted to a general comprehensive presentation of the tools of asymptotic analysis. It gives the keys to understand a boundary-layer problem and explains the methods to construct an approximation. The second part is devoted to SCEM and its applications in fluid mechanics, including external and internal flows. The advantages of SCEM are discussed in comparison with the standard Method of Matched Asymptotic Expansions. In particular, for the first time, the theory of Interactive Boundary Layer is fully justified. With its chapter summaries, detailed derivations of results, discussed examples and fully worked out problems and solutions, the book is self-contained.
Applied Fuzzy Arithmetic : An Introduction with Engineering Applications
Applied Fuzzy Arithmetic provides a well-structured compendium that offers both a deeper knowledge about the theory of fuzzy arithmetic and an extensive view on its applications in the engineering sciences, making it a resource for students, researchers, and practical engineers. The first part of the book gives an introduction to the theory of fuzzy arithmetic, which aims to present the subject in a well-organized and comprehensible form. The derivation of fuzzy arithmetic from the original fuzzy set theory and its evolution towards a successful implementation is presented with existing formulations of fuzzy arithmetic included and integrated in the overall context. The second part of the book presents a diversified exposition of the application of fuzzy arithmetic, addressing different areas of the engineering sciences, such as mechanical, geotechnical, biomedical, and control engineering.
Analysis of failure in fiber polymer laminates : the theory of Alfred Puck
This book presents for the first time comprehensively the Theory of Alfred Puck on failure in Fiber Polymer Laminates. After a brief introduction into the failure analysis of laminates and its history, the text focuses first on Puck’s fracture criteria and gives detailed information on their physical background, mathematical derivation and application. Another core part of Puck’s Theory is his concept for Post Failure Analysis. Here, too, the physical background and the analytical procedure are presented. The theoretical chapters are completed by the presentation of the latest developments, namely the consideration of residual stresses and probabilistic effects. The second main part of the book deals with the extensive experimental verification program which has been accomplished since the mid 1990’s. As a result of this work, the Puck Theory can be regarded as better verified than any other theory. All experimental set ups and the major results are presented and explained.
Analysis II
As with the first, the second volume contains substantially more material than can be covered in a one-semester course. Such courses may omit many beautiful and well-grounded applications which connect broadly to many areas of mathematics. We of course hope that students will pursue this material independently; teachers may find it useful for undergraduate seminars. For an overview of the material presented, consult the table of contents and the chapter introductions. As before, we stress that doing the numerous exercises is indispensable for understanding the subject matter, and they also round out and amplify the main text. In writing this volume, we are indebted to the help of many.
An introduction to differential geometry with applications to elasticity
Interestingly, notions that pertain to di?erential geometry per se,suchas covariant derivatives of tensor ?elds, are also introduced in Chapters 3 and 4, where they appear most naturally in the derivation of the basic boundary value problems of three-dimensional elasticity and shell theory.
Algebraic Theory of Locally Nilpotent Derivations
This book explores the theory and application of locally nilpotent derivations, which is a subject of growing interest and importance not only among those in commutative algebra and algebraic geometry, but also in fields such as Lie algebras and differential equations. The author provides a unified treatment of the subject, beginning with 16 First Principles on which the entire theory is based. These are used to establish classical results, such as Rentschler’s Theorem for the plane, right up to the most recent results, such as Makar-Limanov’s Theorem for locally nilpotent derivations of polynomial rings.
A Course in Derivative Securities : Introduction to Theory and Computation
This book aims at a middle ground between the introductory books on derivative securities and those that provide advanced mathematical treatments. It is written for mathematically capable students who have not necessarily had prior exposure to probability theory, stochastic calculus, or computer programming. It provides derivations of pricing and hedging formulas (using the probabilistic change of numeraire technique) for standard options, exchange options, options on forwards and futures, quanto options, exotic options, caps, floors and swaptions, as well as VBA code implementing the formulas. It also contains an introduction to Monte Carlo, binomial models, and finite-difference methods.
