Results 91 to 100 of about 50,219 (296)
Ultrasheaves and Double-Negation
, 2018 Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters - the ultrasheaves.
Steve Awodey (5372573) +2 more
core +1 more source
Notre Dame Journal of Formal Logic, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
, 2015 Standard negation in South Saami utilizes a negative auxiliary, which has two tenses (present and preterite), and connegative forms of the lexical verb.
Inaba, Nobufumi,, Blokland, Rogier,
core +1 more source
Adverbial clauses with -ig and the “until -puzzle” [PDF]
, 2013 This paper is devoted to untangling some of the cross-linguistic puzzles that are associated with temporal adverbial clauses in general, and until-clauses in particular.
Ürögdi, Barbara, Barbara Ürögdi
core +1 more source
The pragmatics of descriptive and metalinguistic negation: experimental data from French
Glossa, 2018 The phenomenon of descriptive and metalinguistic negation has been debated for a long time from a theoretical perspective. On the one hand, there are defenders of the ambiguist approach to negation, in which the descriptive negation basically serves to ...
Cristina Grisot, Joanna Blochowiak
doaj +2 more sources
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Revisiting Syntax-Based Approach in Negation Scope Resolution
, 2023 datase
Yoshida, Asahi, 吉田, 朝飛
core +1 more source
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Computational models for multilingual negation scope detection [PDF]
, 2018 Negation is a common property of languages, in that there are few languages, if any, that lack means to revert the truth-value of a statement. A challenge to cross-lingual studies of negation lies in the fact that languages encode and use it in ...
Fancellu, Federico
core +3 more sources