68 research outputs found
Neonatal cephalohematoma
Background: A few hours after birth a newborn baby developed two soft well-defined bumps situated bilaterally on the posterior part of the parietal regions of the skull. The swellings were separated by the sagittal suture and do not cross the lambdoid suture. The infant was delivered vaginally in a head-first position after a full term pregnancy (G2A1P0) without complications. There was no prolonged labour nor use of forceps, vacuum extractor or other techniques of assisted delivery
A proposal for broad spectrum proof certificates
International audienceRecent developments in the theory of focused proof systems provide flexible means for structuring proofs within the sequent calculus. This structuring is organized around the construction of ''macro'' level inference rules based on the ''micro'' inference rules which introduce single logical connectives. After presenting focused proof systems for first-order classical logics (one with and one without fixed points and equality) we illustrate several examples of proof certificates formats that are derived naturally from the structure of such focused proof systems. In principle, a proof certificate contains two parts: the first part describes how macro rules are defined in terms of micro rules and the second part describes a particular proof object using the macro rules. The first part, which is based on the vocabulary of focused proof systems, describes a collection of macro rules that can be used to directly present the structure of proof evidence captured by a particular class of computational logic systems. While such proof certificates can capture a wide variety of proof structures, a proof checker can remain simple since it must only understand the micro-rules and the discipline of focusing. Since proofs and proof certificates are often likely to be large, there must be some flexibility in allowing proof certificates to elide subproofs: as a result, proof checkers will necessarily be required to perform (bounded) proof search in order to reconstruct missing subproofs. Thus, proof checkers will need to do unification and restricted backtracking search
Completeness and Decidability Results for First-order Clauses with Indices
Session: Inference systems (www.cl.cam.ac.uk/~gp351/cade24)International audienceWe define a proof procedure that allows for a limited form of inductive reasoning. The first argument of a function symbol is allowed to belong to an inductive type. We will call such an argument an index. We enhance the standard superposition calculus with a loop detection rule, in order to encode a particular form of mathematical induction. The satisfiability problem is not semi-decidable, but some classes of clause sets are identified for which the proposed procedure is complete and/or terminating
Comparison of commercial RNA extraction kits for preparation of DNA-free total RNA from Salmonella cells
Bi-allelic <i>NIT1 </i>variants cause a brain small vessel disease characterized by movement disorders, massively dilated perivascular spaces, and intracerebral hemorrhage
Purpose: To describe a recessively inherited cerebral small vessel disease, caused by loss-of-function variants in Nitrilase1 (NIT1). Methods:We performed exome sequencing, brain magnetic resonance imaging, neuropathology, electron microscopy, western blotting, and transcriptomic and metabolic analyses in 7 NIT1-small vessel disease patients from 5 unrelated pedigrees. Results: The first identified patients were 3 siblings, compound heterozygous for the NIT1 c.727C>T; (p.Arg243Trp) variant and the NIT1 c.198_199del; p.(Ala68∗) variant. The 4 additional patients were single cases from 4 unrelated pedigrees and were all homozygous for the NIT1 c.727C>T; p.(Arg243Trp) variant. Patients presented in mid-adulthood with movement disorders. All patients had striking abnormalities on brain magnetic resonance imaging, with numerous and massively dilated basal ganglia perivascular spaces. Three patients had non-lobar intracerebral hemorrhage between age 45 and 60, which was fatal in 2 cases. Western blotting on patient fibroblasts showed absence of NIT1 protein, and metabolic analysis in urine confirmed loss of NIT1 enzymatic function. Brain autopsy revealed large electron-dense deposits in the vessel walls of small and medium sized cerebral arteries. Conclusion: NIT1-small vessel disease is a novel, autosomal recessively inherited cerebral small vessel disease characterized by a triad of movement disorders, massively dilated basal ganglia perivascular spaces, and intracerebral hemorrhage.</p
Association Between CNDP1 Genotype and Diabetic Nephropathy Is Sex Specific
OBJECTIVE-The 5-5 homozygous CNDP1 (carnosinase) genotype is associated with a reduced risk of diabetic nephropathy. We investigated whether this association is sex specific and independent of susceptibility for type 2 diabetes. RESEARCH DESIGN AND METHODS-Three separate groups of 114, 90, and 66 patients with type 2 diabetes and diabetic nephropathy were included in this study and compared with 93 patients with type 2 diabetes for >15 years without diabetic nephropathy and 472 population control subjects. The diabetes control group was used to determine an association in the three patient groups separately, and the population control group was used to estimate the genotype risk [odds ratio (CI)] for the population in a pooled analysis. The population control subjects were also compared with 562 patients with type 2 diabetes without diabetic nephropathy to determine whether the association was independent of type 2 diabetes. The CNDP1 genotype was determined by fragment analysis after PCR amplification. RESULTS-The frequency of the 5-5 homozygous genotype was 28, 36, and 41% in the three diabetic nephropathy patient groups and 43 and 42% in the diabetic and population control subjects, respectively. The 5-5 homozygous genotype occurred significantly less frequently in women in all three patient groups compared with diabetic control subjects. The genotype risk for the population was estimated to be 0.5 (0.30-0.68) in women and 1.2 (0.77-1.69) in men. The 562 patients with type 2 diabetes without diabetic nephropathy did not differ from the general population (P = 0.23). CONCLUSIONS-This study suggests that the association between the CNDP1 gene and diabetic nephropathy is sex specific and independent of susceptibility for type 2 diabetes. Diabetes 59:1555-1559, 201
Bi-allelic <i>NIT1 </i>variants cause a brain small vessel disease characterized by movement disorders, massively dilated perivascular spaces, and intracerebral hemorrhage
Purpose: To describe a recessively inherited cerebral small vessel disease, caused by loss-of-function variants in Nitrilase1 (NIT1). Methods:We performed exome sequencing, brain magnetic resonance imaging, neuropathology, electron microscopy, western blotting, and transcriptomic and metabolic analyses in 7 NIT1-small vessel disease patients from 5 unrelated pedigrees. Results: The first identified patients were 3 siblings, compound heterozygous for the NIT1 c.727C>T; (p.Arg243Trp) variant and the NIT1 c.198_199del; p.(Ala68∗) variant. The 4 additional patients were single cases from 4 unrelated pedigrees and were all homozygous for the NIT1 c.727C>T; p.(Arg243Trp) variant. Patients presented in mid-adulthood with movement disorders. All patients had striking abnormalities on brain magnetic resonance imaging, with numerous and massively dilated basal ganglia perivascular spaces. Three patients had non-lobar intracerebral hemorrhage between age 45 and 60, which was fatal in 2 cases. Western blotting on patient fibroblasts showed absence of NIT1 protein, and metabolic analysis in urine confirmed loss of NIT1 enzymatic function. Brain autopsy revealed large electron-dense deposits in the vessel walls of small and medium sized cerebral arteries. Conclusion: NIT1-small vessel disease is a novel, autosomal recessively inherited cerebral small vessel disease characterized by a triad of movement disorders, massively dilated basal ganglia perivascular spaces, and intracerebral hemorrhage.</p
Mutational analysis of a heterogeneous nuclear ribonucleoprotein A2 response element for RNA trafficking
Cytoplasmic transport and localization of mRNA has been reported for a range of oocytes and somatic cells. The heterogeneous nuclear ribonucleoprotein (hnRNP) A2 response element (A2RE) is a 21-nucleotide segment of the myelin basic protein mRNA that is necessary and sufficient for cytoplasmic transport of this message in oligodendrocytes. The predominant A2RE-binding protein in rat brain has previously been identified as hnRNP A2. Here we report that an 11-nucleotide subsegment of the A2RE (A2RE11) was as effective as the full-length A2RE in binding hnRNP A2 and mediating transport of heterologous RNA in oligodendrocytes. Point mutations of the A2RE11 that eliminated binding to hnRNP A2 also markedly reduced the ability of these oligoribonucleotides to support RNA transport. Oligodendrocytes treated with antisense oligonucleotides directed against the translation start site of hnRNP A2 had reduced levels of this protein and disrupted transport of microinjected myelin basic protein RNA. Several A2RE-like sequences from localized neuronal RNAs also bound hnRNP A2 and promoted RNA transport in oligodendrocytes. These data demonstrate the specificity of A2RE recognition by hnRNP A2, provide direct evidence for the involvement of hnRNP A2 in cytoplasmic RNA transport, and suggest that this protein may interact with a wide variety of localized messages that possess A2RE-like sequences
- …