Results 61 to 70 of about 178,207 (183)

Independence Logic and Abstract Independence Relations [PDF]

, 2015
We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC.
Adler, Armstrong, Baldwin, Baldwin, Galliani, Geiger, Grossberg, Grädel, Herrmann, Herrmann, Hodges, Hyttinen, Kim, Naumov, Parker, Pillay, Shelah, Shelah, Väänänen   +18 more
core   +1 more source

Knowledge based approach to semantic composition of teams in an organization [PDF]

Proceedings of the 2005 ACM symposium on Applied computing, 2005
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Description Logics approach to the semantic-based composition of ad-hoc teams based on individuals skill profiles and on task description.
S. Colucci, T. Di Noia, E. Di Sciascio, F. M. Donini, G. Piscitelli, S. Coppi   +5 more
openaire   +3 more sources

Towards a New MAX-DOAS Measurement Site in the Po Valley: NO₂ Total VCDs

Remote Sensing, 2022
Multi-AXis Differential Optical Absorption Spectroscopy (MAX-DOAS) instruments are used worldwide to retrieve pollutant information from visible (VIS) and ultra-violet (UV) diffuse solar spectra.
Paolo Pettinari, Elisa Castelli, Enzo Papandrea, Maurizio Busetto, Massimo Valeri, Bianca Maria Dinelli   +5 more
doaj   +1 more source

Axiomatizations of Team Logics

, 2018
In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective team-based extensions. We obtain sound and complete axiomatizations for the dependence-free fragment FO(~
Lück, Martin
core   +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

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

First Entire Zagreb Index of Fuzzy Graph and Its Application

Axioms, 2023
The first entire Zagreb index (FEZI) is a graph parameter that has proven to be essential in various real-life scenarios, such as networking businesses and traffic management on roads.
Umapada Jana, Ganesh Ghorai
doaj   +1 more source

Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic [PDF]

, 2020
In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007.
A Durand, A Durand, A Durand, A Meier, E Grädel, F Yang, H Chen, I Ciardelli, J Ebbing, J Flum, J Kontinen, L Hella, L Levin, M Cygan, M Hannula, M Hannula, M Lück, M Samer, N Pippenger, N Robertson, P Galliani, P Lohmann, RG Downey   +22 more
core   +2 more sources

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

Epistemic NP Modifiers [PDF]

, 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