Implicit complexity for coinductive data: a characterization of corecurrence

We propose a framework for reasoning about programs that manipulate coinductive data as well as inductive data. Our approach is based on using equational programs, which support a seamless combination of computation and reasoning, and using productivity (fairness) as the fundamental assertion, rather than bi-simulation. The latter is expressible in terms of the former. As an application to this framework, we give an implicit characterization of corecurrence: a function is definable using corecurrence iff its productivity is provable using coinduction for formulas in which data-predicates do not occur negatively. This is an analog, albeit in weaker form, of a characterization of recurrence (i.e. primitive recursion) in [Leivant, Unipolar induction, TCS 318, 2004].Comment: In Proceedings DICE 2011, arXiv:1201.034

Down-regulation of the caffeic acid \u3cem\u3eO\u3c/em\u3e-methyltransferase gene in switchgrass reveals a novel monolignol analog

Background Down-regulation of the caffeic acid 3-O-methyltransferase EC 2.1.1.68 (COMT) gene in the lignin biosynthetic pathway of switchgrass (Panicum virgatum) resulted in cell walls of transgenic plants releasing more constituent sugars after pretreatment by dilute acid and treatment with glycosyl hydrolases from an added enzyme preparation and from Clostridium thermocellum. Fermentation of both wild-type and transgenic switchgrass after milder hot water pretreatment with no water washing showed that only the transgenic switchgrass inhibited C. thermocellum. Gas chromatography–mass spectrometry (GCMS)-based metabolomics were undertaken on cell wall aqueous extracts to determine the nature of the microbial inhibitors. Results GCMS confirmed the increased concentration of a number of phenolic acids and aldehydes that are known inhibitors of microbial fermentation. Metabolomic analyses of the transgenic biomass additionally revealed the presence of a novel monolignol-like metabolite, identified as trans-3, 4-dimethoxy-5-hydroxycinnamyl alcohol (iso-sinapyl alcohol) in both non-pretreated, as well as hot water pretreated samples. iso-Sinapyl alcohol and its glucoside were subsequently generated by organic synthesis and the identity of natural and synthetic materials were confirmed by mass spectrometric and NMR analyses. The additional novel presence of iso-sinapic acid, iso-sinapyl aldehyde, and iso-syringin suggest the increased activity of a para-methyltransferase, concomitant with the reduced COMT activity, a strict meta-methyltransferase. Quantum chemical calculations were used to predict the most likely homodimeric lignans generated from dehydration reactions, but these products were not evident in plant samples. Conclusions Down-regulation of COMT activity in switchgrass resulted in the accumulation of previously undetected metabolites resembling sinapyl alcohol and its related metabolites, but that are derived from para-methylation of 5-hydroxyconiferyl alcohol, and related precursors and products; the accumulation of which suggests altered metabolism of 5-hydroxyconiferyl alcohol in switchgrass. Given that there was no indication that iso-sinapyl alcohol was integrated in cell walls, it is considered a monolignol analog. Diversion of substrates from sinapyl alcohol to free iso-sinapyl alcohol, its glucoside, and associated upstream lignin pathway changes, including increased phenolic aldehydes and acids, are together associated with more facile cell wall deconstruction, and to the observed inhibitory effect on microbial growth. However, iso-sinapyl alcohol and iso-sinapic acid, added separately to media, were not inhibitory to C. thermocellum cultures

Vitamin D deficiency and anemia: a cross-sectional study

Vitamin D has been suggested to have an effect on erythropoiesis. We sought to evaluate the prevalence of anemia in a population of individuals with vitamin D deficiency compared with those with normal levels in a population of a large integrated healthplan. A cross-sectional analysis in the period 1 January 2004 through 31 December 2006 of subjects with documented concurrent levels of 25-hydroxyvitamin D and hemoglobin were evaluated. Vitamin D deficiency was defined as <30 ng/mL and anemia was defined as a hemoglobin <11 g/dL. A total of 554 subjects were included in the analysis. Anemia was present in 49% of 25-hydroxyvitamin D-deficient subjects compared with 36% with normal 25-hydroxyvitamin D levels (p < 0.01). Odds ratio for anemia in subjects with 25-hydroxyvitamin D deficiency using logistic regressions and controlling for age, gender, and chronic kidney disease was 1.9 (95% CI 1.3–2.7). 25-hydroxyvitamin D-deficient subjects had a lower mean Hb (11.0 vs. 11.7; p = 0.12 ) and a higher prevalence of erythrocyte stimulating agent use (47% vs. 24%; p < 0.05). This study demonstrates an association of vitamin D deficiency and a greater risk of anemia, lower mean hemoglobin, and higher usage of erythrocyte-stimulating agents. Future randomized studies are warranted to examine whether vitamin D directly affects erythropoiesis

