Results 51 to 60 of about 444,050 (330)
, 1990 Over the recent years, several proposals were made to enhance database systems with automated reasoning. In this article we analyze two such enhancements based on meta-interpretation.
Bry, François
core +1 more source
FEBS Open Bio, EarlyView.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
Incentives for Conservation Easements: The Charitable Deduction or a Better Way [PDF]
, 2011 Halperin talks about tax-policy concerns relating to the charitable deduction for conservation easement donations. The conflict of interest between charity and other owners raises a concern that the charitable deduction would not reflect the ultimate ...
Halperin, Daniel
core +1 more source
YIPFα1A expression is regulated by multilayered molecular mechanisms
FEBS Open Bio, EarlyView.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
Kant and the Simple Representation “I” [PDF]
, 2017 The aim of this paper is to focus on certain characterizations of “I think” and the “transcendental subject” in an attempt to verify a connection with certain metaphysical characterizations of the thinking subject that Kant introduced in the critical ...
Forgione, Luca
core +1 more source
Optimizing photoactivation of PA‐mCherry for optical pooled CRISPR screens
FEBS Open Bio, EarlyView.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
Uncertain deduction and conditional reasoning
Frontiers in Psychology, 2015 There has been a paradigm shift in the psychology of deductive reasoning. Many researchers no longer think it is appropriate to ask people to assume premises and decide what necessarily follows, with the results evaluated by binary extensional logic ...
Jonathan Evans +2 more
semanticscholar +1 more source
Systematic construction of natural deduction systems for many-valued logics [PDF]
, 1993 A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables
Baaz, Matthias +2 more
core +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.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
Journal of Modern Science, 2018 The paper begins with a short description of phenomenological ideas of Petr Vopěnka concerning the development of children’s geometric concepts and his notion of personality of a phenomen, which makes the phenomenon an individual entity.
Zbigniew Semadeni
doaj +1 more source