We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin’s language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for...

It is a fact of experience from the study of higher type computability that a wide range of approaches to defining a class of (hereditarily) total functionals over N leads in practice to a relatively small handful of distinct type structures. Among these are the type structure C of Kleene-Kreisel continuous functionals, its effective substructure C, and the type structure HEO of the hereditaril...

Requirements for the dynamic properties of a mechanical structure are commonly expressed in terms of eigenfrequencies. Therefore, during the design phase of a mechanical structure much attention is paid to natural frequencies and mode shapes. However, these modal properties tend to vary strongly if small variations are applied on the design model. Therefore, the presence of open design decision...

We give an intrinsic proof that Vorobjev’s first approximation of a Poisson manifold near a symplectic leaf is a Poisson manifold. We also show that Conn’s linearization results cannot be extended in Vorobjev’s setting.

We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin’s language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for...

in this research, we studied the structure, properties and nmr parameters of interaction f2 gas with pristine and 3c-doped (8, 0) zigzag models of boron phosphide nanotubes (bpnts). in order to reach these aims, we considered four different configurations for adsorption of f2gas on the outer and inner surfaces of bpnts. the structures of all models were optimized by using density functional the...