Syntax for free: representing syntax with binding using parametricity [PDF]
, 2009 We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation.
B.E. Aydemir +11 more
core +2 more sources
The C242T polymorphism of the NAD(P)H oxidase p22(phox) subunit is associated with an enhanced risk for cerebrovascular disease at a young age [PDF]
, 2008 Background and Purpose: Oxidative stress has been proposed as a major contributing factor for vascular disease, that acts independently from its participation in predisposing disorders such as diabetes and arterial hypertension.
Genius, Just +2 more
core +1 more source
The Role of Dopamine in Anticipatory Pursuit Eye Movements: Insights from Genetic Polymorphisms in Healthy Adults [PDF]
, 2016 There is a long history of eye movement research in patients with psychiatric diseases for which dysfunctions of neurotransmission are considered to be the major pathologic mechanism.
Billino, Jutta +2 more
core +1 more source
Ala54Thr Fatty Acid-Binding Protein 2 (FABP2) Polymorphism in Recurrent Depression: Associations with Fatty Acid Concentrations and Waist Circumference [PDF]
, 2013 BACKGROUND: Fatty acid (FA)-alterations may mediate the mutual association between Major Depressive Disorder (MDD) and cardiovascular disease (CVD). However, etiology of observed FA-alterations in MDD and CVD remains largely unclear.
Assies, Johanna +7 more
core +8 more sources
Бюллетень сибирской медицины, 2021 Aim. To assess the variability of the NAT2 gene and to comparatively analyze the prevalence of NAT2 polymorphisms and acetylation types among Yakut and Russian patients newly diagnosed with pulmonary tuberculosis (TB), permanently residing in the Sakha ...
N. M. Krasnova +13 more
doaj +1 more source
Immune function and parasite resistance in male and polymorphic female Coenagrion puella [PDF]
, 2006 Background: Colour polymorphisms are widespread and one of the prime examples is the colour polymorphism in female coenagrionid damselflies: one female morph resembles the male colour (andromorph) while one, or more, female morphs are described as ...
Joop, G. +3 more
core +2 more sources
Circulating MicroRNA Expression Levels Associated With Internet Gaming Disorder
Frontiers in Psychiatry, 2018 BackgroundAddictive use of the Internet and online games is a potential psychiatric disorder termed Internet gaming disorder (IGD). Altered microRNA (miRNA) expression profiles have been reported in blood and brain tissue of patients with certain ...
Minho Lee +19 more
doaj +1 more source
A polymorph of terephthalaldehyde [PDF]
Acta Crystallographica Section E Structure Reports Online, 2008 A new ortho-rhom-bic polymorph of terephthalaldehyde, C(8)H(6)O(2), with a melting point of 372 K, has been obtained by recrystallization from ethanol. At room temperature, the crystals transform into the well known monoclinic form, with a melting point of 389 K.
Lei Teng, Zhiguo Wang
openaire +3 more sources
A counterexample to the reconstruction of $\omega$-categorical structures from their endomorphism monoids [PDF]
, 2016 We present an example of two countable $\omega$-categorical structures, one of which has a finite relational language, whose endomorphism monoids are isomorphic as abstract monoids, but not as topological monoids -- in other words, no isomorphism between
Bodirsky, Manuel +3 more
core +2 more sources
Experimental and Molecular Medicine, 2018 Prostate cancer: Promising protein biomarker A protein found in high levels in prostate cancer tissues could provide a biomarker and therapeutic target for the disease.
Jieying Liu +7 more
doaj +1 more source