Predicting Genetic Regulatory Response Using Classification: Yeast Stress Response -- Detecting Functional Modules of Transcription Factor Binding Sites in the Human Genome -- Fishing for Proteins in the Pacific Northwest -- PhyloGibbs: A Gibbs Sampler Incorporating Phylogenetic Information -- Application of Kernel Method to Reveal Subtypes of TF Binding Motifs -- Learning Regulatory Network Mo…
Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Al…
Inverse Problems and Interpretation of Measurements -- Classical Regularization Methods -- Statistical Inversion Theory -- Nonstationary Inverse Problems -- Classical Methods Revisited -- Model Problems -- Case Studies.The book develops the statistical approach to inverse problems with an emphasis on modeling and computations. The framework is the Bayesian paradigm, where all variables are mode…
Mathematical Models -- Introduction to State Space Theory -- Stability Theory -- Perturbation Theory -- Uncertain Spaces -- Appendix: Linear Algebra -- Complex Analysis -- Convolutions and Transforms -- Linear Operators.This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically rigorous way. This first volume is devoted to t…
Applications -- Social, Economic, and Ethical Implications of Ambient Intelligence and Ubiquitous Computing -- Integrated Microelectronics for Smart Textiles -- Ambient Intelligence Research in HomeLab: Engineering the User Experience -- How Ambient Intelligence will Improve Habitability and Energy Efficiency in Buildings -- System Design and Architecture -- Networked Infomechanical Systems (NI…
Performance and Tools -- Performance of Scientific Applications on Modern Supercomputers -- A Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework for Hierarchical-hybrid Grid Structures in Technical Simulation and Scientific Visualization -- Computational Fluid Dynamics -- Preface -- Fully Three-Dimensional Coupling of Fluid and Thin-Wal…
Some Novel Aspects of the Cauchy Problem -- Analytic and Algebraic Ideas: How to Profit from Their Complementarity -- On Certain First-Order Partial Differential Equations in C n -- Hermite Operator on the Heisenberg Group -- A Div-Curl Lemma in BMO on a Domain -- Subharmonic Functions on Discrete Structures -- Nearly Hyperbolic Varieties and Phragmén-Lindelöf Conditions -- Sampling and Loca…
Hybrid Systems -- Polytopic Approximations of Reachable Sets Applied to Linear Dynamic Games and a Class of Nonlinear Systems -- On the Problem of Measurement Feedback Control: Ellipsoidal Techniques -- Stability of Hybrid Systems and Related Questions from Systems Biology -- System Theory and Design -- Martingale Representation and All That -- Engineering Education: A Focus on Systems -- New D…
Sharper Upper and Lower Bounds for an Approximation Scheme for Consensus-Pattern -- On the Longest Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting Fast Search and Its Construction Algorithm Using Optimal Working Space -- Succinct Suffix Arrays Based on Run-Length Encoding -- Linear-Time Construction of Compressed Suffix Arrays Using o(n l…
Discrete Tomography -- Binary Matrices Under the Microscope: A Tomographical Problem -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from Noisy Projections -- Combinatorics and Computational Models -- Hexagonal Pattern Languages -- A Combinatorial Transparent Surface Modeling from Polarization Images -- Integral Trees: Subtree D…