Informatik (15 757 Artikel)

Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may ...

Petri Net Synthesis

Petri Net Synthesis

This book constitutes the refereed proceedings of the Second International Workshop on Post-Quantum Cryptography, PQCrypto 2008, held in Cincinnati, OH, USA, in October 2008. The 15 revised full pa...

Maximizing the Value of Text Data

14th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Windisch, Switzerland, August 19-23, 2019, Revised Selected Papers

This book surveys current and future approaches to generating video game content with machine learning or Procedural Content Generation via Machine Learning (PCGML).  Machine learning is having a m...

This book surveys current and future approaches to generating video game content with machine learning or Procedural Content Generation via Machine Learning (PCGML).  Machine learning is having a m...

The book encompasses a revised version of the author's PhD thesis, which won the "Best Process Mining Dissertation Award" in 2014, awarded by the IEEE Task Force on Process Mining.

Topics and features: describes the creation of HTML pages and the characteristics of HTML documents, showing how to use HTML tables, forms, lists, and frames to organize documents for use with PHP ...

Design, Implement, Validate, and Prove

Design, Implement, Validate, and Prove

From Categorical Computability to Computable Categories

As in the first two editions, the intention is to expose the reader to the theories used in Natural Language Processing, and to programming examples that are essential for a deep understanding of t...

In 2016, the theme of the school was "Logical Foundation of Knowledge Graph Construction and Query Answering". The notion of knowledge graph has become popular since Google started to use it to imp...