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.

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

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

This paper shortly introduces the two logic programming languages Prolog and Mercury. On this background we introduce the problem of analysing termination of programs. Then we present Mercury’s termination analyser, that the authors of the language incorporated into its compiler. We will also discuss the proposition based on the same method analyser for Prolog’s predicates. 1. Prolog Prolog is ...

In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA. In this first development stage, ROSA Analyser is able to generate the Labelled Transition System, according to ROSA Operational Semantics. ROSA Analyser performance starts with...

A flow injection analyser has been constructed to allow an operator-free determination of up to 40 samples. Besides the usual FIA apparatus, the analyser includes a home-made sample introduction device made with three electromechanical three-way valves and an auto-sampler from Technicon which has been adapted to be commanded by an external digital signal. The analyser is controlled by a single ...

6 Case study: Genome wide methylation and differential coverage between two conditions 12 6.1 Data Import and Preprocessing . . . . . . . . . . . . . . . . . . . 12 6.2 Coverage, methylation profiles and differential coverage . . . . . 13 6.3 Differential coverage: select significant windows . . . . . . . . . . 15 6.4 Merge frames . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 6.5...