We define two proper subclasses of subsequential functions based on the concept of Strict Locality (McNaughton and Papert, 1971; Rogers and Pullum, 2011; Rogers et al., 2013) for formal languages. They are called Input and Output Strictly Local (ISL and OSL). We provide an automata-theoretic characterization of the ISL class and theorems establishing how the classes are related to each other an...

It is known that generic games within certain collections of infinite-action normal-form games have only essential equilibria. We point to a difficulty in showing that essential equilibria in generic games are (strictly) perfect, and we identify collections of games whose generic members have only essential and (strictly) perfect equilibria. © 2014 Elsevier B.V. All rights reserved.

the purpose of this paper is to propose a compositeiterative scheme for approximating a common solution for a finitefamily of m-accretive operators in a strictly convex banach spacehaving a uniformly gateaux differentiable norm. as a consequence,the strong convergence of the scheme for a common fixed point ofa finite family of pseudocontractive mappings is also obtained.

the purpose of this paper is to propose a compositeiterative scheme for approximating a common solution for a finitefamily of m-accretive operators in a strictly convex banach spacehaving a uniformly gateaux differentiable norm. as a consequence,the strong convergence of the scheme for a common fixed point ofa finite family of pseudocontractive mappings is also obtained.

We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic programs, have both a highly intuitive declarative semantics, given as a unique supported model, and are computationally adequate in the sense that every partial recursive function can be represented by some sld-program...

Among all the Quantum Mechanics/Molecular Mechanics (QM/MM) methods available to describe large molecular systems, the Local Self-Consistent Field/MM (LSCF/MM) one uses frozen doubly occupied Strictly Localized Bonding Orbital (SLBO) to connect the QM fragment to the one treated at the MM level. This approach is correct as long as the QM part is large enough to minimize the artifacts that could...

Article history: Received 28 October 2015 Received in revised form 8 April 2016 Accepted 9 April 2016 Communicated by David Goss MSC: primary 11E39 secondary 11E12, 11E20

An algebra A of operators on a Banach space X is called strictly semitransitive if for all non-zero x, y ∈ X there exists an operator A ∈ A such that Ax = y or Ay = x. We show that if A is norm-closed and strictly semi-transitive, then every A-invariant linear subspace is norm-closed. Moreover, LatA is totally and well ordered by reverse inclusion. If X is complex and A is transitive and strict...

For a multiplicative cohomology theory E, complex orientations are in bijective correspondence with multiplicative natural transformations to E from complex bordism cohomology MU . If E is represented by a spectrum with a highly structured multiplication, we give an iterative process for lifting an orientation MU → E to a map respecting this extra structure, based on work of Arone–Lesh. The spa...

in this paper‎, ‎the‎ ‎authors prove that a strictly kähler-berwald manifold with‎ ‎nonzero constant holomorphic sectional curvature must be a‎ kähler manifold‎.