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…
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
Mathematical Reasoning and Visualization -- Visualization in Logic and Mathematics -- From Symmetry Perception to Basic Geometry -- Naturalism, Pictures, and Platonic Intuitions -- Mathematical Activity -- Mathematical Explanation and Proof Styles -- Tertium Non Datur: On Reasoning Styles in Early Mathematics -- The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Pr…
to Shape Optimization Theory and Some Classical Problems -- Optimization Problems over Classes of Convex Domains -- Optimal Control Problems: A General Scheme -- Shape Optimization Problems with Dirichlet Condition on the Free Boundary -- Existence of Classical Solutions -- Optimization Problems for Functions of Eigenvalues -- Shape Optimization Problems with Neumann Condition on the Free Bound…
Formulation of the Problems and Their Nonstationary Boundary Integral Equations -- Problems with Dirichlet Boundary Conditions -- Problems with Neumann Boundary Conditions -- Boundary Integral Equations for Problems with Dirichlet and Neumann Boundary Conditions -- Transmission Problems and Multiply Connected Plates -- Plate Weakened by a Crack -- Initial-Boundary Value Problems with Other Type…
1 -- The Work of G. Stampacchia in Variational Inequalities -- In Memory of Guido Stampacchia -- The Collaboration between Guido Stampacchia and Jacques-Louis Lions on Variational Inequalities -- In Memory of Guido Stampacchia -- Guido Stampacchia -- Memories of Guido Stampacchia -- In Memory of Guido Stampacchia -- Guido Stampacchia, My Father -- 2 -- Convergence and Stability of a Regularizat…
Introduction, Exemples -- Topologies sur les domaines de ?N -- Continuité par rapport au domaine -- Existence de formes optimales -- Dérivation par rapport au domaine -- Propriétés géométriques de l’optimum -- Relaxation, homogénéisation.Ce livre est une initiation aux approches modernes de l’optimisation mathématique de formes. Il s’appuie sur les seules connaissances de premiè…
Solving Polynomial Equations -- Resultants -- Computation in Local Rings -- Modules -- Free Resolutions -- Polytopes, Resultants, and Equations -- Polyhedral Regions and Polynomials -- Algebraic Coding Theory -- The Berlekamp-Massey-Sakata Decoding Algorithm.In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation on fast inexpens…
Heuristic Search for Network Design -- Polyhedral Combinatorics -- Constraint Languages for Combinatorial Optimization -- A Tutorial on Radiation Oncology and Optimization -- Parallel Algorithm Design for Branch and Bound -- Computer-Aided Design for Electrical and Computer engineering -- Nonlinear Programming and Engineering Applications -- Connecting MRP, MRP II and ERP — Supply Chain Produ…
Preface -- Introduction -- Basic Concept of Ca2+ Signaling in Cells and Tissues (M. J. Sanderson) -- Modeling IP-3-Dependent Calcium Dynamics in Non-Excitable Cells (J. Sneyd) -- Integrated Calcium Management in Cardiac Myocytes (T. R. Shannon) -- Mechanisms and Models of Cardiac Excitation-Contraction Coupling (R. L. Winslow, R. Hinch, J. L. Greenstein) -- Mathematical Analysis of the Generati…