This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior...

Fractional Calculus (FC) has originated in 1695, nearly at the same time as conventional calculus. However, FC attracted limited attention and remained a pure mathematical exercise in spite of the original contributions of important mathematicians,
physicists and engineers. FC had a rapid development during the last few decades,
both in...

This book describes neurosurgical cases following the format of the clinical handover. Each case has a one line summary and differential diagnosis, appropriate interpretation of illustrated radiological studies, further ancillary tests, and management options. When appropriate, scoring/scaling systems and detailed anatomy are...

"This interesting monograph is devoted to the study of multi-agent, populations of biological cells and robot teams. … The main objective of the approach is to provide solutions to the problem of how dynamics of an individual agent propagates to the population dynamics. … This original monograph has a wide...

Featuring 500 full-color clinical photographs, succinct clinical pearls, and detailed differential diagnosis tables, this atlas is a visual guide to the rapid and accurate diagnosis of pediatric problems. The book will greatly assist busy practitioners in recognizing disease entities and distinguishing among entities that appear similar. Organized...

This book covers a diverse range of topics in Mathematical Physics, linear and nonlinear PDEs. Though the text reflects the classical theory, the main emphasis is on introducing readers to the latest developments based on the notions of weak solutions and Sobolev spaces.

This book collects chapters dealing with some of the theoretical aspects needed to properly discuss the dynamics of complex engineering systems. The book illustrates advanced theoretical development and new techniques designed to better solve problems within the nonlinear dynamical systems. Topics covered in this volume include...

With the development of ever more powerful computers a new branch of physics and engineering evolved over the last few decades: Computer Simulation or Computational Physics. It serves two main purposes:

- Solution of complex mathematical problems such as, differential equations, minimization/optimization, or high-dimensional...

This book provides a seamless approach to numerical algorithms, modern programming techniques and parallel computing. These concepts and tools are usually taught serially across different courses and different textbooks, thus observing the connection between them. The necessity of integrating these subjects usually comes after such courses are...

The geometry of lines occurs naturally in such different areas as sculptured surface machining, computation of offsets and medial axes, surface reconstruction for reverse engineering, geometrical optics, kinematics and motion design, and modeling of developable surfaces. This book covers line geometry from various viewpoints and aims towards...

Skillfully organized introductory text examines origin of differential equations, then defines basic terms and outlines general solution of a differential equation. Subsequent sections deal with integrating factors; dilution and accretion problems; linearization of first order systems; Laplace Transforms; Newton’s Interpolation Formulas,...

The object of this book is to introduce to a new generation of students an area of mathematics that has received a tremendous impetus during the last twenty years or so from developments in singularity theory.

The differential geometry of curves, families of curves and surfaces in Euclidean space has fascinated mathematicians and users...