Atlantis Press: 75 books

System on chips designs have evolved from fairly simple unicore, single memory designs to complex heterogeneous multicore SoC architectures consisting of a large number of IP blocks on the same silicon. To meet high computational demands posed by latest consumer electronic devices, most current systems...

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems...

This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand,...

This book lays the foundations of gas- and fluid dynamics. The basic equations are developed from first principles, building on the (assumed) knowledge of Classical Mechanics. This leads to the discussion of the mathematical properties of flows, conservation laws, perturbation analysis, waves...

The first volume (General Theory) differs from most textbooks as it emphasizes the mathematical structure and mathematical rigor, while being adapted to the teaching the first semester of an advanced course in Quantum Mechanics (the content of the book are the lectures of courses actually delivered.)....

This monograph offers the reader a treatment of the theory of evolution PDEs with nonstandard growth conditions. This class includes parabolic and hyperbolic equations with variable or anisotropic nonlinear structure. We develop methods for the study of such equations and present a detailed account...

This book aims to give state of the art in several domains of cultural heritage in which Nanosciences allow fundamental breakthrough.  The first part of the book concerns nanostructured materials in ancient artifacts. Understanding their nature and formation processes bring new insight in the apprehension...

Thurston maps are topological generalizations of postcritically-finite rational maps. This book provides a comprehensive study of ergodic theory of expanding Thurston maps, focusing on the measure of maximal entropy, as well as a more general class of invariant measures, called equilibrium states,...

The present book takes the discovery that quantum-like behaviour is not solely reserved to atomic particles one step further. If electrons are modelled as vibrating droplets instead of the usually assumed point objects, and if the classical laws of nature are applied, then exactly  the same behaviour...

A variety of introductory articles is provided on a wide range of topics, including variational problems on curves and surfaces with anisotropic curvature. Experts in the fields of Riemannian, Lorentzian and contact geometry present  state-of-the-art reviews of their topics. The contributions are...

This book provides a new synthesis of the published research on the Quaternary of Ireland. It reviews a number of significant advances in the last three decades on the understanding of the pattern and chronology of the Irish Quaternary glacial, interglacial, floristic and occupation records. Those...

This book brings together an overview of the recent geological history, active earth and biological processes and human settlement of New Zealand. Topics covered include the very active neotectonic and volcanic setting. Mountain geomorphic processes are examined and new ideas about landsliding are...

The idea of mutual classification of spaces and mappings is one of the main research directions of point set topology. In a systematical way, this book discusses the basic theory of generalized metric spaces by using the mapping method, and summarizes the most important research achievements, particularly...

The book aims to provide an unifying view of a variety (a 'zoo') of mathematical models with some kind of singular nonlinearity, in the sense that it becomes infinite when the state variable approaches a certain point. Up to 11 different concrete models are analyzed in separate chapters. Each chapter...