There has been significant progress in our understanding of Free Choice any and of -ever free relatives in recent years. Very often, however, the investigation of these two Free Choice Items (FCI) in English has been conducted in parallel. One of the aims of this paper is to bring the two strands together in a way that can account for commonalities and differences between them and, perhaps, a t...

The notions of effective inseparability (for pairs of sets) and of double productivity are defined in [5]. In this paper are considered some extensions of these notions for sequences of sets, and also certain alternative formulations of them in the spirit of Mucnik [3]. Let M be a nonempty recursively enumerable (r.e.) set which will be fixed in each context. By a sequence of sets we mean a seq...

We develop a logic of explicit time resource bounds for a language with function pointers and semantic assertions. We apply our logic to examples containing nontrivial “higher-order” uses of function pointers and we prove soundness with respect to a standard operational semantics. Our core technique is very compact and may be applicable to other resource bounding problems, and is the first appl...

We shall consider formulas of quantified modal logic. G.Mints described in [1] a reduction of an arbitrary formula F of quantified modal logic to a finite set of such formulas G1, ..., Gm that F is derivable in S4 if and only if G1, ..., Gm is derivable in S4. Moreover, the formula Gi i = 1, 2, ..., m has one of the following forms: ∀(L1 ∨ L2), ∀(L1 ∨ L2 ∨ L3), ∀∃(L1 ∨ L2), ∀(L1 ∨ L2), ∀(L1 ∨ ♦...

We articulate a model of curatorship that emphasizes framing the character of the curated set as the focus of curatorial activity. This curatorial character is structured through the articulation, via mechanisms of selection, description and arrangement, of coherent classificatory principles. We describe the latest stage of a continuing project to examine the curatorial character of personal di...

The article deals with the quantitative indexes of measuring of human resource effectiveness and their influence on human resource processes. For example: labor productivity, HR ROI, fluctuation rate, manager to employee ratio, rate of recruits leaving in a first year etc. It is insufficient just mark the measures, for raising of human resource effectiveness is needed compare the obtained value...

The UB-Tree is an index structure for multidimensional point data. By name, it claims to be universal, but this imposes a huge burden, as there are few things which really prove to be universal. This thesis takes a closer look at aspects where the UB-Tree is not universal at a first glance. The first aspect is the discussion of space filling curves (SFC), in particular comparing the Z-curve and...

Nowadays digital image compression and decompression techniques are very much important. So our aim is to calculate the quality of face and other regions of the compressed image with respect to the original image. Image segmentation is typically used to locate objects and boundaries (lines, curves etc.)in images. After segmentation the image is changed into something which is more meaningful to...

This was mentioned in [S4], and in fact in [S2]. We shall first sketch the proof and then point out some applications of the theorem and the method. We generalize the notion of indiscernibility used in Ehrenfeucht-Mostowski models (from [EM]). Let I be an (index) model, M EL model and, for each sel,äs is a (finite) sequence from M. For s = , s(l) e 7,let ä-s = äs{Q) A ••• A...