Results 51 to 60 of about 178,207 (183)
Digital Approaches to Historical Semantics: new research directions at Frankfurt University
Storicamente, 2015 In the past few years a multidisciplinary team of scholars based at Goethe Universität Frankfurt has been involved in the development of three projects: the research project "Political language in the Middle Ages: Semantic Approaches", and two online ...
Roberta Cimino +2 more
doaj +1 more source
Canonical Models and the Complexity of Modal Team Logic [PDF]
Logical Methods in Computer Science, 2019 We study modal team logic MTL, the team-semantical extension of modal logic ML closed under Boolean negation. Its fragments, such as modal dependence, independence, and inclusion logic, are well-understood.
Martin Lück
doaj +1 more source
Implementation of Omni-D Tele-Presence Robot Using Kalman Filter and Tricon Ultrasonic Sensors
Sensors, 2022 The tele-presence robot is designed to set forth an economic solution to facilitate day-to-day normal activities in almost every field. There are several solutions to design tele-presence robots, e.g., Skype and team viewer, but it is pretty ...
Hassan Tariq +5 more
doaj +1 more source
Energies, 2023 Modern solutions for precise fault localisation in Low Voltage (LV) Distribution Networks (DNs) often rely on costly tools such as the micro-Phasor Measurement Unit (μPMU), which is potentially impractical for the large number of nodes in LVDNs.
Mohamed Numair +4 more
doaj +1 more source
Facets of Distribution Identities in Probabilistic Team Semantics [PDF]
, 2019 We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences.
Miika Hannula +4 more
openaire +3 more sources
Technologies, 2022 The modelling of trust values on agents is broadly considered fundamental for decision-making in human-autonomous teaming (HAT) systems. Compared to the evaluation of trust values for robotic agents, estimating human trust is more challenging due to ...
Chin-Teng Lin +6 more
doaj +1 more source
Mathematical Structures in Computer ScienceAbstractWe introduce three measures of complexity for families of sets. Each of the three measures, which we call dimensions, is defined in terms of the minimal number of convex subfamilies that are needed for covering the given family. For upper dimension, the subfamilies are required to contain a unique maximal set, for dual upper dimension a unique ...
Lauri Hella +2 more
openaire +3 more sources
The propositional logic of teams [PDF]
arXiv, 2023 Since the introduction by Hodges, and refinement by V\"a\"an\"anen, team semantic constructions have been used to generate expressively enriched logics still conserving nice properties, such as compactness or decidability. In contrast, these logics fail to be substitutional, limiting any algebraic treatment, and rendering schematic uniform proof ...
arxiv
The Expressive Power of k-ary Exclusion Logic [PDF]
, 2019 In this paper we study the expressive power of k-ary exclusion logic, EXC[k], that is obtained by extending first order logic with k-ary exclusion atoms. It is known that without arity bounds exclusion logic is equivalent with dependence logic.
Rönnholm, Raine
core +2 more sources
Вестник Кемеровского государственного университета, 2021 In the summer of 2020, the steppe detachment of the archaeological expedition of the Altai State Pedagogical University explored the territory between the Charysh and the Kalmanka rivers in the Altai Territory.
N. N. Golovchenko, N. R. Dyakov
doaj +1 more source