Optimizing Abstract Abstract Machines

The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for subsequently going from a naive analyzer derived under the AAM approach, to an efficient and correct implementation. The end result of the process is a two to three order-of-magnitude improvement over the systematically derived analyzer, making it competitive with hand-optimized implementations that compute fundamentally less precise results.Comment: Proceedings of the International Conference on Functional Programming 2013 (ICFP 2013). Boston, Massachusetts. September, 201

An informatics search for the low-molecular weight chromium-binding peptide

BACKGROUND: The amino acid composition of a low molecular weight chromium binding peptide (LMWCr), isolated from bovine liver, is reportedly E:G:C:D::4:2:2:2, though its sequence has not been discovered. There is some controversy surrounding the exact biochemical forms and the action of Cr(III) in biological systems; the topic has been the subject of many experimental reports and continues to be investigated. Clarification of Cr-protein interactions will further understanding Cr(III) biochemistry and provide a basis for novel therapies based on metallocomplexes or small molecules. RESULTS: A genomic search of the non-redundant database for all possible decapeptides of the reported composition yields three exact matches, EDGEECDCGE, DGEECDCGEE and CEGGCEEDDE. The first two sequences are found in ADAM 19 (A Disintegrin and Metalloproteinase domain 19) proteins in man and mouse; the last is found in a protein kinase in rice (Oryza sativa). A broader search for pentameric sequences (and assuming a disulfide dimer) corresponding to the stoichiometric ratio E:D:G:C::2:1:1:1, within the set of human proteins and the set of proteins in, or related to, the insulin signaling pathway, yields a match at an acidic region in the α-subunit of the insulin receptor (-EECGD-, residues 175–184). A synthetic peptide derived from this sequence binds chromium(III) and forms a metal-peptide complex that has properties matching those reported for isolated LMWCr and Cr(III)-containing peptide fractions. CONCLUSION: The search for an acidic decameric sequence indicates that LMWCr may not be a contiguous sequence. The identification of a distinct pentameric sequence in a significant insulin-signaling pathway protein suggests a possible identity for the LMWCr peptide. This identification clarifies directions for further investigation of LMWCr peptide fractions, chromium bio-coordination chemistry and a possible role in the insulin signaling pathway. Implications for models of chromium action in the insulin-signaling pathway are discussed

Nebulized heparin in burn patients with inhalation trauma : safety and feasibility

Background: Pulmonary hypercoagulopathy is intrinsic to inhalation trauma. Nebulized heparin could theoretically be beneficial in patients with inhalation injury, but current data are conflicting. We aimed to investigate the safety, feasibility, and effectiveness of nebulized heparin. Methods: International multicenter, double-blind, placebo-controlled randomized clinical trial in specialized burn care centers. Adult patients with inhalation trauma received nebulizations of unfractionated heparin (25,000 international unit (IU), 5 mL) or placebo (0.9% NaCl, 5 mL) every four hours for 14 days or until extubation. The primary outcome was the number of ventilator-free days at day 28 post-admission. Here, we report on the secondary outcomes related to safety and feasibility. Results: The study was prematurely stopped after inclusion of 13 patients (heparin N = 7, placebo N = 6) due to low recruitment and high costs associated with the trial medication. Therefore, no analyses on effectiveness were performed. In the heparin group, serious respiratory problems occurred due to saturation of the expiratory filter following nebulizations. In total, 129 out of 427 scheduled nebulizations were withheld in the heparin group (in 3 patients) and 45 out of 299 scheduled nebulizations were withheld in the placebo group (in 2 patients). Blood-stained sputum or expected increased bleeding risks were the most frequent reasons to withhold nebulizations. Conclusion: In this prematurely stopped trial, we encountered important safety and feasibility issues related to frequent heparin nebulizations in burn patients with inhalation trauma. This should be taken into account when heparin nebulizations are considered in these patients

Dietary patterns matter: diet beverages and cardiometabolic risks in the longitudinal Coronary Artery Risk Development in Young Adults (CARDIA) Study

Background: Although diet beverages are typically consumed to promote weight control, positive associations with increased cardiometabolic risk have been reported

Development of a general protocol for rapid response research on water quality disturbances and its application for monitoring the largest wildfire recorded in New Mexico, USA

Anthropogenic and natural disasters (e.g., wildfires, oil spills, mine spills, sewage treatment facilities) cause water quality disturbances in fluvial networks. These disturbances are highly unpredictable in space-time, with the potential to propagate through multiple stream orders and impact human and environmental health over days to years. Due to challenges in monitoring and studying these events, we need methods to strategize the deployment of rapid response research teams on demand. Rapid response research has the potential to close the gap in available water quality data and process understanding through time-sensitive data collection efforts. This manuscript presents a protocol that can guide researchers in preparing for and researching water quality disturbance events. We tested and refined the protocol by assessing the longitudinal propagation of water quality disturbances from the 2022 Hermit's Peak—Calf Canyon, NM, USA, the largest in the state's recorded history. Our rapid response research allowed us to collect high-resolution water quality data with semi-continuous sensors and synoptic grab sampling. The data collected have been used for traditional peer-reviewed publications and pragmatically to inform water utilities, restoration, and outreach programs

