Results 51 to 60 of about 6,811,260 (293)
The Expressive Power of Graph Neural Networks as a Query Language
SIGMOD record, 2020 In this paper we survey our recent results characterizing various graph neural network (GNN) architectures in terms of their ability to classify nodes over graphs, for classifiers based on unary logical formulas- or queries. We focus on the language FOC2,
P. Barceló +5 more
semanticscholar +1 more source
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 There has been a growing interest in defining models of automata enriched with time. For instance, timed automata were introduced as automata extended with clocks. In this paper, we study models of timed finite state machines (TFSMs), i.e., FSMs enriched
Davide Bresolin +3 more
doaj +1 more source
On the expressive power of quasiperiodic SFT
CoRR, 2017 22 pages, 8 figures.
Bruno Durand 0001, Andrei Romashchenko
openaire +4 more sources
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Information, 2020 A common use case for blockchain smart contracts (SC) is that of governing interaction amongst mutually untrusted parties, by automatically enforcing rules for interaction.
Giovanni Ciatto +3 more
doaj +1 more source
On the expressive power of collective attacks
Argument & Computation, 2018 In this paper, we consider argumentation frameworks with sets of attacking arguments (SETAFs) due to Nielsen and Parsons, an extension of Dung’s abstract argumentation frameworks that allow for collective attacks. We first provide a comprehensive analysis of the expressiveness of SETAFs under conflict-free, naive, stable, complete, admissible ...
Dvorak, Wolfgang +2 more
openaire +4 more sources
Expressive Power of Pebble Automata [PDF]
, 2006 Two variants of pebble tree-walking automata on trees are considered that were introduced in the literature. It is shown that for each number of pebbles, the two models have the same expressive power both in the deterministic case and in the nondeterministic case. Furthermore, nondeterministic (resp.
Bojanczyk, Mikolaj +3 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Although significant progress has been made in childhood leukemia survival, healthcare providers, and caregivers often face challenges in explaining this disease to patients. Disease‐targeted storybooks have been proposed as a tool to facilitate the understanding of diagnoses and treatment.
Nutvipha Ummartyotin +6 more
wiley +1 more source
Logic beyond completeness: The priority of expressive power [PDF]
ManuscritoIn the practice and teaching of logic, incomplete systems are typically not regarded as proper logical systems. Their study is marginal if not absent in most courses. There seems to be a tyranny of completeness.
GABRIEL-NICOLÁS CRUZ
doaj +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Animal‐assisted activities (AAAs) with therapy dogs have shown positive effects on patient well‐being and quality of life in various areas of medicine, including pediatric oncology. However, research on this topic is limited. The aim of this study is to present the current status of AAA in pediatric oncology in Germany, Austria, and
Jan‐Marius Wedig +7 more
wiley +1 more source
Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Team Semantics generalizes Tarski's Semantics for First Order Logic by allowing formulas to be satisfied or not satisfied by sets of assignments rather than by single assignments.
Pietro Galliani
doaj +1 more source