State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved...

Aims. We have searched for emission from the 557 GHz ortho-water line in the interstellar medium of six nearby starburst galaxies. Methods. We used the Odin satellite to observe the 110 − 101 transition of o-H2O in the galaxies NGC253, IC342, M82, NGC4258, CenA, and M51. None of the galaxies in our sample was detected. Results. We derive three sigma upper limits to the H2O abundance relative to...

A line l is called a separator for a set S of objects in the plane if l avoids all the objects and partitions S into two non-empty subsets, lying on both sides of l. A set L of lines is said to shatter S if each line of L is a separator for S, and every two objects of S are separated by at least one line of L. We give a simple randomized algorithm to construct the set of all separators for a gi...

A line l is called a separator for a set S of objects in the plane if l avoids all the objects and partitions S into two non empty sub sets lying on both sides of l A set L of lines is said to shatter S if each line of L is a separator for S and every two objects of S are separated by at least one line of L We give a simple randomized algorithm to construct the set of all separators for a given...

Abstract We present the first observational infrared luminosity function (IRLF) measurement in Epoch of Reionization (EoR) based on a UV-selected galaxy sample with ALMA spectroscopic observations. Our analysis is large program Era Bright Emission Line Survey (REBELS), which targets 42 galaxies at z = 6.4-7.7 [CII] 158$\hbox{$\mu $m}$ line scans. 16 sources exhibit dust detection, 15 are also s...

We present a systematic study of the Supernova Remnant (SNR) populations in nearby galaxies NGC 45, 55, 1313, and 7793 based on deep Ha [S II] imaging. find 42 candidate 54 possible SNRs / > 0.4 criterion, 84 which are new identifications. derive joint II]-Ha luminosity functions after accounting for incompleteness effects. that function overall sample is described with skewed Gaussian mean equ...

This paper presents a method that allows for securely saving a temporal sequence of data (log lines) in a file. Log lines are signed by an authority, and are thus unalterable without detection. Data is also encrypted in the file, and may be accessed with the granularity of a single log line with the possession of a decryption key. Also, it is possible that for some lines data must be accessed b...

The analysis of a series of crop variety trials often proceeds using a mixed model in which the data are the combined means from individual trials. The residual variation for this model consists of genotype by environment (G.E) interactions and within trial error variation. The latter is regarded as known from the analyses of individual trials, and any associated heterogeneity can be accounted ...