Page 2
Page 2
Provenance and Annotation of Data ; International Provenance and Annotation Workshop, IPAW 2006, Chicago, Il, USA, May 3-5, 2006, Revised Selected Papers
This book constitutes the thoroughly referred post-proceedings of the International Provenance and Annotation Workshops, IPAW 2006, held in Chicago, Il, USA in May 2006. The 26 revised full papers presented together with two keynote papers were carefully selected for presentation during two rounds of reviewing and improvement
Principles of Spread-Spectrum Communication Systems
This book provides a concise but lucid explanation and derivation of the fundamentals of spread-spectrum communication systems. Although the exposition emphasizes theoretical principles, the choice of specific topics is tempered by their practical significance and interest to both researchers and system designers
Principles of Signal Detection and Parameter Estimation
This new textbook is for contemporary signal detection and parameter estimation courses offered at the advanced undergraduate and graduate levels. It presents a unified treatment of detection problems arising in radar/sonar signal processing and modern digital communication systems. The material is comprehensive in scope and addresses signal processing and communication applications with an emphasis on fundamental principles. In addition to standard topics normally covered in such a course, the author incorporates recent advances, such as the asymptotic performance of detectors, sequential detection, generalized likelihood ratio tests (GLRTs), robust detection, the detection of Gaussian signals in noise, the expectation maximization algorithm, and the detection of Markov chain signals. Numerous examples and detailed derivations along with homework problems following each chapter are included.
Principles of hyperplasticity : An approach to plasticity theory based on thermodynamic principles
Principles of Hyperplasticity is concerned with the theoretical modelling of the behaviour of solids which undergo nonlinear and irreversible deformation. The approach to plasticity theory developed here is firmly rooted in thermodynamics, so that the models developed are guaranteed to obey the First and Second Laws. Major emphasis is placed on the use of potentials, and the derivation of constitutive models for irreversible behaviour entirely from two scalar potentials is shown. It is to accentuate this feature that the authors use the term "hyperplasticity", by analogy with the use of "hyperelasticity" in elasticity theory.
Pitch : Neural Coding and Perception
Although pitch has been considered an important area of auditory research since the birth of modern acoustics in the 19th century, some of the most significant developments in our understanding of this phenomenon have occurred comparatively recently. In auditory physiology, researchers are now identifying cells in the brainstem and cortex that may be involved in the derivation of pitch. In auditory psychophysics, dramatic developments over the last several years have changed our understanding of temporal pitch mechanisms, and of the roles of resolved and unresolved harmonics. Computational modeling has provided new insights into the biological algorithms that may underlie pitch perception. Modern brain imaging techniques have suggested possible cortical locations for pitch mechanisms. This timely volume presents recent findings, while emphasizing their relation to the discoveries of the past. It brings together insights from several different methodological areas: physiology, psychophysics, comparative, imaging, etc., in addressing a single scientific problem. Pitch perception can be regarded as one of the main problems of hearing.
Particle penetration and radiation effects : General aspects and stopping of swift point charges
This book, which has evolved from the author’s lectures at the University of Copenhagen and the University of Southern Denmark, draws on his experience as an active researcher in the interaction of charged particles with matter over more than forty years. The emphasis is on the theoretical description of fundamental phenomena, and much attention has been given to classic topics such as: Rutherford scattering; the theory of particle stopping as developed by Bohr, Bethe, Bloch and Lindhard; the statistical description of energy loss as developed by Bohr, Bothe, Williams and Landau; and numerous more recent developments. An attempt has been made to provide at least one complete derivation of a theoretical description for all central aspects. It is intended that this volume will satisfy a long-standing need for a textbook suitable for introductory courses on interactions of charged particles with matter for students of physics, chemistry and related fields at the graduate and postgraduate level. In order to make it useful for researchers in materials science, electrical engineering, medical technique and other application areas in science and engineering.
Optimization Theory and Methods : Nonlinear Programming
It systematically describes optimization theory and several powerful methods, including recent results. For most methods, the authors discuss an idea’s motivation, study the derivation, establish the global and local convergence, describe algorithmic steps, and discuss the numerical performance. The book deals with both theory and algorithms of optimization concurrently.
Optimal Control of Constrained Piecewise Affine Systems
One of the most important and challenging problems in control is the derivation of systematic tools for the computation of controllers for constrained nonlinear systems that can guarantee closed-loop stability, feasibility, and optimality with respect to some performance index. This book focuses on the efficient and systematic computation of closed-form optimal controllers for the powerful class of fast-sampled constrained piecewise affine systems. These systems may exhibit rather complex behavior and are equivalent to many other hybrid system formalisms (combining continuous-valued dynamics with logic rules) reported in the literature. Furthermore, piecewise affine systems are a useful modeling tool that can capture general nonlinearities (e.g. by local approximation), constraints, saturations, switches, and other hybrid modeling phenomena. The first part of the book presents an introduction to the mathematical and control theoretical background material needed for the full understanding of the book.
Optics : Learning by Computing, with Examples Using Mathcad, Matlab, Mathematica, and Maple
It uses scripts from Maple, MathCad, Mathematica, and MATLAB provide a simulated laboratory where students can learn by exploration and discovery instead of passive absorption. The text covers all the standard topics of a traditional optics course, including: geometrical optics and aberration, interference and diffraction, coherence, Maxwell's equations, wave guides and propagating modes, blackbody radiation, atomic emission and lasers, optical properties of materials, Fourier transforms and FT spectroscopy, image formation, and holography. It contains step by step derivations of all basic formulas in geometrical, wave and Fourier optics.
Multivariate Statistics : Exercises and Solutions
The first part is devoted to graphical techniques. The second part deals with multivariate random variables and presents the derivation of estimators and tests for various practical situations. The last part introduces a wide variety of exercises in applied multivariate data analysis. The book demonstrates the application of simple calculus and basic multivariate methods in real life situations. It contains altogether 234 solved exercises which can assist a university teacher in setting up a modern multivariate analysis course. All computer-based exercises are available in the R or XploRe languages.
Modal Array Signal Processing : Principles and Applications of Acoustic Wavefield Decomposition
Many applications of acoustic signal processing, such as teleconferencing and surveillance systems, require an estimate of several parameters present in the observed acoustic wavefield. The most important parameters are the number as well as the location of active acoustic sources. This book deals with the problem of detecting and localizing multiple simultaneously active wideband acoustic sources by applying the notion of wavefield decomposition using circular and spherical microphone arrays. The decomposed wavefield representation is used to serve as a basis for so-called modal array signal processing algorithms, which have the significant advantage over classical array signal processing algorithms that they inherently support multiple wideband acoustic sources. A rigorous derivation of modal array signal processing algorithms for unambiguous source detection and localization as well as performance evaluations by means of measurements using an actual real-time capable implementation are discussed.
Mechanics of Structural Elements : Theory and Applications
The book systematically presents variational principles and methods of analysis for applied elasticity and structural mechanics. The variational approach is used consistently for both, constructing numerical procedures and deriving basic governing equations of applied mechanics of solids; it is the derivation of equations where this approach is most powerful and best grounded by mathematics. The book is oriented towards experts in civil engineering, researchers, developers of software for mechanical strength, stability, and oscillation analysis; it can be used by practical engineers who employ software tools to do their job and who want to know more about the theoretical background of the strength analysis. The book will be useful to senior and postgraduate students of engineering, to professors of structural analysis at civil or mechanical engineering departments of technical universities.
Mechanics of Elastic Structures with Inclined Members : Analysis of vibration, buckling and Bending of X-Braced Frames and Conical Shells
This monograph presents the mechanics of vibration, buckling and bending of elastic structures with inclined members such as x-braced high rise frames and conical shells. More than giving detailed derivations of basic equations.
Introduction to Bayesian Statistics
This is the second and translated edition of the German book “Einf ̈uhrung in die Bayes-Statistik, Springer-Verlag, Berlin Heidelberg New York, 2000”. It has been completely revised and numerous new developments are pointed out together with the relevant literature. The Chapter 5.2.4 is extended by the stochastic trace estimation for variance components. The new Chapter 5.2.6 presents the estimation of the regularization parameter of type Tykhonov regularization for inverse problems as the ratio of two variance components.The reconstruction and the smoothing of digital three-dimensional images is demonstrated in the new Chapter 5.3. The Chapter 6.2.1 on importance sampling for the Monte Carlo integration is rewritten to solve a more general integral. This chapter contains also the derivation of the SIR (sampling-importance-resampling) algorithm as an alternative to the rejection method for generating random samples. Markov Chain Monte Carlo methods are now frequently applied in Bayesian statistics.
Integrable Hamiltonian Hierarchies : Spectral and Geometric Methods
This book presents a detailed derivation of the spectral properties of the Recursion Operators allowing one to derive all the fundamental properties of the soliton equations and to study their Hamiltonian hierarchies. Thus it is demonstrated that the inverse scattering method for solving soliton equations is a nonlinear generalization of the Fourier transform. The book brings together the spectral and the geometric approaches and as such will be useful to a wide readership: from researchers in the field of nonlinear completely integrable evolution equations to graduate and post-graduate students.
Information criteria and statistical modeling
One of the main objectives of this book is to provide comprehensive explanations of the concepts and derivations of the AIC and related criteria, including Schwarz’s Bayesian information criterion (BIC), together with a wide range of practical examples of model selection and evaluation criteria. A secondary objective is to provide a theoretical basis for the analysis and extension of information criteria via a statistical functional approach. A generalized information criterion (GIC) and a bootstrap information criterion are presented, which provide unified tools for modeling and model evaluation for a diverse range of models, including various types of nonlinear models and model estimation procedures such as robust estimation, the maximum penalized likelihood method and a Bayesian approach.
Information and knowledge : A constructive type-theoretical approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
Hybrid Methods of Molecular Modeling
Hybrid Methods of Molecular Modeling is a self-contained advanced review volume. It provides a step by step derivation of the consistent theoretical picture of hybrid modeling methods and a thorough analysis of the concepts and current practical methods of hybrid modeling based on this theory. The book presents its material sequentially, paying attention both to the physical soundness of the approximations used and to the mathematical rigor necessary for the practical development of the robust modeling code.
H-infinity control for nonlinear descriptor systems
The authors present a study of the H-infinity control problem and related topics for descriptor systems, described by a set of nonlinear differential-algebraic equations. They derive necessary and sufficient conditions for the existence of a controller solving the standard nonlinear H-infinity control problem considering both state and output feedback. One such condition for the output feedback control problem to be solvable is obtained in terms of Hamilton–Jacobi inequalities and a weak coupling condition; a parameterization of output feedback controllers solving the problem is also provided. All of these results are then specialized to the linear case. The derivation of state-space formulae for all controllers solving the standard H-infinity control problem for descriptor systems is proposed. Among other important topics covered are balanced realization, reduced-order controller design and mixed H2/H-infinity control.
Heat and cold storage with PCM : An up to date introduction into basics and applications
Latent heat storage with phase change materials (PCM) has the potential to improve significantly the efficiency of heat and cold storages and to reduce their size considerably. The book is an introduction into the field for researchers and students. It summarizes and explains the basics, general concepts, and applications with examples in a single text. For a better understanding, many derivations, graphs and tables are included. All aspects from materials analysis and modification, storage design, storage integration, and different application examples are covered. Special focus is on applications in buildings.
