Results 51 to 60 of about 92,640 (295)
Jespersen's cycle in Slovenian
Linguistica, 2011 The paper examines the syntactic status of the negative marker in standard Slovenian and its Pannonian dialects in terms of the grammaticalisation process known as Jespersen's cycle.
Gašper Ilc
doaj +1 more source
Алгоритм перекладу заперечного оператора not (на матеріалі англійської та української мов) [PDF]
, 2007 The article deals with the investigation of the algorithm of the negative operator not translation into Ukrainian. Such ways of translation as word-for-word translation, syntactic transformation (double negation, negation + negative pronoun), lexico ...
Візнюк, О.В.
core
Expectation Biases and Context Management with Negative Polar Questions [PDF]
, 2019 This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where ...
Silk, Alex
core +2 more sources
Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10
FEBS Letters, EarlyView.Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang +8 more
wiley +1 more source
The space of measurement outcomes as a spectrum for non-commutative algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Bohrification defines a locale of hidden variables internal in a topos. We find that externally this is the space of partial measurement outcomes. By considering the double negation sheafification, we obtain the space of measurement outcomes which ...
Bas Spitters
doaj +1 more source
Classical polarizations yield double-negation translations [PDF]
, 2016 Double-negation translations map formulas to formulas in such a way that if a formula is a classical theorem then its translation is an intuitionistic theorem.
Chihani, Zakaria +2 more
core +1 more source
, 2016 Classical (or Boolean) type theory is the type theory that allows the type inference $\sigma \to \bot) \to \bot => \sigma$ (the type counterpart of double-negation elimination), where $\sigma$ is any type and $\bot$ is absurdity type.
Akiba, Ken
core +2 more sources
Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer
FEBS Letters, EarlyView.Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani +4 more
wiley +1 more source
Hybrid Negation: Enhancing Sentiment Analysis for Complex Sentences
Applied SciencesNumerous valuable information is available on the Internet, and many individuals rely on mass media as their primary source of information. Various views, comments, expressions, and opinions on social networks have been a tremendous source of information.
Miftahul Qorib, Paul Cotae
doaj +1 more source
Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]
, 2014 This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core