We introduce a new and simple filtering technique that can be used in the implementation of geometric algorithms called “structural filtering”. Using this filtering technique we gain about 20% when compared to predicatefiltered implementations. Of theoretical interest are some results regarding the robustness of sorting algorithms against erroneous comparisons. There is software support for the...

Interest in finding statistical regularities in natural images has been growing since the advent of information theory and the advancem ent o f the efficient coding hypothesis that the human visual system is optimised to encode natural visual stimuli. In this thesis, a statistical analy­ sis o f gradient directions in an ensem ble o f natural images is reported. Inform ation-theoretic measures ...

After the newly constructed LEDA outriggers at LWA1 became operational Hank Tillman and Steve Ellingson performed TBN observations on September 5, 2013. They only looked at the 5 outriggers and performed dipole-dipole correlations for those baselines. They noted discrepancies in the magnitude and phase of the correlation products going from baseline to baseline. More importantly they reported a...

We introduce a generalized cake-cutting problem in which we seek to divide multiple cakes so that two players may get their most-preferred piece selections: a choice of one piece from each cake, allowing for the possibility of linked preferences over the cakes. For two players, we show that disjoint envy-free piece selections may not exist for two cakes cut into two pieces each, and they may no...

Our approach to the automatic acquisition of disjointness axioms relies on a machine learning classifier that determines disjointness of any two classes. The classifier is trained based on a “Gold Standard” of manually created disjointness axioms, i.e. pairs of classes each of which is associated with a label – “disjoint” or “not disjoint” – and a vector of feature values. As in our earlier exp...

We describe the modular development of correct parallel software with the Meander system from high-level speciications down to a concrete implementation, based on a communicating algebra formalism. We focus on the external behavior of the components and keep the behavioral properties through reenement and abstraction. A combination of a exible set of syntactical metarules and nite model checkin...

The contraction model of Field and Colgate for proto-galaxies, first proposed to describe the observed properties of quasars, is generalized and used to investigate the evolution of galaxies. The LEDA data base for elliptical, spiral, compact and diffuse galaxies is employed and it is shown that the above model is consistent with observational evidences regarding their dynamical evolution, star...

the friction properties of granular materials play an important role in the determination of specifications for designing hoppers, transporting passages, dryers, silos and machines through which grain flows. in this study, the angle of repose and internal friction coefficient were determined for three common wheat varieties (sardary, gaspard and saysoter) at four moisture contents (12, 15, 18, ...

Jag beskriver här i korthet datoröversättningssystemet Distributed Language Translation (DLT) och tar i samband med detta upp Nordens språk. DLT är ett omfattande forskningsoch utvecklingsprojekt som bedrivs av det nederländska softwareföretaget Buro voor Systeemontwikkeling (BSO/Research i Utrecht) med anslag från Nederländernas Ekonomidepanement. Projektet är inne på en än så länge icke-komme...