• The purpose of this book is to provide a comprehensive discussion of the available results for discrete time branching processes with random control functions. The independence of individuals' reproduction is a fundamental assumption in the classical branching processes. Alternatively, the controlled branching processes (CBPs) allow the number of reproductive individuals in one generation to decrease or increase depending on the size of the previous generation. Generating a wide range of behaviors, the CBPs have been successfully used as modeling tools in diverse areas of applications.

  • Systems Biology is the systematic study of the interactions between the components of a biological system and studies how these interactions give rise to the function and behavior of the living system. Through this, a life process is to be understood as a whole system rather than the collection of the parts considered separately. Systems Biology is therefore more than just an emerging field: it represents a new way of thinking about biology with a dramatic impact on the way that research is performed. The logical approach provides an intuitive method to provide explanations based on an expressive relational language. This book covers various aspects of logical modeling of biological systems, bringing together 10 recent logic-based approaches to Systems Biology by leading scientists. The chapters cover the biological fields of gene regulatory networks, signaling networks, metabolic pathways, molecular interaction and network dynamics, and show logical methods for these domains based on propositional and first-order logic, logic programming, answer set programming, temporal logic, Boolean networks, Petri nets, process hitting, and abductive and inductive logic programming. It provides an excellent guide for all scientists, biologists, bioinformaticians, and engineers, who are interested in logic-based modeling of biological systems, and the authors hope that new scientists will be encouraged to join this exciting scientific endeavor.

  • The Vlasov equation is the master equation which provides a statistical description for the collective behavior of large numbers of charged particles in mutual, long-range interaction. In other words, a low collision (or "Vlasov") plasma. Plasma physics is itself a relatively young discipline, whose "birth" can be ascribed to the 1920s. The origin of the Vlasov model, however, is even more recent, dating back to the late 1940s. This "young age" is due to the rare occurrence of Vlasov plasma on Earth, despite the fact it characterizes most of the visible matter in the universe.
    This book - addressed to students, young researchers and to whoever wants a good understanding of Vlasov plasmas - discusses this model with a pedagogical presentation, focusing on the general properties and historical development of the applications of the Vlasov equation. The milestone developments discussed in the first two chapters serve as an introduction to more recent works (characterization of wave propagation and nonlinear properties of the electrostatic limit).