Search

Results: 41
Category theoretic structure of setoids
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...
Published by:
Category theoretic structure of setoids
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...
Published by:
Letter identity and visual similarity in the processing of diacritic letters.
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...
Published by:
Is reading automatic? Are the ERP correlates of masked priming really lexical?
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...
Published by:
Sox7 is dispensable for primitive endoderm differentiation from mouse ES cells.
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...
Published by:
Transposed letter priming effects and allographic variation in Arabic
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)...
Published by:
Visual similarity effects on masked priming.
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)...
Published by:
Functional comparison of the mouse DC-SIGN, SIGNR1, SIGNR3 and Langerin, C-type lectins
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...
Published by: Rockefeller University
A Wide and Deep Exploration of Radio Galaxies with Subaru HSC (WERGS). IX. The most overdense region at z ∼ 5 inhabited by a massive radio galaxy
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...
Published by:
Context-dependent similarity effects in letter recognition.
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...
Published by:
A Wide and Deep Exploration of Radio Galaxies with Subaru HSC (WERGS). IX. The most overdense region at z ∼ 5 inhabited by a massive radio galaxy
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...
Published by:
Pluripotency Deconstructed.
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...
Published by:
What causes the greater perceived similarity of consonant-transposed nonwords?
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...
Published by:
Orthographic and phonological priming effects in the same-different task.
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)...
Published by:
Evidence accumulation in the integrated and primed Stroop tasks.
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...
Published by:
Axiomatics for Data Refinement in Call by Value Programming Languages
J Power, M Tanaka
Jan 02, 2009
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...
Published by:
Axiomatics for Data Refinement in Call by Value Programming Languages
J Power, M Tanaka
Jan 02, 2009
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...
Published by:

|<

<

1

2

>

>|