Results 61 to 70 of about 1,530,272 (312)
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
, 1997 The paper considers participles such as "unknown", "identified" and "unspecified", which in sentences such as "Solange is staying in an unknown hotel" have readings equivalent to an indirect question "Solange is staying in a hotel, and it is not known ...
Abusch, Dorit, Rooth, Mats
core +6 more sources
Team UMBC-FEVER : Claim verification using Semantic Lexical Resources [PDF]
Proceedings of the First Workshop on Fact Extraction and VERification (FEVER), 2018 Proceedings of the First Workshop on Fact Extraction and ...
Padia, Ankur +2 more
openaire +1 more source
Arity Fragments of Logics with Team Semantics
, 2018 Tutkimme tässä väitöskirjassa ilmaisuvoimaa erilaisille tiimisemantiikalla määritellyille logiikoille kuten inkluusio-, ekskluusio- ja riippuvuuslogiikalle. Keskitymme tutkimaan näiden logiikoiden alilogiikoita, jotka määräytyvät atomien paikkalukua rajoittamalla; erityisesti tutkimme tapauksia, missä rajaudutaan yksi- ja kaksipaikkaisiin atomeihin ...
Raine Rönnholm
openalex +3 more sources
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
Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic [PDF]
, 2018 In this paper we analyze k-ary inclusion-exclusion logic, INEX[k], which is obtained by extending first order logic with k-ary inclusion and exclusion atoms.
Rönnholm, Raine
core +2 more sources
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
SystemsMaintaining operational efficiency in distributed solar energy systems requires intelligent coordination of inspection tasks and workforce resources to handle diverse fault conditions. This study presents a bi-level multi-objective optimization framework
Mazin Alahmadi
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source