Search
Search Results
-
Robust Algebraic Connectivity
AbstractThe second smallest eigenvalue of the Laplacian is known as the algebraic connectivity of a graph. It shows degree of graph connectivity....
-
Algebraic Algorithm for the Alternating Trilinear Form Equivalence Problem
The Alternating Trilinear Form Equivalence ( \(\textsf{ATFE}\)... -
Algebraic method for LU decomposition of dual quaternion matrix and its corresponding structure-preserving algorithm
Due to the increasing applications of dual quaternion and their matrices in recent years, as well as the significance of LU decomposition as a matrix...
-
Solving systems of algebraic equations over finite commutative rings and applications
Several problems in algebraic geometry and coding theory over finite rings are modeled by systems of algebraic equations. Among these problems, we...
-
Parareal for index two differential algebraic equations
This article proposes modifications of the Parareal algorithm for its application to higher index differential algebraic equations (DAEs). It is...
-
Certified Verification for Algebraic Abstraction
We present a certified algebraic abstraction technique for verifying bit-accurate non-linear integer computations. In algebraic abstraction, programs... -
A compositional framework for algebraic quantitative online monitoring over continuous-time signals
We investigate online monitoring algorithms over dense-time and continuous-time signals for properties written in metric temporal logic (MTL). We...
-
Algebraic Relation of Three MinRank Algebraic Modelings
We give algebraic relations among equations of three algebraic modelings for MinRank problem: support minors modeling, Kipnis–Shamir modeling and... -
Optimizing Quantum Circuits Using Algebraic Expressions
Optimizing quantum circuits and reducing errors plays a crucial role in quantum circuit computation. Every quantum circuit can be represented using... -
A generalized ALI iteration method for nonsymmetric algebraic Riccati equations
Nonsymmetric algebraic Riccati equations are a class of nonlinear matrix equations with wide applications. In this paper, numerical solution of...
-
Value iteration algorithm for continuous-time linear quadratic stochastic optimal control problems
In this study, we investigate a continuous-time infinite-horizon linear quadratic stochastic optimal control problem with multiplicative noise in...
-
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps
Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique,...
-
Finding Dense Submodules with Algebraic Lattice Reduction
We prove an algebraic analogue of Pataki-Tural lemma (Pataki-Tural, ar**v:0804.4014, 2008) – the main tool in analysing the so-called overstretched... -
JXPAMG: a parallel algebraic multigrid solver for extreme-scale numerical simulations
JXPAMG is a parallel algebraic multigrid (AMG) solver for solving the extreme-scale, sparse linear systems on modern supercomputers. JXPAMG features...
-
Algebraic Global Gadgetry for Surjective Constraint Satisfaction
The constraint satisfaction problem (CSP) on a finite relational structure B is to decide, given a set of constraints on variables where the...
-
On the algebraic immunity—resiliency trade-off, implications for Goldreich’s pseudorandom generator
Goldreich’s pseudorandom generator is a well-known building block for many theoretical cryptographic constructions from multi-party computation to...
-
The intrinsic Toeplitz structure and its applications in algebraic Riccati equations
In this paper, we derive a Toeplitz-structured closed form of the unique positive semi-definite stabilizing solution for the discrete-time algebraic...
-
Algebraic Restriction Codes and Their Applications
Consider the following problem: You have a device that is supposed to compute a linear combination of its inputs, which are taken from some finite...
-
Bases for Riemann–Roch spaces of linearized function fields with applications to generalized algebraic geometry codes
Several applications of function fields over finite fields, or equivalently, algebraic curves over finite fields, require computing bases for...
-
Shear complex modulus imaging utilizing frequency combination in the least mean square/algebraic Helmholtz inversion
Complex shear modulus imaging (CSMI) is a technique used to determine the elasticity and viscosity of soft tissues; it aids in investigating tissue...