Informatik (14.430 Artikel)

Mathematical Methods in Time Series Analysis and Digital Image Processing

Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example...

This book constitutes the refereed post-proceedings of the International Conference on Mathematical Modeling and Computational Physics, MMCP 2011, held in Stará Lesná, Slovakia, in July 2011. The 4...

The first international symposium on mathematical foundations of the finite element method was held at the University of Maryland in 1973. During the last three decades there has been great progres...

It is quite an onerous task to edit the proceedings of a two week long institute with learned contributors from many parts of the world. All the same, the editorial team has found the process of re...

The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. T...

This book presents the current state of the problem of describing the musculoskeletal system of a person. Models of the destruction of the endoskeleton and the restoration of its functions using ex...

This book presents the current state of the problem of describing the musculoskeletal system of a person. Models of the destruction of the endoskeleton and the restoration of its functions using ex...

19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, Proceedings

This book constitutes the proceedings of the 20th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021.  The 29 fu...

A strong and fluent competency in mathematics is a necessary condition for scientific, technological and economic progress. However, it is widely recognized that problem solving, reasoning, and thi...

A strong and fluent competency in mathematics is a necessary condition for scientific, technological and economic progress. However, it is widely recognized that problem solving, reasoning, and thi...

overy, geometric search, and computing models.

Mathematical Reasoning: The History and Impact of the DReaM Group

Mathematical Reasoning: The History and Impact of the DReaM Group