In this work, we analyze the utility of two dimensional document maps for exploratory analysis of Polish case law. Such maps reflect the structure of analyzed collection by grouping similar documents in a neighbouring regions of 2D space. This visual aid could be useful for browsing and searching, finding anomalous documents or quickly gaining synthetic knowledge about large corpora. We started...

The Boolean formula value problem is in alternating log time and, more generally, parenthesis context-free languages are in alternating log time. The evaluation of reverse Polish notation Boolean formulas is also in alternating log time. These results are optimal since the Boolean formula value problem is complete for alternating log time under deterministic log time reductions. Consequently, i...

The reverse Polish notation properties are used in the construction of the algorithms for the polygon triangulation. The formal grammar method is “translated” to the arithmetic expression field enabling application of the reverse Polish notation method. The result of this approach is a relatively simple algorithm for polygon triangulation.

background and objectives: pulse oximetry is the most common technique for monitoring hemoglobin oxygen saturation (spo2). different colors and brands of nail polish may cause disturbance in the reading and interpretation of oxygen saturation. the aim of this study was to determine the effect of different colors of nail polish on oxygen saturation measured by pulse oximeter. methods: thirty hea...

Suppose that X is a Polish space and E is a countable Borel equivalence relation on X. We show that if there is a Borel assignment of means to the equivalence classes of E, then E is smooth. We also show that if there is a Baire measurable assignment of means to the equivalence classes of E, then E is generically smooth.

Given a Polish space X and a countable collection of analytic hypergraphs on X, I consider the σ-ideal generated by Borel anticliques for the hypergraphs in the family. It turns out that many of the quotient posets are proper. I investigate the forcing properties of these posets, certain natural operations on them, and prove some related dichotomies.

In this paper we introduce a new class of labelled transition systems Labelled Markov Processes and define bisimulation for them. Labelled Markov processes are probabilistic labelled transition systems where the state space is not necessarily discrete, it could be the reals, for example. We assume that it is a Polish space (the underlying topological space for a complete separable metric space)...

We investigated the influence of prosodic structure and information density on vowel space size. Vowels were measured in five languages from the BonnTempo corpus, French, German, Finnish, Czech, and Polish, each with three female and three male speakers. Speakers read the text at normal, slow, and fast speech rate. The Euclidean distance between vowel space midpoint and formant values for each ...

We study countable saturation of metric reduced products and introduce continuous fields of metric structures indexed by locally compact, separable, completely metrizable spaces. Saturation of the reduced product depends both on the underlying index space and the model. By using the Gelfand–Naimark duality we conclude that the assertion “Stone–Čech remainder of the half-line has only trivial au...

Using the methods of Brown and Walsh, we get condition guaranteeing that, for an ideal I of sets in a perfect Polish space some (s 0) sets are not in I. A few examples and corollaries are given. 0. Introduction Papers Br], W1], W2] and C] made a signiicant progress in the studying of (s 0) sets introduced by Marczewski in Sz]. One of the main results states that there exists a nonmeasurable (s ...