Shading Beats Binocular Disparity in Depth from Luminance Gradients: Evidence against a Maximum Likelihood Principle for Cue Combination

Perceived depth is conveyed by multiple cues, including binocular disparity and luminance shading. Depth perception from luminance shading information depends on the perceptual assumption for the incident light, which has been shown to default to a diffuse illumination assumption. We focus on the case of sinusoidally corrugated surfaces to ask how shading and disparity cues combine defined by the joint luminance gradients and intrinsic disparity modulation that would occur in viewing the physical corrugation of a uniform surface under diffuse illumination. Such surfaces were simulated with a sinusoidal luminance modulation (0.26 or 1.8 cy/deg, contrast 20%-80%) modulated either in-phase or in opposite phase with a sinusoidal disparity of the same corrugation frequency, with disparity amplitudes ranging from 0’-20’. The observers’ task was to adjust the binocular disparity of a comparison random-dot stereogram surface to match the perceived depth of the joint luminance/disparitymodulated corrugation target. Regardless of target spatial frequency, the perceived target depth increased with the luminance contrast and depended on luminance phase but was largely unaffected by the luminance disparity modulation. These results validate the idea that human observers can use the diffuse illumination assumption to perceive depth from luminance gradients alone without making an assumption of light direction. For depth judgments with combined cues, the observers gave much greater weighting to the luminance shading than to the disparity modulation of the targets. The results were not well-fit by a Bayesian cue-combination model weighted in proportion to the variance of the measurements for each cue in isolation. Instead, they suggest that the visual system uses disjunctive mechanisms to process these two types of information rather than combining them according to their likelihood ratios

A Peripherin/Retinal Degeneration Slow Mutation (Pro-210-Arg) Associated with Macular and Peripheral Retinal Degeneration

BackgroundMutations in the peripherin/retinal degeneration slow (RDS) gene have been identified in patients with retinitis pigmentosa and pattern macular dystrophy. The authors initially examined a large family affected with both peripheral and macular degeneration, inherited as an autosomal dominant trait. Screening for peripherin/RDS mutations identified a previously unreported nucleotide alteration in all of the affected individuals. Two additional families later were found to have this same mutation.MethodsDNA samples from the members of three unrelated families were screened for peripherin/RDS mutations by denaturing gradient gel electrophoresis of the polymerase chain reaction-amplified peripherin/RDS coding sequences. The sequence change that was detected was further characterized by DNA sequencing. Family members were examined and evaluated with psychophysical and electrophysiologic methods.ResultsA proline to arginine mutation in codon 210 of peripherin/RDS was found in all clinically affected individuals. Macular changes included extensive geographic atrophy, pigment epithelial changes, and/or drusen. The proline to arginine mutation was not found among 100 healthy individuals, making it unlikely to be a nondisease-causing polymorphism.ConclusionsThe authors identified a novel peripherin/RDS gene mutation associated with autosomal dominant retinal degeneration in patients from three different families. The largest family showed a broad variability in the expressivity of the mutation. The overlap of clinical features with those of age-related maculopathy highlights the need to consider photoreceptor-specific genes as potential factors in the etiology of the latter condition

Atrasentan and renal events in patients with type 2 diabetes and chronic kidney disease (SONAR): a double-blind, randomised, placebo-controlled trial

