Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Negative emotions in informal feedback: The benefits of disappointment and drawbacks of anger

Using the emotions as social information (EASI) model, this study investigated the emotional, attitudinal and behavioral reactions to failure feedback by manipulating negative emotional displays (angry, disappointed or none) and the position level and relational distance of the feedback source. Undergraduate students (N = 260) responded to an organizational failure feedback vignette and completed a subsequent performance task. Results demonstrated that guilt was the complementary emotional experience following displays of disappointment, while reciprocal anger followed displays of anger. These emotional reactions served as important mediators between the emotional displays paired with the feedback message and participant responses of social behaviors, creative task performance and perceptions of the feedback source. In addition, our findings indicated that negative emotions can have positive organizational and interpersonal outcomes. Guilt in response to disappointed displays resulted in beneficial behaviors and attitudes, while anger in response to angry displays was socially detrimental. The emotion displayed during feedback provision also served as a consistent contextual factor that did not interact with the position level or relational distance of the feedback source to impact behavioral and attitudinal reactions. Overall, this study indicates that discrete negative emotions have unique social-functional properties that require further investigation.Yeshttps://us.sagepub.com/en-us/nam/manuscript-submission-guideline

The prognostic value of FET PET at radiotherapy planning in newly diagnosed glioblastoma

BACKGROUND: Glioblastoma patients show a great variability in progression free survival (PFS) and overall survival (OS). To gain additional pretherapeutic information, we explored the potential of O-(2-(18)F-fluoroethyl)-L-tyrosine (FET) PET as an independent prognostic biomarker. METHODS: We retrospectively analyzed 146 consecutively treated, newly diagnosed glioblastoma patients. All patients were treated with temozolomide and radiation therapy (RT). CT/MR and FET PET scans were obtained postoperatively for RT planning. We used Cox proportional hazards models with OS and PFS as endpoints, to test the prognostic value of FET PET biological tumor volume (BTV). RESULTS: Median follow-up time was 14 months, and median OS and PFS were 16.5 and 6.5 months, respectively. In the multivariate analysis, increasing BTV (HR = 1.17, P < 0.001), poor performance status (HR = 2.35, P < 0.001), O(6)-methylguanine-DNA methyltransferase protein status (HR = 1.61, P = 0.024) and higher age (HR = 1.32, P = 0.013) were independent prognostic factors of poor OS. For poor PFS, only increasing BTV (HR = 1.18; P = 0.002) was prognostic. A prognostic index for OS was created based on the identified prognostic factors. CONCLUSION: Large BTV on FET PET is an independent prognostic factor of poor OS and PFS in glioblastoma patients. With the introduction of FET PET, we obtain a prognostic index that can help in glioblastoma treatment planning. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1007/s00259-016-3494-2) contains supplementary material which is available to authorized users

Time course and mechanisms of left ventricular systolic and diastolic dysfunction in monocrotaline-induced pulmonary hypertension

Although pulmonary hypertension (PH) selectively overloads the right ventricle (RV), neuroendocrine activation and intrinsic myocardial dysfunction have been described in the left ventricle (LV). In order to establish the timing of LV dysfunction development in PH and to clarify underlying molecular changes, Wistar rats were studied 4 and 6 weeks after subcutaneous injection of monocrotaline (MCT) 60 mg/kg (MCT-4, n = 11; MCT-6, n = 11) or vehicle (Ctrl-4, n = 11; Ctrl-6, n = 11). Acute single beat stepwise increases of systolic pressure were performed from baseline to isovolumetric (LVPiso). This hemodynamic stress was used to detect early changes in LV performance. Neurohumoral activation was evaluated by measuring angiotensin-converting enzyme (ACE) and endothelin-1 (ET-1) LV mRNA levels. Cardiomyocyte apoptosis was evaluated by TUNEL assay. Extracellular matrix composition was evaluated by tenascin-C mRNA levels and interstitial collagen content. Myosin heavy chain (MHC) composition of the LV was studied by protein quantification. MCT treatment increased RV pressures and RV/LV weight ratio, without changing LV end-diastolic pressures or dimensions. Baseline LV dysfunction were present only in MCT-6 rats. Afterload elevations prolonged tau and upward-shifted end-diastolic pressure dimension relations in MCT-4 and even more in MCT-6. MHC-isoform switch, ACE upregulation and cardiomyocyte apoptosis were present in both MCT groups. Rats with severe PH develop LV dysfunction associated with ET-1 and tenascin-C overexpression. Diastolic dysfunction, however, could be elicited at earlier stages in response to hemodynamic stress, when only LV molecular changes, such as MHC isoform switch, ACE upregulation, and myocardial apoptosis were present.Supported by Portuguese grants from FCT (POCI/SAU-FCF/60803/2004 and POCI/SAU-MMO/61547/2004) through Cardiovascular R&D Unit (FCT No. 51/94)

