490 research outputs found
Lower Urinary Tract Symptoms, Erectile Dysfunction, and Quality of Life in Poststroke Men:A Controlled Cross-Sectional Study
The aim of the current study was to compare lower urinary tract symptoms (LUTS), erectile dysfunction (ED), and quality of life (QoL) in poststroke and healthy men. Thirty poststroke men with stroke-related LUTS, and as controls, 96 healthy men participated in this controlled, cross-sectional study. Participants filled in the Danish Prostate Symptom Score (DAN-PSS-1) Questionnaire, the International Index of Erectile Function (IIEF-5), the 36-Item Short Form (SF-36), the Nocturia Quality-of-Life (N-QoL) Questionnaire. In the age group ≤55 years, comparing poststroke men with healthy controls both with LUTS, the results indicated DAN-PSS-1, total score median 13 (4-17) versus 3 (2-6), p =.05; IIEF-5 25 (14-25) versus 24 (23-25), p =.06; SF-12, total score 499 (360-679) versus 695 (644-734), p =.02; and N-QoL 98 (70-100) versus 96 (90-100), p =.65. In the age group >55 years, comparing poststroke men with healthy controls both with LUTS, the results indicated DAN-PSS-1, total score 13 (8-24) versus 5 (2-7), p <.01; IIEF-5 13 (5-20) versus 25 (24-25), p <.01; SF-36, total score 585 (456-718) versus 742 (687-772), p <.01; and N-QoL, total score 81 (66-95) versus 98 (80-100), p <.01. The results demonstrated that in age group above, but not below 55 years, poststroke men with LUTS had significantly higher frequency of severe and bothersome LUTS and ED than the healthy controls with LUTS, while QoL and N-QoL were significantly lower in comparison. It is recommended to identify and assess older poststroke men for LUTS, ED, and QoL
Verifying object-oriented programs with higher-order separation logic in Coq
We present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, we develop novel specification and proof patterns for reasoning in higher-order separation logic with nested triples about programs that use interfaces and interface inheritance. In particular, we show how to use the higher-order features of the Coq formalisation to specify and reason modularly about programs that (1) depend on some unknown code satisfying a specification or that (2) return objects conforming to a certain specification. All of our results have been formally verified in the interactive theorem prover Coq
Regional Longitudinal Myocardial Deformation Provides Incremental Prognostic Information in Patients with ST-Segment Elevation Myocardial Infarction
Global longitudinal systolic strain (GLS) has recently been demonstrated to be a superior prognosticator to conventional echocardiographic measures in patients after myocardial infarction (MI). The aim of this study was to evaluate the prognostic value of regional longitudinal myocardial deformation in comparison to GLS, conventional echocardiography and clinical information.In total 391 patients were admitted with ST-Segment elevation myocardial infarction (STEMI), treated with primary percutaneous coronary intervention and subsequently examined by echocardiography. All patients were examined by tissue Doppler imaging (TDI) and two-dimensional strain echocardiography (2DSE).During a median-follow-up of 5.3 (IQR 2.5-6.1) years the primary endpoint (death, heart failure or a new MI) was reached by 145 (38.9%) patients. After adjustment for significant confounders (including conventional echocardiographic parameters) and culprit lesion, reduced longitudinal performance in the anterior septal and inferior myocardial regions (but not GLS) remained independent predictors of the combined outcome. Furthermore, inferior myocardial longitudinal deformation provided incremental prognostic information to clinical and conventional echocardiographic information (Harrell's c-statistics: 0.63 vs. 0.67, p = 0.032). In addition, impaired longitudinal deformation outside the culprit lesion perfusion region was significantly associated with an adverse outcome (p<0.05 for all deformation parameters).Regional longitudinal myocardial deformation measures, regardless if determined by TDI or 2DSE, are superior prognosticators to GLS. In addition, impaired longitudinal deformation in the inferior myocardial segment provides prognostic information over and above clinical and conventional echocardiographic risk factors. Furthermore, impaired longitudinal deformation outside the culprit lesion perfusion region seems to be a paramount marker of adverse outcome
Safety and convenience of once-weekly somapacitan in adult GH deficiency: a 26-week randomized, controlled trial
OBJECTIVE: Somapacitan is a reversible albumin-binding growth hormone (GH) derivative, developed for once-weekly administration. This study aimed to evaluate the safety of once-weekly somapacitan vs once-daily Norditropin. Local tolerability and treatment satisfaction were also assessed.
DESIGN: 26-week randomized, controlled phase 3 safety and tolerability trial in six countries (Nbib2382939).
METHODS: Male or female patients aged 18-79 years with adult GH deficiency (AGHD), treated with once-daily GH for ≥6 months, were randomized to once-weekly somapacitan ( = 61) or once-daily Norditropin ( = 31) administered subcutaneously by pen. Both treatments were dose titrated for 8 weeks to achieve insulin-like growth factor I (IGF-I) standard deviation score (SDS) levels within the normal range, and then administered at a fixed dose. Outcome measures were adverse events (AEs), including injection site reactions; occurrence of anti-somapacitan/anti-GH antibodies and change in treatment satisfaction, assessed using the Treatment Satisfaction Questionnaire for Medication-9 (TSQM-9).
RESULTS: Mean IGF-I SDS remained between 0 and 2 SDS throughout the trial in both groups. AEs were mostly mild or moderate and transient in nature. The most common AEs were nasopharyngitis, headache and fatigue in both groups. More than 1500 somapacitan injections were administered and no clinically significant injection site reactions were reported. No anti-somapacitan or anti-GH antibodies were detected. The TSQM-9 score for convenience increased significantly more with somapacitan vs Norditropin ( = 0.0171).
CONCLUSIONS: In this 26-week trial in patients with AGHD, somapacitan was well tolerated and no safety issues were identified. Once-weekly somapacitan was reported to be more convenient than once-daily Norditropin
CD300LF polymorphisms of inbred mouse strains confer resistance to murine norovirus infection in a cell type-dependent manner
Human norovirus is the leading cause of gastroenteritis worldwide, yet basic questions about its life cycle remain unanswered due to an historical lack of robust experimental systems. Recent studies on the closely related murine norovirus (MNV) have identified CD300LF as an indispensable entry factor for MNV. We compared the MNV susceptibilities of cells from different mouse strains and identified polymorphisms in murine CD300LF which are critical for its function as an MNV receptor. Bone marrow-derived macrophages (BMDMs) from I/LnJ mice were resistant to infection from multiple MNV strains which readily infect BMDMs from C57BL/6J mice. The resistance of I/LnJ BMDMs was specific to MNV, since the cells supported infection of other viruses comparably to C57BL/6J BMDMs. Transduction of I/LnJ BMDMs with C57BL/6J CD300LF made the cells permissible to MNV infection, suggesting that the cause of resistance lies in the entry step of MNV infection. In fact, we mapped this phenotype to a 4-amino-acid difference at the CC\u27 loop of CD300LF; swapping of these amino acids between C57BL/6J and I/LnJ CD300LF proteins made the mutant C57BL/6J CD300LF functionally impaired and the corresponding mutant of I/LnJ CD300LF functional as an MNV entry factor. Surprisingly, expression of the I/LnJ CD300LF in other cell types made the cells infectible by MNV, even though the I/LnJ allele did not function as an MNV receptor in macrophage-like cells. Correspondingly, I/LnJ CD300LF bound MNV virions in permissive cells but not in nonpermissive cells. Collectively, our data suggest the existence of a cell type-specific modifier of MNV entry
Looking back on 50 years of literature to understand the potential impact of influenza on extrapulmonary medical outcomes
We conducted a scoping review of the epidemiological literature from the past 50 years to document the contribution of influenza virus infection to extrapulmonary clinical outcomes. We identified 99 publications reporting 243 associations using many study designs, exposure and outcome definitions, and methods. Laboratory confirmation of influenza was used in only 28 (12%) estimates, mostly in case-control and self-controlled case series study designs. We identified 50 individual clinical conditions associated with influenza. The most numerous estimates were of cardiocirculatory diseases, neurological/neuromuscular diseases, and fetal/newborn disorders, with myocardial infarction the most common individual outcome. Due to heterogeneity, we could not generate summary estimates of effect size, but of 130 relative effect estimates, 105 (81%) indicated an elevated risk of extrapulmonary outcome with influenza exposure. The literature is indicative of systemic complications of influenza virus infection, the requirement for more effective influenza control, and a need for robust confirmatory studies
Functional Interpretations of Intuitionistic Linear Logic
We present three different functional interpretations of intuitionistic
linear logic ILL and show how these correspond to well-known functional
interpretations of intuitionistic logic IL via embeddings of IL into ILL. The
main difference from previous work of the second author is that in
intuitionistic linear logic (as opposed to classical linear logic) the
interpretations of !A are simpler and simultaneous quantifiers are no longer
needed for the characterisation of the interpretations. We then compare our
approach in developing these three proof interpretations with the one of de
Paiva around the Dialectica category model of linear logic
- …