This book provides explicit representations of finite-dimensional simple Lie algebras, related partial differential equations, linear orthogonal algebraic codes, combinatorics and algebraic varieties, summarizing the author's works and his joint works with his former students.
This book introduces novel solutions to the rendezvous problem in distributed systems, a fundamental problem that underpins the construction of many important functions in distributed systems and networks.
This book not only provides a comprehensive introduction to neural-based PCA methods in control science, but also presents many novel PCA algorithms and their extensions and generalizations, e.
This book describes grouping detection and initiation; group initiation algorithm based on geometry center; data association and track continuity; as well as separate-detection and situation cognition for group-target.
Este libro es una propuesta metodológica, sistemática y generalizada en la cual se especifican los pasos que se deben seguir para la aplicación de la minería de procesos, desde la planeación de un proyecto hasta la implantación de sus alternativas de mejora.
El objetivo de este libro es mostrar una técnica conocida como "Regresión Simbólica", la cual es una aplicación de los algoritmos genéticos para la búsqueda de patrones en una serie de datos.
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
In this work we plan to revise the main techniques for enumeration algorithms and to show four examples of enumeration algorithms that can be applied to efficiently deal with some biological problems modelled by using biological networks: enumerating central and peripheral nodes of a network, enumerating stories, enumerating paths or cycles, and enumerating bubbles.
The main objectives of this book are to expose key aspects that have a relevance when dealing with open data viewed from different perspectives and to provide appealing examples of how open data is implemented worldwide.
The new multimedia standards (for example, MPEG-21) facilitate the seamless integration of multiple modalities into interoperable multimedia frameworks, transforming the way people work and interact with multimedia data.
In response to a growing interest in Total Least Squares (TLS) and Errors-In-Variables (EIV) modeling by researchers and practitioners, well-known experts from several disciplines were invited to prepare an overview paper and present it at the third international workshop on TLS and EIV modeling held in Leuven, Belgium, August 27-29, 2001.
Eastern and Western, NATO partner and member country specialists discuss recent accomplishments in the sharing of timely, accurate data and information to protect the water resources of the Danube Basin, a strategic region shared by two Western and 11 former Communist countries.
The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's.
The Issues, Conclusions, and Recommendations of the NATO Advanced Research Workshop - Budapest, Hungary July 27 -31, 1997 TIlOMAS NAFF University of Pennsylvania 847 Williams Hall Philadelphia, PA 19104-6305 USA tna.
Helene Bestougeff, Universite de Marne Ia Vallee, France Jacques-Emile Dubois, Universite Paris VII-Denis Diderot, France Bhavani Thuraisingham, MITRE Corporation, USA The last fifty years promoted the conceptual trio: Knowledge, Information and Data (KID) to the center of our present scientific technological and human activities.
This book comprises the refereed papers together with the invited keynote papers, presented at the Second International Conference on Enterprise Information Systems.
Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc.
User-adaptive (or "e;personalized"e;) systems take individual character- istics of their current users into account and adapt their behavior ac- cordingly.
From the foreword by Thomas Huang: "e;During the past decade, researchers in computer vision have found that probabilistic machine learning methods are extremely powerful.
The already broad range of applications of ring theory has been enhanced in the eighties by the increasing interest in algebraic structures of considerable complexity, the so-called class of quantum groups.
Algorithmic Principles of Mathematical Programming investigates the mathematical structures and principles underlying the design of efficient algorithms for optimization problems.
This book includes a set of selected papers from the first "e;International Conference on Enterprise Information Systems,"e; (ICEIS'99) held in SeUtbal, Portugal, from 27 to 30 March 1999.
Automorphisms of Affine Spaces describes the latest results concerning several conjectures related to polynomial automorphisms: the Jacobian, real Jacobian, Markus-Yamabe, Linearization and tame generators conjectures.
Many problems in science, technology and engineering are posed in the form of operator equations of the first kind, with the operator and RHS approximately known.
The 16 contributions to Geographical Information Systems in Assessing Natural Hazards report on GIS investigations into landslides, floods, volcanic eruptions, earthquakes and groundwater pollution hazards.