Autoimmune hepatitis triggered by nitrofurantoin: a case series

<p>Abstract</p> <p>Introduction</p> <p>Drugs can occasionally trigger the onset of autoimmune liver disease.</p> <p>Case presentation</p> <p>Three Caucasian women (aged 65, 42 and 74 years old) who were receiving long-term nitrofurantoin as prophylaxis against recurrent urinary tract infections developed hepatitic liver disease. Serological auto-antibody profiles and liver histology appearances were consistent with autoimmune hepatitis. Two of the patients presented with jaundice, and one required a prolonged hospital admission for liver failure. In all three patients nitrofurantoin was withdrawn, and long-term immunosuppressive therapy with prednisolone and azathioprine or mycophenolate was given. The patients responded well, with liver biochemistry returning to normal within a few months.</p> <p>Conclusions</p> <p>Although nitrofurantoin rarely causes autoimmune hepatitis, this antimicrobial is increasingly used as long-term prophylaxis against recurrent urinary tract infection. General practitioners and urologists who prescribe long-term nitrofurantoin therapy should be aware of this adverse effect.</p

Prospective blind comparative clinical study of two point fixation of zygomatic complex fracture using wire and mini plates

<p>Abstract</p> <p>Background</p> <p>The zygomatic maxillary complex (ZMC) fractures are one of the most frequent injuries of the facial skeleton due to its position and facial contour. Assaults, road traffic accidents and falls are the principal etiologic factors that may cause fractures of zygomatic bone. The different fixation methods are applied to treat the zygomatic bone fractures, with many more classifications which have been described in the literature for the ease of management. The type of the fracture, its severity and associated facial fractures usually interferes the treatment modality.</p> <p>Purpose of study</p> <p>The aim of this paper is to show the results of 18yrs prospective blind comparative study using wire and plate osteosynthesis which needed open reduction and internal fixation involving Type II to Type IV Spissel and Schroll ZMC fractures.</p> <p>Materials and methods</p> <p>Total 80 cases included in the study out of 1780 ZMC cases which were treated using wire and plate osteosynthesis over a period of 18 yrs, involving only Type II to Type IV Spissel and Schroll ZMC fractures. Other types excluded from study to prevent observer bias. All the fixations carried out through Standard Dingman's incision using stainless steel 26 gauze wire and titanium 1.5 mm mini plate system under general anesthesia by single maxillofacial surgeon and evaluated by another maxillofacial surgeon who is blinded for surgical procedure after 2 and 4 wks of follow-up for facial symmetry, wound healing, functional assessment (mouth opening, diplopia), and sensory disturbance. All the data tabulated in Excel software (Microsoft) for statistical analysis. P-value calculated to know the Significance of treatment modality in all aspects.</p> <p>Results</p> <p>Result shows no significant p-values indicating both the operating techniques are equally efficient in the surgical management of ZMC fracture.</p> <p>Conclusion</p> <p>Osteosynthesis by mini plates is simple, logical and effective treatment compared to wire osteosynthesis in regard to stability of fracture fragments. Wire osteosynthesis will be helpful in emergency surgeries or where the mini plates are not available. Even though the wire osteosynthesis is economical compared to mini plate fixation; but the time and skill is required for fixation of wires.</p

A prospective study of prognostic factors for duration of sick leave after endoscopic carpal tunnel release

