Results 41 to 50 of about 40,356,300 (290)
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 ...
Luosto Kerkko +3 more
openaire +5 more sources
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +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
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Cross-Regional Robustness of Servant Leadership in NGOs: Evidence from Latin America and Africa
Administrative SciencesServant leadership is widely conceptualized as an effective model for nonprofit and project-based organizations, yet systematic evidence on whether its relationships with team processes and project success remain similar across regional NGO contexts is ...
Wil Martens
doaj +1 more source
A Coalgebraic Semantics for Imperative Programming Languages [PDF]
, 2014 In the theory of programming languages, one often takes two complementary perspectives. In operational semantics, one defines and reasons about the behaviour of programs; and in denotational semantics, one abstracts away implementation details, and ...
Abou-Saleh, Faris
core +1 more source
Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani +10 more
wiley +1 more source
Team Semantics and Recursive Enumerability
CoRR, 2014 It is well known that dependence logic captures the complexity class NP, and it has recently been shown that inclusion logic captures P on ordered models. These results demonstrate that team semantics offers interesting new possibilities for descriptive complexity theory.
openaire +4 more sources
Towards Foundational Semantics - Ontological Semantics Revisited - [PDF]
, 2006 Cimiano P, Reyle U. Towards Foundational Semantics - Ontological Semantics Revisited -. In: Bennett B, Fellbaum C, eds. Formal Ontology in Information Systems, Proceedings of the Fourth International Conference, FOIS 2006.
Reyle, Uwe +3 more
core
Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig +9 more
wiley +1 more source