Results 71 to 80 of about 315,857 (305)
Optimizing the computation of overriding
We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
Phototrophs evolved light‐harvesting systems adapted for efficient photon capture in habitats enriched in far‐red radiation. A subset of eukaryotic pigment‐binding proteins can absorb far‐red photons via low‐energy chlorophyll states known as red forms.
Antonello Amelii +8 more
wiley +1 more source
The role of fibroblast growth factors in cell and cancer metabolism
Fibroblast growth factor (FGF) signaling regulates crucial signaling cascades that promote cell proliferation, survival, and metabolism. Therefore, FGFs and their receptors are often dysregulated in human diseases, including cancer, to sustain proliferation and rewire metabolism.
Jessica Price, Chiara Francavilla
wiley +1 more source
Using consistency-driven pairwise comparisons in knowledge-based systems [PDF]
Knowledge acquisition often requires the assessment of qualitative stimuli (e.g., criteria or priorities) such as public safety or the degree of environmental damage. Weights, reflecting the relative importance of the objectives concerned are one of the most commonly used solutions for this kind of data.
Marian Orlowski +2 more
openaire +2 more sources
Coherent Integration of Databases by Abductive Logic Programming
We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method
Arieli, O. +3 more
core +1 more source
The IQ‐compete assay for measuring mitochondrial protein import efficiencies in living yeast cells
The efficiency of mitochondrial protein import depends on the properties of the newly synthesized precursor proteins. The Import and de‐Quenching Competition (IQ‐compete) assay is a novel method to monitor the import efficiency of different proteins by fluorescence in living yeast cells.
Yasmin Hoffman +3 more
wiley +1 more source
Synthesizing and executing plans in Knowledge and Action Bases [PDF]
We study plan synthesis for a variant of Knowledge and Action Bases (KABs). KABs have been recently introduced as a rich, dynamic framework where states are full-fledged description logic (DL) knowledge bases (KBs) whose extensional part is manipulated ...
Calvanese, Diego +3 more
core
There is an unmet need in metastatic breast cancer patients to monitor therapy response in real time. In this study, we show how a noninvasive and affordable strategy based on sequencing of plasma samples with longitudinal tracking of tumour fraction paired with a statistical model provides valuable information on treatment response in advance of the ...
Emma J. Beddowes +20 more
wiley +1 more source
A set-based reasoner for the description logic $\shdlssx$ (Extended Version)
We present a \ke-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\dlssx$ ($\shdlssx$, for short). Our application solves the main TBox and ABox reasoning problems for $\shdlssx$. In
Cantone, Domenico +2 more
core
This study highlights the importance of multi‐omic analyses in characterizing colorectal cancers. Indeed, our analysis revealed a rare CMS1 exhibiting dampened immune activation, including reduced PD‐1 expression, moderate CD8+ T‐cell infiltration, and suppressed JAK/STAT pathway.
Livia Concetti +10 more
wiley +1 more source

