This book is a collection of articles by leading researchers working at the cutting edge of neuro-computational modelling of neurological and psychiatric disorders. Each article contains model validation techniques used in the context of the specific problem being studied. Validation is essential for neuro-inspired computational models to become useful tools in the understanding and treatmen…
The Handbook of Mathematical Methods in Imaging provides a comprehensive treatment of the mathematical techniques used in imaging science. The material is grouped into two central themes, namely, Inverse Problems (Algorithmic Reconstruction) and Signal and Image Processing. Each section within the themes covers applications (modeling), mathematics, numerical methods (using a case example) and o…
This monograph presents the state of the art in aeroservoelastic (ASE) modeling and analysis and develops a systematic theoretical and computational framework for use by researchers and practicing engineers. It is the first book to focus on the mathematical modeling of structural dynamics, unsteady aerodynamics, and control systems to evolve a generic procedure to be applied for ASE synthesis. …
This thirteenth volume of the Poincaré Seminar Series, Henri Poincaré, 1912-2012, is published on the occasion of the centennial of the death of Henri Poincaré in 1912. It presents a scholarly approach to Poincaré’s genius and creativity in mathematical physics and mathematics. Its five articles are also highly pedagogical, as befits their origin in lectures to a broad scientific audience…
This volume is comprised of articles providing new results on variational and hemivariational inequalities with applications to Contact Mechanics unavailable from other sources. The book will be of particular interest to graduate students and young researchers in applied and pure mathematics, civil, aeronautical and mechanical engineering, and can be used as supplementary reading material for a…
This book provides readers with a concise introduction to current studies on operator-algebras and their generalizations, operator spaces and operator systems, with a special focus on their application in quantum information science. This basic framework for the mathematical formulation of quantum information can be traced back to the mathematical work of John von Neumann, one of the pioneers o…
This volume is a tutorial for the study of dynamical systems on networks. It discusses both methodology and models, including spreading models for social and biological contagions. The authors focus especially on ℓ́ℓsimpleℓ́ℓ situations that are analytically tractable, because they are insightful and provide useful springboards for the study of more complicated scenarios. This tutoria…
This books is a general introduction to Marine Ecology, accompanying a lecture and excursion. It targets students without prior knowledge of the subject. The content is taken largely from Wikipedia, but curated and augmented by the authors.
This interdisciplinary thesis introduces a systems biology approach to study the cell fate decision mediated by autophagy. A mathematical model of interaction between Autophagy and Apoptosis in mammalian cells is proposed. In this dynamic model autophagy acts as a gradual response to stress (Rheostat) that delays the initiation of bistable switch of apoptosis to give the cells an opportunity to…
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…