This volume contains areas, mainly applications, which have not appeared in any collection of this type. The book representing ...
Lire la suite
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Lire la suite
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Lire la suite
The book reviews the progress achieved over the last decade in the study of collisions between an ion and an atom in which ...
Lire la suite
This relatively nontechnical book is the first account of the history of statistics from the Fisher revolution to the computer ...
Lire la suiteThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
Lire la suiteIt first discusses research concerning the nature of mathematical giftedness, including theoretical frameworks and methodologies ...
Lire la suite
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suite
It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of ...
Lire la suitePresents cutting edge techniques for characterising, quantifying and modelling geomaterial variability in addition to methods ...
Lire la suite
This book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark ...
Lire la suite
This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Lire la suite
This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
Lire la suite
Drawing on published works, correspondence and manuscripts, this book offers the most comprehensive reconstruction of Boscovich’s ...
Lire la suite
This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...
Lire la suite
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lire la suite
The book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...
Lire la suiteThe book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource ...
Lire la suite
This book is composed of papers presented at the Conference on Scientific Computing in Electrical Engineering, which was ...
Lire la suite
The first part of "Screw Compressors" gives a review of recent developments in screw compressor design.The second part ...
Lire la suite