Background: Short-term treatment for people with type 2 diabetes using a low dose of the selective endothelin A receptor antagonist atrasentan reduces albuminuria without causing significant sodium retention. We report the long-term effects of treatment with atrasentan on major renal outcomes. Methods: We did this double-blind, randomised, placebo-controlled trial at 689 sites in 41 countries. We enrolled adults aged 18–85 years with type 2 diabetes, estimated glomerular filtration rate (eGFR)25–75 mL/min per 1·73 m 2 of body surface area, and a urine albumin-to-creatinine ratio (UACR)of 300–5000 mg/g who had received maximum labelled or tolerated renin–angiotensin system inhibition for at least 4 weeks. Participants were given atrasentan 0·75 mg orally daily during an enrichment period before random group assignment. Those with a UACR decrease of at least 30% with no substantial fluid retention during the enrichment period (responders)were included in the double-blind treatment period. Responders were randomly assigned to receive either atrasentan 0·75 mg orally daily or placebo. All patients and investigators were masked to treatment assignment. The primary endpoint was a composite of doubling of serum creatinine (sustained for ≥30 days)or end-stage kidney disease (eGFR <15 mL/min per 1·73 m 2 sustained for ≥90 days, chronic dialysis for ≥90 days, kidney transplantation, or death from kidney failure)in the intention-to-treat population of all responders. Safety was assessed in all patients who received at least one dose of their assigned study treatment. The study is registered with ClinicalTrials.gov, number NCT01858532. Findings: Between May 17, 2013, and July 13, 2017, 11 087 patients were screened; 5117 entered the enrichment period, and 4711 completed the enrichment period. Of these, 2648 patients were responders and were randomly assigned to the atrasentan group (n=1325)or placebo group (n=1323). Median follow-up was 2·2 years (IQR 1·4–2·9). 79 (6·0%)of 1325 patients in the atrasentan group and 105 (7·9%)of 1323 in the placebo group had a primary composite renal endpoint event (hazard ratio [HR]0·65 [95% CI 0·49–0·88]; p=0·0047). Fluid retention and anaemia adverse events, which have been previously attributed to endothelin receptor antagonists, were more frequent in the atrasentan group than in the placebo group. Hospital admission for heart failure occurred in 47 (3·5%)of 1325 patients in the atrasentan group and 34 (2·6%)of 1323 patients in the placebo group (HR 1·33 [95% CI 0·85–2·07]; p=0·208). 58 (4·4%)patients in the atrasentan group and 52 (3·9%)in the placebo group died (HR 1·09 [95% CI 0·75–1·59]; p=0·65). Interpretation: Atrasentan reduced the risk of renal events in patients with diabetes and chronic kidney disease who were selected to optimise efficacy and safety. These data support a potential role for selective endothelin receptor antagonists in protecting renal function in patients with type 2 diabetes at high risk of developing end-stage kidney disease. Funding: AbbVie

Kurze Beantwortung der Frage, Ob es gut sey, daß diejenigen, so dereinsten Prediger zu werden gedenken, zuvor einige Jahre in der Schule arbeiten? : Worbey dem Hochwohlehrwürdigen, Großachtbaren und Wohlgelahrten Herrn, Herrn Johann Gottlieb Söllner, zeithero treuverdinet gewesenen Cantor in Ernstthal und nunmehro wohlverordnetern Pastor in Schlunzig zu der neuen Amtsveränderung seinen freundschaftlichen Glückwunsch abstattet

Samuel Reichel, Lips. der lat. Gesellschaft zu Jena Ehren Mitglied.Autopsie nach Ex. der ULB Sachsen-AnhaltVorlageform des Erscheinungsvermerks: Dreßden, gedruckt in der Chur-Fürstl. Sächß. Hof-Buchdruckerey. - Erscheinungsjahr nach der Datierung am Schluß bestimm

Bey dem seeligen Ableben des Hochedlen Groß- und Vorachtbaren Herrn Joh. Gottlob Höckners Sr. Churfürstl. Durchl. zu Sachßen wohlbestalt gewesenen Trank- und Amts Steuer-Einnehmers auch treu verdient gewesenen regierenden Bürgermeisters allhier welches am 20sten April 1777. allhier erfolgte wolte der ... Frau Wittibe und vornehmen Höcknerischen auch Liebischen Häusern sein wahres Beyleid bezeigen und zugleich ... von dem Ursprung der Heiligsprechung handeln ein ... verbundenster Diener Samuel Reichel Advoc. Jmmatr. der lat. Gesellsch. zu Jena Ehren Mitglied und Stadtschreiber zu Stollberg

Trauerschrift auf Johann Gottlob Höckner, Trank- un Amtssteuereinnehmer, Bürgermeister in Chemnitz, +20. April 1777Vorlageform des Erscheinungsvermerks: Chemnitz, gedruckt bey Carl Friedrich Gebhard