Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Lire la suite
Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Lire la suite
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, ...
Lire la suite
In this book, we have started to systematically capture and evaluate data on diagnosis, treatment, and outcomes of p- tients ...
Lire la suite
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Lire la suite
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lire la suite
Conflicts Between Generalization, Rigor, and Intuition undertakes a historical analysis of the development of two mathematical ...
Lire la suite
This book provides a self-contained overview of this important area of mathematical physics, beginning with its origins in ...
Lire la suite
This monograph aims at giving a presentation of recent and new ideas that arise from the problems of planar fluid dynamics ...
Lire la suite
This monograph aims at giving a presentation of recent and new ideas that arise from the problems of planar fluid dynamics ...
Lire la suite
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Lire la suite
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
Lire la suite
This book features a selection of articles written by Erich Ch. Wittmann between 1984 to 2019, which shows how the “design ...
Lire la suite
Constrained Optimization and Image Space Analysis unites his results and presents optimization theory and variational inequalities ...
Lire la suite
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lire la suite
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lire la suite
The enormous potential of digital computation to manage new complex systems is impeded by exponential increases in complexity. ...
Lire la suite
In this volume, the basin of attraction of an equilibrium of an ordinary differential equation can be determined using a ...
Lire la suite
This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...
Lire la suite
This volume offers a unique set of research exemplars for science, mathematics and technology educators. The volume explores ...
Lire la suite