Expressive Stream Reasoning with Laser

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive reasoning, which is challenging to compute on large streams. We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams. At its core, Laser implements a novel evaluation procedure which annotates formulae to avoid the re-computation of duplicates at multiple time points. This procedure, combined with a judicious implementation of the LARS operators, is responsible for significantly better runtimes than the ones of other state-of-the-art systems like C-SPARQL and CQELS, or an implementation of LARS which runs on the ASP solver Clingo. This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.Comment: 19 pages, 5 figures. Extended version of accepted paper at ISWC 201

Profile-Based Optimal Matchings in the Student-Project Allocation Problem

In the Student/Project Allocation problem (spa) we seek to assign students to individual or group projects offered by lecturers. Students provide a list of projects they find acceptable in order of preference. Each student can be assigned to at most one project and there are constraints on the maximum number of students that can be assigned to each project and lecturer. We seek matchings of students to projects that are optimal with respect to profile, which is a vector whose rth component indicates how many students have their rth-choice project. We present an efficient algorithm for finding agreedy maximum matching in the spa context – this is a maximum matching whose profile is lexicographically maximum. We then show how to adapt this algorithm to find a generous maximum matching – this is a matching whose reverse profile is lexicographically minimum. Our algorithms involve finding optimal flows in networks. We demonstrate how this approach can allow for additional constraints, such as lecturer lower quotas, to be handled flexibly

A semi-Markov model for stroke with piecewise-constant hazards in the presence of left, right and interval censoring.

This paper presents a parametric method of fitting semi-Markov models with piecewise-constant hazards in the presence of left, right and interval censoring. We investigate transition intensities in a three-state illness-death model with no recovery. We relax the Markov assumption by adjusting the intensity for the transition from state 2 (illness) to state 3 (death) for the time spent in state 2 through a time-varying covariate. This involves the exact time of the transition from state 1 (healthy) to state 2. When the data are subject to left or interval censoring, this time is unknown. In the estimation of the likelihood, we take into account interval censoring by integrating out all possible times for the transition from state 1 to state 2. For left censoring, we use an Expectation-Maximisation inspired algorithm. A simulation study reflects the performance of the method. The proposed combination of statistical procedures provides great flexibility. We illustrate the method in an application by using data on stroke onset for the older population from the UK Medical Research Council Cognitive Function and Ageing Study

The Stable Roommates problem with short lists

We consider two variants of the classical Stable Roommates problem with Incomplete (but strictly ordered) preference lists SRI that are degree constrained, i.e., preference lists are of bounded length. The first variant, EGAL d-SRI, involves finding an egalitarian stable matching in solvable instances of SRI with preference lists of length at most d. We show that this problem is NP-hard even if d=3. On the positive side we give a (2d+3)/7-approximation algorithm for d={3,4,5} which improves on the known bound of 2 for the unbounded preference list case. In the second variant of SRI, called d-SRTI, preference lists can include ties and are of length at most d. We show that the problem of deciding whether an instance of d-SRTI admits a stable matching is NP-complete even if d=3. We also consider the "most stable" version of this problem and prove a strong inapproximability bound for the d=3 case. However for d=2 we show that the latter problem can be solved in polynomial time.Comment: short version appeared at SAGT 201

Dilated Convolutional Neural Networks for Cardiovascular MR Segmentation in Congenital Heart Disease

We propose an automatic method using dilated convolutional neural networks (CNNs) for segmentation of the myocardium and blood pool in cardiovascular MR (CMR) of patients with congenital heart disease (CHD). Ten training and ten test CMR scans cropped to an ROI around the heart were provided in the MICCAI 2016 HVSMR challenge. A dilated CNN with a receptive field of 131x131 voxels was trained for myocardium and blood pool segmentation in axial, sagittal and coronal image slices. Performance was evaluated within the HVSMR challenge. Automatic segmentation of the test scans resulted in Dice indices of 0.80$\pm$0.06 and 0.93$\pm$0.02, average distances to boundaries of 0.96$\pm$0.31 and 0.89$\pm$0.24 mm, and Hausdorff distances of 6.13$\pm$3.76 and 7.07$\pm$3.01 mm for the myocardium and blood pool, respectively. Segmentation took 41.5$\pm$14.7 s per scan. In conclusion, dilated CNNs trained on a small set of CMR images of CHD patients showing large anatomical variability provide accurate myocardium and blood pool segmentations

