Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)

Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any of them explicitly. It takes as input only the common code base, which encodes all variants of a SPL, and produces analysis results corresponding to all variants. However, the computational cost of the lifted analysis still depends inherently on the number of variants (which is exponential in the number of features, in the worst case). For a large number of features, the lifted analysis may be too costly or even infeasible. In this paper, we introduce variability abstractions defined as Galois connections and use abstract interpretation as a formal method for the calculational-based derivation of approximate (abstracted) lifted analyses of SPL programs, which are sound by construction. Moreover, given an abstraction we define a syntactic transformation that translates any SPL program into an abstracted version of it, such that the analysis of the abstracted SPL coincides with the corresponding abstracted analysis of the original SPL. We implement the transformation in a tool, reconfigurator that works on Object-Oriented Java program families, and evaluate the practicality of this approach on three Java SPL benchmarks.Comment: 50 pages, 10 figure

Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity

We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the state-complexity of representing sub- or superword closures of context-free grammars (CFGs): (1) We prove a (tight) upper bound of $2^{\mathcal{O}(n)}$ on the size of nondeterministic finite automata (NFAs) representing the subword closure of a CFG of size $n$. (2) We present a family of CFGs for which the minimal deterministic finite automata representing their subword closure matches the upper-bound of $2^{2^{\mathcal{O}(n)}}$ following from (1). Furthermore, we prove that the inequivalence problem for NFAs representing sub- or superword-closed languages is only NP-complete as opposed to PSPACE-complete for general NFAs. Finally, we extend our results into an approximation method to attack inequivalence problems for CFGs

Multifocal: a strategic bidirectional transformation language for XML schemas

Lenses are one of the most popular approaches to define bidirectional transformations between data models. However, writing a lens transformation typically implies describing the concrete steps that convert values in a source schema to values in a target schema. In contrast, many XML-based languages allow writing structure-shy programs that manipulate only specific parts of XML documents without having to specify the behavior for the remaining structure. In this paper, we propose a structure-shy bidirectional two-level transformation language for XML Schemas, that describes generic type-level transformations over schema representations coupled with value-level bidirectional lenses for document migration. When applying these two-level programs to particular schemas, we employ an existing algebraic rewrite system to optimize the automatically-generated lens transformations, and compile them into Haskell bidirectional executables. We discuss particular examples involving the generic evolution of recursive XML Schemas, and compare their performance gains over non-optimized definitions.Fundação para a Ciência e a Tecnologi

Peritonitis secondary to traumatic duodenal laceration in the presence of a large pancreatic pseudocyst: a case report

<p>Abstract</p> <p>Introduction</p> <p>A pancreatic pseudocyst is a common sequela of severe acute pancreatitis. Commonly, it presents with abdominal pain and a mass in the epigastrium several weeks after the acute episode and can be managed conservatively, endoscopically or surgically. We report a patient with a pancreatic pseudocyst awaiting endoscopic therapy who developed a life-threatening complication following a rather innocuous trauma to the abdomen.</p> <p>Case presentation</p> <p>A 23-year-old Asian male student presented as an emergency with an acute abdomen a week after a minor trauma to his upper abdomen. The injury occurred when he was innocently punched in the abdomen by a friend. He experienced only moderate discomfort briefly at the time. His past medical history included coeliac disease and an admission four months previously with severe acute pancreatitis. He was hospitalized for 15 days; his pancreatitis was thought to be due to alcohol binge drinking on weekends. Ultrasound scanning showed no evidence of gallstone disease. Five days after the trauma, he became anorexic, lethargic and feverish and started vomiting bilious content. Seven days post-trauma, he presented to our emergency department with severe abdominal pain. An emergency laparotomy was performed where a transverse linear duodenal laceration was found at the junction of the first and second part of his duodenum, with generalized peritonitis. His stomach and duodenum were stretched over a large pancreatic pseudocyst posterior to his stomach. It was postulated that an incomplete duodenal injury (possibly a serosal tear) occurred following the initial minor trauma, which was followed by local tissue necrosis at the injury site resulting in a delayed presentation of generalized peritonitis.</p> <p>Conclusion</p> <p>This is the first reported case of a traumatic duodenal laceration following minor blunt trauma in the presence of a large pancreatic pseudocyst. Minor blunt abdominal trauma in a normal healthy adult would not be expected to result in a significant duodenal injury. In the presence of a large pseudocyst, however, the stretching of the duodenum over the pseudocyst had probably predisposed the duodenum to this injury. Patients awaiting therapeutic interventions for their pancreatic pseudocysts should be warned about this unusual but life-threatening risk following minor blunt abdominal trauma.</p

