A setoid is a set together with a constructive representation of an equivalence relation on it. Here, we give category theoretic support to the notion. We first define a category Setoid and prove it is cartesian closed with...
A setoid is a set together with a constructive representation of an equivalence relation on it. Here, we give category theoretic support to the notion. We first define a category Setoid and prove it is cartesian closed with...
Are letters with a diacritic (e.g., â) recognized as a variant of the base letter (e.g., a), or as a separate letter identity? Two recent masked priming studies, one in French and one in Spanish, investigated this question...
Humans have an almost unbounded ability to adapt their behaviour to perform different tasks. In the laboratory, this flexibility is sometimes viewed as a nuisance factor that prevents access to the underlying cognitive...
BACKGROUND: Primitive endoderm is a cell lineage segregated from the epiblast in the blastocyst and gives rise to parietal and visceral endoderm. Sox7 is a member of the SoxF gene family that is specifically expressed in...
Reading is resilient to distortion of letter order within a word. This is evidenced in the "transposed-letter (TL) priming effect," the finding that a prime generated by transposing adjacent letters in a word (e.g., jugde)...
We investigated the role of the visual similarity of masked primes to targets in a lexical decision experiment. In the primes, some letters in the target (e.g., A in ABANDON) had either visually similar letters (e.g., H)...
The mouse (m) DC-SIGN family consists of several homologous type II transmembrane proteins located in close proximity on chromosome 8 and having a single carboxyl terminal carbohydrate recognition domain. We first used...
We report on the galaxy density environment around a high-z radio galaxy (HzRG) at z = 4.72, HSC J083913.17+011308.1 (HSC J0839+0113), probed using an r-dropout Lyman break galaxy (LBG) sample from the Hyper Suprime-Cam Subaru...
In visual word recognition tasks, digit primes that are visually similar to letter string targets (e.g., 4/A, 8/B) are known to facilitate letter identification relative to visually dissimilar digits (e.g., 6/A, 7/B); in...
We report on the galaxy density environment around a high-z radio galaxy (HzRG) at z = 4.72, HSC J083913.17+011308.1 (HSC J0839+0113), probed using an r-dropout Lyman break galaxy (LBG) sample from the Hyper Suprime-Cam Subaru...
Pluripotency denotes the flexible capacity of single cells to give rise to all somatic lineages and typically also the germline. Mouse ES cells and post-implantation epiblast-derived stem cells (EpiSC) are widely used...
Nonwords created by transposing two non-adjacent orthographic consonants (CONDISER) have been reported to produce more priming for their baseword (CONSIDER), and to be classified as a nonword less readily than nonwords created...
Masked priming tasks have been used widely to study early orthographic processes-the coding of letter position and letter identity. Recently, using masked priming in the same-different task Lupker, Nakayama, and Perea (2015a)...
Recently, the liverwort Marchantia polymorpha has received increasing attention as a basal plant model for multicellular studies. Its ease of handling, well-characterized plastome and proven protocols for biolistic plastid...
We report distributional analyses of response times (RT) in two variants of the color-word Stroop task using manual keypress responses. In the classic Stroop task, in which the color and word dimensions are integrated into a...
Cellular disease models are useful tools for Alzheimer's disease (AD) research. Pluripotent stem cells, including human embryonic stem cells (hESCs) and induced pluripotent stem cells (iPSCs), are promising materials for...
Genome remethylation is essential for mammalian development but specific reasons are unclear. Here we examined embryonic stem (ES) cell fate in the absence of de novo DNA methyltransferases. We observed that ES cells deficient...
We give a systematic category theoretic axiomatics for modelling data refinement in call by value programming languages. Our leading examples of call by value languages are extensions of the computational λ-calculus, such as FPC...
We give a systematic category theoretic axiomatics for modelling data refinement in call by value programming languages. Our leading examples of call by value languages are extensions of the computational λ-calculus, such as FPC...
In the dual-stream model of language processing, the exact connectivity of the ventral stream to the anterior temporal lobe remains elusive. To investigate the connectivity between the inferior frontal gyrus (IFG) and the...
High-purity cardiomyocytes (CMs) derived from human induced pluripotent stem cells (hiPSCs) are promising for drug development and myocardial regeneration. However, most hiPSC-derived CMs morphologically and functionally...