Realization of GHZ States and the GHZ Test via Cavity QED

In this article we discuss the realization of atomic GHZ states involving three-level atoms and we show explicitly how to use this state to perform the GHZ test in which it is possible to decide between local realism theories and quantum mechanics. The experimental realizations proposed makes use of the interaction of Rydberg atoms with a cavity prepared in a coherent state.Comment: 16 pages and 3 figures. submitted to J. Mod. Op

Levosimendan for the prevention of acute organ dysfunction in sepsis

BACKGROUND Levosimendan is a calcium-sensitizing drug with inotropic and other properties that may improve outcomes in patients with sepsis. METHODS We conducted a double-blind, randomized clinical trial to investigate whether levosimendan reduces the severity of organ dysfunction in adults with sepsis. Patients were randomly assigned to receive a blinded infusion of levosimendan (at a dose of 0.05 to 0.2 μg per kilogram of body weight per minute) for 24 hours or placebo in addition to standard care. The primary outcome was the mean daily Sequential Organ Failure Assessment (SOFA) score in the intensive care unit up to day 28 (scores for each of five systems range from 0 to 4, with higher scores indicating more severe dysfunction; maximum score, 20). Secondary outcomes included 28-day mortality, time to weaning from mechanical ventilation, and adverse events. RESULTS The trial recruited 516 patients; 259 were assigned to receive levosimendan and 257 to receive placebo. There was no significant difference in the mean (±SD) SOFA score between the levosimendan group and the placebo group (6.68±3.96 vs. 6.06±3.89; mean difference, 0.61; 95% confidence interval [CI], −0.07 to 1.29; P=0.053). Mortality at 28 days was 34.5% in the levosimendan group and 30.9% in the placebo group (absolute difference, 3.6 percentage points; 95% CI, −4.5 to 11.7; P=0.43). Among patients requiring ventilation at baseline, those in the levosimendan group were less likely than those in the placebo group to be successfully weaned from mechanical ventilation over the period of 28 days (hazard ratio, 0.77; 95% CI, 0.60 to 0.97; P=0.03). More patients in the levosimendan group than in the placebo group had supraventricular tachyarrhythmia (3.1% vs. 0.4%; absolute difference, 2.7 percentage points; 95% CI, 0.1 to 5.3; P=0.04). CONCLUSIONS The addition of levosimendan to standard treatment in adults with sepsis was not associated with less severe organ dysfunction or lower mortality. Levosimendan was associated with a lower likelihood of successful weaning from mechanical ventilation and a higher risk of supraventricular tachyarrhythmia. (Funded by the NIHR Efficacy and Mechanism Evaluation Programme and others; LeoPARDS Current Controlled Trials number, ISRCTN12776039.

Further evidence for the planet around 51 Pegasi

The discovery of the planet around the solar-type star 51 Pegasi marked a watershed in the search for extrasolar planets. Since then seven other solar-type stars have been discovered, of which several have surprisingly short orbital periods, like the planet around 51 Peg. These planets were detected using the indirect technique of measuring variations in the Doppler shifts of lines in the spectra of the primary stars. But it is possible that oscillations of the stars themselves (or other effects) could mimic the signature of the planets, particularly around the short-period planets. The apparent lack of spectral and brightness variations, however, led to widespread acceptance that there is a planet around 51 Peg. This conclusion was challenged by the observation of systematic variations in the line profile shapes of 51 Peg, which suggested stellar oscillations. If these observations are correct, then there is no need to invoke a planet around 51 Peg to explain the data. Here we report observations of 51 Peg at a much higher spectral resolution than those in ref.9, in which we find no evidence for systematic changes in the line shapes. The data are most consistent with a planetary companion to 51 Peg.Comment: LaTeX, 6 pages, 2 figures. To appear in 8 January 1998 issue of Natur

Humidity-Dependent Reversible Transitions in Gold Nanoparticle Superlattices

The changes in interparticle spacing upon hydration and dehydration of drop-cast films of hydrophilic gold nanoparticles (GNP) have been measured in situ with nanometer resolution using WetSTEM and ESEM. These subtle variations correlate well with the corresponding changes in the optical spectra and perceived color as well as changes in the electrical conductivity of the films. AC impedance analysis allows us to differentiate between resistive and capacitive components and to evaluate how these depend on average particle spacing and the water content of the matrix, respectively. Thin films of this type are well-known structures used for development of sensors and diagnostics