Results 91 to 100 of about 950,377 (347)

No-signaling in topos formulation and a common ontological basis for classical and non-classical physical theories

Zagadnienia Filozoficzne w Nauce, 2020
Starting from logical structures of classical and quantum mechanics we reconstruct the logic of so-called no-signaling theories, where the correlations among subsystems of a composite system are restricted only by a simplest form of causality forbidding ...
Marek Kuś
doaj  

Microbial profile of the appendix niche in acute appendicitis: a novel sampling approach

FEBS Open Bio, EarlyView.
This study utilized a novel sampling method, ERAT (i.e. endoscopic retrograde appendicitis treatment)‐guided lumen aspiration, to obtain samples from the appendix, and shotgun metagenomic sequencing was performed for in situ characterization of the appendix microbiome in patients with acute appendicitis.
Huimin Ma, Mingfei Wang, Yanhu Feng, Wanqi Zhang, Wenbo Wang, Yanfeng Xie, Guixiang Kong, Jie Feng, Pengfei Wang, Qi Wang, Xiaojun Huang   +10 more
wiley   +1 more source

A community based approach for managing ontology alignments [PDF]

, 2008
The Semantic Web is rapidly becoming a defacto distributed repository for semantically represented data, thus leveraging on the added on value of the network effect.
Alani, Harith, Correndo, Gianluca, Smart, Paul R   +2 more
core   +1 more source

A unified model for Duchenne muscular dystrophy gene involvement in cancer: context‐dependent tumour suppression and oncogenicity

FEBS Open Bio, EarlyView.
We propose a context‐dependent model where the Duchenne muscular dystrophy (DMD) gene acts as a tumour suppressor in aggressive tumours and as an oncogene in less aggressive ones. We propose this model as a unified framework to explain the opposing survival associations with DMD expression and to guide experimental exploration of the dual role of DMD ...
Lee Machado, Leanne Jones, Sonika Divakar, Michael Naidoo, Karen Anthony   +4 more
wiley   +1 more source

A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology [PDF]

, 2019
Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ...
Ameri, Farhad, Cheong, Hyunmin, Kiritsis, Dimitris, Otte, J. Neil, Smith, Barry, Sormaz, Dusan, Will, Chris   +6 more
core  

Naked cuticle is essential for Drosophila wing development beyond Wingless signaling

FEBS Open Bio, EarlyView.
Naked cuticle (Nkd), a Wnt signaling inhibitor, assumes extensive roles in Drosophila wing development. Overexpressing Nkd causes smaller, crumpled wings, while also perturbing multiple signaling pathways and developmental genes. A specific region (R1S) is critical for Nkd's function as a signaling integrator, offering new insights for studying its ...
Rui Wang, Ping Wang
wiley   +1 more source

Facets, Tiers and Gems: Ontology Patterns for Hypernormalisation [PDF]

, 2017
There are many methodologies and techniques for easing the task of ontology building. Here we describe the intersection of two of these: ontology normalisation and fully programmatic ontology development.
Lord, Phillip, Stevens, Robert
core   +1 more source

Multirepresentation in Ontologies [PDF]

, 2003
The objective of this paper is to define an ontology language to support multiple representations of ontologies. In our research, we focus on the logic-based ontology languages. As a matter of fact, we will consider only languages that are based on description logics (DLs). At first, we propose a sub-language of DL as an ontology language.
Benslimane, Djamal, Roussey, Catherine, Vangenot, Christelle, Arara, Ahmed   +3 more
openaire   +3 more sources

Implicit and Explicit Examples of the Phenomenon of Deviant Encodings

Studies in Logic, Grammar and Rhetoric, 2020
The core of the problem discussed in this paper is the following: the Church-Turing Thesis states that Turing Machines formally explicate the intuitive concept of computability. The description of Turing Machines requires description of the notation used
Quinon Paula
doaj   +1 more source

Durable B‐Cell Impairment While Sparing IgA B Cells After Ocrelizumab Therapy in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Ocrelizumab (OCR), a humanized anti‐CD20 monoclonal antibody, is highly efficient in relapsing–remitting multiple sclerosis (RR‐MS). We assessed early cellular B‐cell profiles in patients prior to OCR treatment, on OCR treatment, and after 15 months of therapy discontinuation.
Alexandra Garcia, Stephane Rodriguez, Emilie Dugast, Christine Lebrun‐Frenay, Eric Thouvenot, Jérôme de Sèze, Emmanuelle Le Page, Sandra Vukusic, Inès Doghri, Eric Berger, Olivier Casez, Pierre Labauge, Aurélie Ruet, Catarina Raposo, Fabienne Le Frère, Arnaud B. Nicot, Sandrine Wiertlewski, Pierre‐Antoine Gourraud, Laure Michel, Laureline Berthelot, David‐Axel Laplaud   +20 more
wiley   +1 more source