Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a...

This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space,...

– 2G: the GSM (Global System for Mobile) network, the GPRS (General Packet Radio Service) network and the EDGE (Enhanced Data for Global Evolution) evolution;
– 3G: the UMTS (Universal Mobile...

The aim of this book is to summarize the current most effective methods for modeling, simulating, and optimizing metal forming processes, and to present the main features of new, innovative methods currently being developed which will no doubt be the industrial tools of tomorrow. It discusses damage (or defect) prediction in virtual metal...

Today, cyber security, cyber defense, information warfare and cyber warfare issues are among the most relevant topics both at the national and international level. All the major states of the world are facing cyber threats and trying to understand how...

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. It took until the end of the 1990s before formal methods or the B method could be implemented in...

At a time when people use more and more geographic information and tools, the management of geographical information in software systems still holds many challenges and motivates researchers from different backgrounds to propose innovative solutions.
Representing geographical space beyond our mere perception is key to making relevant...

Generally a laser (light amplification by stimulated emission of radiation) is defined as “a device which uses a quantum mechanical effect, stimulated emission, to generate a coherent beam of light from a lasing medium of controlled purity, size, and shape”. Laser material processing represents a great number of methods, which are...

This book introduces basic concepts on mechanical problems related to the presence of...

Mechanical Engineering is defined nowadays as a discipline “which involves the application of principles of physics, design, manufacturing and maintenance of mechanical systems”. Recently, mechanical engineering has also focused on some cutting-edge subjects such as nanomechanics and nanotechnology, mechatronics and robotics,...