We study the strict type assignment for λμ that is presented in [7]. We define a notion of approximants of λμ-terms, show that it generates a semantics, and that for each typeable term there is an approximant that has the same type. We show that this leads to a characterisation via assignable types for all terms that have a head normal form, and to one for all terms that have a normal form, as ...

We consider exact learning or identification of monotone Boolean functions by only using membership queries. It is shown that almost all monotone Boolean functions are polynomially identifiable in the input number of variables as well as the output being the sum of the sizes of the CNF and DNF representations.  2001 Elsevier Science B.V. All rights reserved.

A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present results about the number pnw(n) of prefix normal words of length n, showing that pnw(n) = Ω ( 2n−c √ n lnn ) for some c and pnw(n) = O ( 2(lnn) n ) . We introduce eff...

Abstract In a soliton sector of quantum field theory, it is often convenient to expand the fields in terms normal modes. Normal mode creation and annihilation operators can be ordered, their ordered products have vanishing expectation values one-loop ground state. The Hamiltonian however, usually basis which create plane waves. this paper we find Wick map between two orderings. For concreteness...

We study the strict type assignment for λμ that is presented in [7]. We define a notion of approximants of λμ-terms, show that it generates a semantics, and that for each typeable term there is an approximant that has the same type. We show that this leads to a characterisation via assignable types for all terms that have a head normal form, and to one for all terms that have a normal form, as ...

‎let $g$ be a finite group and $nu(g)$ denote the number of conjugacy classes of non-normal subgroups of $g$‎. ‎in this paper‎, ‎all nilpotent groups $g$ with $nu(g)=3$ are classified‎.