Results 51 to 60 of about 138,341 (311)
On Anti-Q-Fuzzy Deductive Systems of Hilbert Algebras
In this paper, the concept of anti-Q-fuzzy deductive systems concepts of Hilbert algebras are introduced and proved some results. Further, we discuss the relation between anti-Q-fuzzy deductive system and level subsets of a Q-fuzzy set.
M. Vasuki, P. Senthil Kumar, N. Rajesh
doaj +1 more source
This chapter explores a particular type of reasoning – deductive reasoning. We first look at what deductive reasoning is (and isn’t). We then look at some of the types of deductive reasoning such as conditional reasoning or ‘if … then’ reasoning and how ...
Butler, Laurie T. +3 more
core +1 more source
Despite frogs avoiding low temperatures, examination of four salamander species revealed that none avoided cold and all possessed cold tolerance. Functional analysis of TRPM8, a cold sensor, showed that all salamander TRPM8s had lost their cold sensitivity.
Tadahiro Sawao +3 more
wiley +1 more source
YIPFα1A expression is regulated by multilayered molecular mechanisms
YIPFα1A, a five‐pass Golgi protein, is regulated at multiple layers. (1) Rare‐codon enrichment drives translation‐coupled mRNA decay. (2) A proximal 3′‐UTR element stabilizes mRNA. (3) A distal 3′‐UTR element included by alternate poly(A) site usage represses translation, which can be overridden by the proximal 3′‐UTR element.
Tokio Takaji +2 more
wiley +1 more source
Deductive databases and P systems [PDF]
In computational processes based on backwards chaining, a rule of the type is seen as a procedure which points that the problem can be split into the problems. In classical devices, the subproblems are solved sequentially.
Miguel A. Gutierrez-Naranjo +1 more
doaj
Reasoning deficits among illicit drug users are associated with aspects of cannabis use [PDF]
Background. Deficits in deductive reasoning have been observed among ecstasy/polydrug users. The present study seeks to investigate dose-related effects of specific drugs and whether these vary with the cognitive demands of the task. Methods. One hundred
Morley, AM +7 more
core +1 more source
Optimizing photoactivation of PA‐mCherry for optical pooled CRISPR screens
Photoactivatable PA‐mCherry finds widespread use to optically tag individual cells. However, confocal 405 nm UV laser‐scanning (normal scan) is much less efficient than widefield UV illumination, limiting the use of PA‐mCherry on confocal instruments. We remedy this limitation by reporting that rapid and repeated confocal scanning with a low‐intensity,
Sravasti Mukherjee +3 more
wiley +1 more source
Handling periodic properties: deductive verification for quantified temporal logic specifications
We present a deductive verification technique for the specifications written in terms of quantified propositional linear-time temporal logic (QPTL). The system extends previous natural deduction constructions for the propositional linear-time temporal ...
Bolotov, A.
core +1 more source
How phagocytic cells kill bacteria: Lessons from a professional killer
How phagocytic cells ingest and kill bacteria has been studied for more than a century, but many questions remain unanswered. The study of the amoeba Dictyostelium discoideum brings new answers, and new questions. Professional phagocytic cells such as neutrophils and macrophages, as well as free‐living soil amoebae like Dictyostelium discoideum, employ
Otmane Lamrabet, Pierre Cosson
wiley +1 more source
ABSTRACT Background Accessing brain magnetic resonance imaging (MRI) can be challenging, especially for underserved patients, which may lead to disparities in neurological diagnosis. Method This mixed‐methods study enrolled adults with one of four neurological disorders: mild cognitive impairment or dementia of the Alzheimer type, multiple sclerosis ...
Maya L. Mastick +19 more
wiley +1 more source

