in this paper we provide explicit formulas for the number of elements/subgroups/cyclic subgroups of a given order and for the total number of subgroups/cyclic subgroups in a finite hamiltonian group. the coverings with three proper subgroups and the principal series of such a group are also counted. finally, we give a complete description of the lattice of characteristic subgroups of a finite h...

We propose a perturbative approach to deal with Lagrangians with higher or infinite order time derivatives. It enables us to construct a consistent Poisson structure and Hamiltonian with only first time derivatives order by order in coupling. To the lowest order, the Hamiltonian is bounded from below whenever the potential is. We consider spacetime noncommutative field theory as an example.

We show that function types which have only initial algebras for regular functors in the domains, i.e. first order function types, can be represented by terminal coalgebras for certain nested functors. The representation exploits properties of ω-limits and local ω-colimits.

Logic programs can be synthesized as a by-product of the planning of their verification proofs. This is achieved by using higher-order variables at the proof planning level, which become instantiated in the course of planning. We illustrate two uses of such variables in proof planning for program synthesis, one for synthesis proper and one for the selection of induction schemes. We demonstrate ...

In this paper, we show that generic planar quadratic Hamiltonian systems with third degree polynomial perturbation can have eight small-amplitude limit cycles around a center. We use higher-order focus value computation to prove this result, which is equivalent to the computation of higher-order Melnikov functions. Previous results have shown, based on first-order and higher-order Melnikov func...

Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit attributes from above can also be expressed. In this paper, we explore folds over a form of recursive higher-order function, called hyperfunctions, and show that hyperfunctions allow fold computations to coroutine ac...

In this paper we provide explicit formulas for the number of elements/subgroups/cyclic subgroups of a given order and for the total number of subgroups/cyclic subgroups in a finite Hamiltonian group. The coverings with three proper subgroups and the principal series of such a group are also counted. Finally, we give a complete description of the lattice of characteristic subgroups of a finite H...

The scalar version of the pathway model of Mathai (2005) is shown to be associated with a large number of probability models used in physics. Different families of densities are listed here, which are all connected through the pathway parameter α, generating a distributional pathway. The idea is to switch from one functional form to another through this parameter and it is shown that one can pr...

ion X → X ′ 〈λx.X〉(t)→ 〈λx.X ′〉(t) +Lambda ¬X → ¬X ′ ¬〈λx.X〉(t)→ ¬〈λx.X ′〉(t) −Lambda Quantification For new variables x1, . . . , xn, ¬φ(x)→ ¬φ1(x) . . . ¬φ(x)→ ¬φn(x) ¬(∀x)φ(x)→ ¬[φ1(x1) ∧ . . . ∧ φn(xn)] −Quant Binding For x not free in X, X → X ′ X → 〈λx.X ′〉(t) +Bind ¬X → ¬X ′ ¬X → ¬〈λx.X ′〉(t) −Bind Definition 5.2 We say Y is a modal Herbrand expansion of X provided there is a formula X∗ ...

The slow roll approximation is studied for cosmological models in Hyperextended Scalar-Tensor Theories of Gravity. A procedure to obtain slow roll solutions in non-minimally coupled gravity is outlined and some examples are provided. An integral condition over the functional form of the non-minimal coupling is imposed in order to obtain intermediate in ationary behavior. e-mail: dtorres@venus. ...