Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language.
This book offers an in-depth presentation of the finite element method, aimed at engineers, students and researchers in applied sciences. The description of the method is... Læs mere
The aim of this book is to relate fluid flows to chemical reactions. It focuses on the establishment of consistent systems of equations with their boundary conditions and... Læs mere
The objective of this book is to provide those interested in the field of flexible robotics with an overview of several scientific and technological advances in the practical field of robotic manipulation.
Flows with chemical reactions can occur in various fields such as combustion, process engineering, aeronautics, the atmospheric environment and aquatics.
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.
Communicating by speech is seemingly one of the most natural activities for humans. However, despite its apparent obviousness and ease, speech production... Læs mere
The finite element method (FEM) has become the main instrument for simulating manufacturing processes, owing to the fact that it can replace experimental approaches to the study of manufacturing processes in many cases.
This book presents recent advances related to the following two topics: - how mechanical fields close to material or geometrical singularities such as cracks can be... Læs mere
In the last decade the development and control of Unmanned Aerial Vehicles (UAVs) has attracted a lot of interest. Both researchers and companies have a growing interest in... Læs mere
Our daily universe is rough and infinitely diverse. The fractal approach clarifies and orders these disparities. It helps us to envisage new explanations of geographical phenomena, which are, however, considered as definitely understood.
The testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 persons currently certified throughout the world.