This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalises traditional termination analysis where an analyser tries to verify termination for a specified mode. Our contribution is a methodology in which components of traditional termination analysis are combined with backwards analysis to obtain an analyser for termination inference. We i...

This paper presents a new Czech morphological analyser which takes an advantage of Jan Daciuk’s algorithms for minimal deterministic acyclic finite state automata. The new analyser is six times faster than the current analyser ajka concerning the proper analysis, i.e. returning possible lemmata and tags for a given word form, but for some other related tasks is the difference even bigger.

A non-linear network is proposed for simulating the response of electrochemical cells in differential-pulse polarographic (DPP) analysis. The response of a DPP analyser connected to the dummy cell is a bell-shaped current peak (I(p)) located at any desired point along the potential-scan range. Approximate model calculations of the expected I(p), as a function of the dummy-cell parameters are in...

We describe and discuss our computer implementations of Lerdahl and Jackendoff’s (1983) Generative Theory of Tonal Music (GTTM). We consider this theory to be one of the most relevant music theories with regard to formalization because it captures aspects of musical phenomena based on the Gestalts perceived in music and presents these aspects with relatively rigid rules. However, the theory has...

A development in modern neutron spectroscopy is to avoid the need of large samples. We demonstrate how small samples together with the right choice of analyser and detector components makes distance collimation an important concept in crystal analyser spectrometers. We further show that this opens new possibilities where neutrons with different energies are reflected by the same analyser but co...