ion and Computation Type Theory, Algebraic Structures, and Recursive Functions

In this paper we propose a nonrecursive method for solving the general discrete-time algebraic Riccati equation related to the Hm control problem (Hm-DARE). We have achieved this by casting the problem of solving a given H,-DARE to the problem of solving an auxiliary continuous-time algebraic Riccati equation associated with the H , control problem (Hm-CARE) for which the well known nonrecursiv...

Symmetries of complexified space-time and algebraic structures (in quantum theory). Abstract In the paper is discussed description of some algebraic structures in quantum theory by using formal recursive constructions with " complex Poincaré group " ISO(4, C).

This paper proposed a first order recursive construction of Boolean function with optimum algebraic immunity. We also show that the Boolean functions are balanced and have good algebraic degrees.

We introduce concepts of “recursive polynomial remainder sequence (PRS)” and “recursive subresultant,” and investigate their properties. In calculating PRS, if there exists the GCD (greatest common divisor) of initial polynomials, we calculate “recursively” with new PRS for the GCD and its derivative, until a constant is derived. We call such a PRS a recursive PRS. We define recursive subresult...

We introduce an efficient recursive scheme based on Adomian decomposition method (ADM) for solving nonlinear singular boundary value problems. This approach is based on a modification of the ADM; here we use all the boundary conditions to derive an integral equation before establishing the recursive scheme for the solution components. In fact, we develop the recursive scheme without any undeter...

The core of a finite-dimensional modular representation M finite group G is its largest non-projective summand. We prove that the dimensions cores M⊗n have algebraic Hilbert series when Omega-algebraic, in sense summands fall into finitely many orbits under action syzygy operator Ω. Similarly, we these dimension sequences are eventually linearly recursive what term Ω+-algebraic. This partially ...

Abstract In study this paper, a geometric formulation is proposed to describe the workspace of parallel manipulators by using recursive approach as an extension volume generation for solids revolution. approach, and boundary each limb manipulator obtained with algebraic derived from kinematic chain motion constraints on its joints. Then, overall mechanism can be determined intersection workspac...

This paper is concerned with the first crossing of an order statistic point process through general moving boundaries. Our purpose is to determine exact boundary crossing probabilities in both one and two boundary cases. Simple recursive methods are obtained that exploit an underlying algebraic structure of polynomial type. This structure is a direct consequence of the order statistic property....

We present LIQUIDHASKELL, a verifier for Haskell programs which uses Liquid Types to reduce the verification of higher-order, polymorphic, recursive programs over complex data types, into first-order Horn Clauses over integers, booleans and uninterpretated functions, which are then solved using classical predicate abstraction. In this demo proposal, we present an overview of this approach, and ...