Results 81 to 90 of about 328,022 (293)
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
Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova +25 more
wiley +1 more source
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Categorization and Pathology of Persian Stylistic Researches [PDF]
In following article, surveys and researches about Persian style were categorized in two branches of historical and formalistic styles Mohammad Taghi Bahar founded stylistics as an autonomous knowledge by publishing his book, History of the evolution of ...
Maryam Dorpar
doaj +1 more source
Demographic disparity in Wikipedia coverage: a global perspective
Despite decades-long efforts to increase diversity, underrepresented social groups remain small minorities in many fields. Here, we ask whether disparities in global recognition exist for traditionally underrepresented demographic groups.
Yulin Yu +4 more
doaj +1 more source
The subject of this research is ontology-oriented approaches to extracting business information from unstructured web sources. The aim of the article is to analyze the effectiveness of modern ontology-oriented approaches for extracting business ...
Serhii Danov, Igor Shostak
doaj +1 more source
Towards declarative diagnosis of constraint programs over finite domains [PDF]
The paper proposes a theoretical approach of the debugging of constraint programs based on a notion of explanation tree. The proposed approach is an attempt to adapt algorithmic debugging to constraint programming.
Ferrand, Gerard +2 more
core +1 more source
Somatic mutational landscape in von Hippel–Lindau familial hemangioblastoma
The causes of central nervous system (CNS) hemangioblastoma in Von Hippel–Lindau (vHL) disease are unclear. We used Whole Exome Sequencing (WES) on familial hemangioblastoma to investigate events that underlie tumor development. Our findings suggest that VHL loss creates a permissive environment for tumor formation, while additional alterations ...
Maja Dembic +5 more
wiley +1 more source
We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source
Space station advanced automation [PDF]
In the development of a safe, productive and maintainable space station, Automation and Robotics (A and R) has been identified as an enabling technology which will allow efficient operation at a reasonable cost.
Woods, Donald
core +1 more source

