Filetype
We present the DEAL language for heap assertions that are efficiently evaluated during garbage collection time. DEAL is a rich, declarative, logic-based language whose programs are guaranteed to be executable with good whole-heap locality, i.e., within a single traversal over every live object on the heap and a finite neighborhood around each object. As a result, evaluating DEAL programs incurs ne
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in such programs. The analysis handles
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use container classes defined in the java.util package. Given this extensive code reuse in Java programs, it is important for the interfaces of reusable classes to be well documented. An interface is well
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing imperative XML processing programs. In particular, we present a program analysis, based on a flow-sensitive type system, for detecting both redundant computations and redundant traversals in XML processing programs. The analysi
Modern programs make extensive use of reusable software libraries. For example, we found that 17% to 30% of the classes in a number of large Java applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortunately, most documentation is expressed i
One approach to the assessment of overall opinion polarity (OvOP) of reviews, a concept defined in this paper, is the use of supervised machine learning mechanisms. In this paper, the impact of lexical feature selection and feature generalization, applied to reviews, on the precision of two probabilistic classifiers (Naïve Bayes and Markov Model) with respect to OvOP identification is observed. Fe
The four-stroke engine was invented by Nikolaus Otto during the second half of the 19th century. Although a lot of technological improvements have been made over the years, the operating principle with four-strokes remains the same. The need and desire of engines with even higher fuel-efficiency is a motivation to study alternative engine concepts. This thesis presents studies of the Double Compre
Emulsion formation by homogenization is commonly used in food production and research to increase product stability and to design colloidal structures. High-energy methods such as high-pressure homogenizers and rotor–stator mixers are the two most common techniques. However, to what extent does the research community understand the emulsion formation taking place in these devices? This contributioEmulsion formation by homogenization is commonly used in food production and research to increase product stability and to design colloidal structures. High-energy methods such as high-pressure homogenizers and rotor-stator mixers are the two most common techniques. However, to what extent does the research community understand the emulsion formation taking place in these devices? This contributio
Therapeutic antibodies that block the programmed death-1 (PD-1)-programmed death-ligand 1 (PD-L1) pathway can induce robust and durable responses in patients with various cancers, including metastatic urothelial cancer. However, these responses only occur in a subset of patients. Elucidating the determinants of response and resistance is key to improving outcomes and developing new treatment strat
The rate of water exchange across cell membranes is a parameter of biological interest and can be measured by diffusion magnetic resonance imaging (dMRI). In this work, we investigate a stochastic model for the diffusion-and-exchange of water molecules. This model provides a general solution for the temporal evolution of dMRI signal using any type of gradient waveform, thereby generalizing the sig
There is a widening gap between the fast advancement of computational methods for tomographic reconstruction and their successful implementation in production software at various synchrotron facilities. This is due in part to the lack of readily available instrument datasets and phantoms representative of real materials for validation and comparison of new numerical methods. Recent advancements in
Background: Norovirus is frequently introduced to the hospital and is a frequent cause of hospital outbreaks. Recognition of the factors that facilitate or impede norovirus transmission is an important step to effectively prevent hospital outbreaks. Aim: To investigate risk factors for norovirus outbreaks in hospital settings. Methods: Clinical data, ward setting, and norovirus genotype were colle
A questionnaire survey has been conducted in Belgium, Denmark, Germany, Poland, Spain and Sweden in 20162017. Once every third month through one year respondents have received a link to an online questionnaire which asked them about information on any traffic accidents they might have experienced in the period. The questionnaire contains questions on various aspects related to the accidents that
Objective: Slipped capital femoral epiphysis (SCFE) in adolescence is associated with increased risk of future osteoarthritis (OA). The purpose of this study was to study clinical and radiographic risk factors for early cartilage degeneration after SCFE. Design: 22 patients (44 hips) (mean age 24 years, range 18-27) treated with in situ fixation (The Hansson hook-pin) for stable SCFE on average 11
Objective The most common aetiologies of acute pancreatitis (AP) are gallstones, alcohol and idiopathic. The impact of the aetiology of AP on the extent and morphology of pancreatic and extrapancreatic necrosis (EXPN) has not been clearly established. The aim of the present study was to assess the influence of aetiology on the presence and location of pancreatic necrosis in patients with AP. Patie
Lithium abundance in most of the warm metal-poor main sequence stars shows a constarnt plateau (A(Li) ~ 2.2 dex) and then the upper envelope of the lithium vs. metallicity distribution increases as we approach solar metallicity. Meteorites, which carry information about the chemical composition of the interstellar medium (ISM) at the solar system formation time, show a lithium abundance A(Li) ~ 3.
A search for the direct production of charginos and neutralinos in final states with at least two hadronically decaying tau leptons is presented. The analysis uses a dataset of pp collisions corresponding to an integrated luminosity of 36.1 fb- 1, recorded with the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 13 TeV. No significant deviation from the expected Standard
