FliPpr: A Prettier Invertible Printing System

When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations

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

Development and External Validation of the International Early Warning Score for Improved Age- and Sex-Adjusted In-Hospital Mortality Prediction in the Emergency Department

Objectives: Early Warning Scores (EWSs) have a great potential to assist clinical decision-making in the emergency department (ED). However, many EWS contain methodological weaknesses in development and validation and have poor predictive performance in older patients. The aim of this study was to develop and externally validate an International Early Warning Score (IEWS) based on a recalibrated National Early warning Score (NEWS) model including age and sex and evaluate its performance independently at arrival to the ED in three age categories (18-65, 66-80, &gt; 80 yr). Design: International multicenter cohort study. Setting: Data was used from three Dutch EDs. External validation was performed in two EDs in Denmark. Patients: All consecutive ED patients greater than or equal to 18 years in the Netherlands Emergency department Evaluation Database (NEED) with at least two registered vital signs were included, resulting in 95,553 patients. For external validation, 14,809 patients were included from a Danish Multicenter Cohort (DMC). Measurements and Main Results: Model performance to predict in-hospital mortality was evaluated by discrimination, calibration curves and summary statistics, reclassification, and clinical usefulness by decision curve analysis. In-hospital mortality rate was 2.4% (n = 2,314) in the NEED and 2.5% (n = 365) in the DMC. Overall, the IEWS performed significantly better than NEWS with an area under the receiving operating characteristic of 0.89 (95% CIs, 0.89-0.90) versus 0.82 (0.82-0.83) in the NEED and 0.87 (0.85-0.88) versus 0.82 (0.80-0.84) at external validation. Calibration for NEWS predictions underestimated risk in older patients and overestimated risk in the youngest, while calibration improved for IEWS with a substantial reclassification of patients from low to high risk and a standardized net benefit of 5-15% in the relevant risk range for all age categories. Conclusions: The IEWS substantially improves in-hospital mortality prediction for all ED patients greater than or equal to18 years.</p

Species-specific responses of planktivorous fish to the introduction of a new piscivore: implications for prey fitness

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75539/1/j.1365-2427.2007.01810.x.pd

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