EFSUMB Guidelines on Interventional Ultrasound (INVUS), Part II : Diagnostic ultrasound-guided interventional procedures (Long Version)

Publisher Copyright: © Georg Thieme Verlag KG Stuttgart New York.This is the second part of the series on interventional ultrasound guidelines of the Federation of Societies for Ultrasound in Medicine and Biology (EFSUMB). It deals with the diagnostic interventional procedure. General points are discussed which are pertinent to all patients, followed by organ-specific imaging that will allow the correct pathway and planning for the interventional procedure. This will allow for the appropriate imaging workup for each individual interventional procedure (Long version).publishersversionPeer reviewe

Acute psychiatric admissions from an out-of-hours Casualty Clinic; how do referring doctors and admitting specialists agree?

BACKGROUND: Over the last decades there has been an increasing pressure on the acute psychiatric wards in Norway. The major contributor to psychiatric acute admissions at the University Hospital of North Norway in the city of Tromsø in 2001 was the GP-based Tromsø Casualty Clinic, only open out-of-hours. We explored all acute psychiatric referrals from Tromsø Casualty Clinic in 2001. The purpose of the study was to characterize the admissions and assess the agreement between the referring doctors and the hospital specialists according to the need for hospitalization, agreement on application of the law and the diagnostic evaluation to assess whether the admissions were appropriate. METHODS: Retrospective, record based, descriptive study comprising 101 psychiatric acute referrals from the Tromsø Casualty Clinic to the psychiatric acute wards at the University Hospital of North Norway. RESULTS: The specialists accepted all referrals except one, they mostly agreed upon the diagnoses suggested by the referring doctors and they mostly confirmed the application of the law. Seventy-five percent of the admissions took place during weekends, public holidays or nighttimes. Diagnoses of psychoses or suicidal attempts accounted for 76 % of the total referrals. Substance abuse was noted for 43 %, and in 22 % of all admissions the patients had stopped taking their psychopharmacological medication. The police assisted the referring doctors in one third of all admissions, and was the legal representative in 52 out of 59 involuntary admissions. Thirty percent of the admissions were first- time admissions. Thirty-two percent of the hospital stays lasted for three days or less. Median length of stay was 6.5 days. CONCLUSION: The casualty clinic physicians and the hospital specialists mostly agreed in their evaluation of patients indicating that most of the admissions were appropriate. The police was more often involved in the involuntary admissions than intended in the law. The proportion of patients with substance abuse was significant. Alternative treatment strategies should be developed for non-psychotic patients in need of short-term stays

Genomic Profiling of a Randomized Trial of Interferon-α versus Hydroxyurea in MPN Reveals Mutation-Specific Responses

Although somatic mutations influence the pathogenesis, phenotype, and outcome of myeloproliferative neoplasms (MPNs), little is known about their impact on molecular response to cytoreductive treatment. We performed targeted next-generation sequencing (NGS) on 202 pretreatment samples obtained from patients with MPN enrolled in the DALIAH trial (A Study of Low Dose Interferon Alpha Versus Hydroxyurea in Treatment of Chronic Myeloid Neoplasms; #NCT01387763), a randomized controlled phase 3 clinical trial, and 135 samples obtained after 24 months of therapy with recombinant interferon-alpha (IFNα) or hydroxyurea. The primary aim was to evaluate the association between complete clinicohematologic response (CHR) at 24 months and molecular response through sequential assessment of 120 genes using NGS. Among JAK2-mutated patients treated with IFNα, those with CHR had a greater reduction in the JAK2 variant allele frequency (median, 0.29 to 0.07; P < .0001) compared with those not achieving CHR (median, 0.27 to 0.14; P < .0001). In contrast, the CALR variant allele frequency did not significantly decline in those achieving CHR or in those not achieving CHR. Treatment-emergent mutations in DNMT3A were observed more commonly in patients treated with IFNα compared with hydroxyurea (P = .04). Furthermore, treatment-emergent DNMT3A mutations were significantly enriched in IFNα–treated patients not attaining CHR (P = .02). A mutation in TET2, DNMT3A, or ASXL1 was significantly associated with prior stroke (age-adjusted odds ratio, 5.29; 95% confidence interval, 1.59-17.54; P = .007), as was a mutation in TET2 alone (age-adjusted odds ratio, 3.03; 95% confidence interval, 1.03-9.01; P = .044). At 24 months, we found mutation-specific response patterns to IFNα: (1) JAK2- and CALR-mutated MPN exhibited distinct molecular responses; and (2) DNMT3A-mutated clones/subclones emerged on treatment