Results 61 to 70 of about 40,356,300 (290)

A Van Benthem Theorem for Modal Team Semantics

CoRR, 2014
The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework of modal dependence logic MDL and team semantics.
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer   +3 more
openaire   +4 more sources

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, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema   +4 more
openaire   +4 more sources

Modular Semantics for Object-Oriented Models [PDF]

, 1998
This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which provides a precise textual language for expressing ...
Howse, John, Ali Hamie, Hamie, Ali, Stuart Kent, John Howse, Kent, Stuart   +5 more
core   +1 more source

Field Report from Collaborative Research Center 1625: Heterogeneous Research Data Management Using Ontology Representations

Advanced Engineering Materials, EarlyView.
A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed, Samuel García Vázquez, Behnam Mardani, Victor Dudarev, Alfred Ludwig, Maribel Acosta, Markus Stricker   +6 more
wiley   +1 more source

LTAG semantics for questions [PDF]

, 2004
This papers presents a compositional semantic analysis of interrogatives clauses in LTAG (Lexicalized Tree Adjoining Grammar) that captures the scopal properties of wh- and nonwh-quantificational elements.
Romero, Maribel, Maribel Romero, Babko-Malaya, Olga, Olga Babko-malaya, Kallmeyer, Laura, Laura Kallmeyer   +5 more
core  

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

Characterizing Water Composition with an Autonomous Robotic Team Employing Comprehensive In Situ Sensing, Hyperspectral Imaging, Machine Learning, and Conformal Prediction

Remote Sensing
Inland waters pose a unique challenge for water quality monitoring by remote sensing techniques due to their complicated spectral features and small-scale variability.
John Waczak, Adam Aker, Lakitha O. H. Wijeratne, Shawhin Talebi, Ashen Fernando, Prabuddha M. H. Dewage, Mazhar Iqbal, Matthew Lary, David Schaefer, David J. Lary   +9 more
doaj   +1 more source

LTAG semantics with semantic unification [PDF]

, 2004
This paper sets up a framework for LTAG (Lexicalized Tree Adjoining Grammar) semantics that brings together ideas from different recent approaches addressing some shortcomings of TAG semantics based on the derivation tree.
Romero, Maribel, Maribel Romero, Kallmeyer, Laura, Laura Kallmeyer   +3 more
core  

A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data

Advanced Engineering Materials, EarlyView.
Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

Work Team Effectiveness: Importance of Organizational Culture, Work Climate, Leadership, Creative Synergy, and Emotional Intelligence in University Employees

Administrative Sciences
(1) Background: In university contexts, the effectiveness of work teams is vital for institutional success and the personal development of an institution’s members.
Maribel Paredes-Saavedra, María Vallejos, Salomón Huancahuire-Vega, Wilter C. Morales-García, Luis Alberto Geraldo-Campos   +4 more
doaj   +1 more source