A bstract In the low-energy effective action of string theories, non-abelian gauge interactions and supergravity are augmented by infinite towers higher-mass-dimension operators. We propose a new method to construct one-loop matrix elements with insertions operators D 2 k F n R in tree-level type-I type-II superstrings. Inspired ambitwistor our is based on forward limits moduli-space integrals ...

this paper presents h∞ control problem for input-delayed systems. a neutral system approach is considered to the design of pd controller for input delay systems in presence of uncertain time-invariant delay. using this approach, the resulting closed-loop system turns into a specific time-delay system of neutral type. the significant specification of this neutral system is that its delayed coeff...

this paper proposes a new method of gain scheduling control design for a nonlinear system which is described as linear parameter varying form. a performance measure based on linear matrix inequality is introduced. to consider stability and performance measures in design process, the h∞ loop-shaping method is used to design the local controllers, which can be described as state feedback observer...

this paper focuses on the non-fragile guaranteed cost control problem for a class of t-s fuzzy time-varying delay systems with local bilinear models. the objective is to design a non-fragile guaranteed cost state feedback controller via the parallel distributed compensation (pdc) approach such that the closed-loop system is delay-dependent asymptotically stable and the closed-loop performance i...

Matrix multiplication has been implemented in various programming languages, and improved performance reported many articles under settings. is of paramount interest to machine learning, a lightweight matrix-based key management protocol for IoT networks, animation, so on. There always need an terms algorithm implementation. In this work, the authors compared run times matrix popular languages ...

Abstract Loop invariant generation, which automates the generation of assertions that always hold at entry a while loop, has many important applications in program analysis and formal verification. In this work, we target an category loops, namely affine are unnested loops with loop guards variable updates. Such class widely exists programs yet still lacks general but efficient approach to gene...

We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types), such as upper-triangular, diagonal, etc. To generate loop properties, we first transform a nested loop iterating over a multidimensional array into an equivalent collection of unnested loops. Then, we infer quantifie...