Michel Parigot & Andrei Voronkov 
Logic for Programming and Automated Reasoning [PDF ebook] 
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

In the theory of splines, a function is approximated piece-wise by (usually cubic) polynomials. Quasi-splines is the natural extension of this, allowing us to use any useful class of functions adapte …

The thirty papers published in this book represent the latest developments in Discontinuous Deformation Analysis (DDA). The Numerical Manifold Method (NMM) and other numerical methods and their appli …

This book provides an introduction to the analysis of multivariate data.It describes multivariate probability distributions, the preliminary analysisof a large -scale set of data, princ iple componen …

The emergence of fuzzy logic and its applications has dramatically changed the face of industrial control engineering. Over the last two decades, fuzzy logic has allowed control engineers to meet and …

First published in 1982. These lectures are in two parts. Part I, entitled injective Modules Over Levitzki Rings , studies an injective module E and chain conditions on the set A^(E, R) of right idea …

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

This work addresses all of the major topics in Fourier series, emphasizing the concept of approximate identities and presenting applications, particularly in time series analysis. It stresses through …

This book is based on an International Conference on Trends in Theory and Practice of Nonlinear Differential Equations held at The University of Texas at Arlington. It aims to feature recent trends i …