The main aim of this book is to discuss model order reduction (MOR) methods for differential-alge...

In this book we develop powerful techniques based on formal methods for the verification of ...

The work outlines a detailed blueprint for the creation of an Artificial General Intelligence sys...

Ordered Random Variables have attracted several authors. The basic building block ...

Over the past years, the appropriateness of Computational Intelligence (CI) techniques in modelin...

This monograph covers the existing results regarding Greens functions for differential equations ...

In this book we first review the ideas of Lie groupoid and Lie algebroid, and the associated...

For the first time a book has been written on the technological and scientific knowledge, acquire...

This book is the first comprehensive overview and evaluation of the origins, history and cur...

Conventional on-chip communication design mostly use ad-hoc approaches that fail to meet the chal...

This monograph tackles three challenges. First, show a mathematics-based meta-model that matches ...