Semantic Scholar uses AI to extract papers important to this topic.
We improve previously known universality results on enzymatic numerical P systems (EN P systems, for short) working in all… Expand In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent… Expand Dataflow models of computation have intrigued computer scientists since the 1970s. They were first introduced by Jack Dennis as a… Expand We present a family of pairwise tournaments reducing k-class classification to binary classification. These reductions are… Expand The aim of this tool paper is twofold: First we show that VipTool [9,2] can now synthesize Petri nets from partially ordered runs… Expand We propose a non-standard semantics for Alternating-time T emporal Logic with incomplete information, for which no commonly… Expand In the first part of this Chapter we will introduce a general temporally enhanced conceptual data model able to represent time… Expand Abstract High-level replacement systems are an axiomatic categorical framework based on doublepushouts in order to unify… Expand A lot of research on genetic algorithms theory is concentrated on classical, binary case. However, there are many other types of… Expand Received Based on a categorical semantics that has been developed recently we study composition and reenement as horizontal and… Expand