This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
This book focuses on the theory of the Zakharov system in the context of plasma physics. It has been over 40 years since the system was first derived by V. E. Zakharov – and in the course of those decades, many innovative achievements with major impacts on other research fields have been made. The book represents a first attempt to highlight the mathematical theories that are most importan…
This volume provides updated, in-depth material on the application of intelligent optimization in biology and medicine. The aim of the book is to present solutions to the challenges and problems facing biology and medicine applications. This Volume comprises of 13 chapters, including an overview chapter, providing an up-to-date and state-of-the research on the application of intelligent optimiz…
This book presents a unified approach to studying the stability of both elliptic Cauchy problems and selected inverse problems. Based on elementary Carleman inequalities, it establishes three-ball inequalities, which are the key to deriving logarithmic stability estimates for elliptic Cauchy problems and are also useful in proving stability estimates for certain elliptic inverse problems. T…
This volume highlights problems from a range of biological and medical applications that can be interpreted as questions about system behavior or control. Topics include drug resistance in cancer and malaria, biological fluid dynamics, auto-regulation in the kidney, anti-coagulation therapy, evolutionary diversification and photo-transduction. Mathematical techniques used to describe and invest…
This volume provides an overview of applications of conceptual spaces theory, beginning with an introduction to the modeling tool that unifies the chapters. The first section explores issues of linguistic semantics, including speakers’ negotiation of meaning. Further sections address computational and ontological aspects of constructing conceptual spaces, while the final section looks at phil…
This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how informatio…
This book is a collection of papers presented at the conference “Forum Math-for-Industry 2014” for which the unifying theme was “Applications + Practical Conceptualization + Mathematics = fruitful Innovation” in October 2014. This epigram encapsulates the dynamics of the process that takes an application through to an innovation. Industrial mathematics can be viewed as the causal engine…
This book is a comprehensive treatment of the theory of persistence modules over the real line. It presents a set of mathematical tools to analyse the structure and to establish the stability of such modules, providing a sound mathematical framework for the study of persistence diagrams. Completely self-contained, this brief introduces the notion of persistence measure and makes extensive use o…
This proceedings volume originates from a conference held in Herrnhut in June 2013. It provides unique insights into the power of abstract methods and techniques in dealing successfully with numerous applications stemming from classical analysis and mathematical physics. The book features diverse topics in the area of operator semigroups, including partial differential equations, martingale and…