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.

DNA is a time-of-flight backscattering neutron spectrometer installed at the Materials and Life Science Experimental Facility in J-PARC. After opening user program, we have been developing upgrading DNA. The energy resolution improved achieved designed value of 1.4 μeV by renewing disks pulse shaping chopper that can rotate max 300 Hz instead 225 previous disks. installation Si311 analyser mirr...

In this essay, we present the development of an important analogue calculating device, the differential analyzer. Section 1 introduces the main purpose that this type of machine was built for, namely the solution of differential equations and, in this context, the integration of a function. Section 2 summarizes the most important milestones regarding the development of mechanical differential a...

Lemlat is a morphological analyser for Latin, which shows a remarkably wide coverage of the Latin lexicon. However, the performance of the tool is limited by the absence of proper names in its lexical basis. In this paper we present the extension of Lemlat with a large Onomasticon for Latin. First, we describe and motivate the automatic and manual procedures for including the proper names in Le...

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...