<p>Abstract</p> <p>Background</p> <p>Endoscopic carpal tunnel release with a single portal technique has been shown to reduce sick leave compared to open carpal tunnel release, claiming to be a less invasive procedure and reducing scar tenderness leading to a more rapid return to work, and the purpose of this study was to identify prognostic factors for prolonged sick leave after endoscopic carpal tunnel release in a group of employed Danish patients.</p> <p>Methods</p> <p>The design was a prospective study including 75 employed patients with carpal tunnel syndrome operated with ECTR at two hospitals. The mean age was 46 years (SD 10.1), the male/female ratio was 0.42, and the mean preoperative duration of symptoms 10 months (range 6-12). Only 21 (28%) were unable to work preoperatively and mean sick leave was 4 weeks (range 1-4). At base-line and at the 3-month follow-up, a self-administered questionnaire was collected concerning physical, psychological, and social circumstances in relation to the hand problem. Data from a nerve conduction examination were collected at baseline and at the 3-month follow-up. Significant prognostic factors were identified through multiple logistic regression analysis.</p> <p>Results</p> <p>After the operation, the mean functional score was reduced from 2.3 to 1.4 (SD 0.8) and the mean symptom score from 2.9 to 1.5 (SD 0.7). The mean sick leave from work after the operation was 19.8 days (SD 14.3). Eighteen patients (24%) had more than 21 days of sick leave. Two patients (3%) were still unable to work after 3 months. Significant prognostic factors in the multivariate analysis for more than 21 days of postoperative sick leave were preoperative sick leave, blaming oneself for the hand problem and a preoperative distal motor latency.</p> <p>Conclusion</p> <p>Preoperative sick leave, blaming oneself for the hand problem, and a preoperative distal nerve conduction motor latency were prognostic factors for postoperative work absence of more than 21 days. Other factors may be important (clinical, demographic, economic, and workplace) in explaining the great variance in the results of sick leave after carpal tunnel release between studies from different countries.</p

Influence of Reoperations on Long-Term Quality of Life After Restrictive Procedures: A Prospective Study

Quality of life improves after bariatric surgery. However, long-term results and the influence of reoperations are not well known. A prospective quality of life assessment before, 1 and 7 years after laparoscopic adjustable gastric banding (LAGB) and vertical banded gastroplasty (VBG) was performed in order to determine the influence of reoperations during follow-up. One hundred patients were included in the study. Fifty patients underwent VBG and 50 LAGB. Patients completed the quality of life questionnaires prior to surgery and two times during follow-up. Health-related quality of life (HRQoL) questionnaires included the Nottingham Health Profile I and II and the Sickness Impact Profile 68. Follow-up was 84% with a mean duration of 84 months (7 years). During follow-up, 65% of VBG patients underwent conversion to Roux-en-Y gastric bypass while 44% of LAGB patients underwent a reoperation or conversion. One year after the procedure, nearly all quality-of-life parameters significantly improved. After 7 years, the Nottingham Health Profile (NHP)-I domain “physical ability”, the NHP-II and the SIP-68 domains “mobility control”, “social behavior”, and “mobility range” were still significantly improved in both groups. The domains “emotional reaction”, “social isolation” (NHP-I), and “emotional stability” (SIP-68) remained significantly improved in the VBG group while this was true for the domain “energy level” (NHP-I) in the LAGB group. Both the type of procedure and reoperations during follow-up were not of significant influence on the HRQoL results. Weight loss and decrease in comorbidities were the only significant factors influencing quality of life. Restrictive bariatric surgery improves quality of life. Although results are most impressive 1 year after surgery, the improvement remains significant after long-term follow-up. Postoperative quality of life is mainly dependent on weight loss and decrease in comorbidities and not on the type of procedure or surgical complications

Greatly increased occurrence of breast cancers in areas of mammographically dense tissue

INTRODUCTION: Mammographic density is a strong, independent risk factor for breast cancer. A critical unanswered question is whether cancers tend to arise in mammographically dense tissue (i.e. are densities directly related to risk or are they simply a marker of risk). This question cannot be addressed by studying invasive tumors because they manifest as densities and cannot be confidently differentiated from the densities representing fibrous and glandular tissue. We addressed this question by studying ductal carcinoma in situ (DCIS), as revealed by microcalcifications. METHOD: We studied the cranio-caudal and the mediolateral-oblique mammograms of 28 breasts with a solitary DCIS lesion. Two experienced radiologists independently judged whether the DCIS occurred in a mammographically dense area, and determined the density of different areas of the mammograms. RESULTS: It was not possible to determine whether the DCIS was or was not in a dense area for six of the tumors. Of the remaining 22 lesions, 21 occurred in dense tissue (test for difference from expected taken as the percentage of density of the 'mammographic quadrant' containing DCIS; P < 0.0001). A preponderance of DCIS (17 out of 28) occurred in the mammographic quadrant with the highest percentage density. CONCLUSION: DCIS occurs overwhelmingly in the mammographically dense areas of the breast, and pre-DCIS mammograms showed that this relationship was not brought about by the presence of the DCIS. This strongly suggests that some aspect of stromal tissue comprising the mammographically dense tissue directly influences the carcinogenic process in the local breast glandular tissue