Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

THU0116 European multicentre pilot survey to assess vitamin d and clinical status in rheumatoid arthritis patients

n/

Necrotic platelets provide a procoagulant surface during thrombosis

A subpopulation of platelets fulfills a procoagulant role in hemostasis and thrombosis by enabling the thrombin burst required for fibrin formation and clot stability at the site of vascular injury. Excess procoagulant activity is linked with pathological thrombosis. The identity of the procoagulant platelet has been elusive. The cell death marker 4-[N-(S-glutathionylacetyl)amino]phenylarsonous acid (GSAO) rapidly enters a subpopulation of agonist-stimulated platelets via an organic anion-transporting polypeptide and is retained in the cytosol through covalent reaction with protein dithiols. Labeling with GSAO, together with exposure of P-selectin, distinguishes necrotic from apoptotic platelets and correlates with procoagulant potential. GSAO+ platelets form in occluding murine thrombi after ferric chloride injury and are attenuated withmegakaryocyte-directed deletionof the cyclophilin D gene. These platelets forma procoagulant surface, supporting fibrin formation, and reduction in GSAO+ platelets is associated with reduction in platelet thrombus size and fibrin formation. Analysis of platelets from human subjects receiving aspirin therapy indicates that these procoagulant platelets form despite aspirin therapy, but are attenuated by inhibition of the necrosis pathway. These findings indicate that the major subpopulation of platelets involved in fibrin formation are formed via regulated necrosis involving cyclophilin D, and that they may be targeted independent of platelet activation

Enumeration of extracellular vesicles by a new improved flow cytometric method is comparable to fluorescence mode nanoparticle tracking analysis

Extracellular vesicles (EVs) play a role in a variety of physiological and pathological processes. However, use of EVs as biomarkers has been hampered by limitations of current detection and enumeration methods. We compared fluorescence-threshold flow cytometry (FT-FC) to nanoparticle tracking analysis (NTA) for enumeration of cell culture-derived EVs. FT-FC and NTA utilising fluorescence mode (F-NTA) enumerated similar numbers of EVs stained with a membrane dye PKH67. Both methods were sufficiently sensitive to detect cell-derived EVs above the background of culture medium. Light scatter NTA (LS-NTA) detected 10-100. × more particles than either fluorescence-based method but demonstrated poor specificity. F-NTA appeared to have better sensitivity for 100 nm range. Due to wider availability and higher degree of automation and standardisation, FT-FC is a reasonable surrogate to F-NTA for quantification of EVs

ICD-10-CM-Based Definitions for Emergency Department Opioid Poisoning Surveillance: Electronic Health Record Case Confirmation Study

OBJECTIVES: Valid opioid poisoning morbidity definitions are essential to the accuracy of national surveillance. The goal of our study was to estimate the positive predictive value (PPV) of case definitions identifying emergency department (ED) visits for heroin or other opioid poisonings, using billing records with International Classification of Diseases, Tenth Revision, Clinical Modification (ICD-10-CM) codes. METHODS: We examined billing records for ED visits from 4 health care networks (12 EDs) from October 2015 through December 2016. We conducted medical record reviews of representative samples to estimate the PPVs and 95% confidence intervals (CIs) of (1) first-listed heroin poisoning diagnoses (n = 398), (2) secondary heroin poisoning diagnoses (n = 102), (3) first-listed other opioid poisoning diagnoses (n = 452), and (4) secondary other opioid poisoning diagnoses (n = 103). RESULTS: First-listed heroin poisoning diagnoses had an estimated PPV of 93.2% (95% CI, 90.0%-96.3%), higher than secondary heroin poisoning diagnoses (76.5%; 95% CI, 68.1%-84.8%). Among other opioid poisoning diagnoses, the estimated PPV was 79.4% (95% CI, 75.7%-83.1%) for first-listed diagnoses and 67.0% (95% CI, 57.8%-76.2%) for secondary diagnoses. Naloxone was administered in 867 of 1055 (82.2%) cases; 254 patients received multiple doses. One-third of all patients had a previous drug poisoning. Drug testing was ordered in only 354 cases. CONCLUSIONS: The study findings suggest that heroin or other opioid poisoning surveillance definitions that include multiple diagnoses (first-listed and secondary) would identify a high percentage of true-positive cases

Predicting adolescent posttraumatic stress in the aftermath of war: differential effects of coping strategies across trauma reminder, loss reminder, and family conflict domains.

BACKGROUND AND OBJECTIVES: The vast majority of youth who lived through the Bosnian war were exposed to multiple traumatic events, including interpersonal violence, community destruction, and the loss of a loved one. This study examined factors that predict post-war psychological adjustment, specifically posttraumatic stress, in Bosnian adolescents. DESIGN: Regression analyses evaluated theorized differential relations between three types of post-war stressors - exposure to trauma reminders, loss reminders, and intrafamilial conflict - specific coping strategies, and posttraumatic stress symptom dimensions. METHODS: We examined 555 Bosnian adolescents, aged 15-19 years, to predict their long-term posttraumatic stress reactions in the aftermath of war. RESULTS: Findings indicated that post-war exposure to trauma reminders, loss reminders, and family conflict, as well as engagement and disengagement coping strategies, predicted posttraumatic stress symptoms. Secondary control engagement coping responses to all three types of post-war stressors were inversely associated with posttraumatic stress symptoms, whereas primary control engagement coping responses to family conflict were inversely associated with hyperarousal symptoms. Disengagement responses to trauma reminders and family conflict were positively associated with re-experiencing symptoms. CONCLUSIONS: These findings shed light on ways in which trauma reminders, loss reminders, and family conflict may intersect with coping responses to influence adolescent postwar adjustment

Global and regional myocardial function and outcomes after transcatheter aortic valve implantation for aortic stenosis and preserved ejection fraction

AimTo investigate the effects of transcatheter aortic valve implantation (TAVI) on early recovery of global and segmental myocardial function in patients with severe symptomatic aortic stenosis and preserved left ventricular ejection fraction (LVEF) and to determine if parameters of deformation correlate with outcomes.MethodsThe echocardiographic (strain analysis) and outcome (hospitalizations because of heart failure and mortality) data of 62 consecutive patients with preserved LVEF (64.54±7.97%) who underwent CoreValve prosthesis implantation were examined.ResultsEarly after TAVI (5±3.9 days), no significant changes in LVEF or diastolic function were found, while a significant drop of systolic pulmonary artery pressure (PAP) occurred (42.3±14.9 vs. 38.1±13.9mmHg, P=0.028). After TAVI global longitudinal strain (GLS) did not change significantly, whereas significant improvement in global mid-level left ventricular (LV) radial strain (GRS) was found (-16.71±2.42 vs. -17.32±3.25%; P=0.33; 16.57±6.6 vs. 19.48±5.97%, P=0.018, respectively). Early significant recovery of longitudinal strain was found in basal lateral and anteroseptal segments (P=0.038 and 0.048). Regional radial strain at the level of papillary muscles [P=0.038 mid-lateral, P<0.001 mid-anteroseptum (RSAS)] also improved. There was a significant LV mass index reduction in the late follow-up (152.42±53.21 vs. 136.24±56.67g/m2, P=0.04). Mean follow-up period was 3.5±1.9 years. Parameters associated with worse outcomes in univariable analysis were RSAS pre-TAVI, LV end-diastolic diameter after TAVI, relative wall thickness, and mitral E and E/A after TAVI.ConclusionGlobal and regional indices of myocardial function improved early after TAVI, suggesting the potential of myocardium to recover with a reduced risk for clinical deterioration