Molecular Analysis and Genetic Mapping of the Rhodopsin Gene in Families with Autosomal Dominant Retinitis Pigmentosa

Eighty-eight patients/families with autosomal dominant retinitis pigmentosa (RP) were screened for rhodopsin mutations. Direct sequencing revealed 13 different mutations in a total of 14 (i.e., 16%) unrelated patients. Five of these mutations (T4K, Q28H, R135G, F220C, and C222R) have not been reported so far. In addition, multipoint linkage analysis was performed on two large families with autosomal dominant RP due to rhodopsin mutations by using five DNA probes from 3q21-q24. No tight linkage was found between the rhodopsin locus (RHO) and D3S47 (θmax = 0.08). By six-point analysis, RHO was localized in the region between D3S21 and D3S47, with a maximum lod score of 13.447 directly at D3S20

practice of mechanical ventilation in cardiac arrest patients and effects of targeted temperature management a substudy of the targeted temperature management trial

Aims: Mechanical ventilation practices in patients with cardiac arrest are not well described. Also, the effect of temperature on mechanical ventilation settings is not known. The aims of this study were 1) to describe practice of mechanical ventilation and its relation with outcome 2) to determine effects of different target temperatures strategies (33 °C versus 36 °C) on mechanical ventilation settings. Methods: This is a substudy of the TTM-trial in which unconscious survivors of a cardiac arrest due to a cardiac cause were randomized to two TTM strategies, 33 °C (TTM33) and 36 °C (TTM36). Mechanical ventilation data were obtained at three time points: 1) before TTM; 2) at the end of TTM (before rewarming) and 3) after rewarming. Logistic regression was used to determine an association between mechanical ventilation variables and outcome. Repeated-measures mixed modelling was performed to determine the effect of TTM on ventilation settings. Results: Mechanical ventilation data was available for 567 of the 950 TTM patients. Of these, 81% was male with a mean (SD) age of 64 (12) years. At the end of TTM median tidal volume was 7.7 ml/kg predicted body weight (PBW)(6.4–8.7) and 60% of patients were ventilated with a tidal volume ≤ 8 ml/kg PBW. Median PEEP was 7.7cmH2O (6.4–8.7) and mean driving pressure was 14.6 cmH2O (±4.3). The median FiO2 fraction was 0.35 (0.30–0.45). Multivariate analysis showed an independent relationship between increased respiratory rate and 28-day mortality. TTM33 resulted in lower end-tidal CO2 (Pgroup = 0.0003) and higher alveolar dead space fraction (Pgroup = 0.003) compared to TTM36, while PCO2 levels and respiratory minute volume were similar between groups. Conclusions: In the majority of the cardiac arrest patients, protective ventilation settings are applied, including low tidal volumes and driving pressures. High respiratory rate was associated with mortality. TTM33 results in lower end-tidal CO2 levels and a higher alveolar dead space fraction compared to TTTM36

Antigenic variation in <i>Trypanosoma brucei</i>: joining the DOTs

African trypanosomes, such as &lt;i&gt;Trypanosoma brucei&lt;/i&gt;, are protistan parasites that cause sleeping sickness. Though first described more than a century ago, trypanosomes remain a blight on the health of the human population and on the economy of sub-Saharan Africa. &lt;i&gt;T. brucei&lt;/i&gt; replicates in the bloodstream of infected mammals and traverses the blood-brain barrier to enter the central nervous system in the late, frequently fatal, stages of the disease. Because of its extracellular lifestyle, &lt;i&gt;T. brucei&lt;/i&gt; is continuously exposed to antibody challenge. To circumvent this, the parasite uses antigenic variation of a surface protein named the variant surface glycoprotein (VSG). Around 107 VSG molecules are expressed on the parasite's cell surface, creating a dense coat that prevents adaptive immunity from detecting or accessing invariant antigens. However, antibodies against the expressed VSG are generated, and periodic switches to an immunologically distinct VSG coat are necessary for parasite survival. Such switches are pre-emptive of the immune response and contribute to the pattern of trypanosome growth seen in an infected host (Figure 1): parasite numbers increase, but then drop as VSG-specific antibodies are raised by the host. Cells that have switched to another VSG coat survive this killing and seed the outgrowth of a subsequent peak of parasites, which is again decimated by anti-VSG immune killing. As a survival strategy, antigenic variation succeeds by prolonging the time that the parasite