Search
Search Results
-
Models of Computation
Register machines are introduced as a machine-based model of computation. We show that register machines compute exactly the class of general... -
Fast Computation of Analytic Capacity
A boundary integral equation method is presented for fast computation of the analytic capacities of compact sets in the complex plane. The method is...
-
On the Computation Complexity of the Systems of Finite Abelian Group Elements
AbstractThe computation complexity of the systems of the finite Abelian group elements is studied in the paper. The complexity of computation means...
-
On the Computation of the SVD of Fourier Submatrices
Contiguous submatrices of the Fourier matrix are known to be ill-conditioned. In a recent paper in SIAM review A. Barnett has provided new bounds on...
-
Enhanced Computation of the Proximity Operator for Perspective Functions
In this paper, we provide an explicit expression for the proximity operator of a perspective of any proper lower semicontinuous convex function...
-
Stable computation of analytical expressions for the gravity and magnetic field response of distant polyhedral targets
Though implemented through different evaluation strategies, the analytical formulation of the polyhedral gravity and magnetic field response involves...
-
Modifications of Newton-Cotes formulas for computation of repeated integrals and derivatives
Standard algorithms for numerical integration are defined for simple integrals. Formulas for computation of repeated integrals and derivatives for...
-
Entangling Problem Hamiltonian for Adiabatic Quantum Computation
AbstractAdiabatic quantum computation starts from embedding a computational problem into a Hamiltonian whose ground state encodes the solution to the...
-
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems
In this paper, we consider the problem of computing robust controlled invariants for discrete-time monotone dynamical systems. We consider different...
-
Some Optimally Convergent Algorithms for Decoupling the Computation of Biot’s Model
We study numerical algorithms for solving Biot’s model. Based on a three-field reformulation, we present some algorithms that are inspired by the...
-
On Stochastic Roundoff Errors in Gradient Descent with Low-Precision Computation
When implementing the gradient descent method in low precision, the employment of stochastic rounding schemes helps to prevent stagnation of...
-
Computation of Effective Viscosities for Rarefied Gas Flows Using Ray-Tracing
The recovery of rarefied gas flow fields with the Boltzmann equation is too computationally expensive whenever solid–gas boundary conditions exhibit...
-
ReLU neural networks of polynomial size for exact maximum flow computation
This paper studies the expressive power of artificial neural networks with rectified linear units. In order to study them as a model of real-valued ...
-
Fast and accurate computation of the Euclidean norm of a vector
The numerical computation of the Euclidean norm of a vector is perfectly well conditioned with favorite a priori error estimates. Recently there is...
-
Fast norm computation in smooth-degree Abelian number fields
This paper presents a fast method to compute algebraic norms of integral elements of smooth-degree cyclotomic fields, and, more generally,...
-
Fitting cylinders computation with an application to measuring 3D shapes
This paper observes a fitting cylinders problem for 3 D shapes. The method presented defines two cylinders that fit well with the shape considered....
-
-
Improving Quantum Computation by Optimized Qubit Routing
In this work we propose a high-quality decomposition approach for qubit routing by swap insertion. This optimization problem arises in the context of...
-
Fuzzy Similarity for Parallel Function Computation Model
We should consider a best search function computation model, not just expression-based function computation model, because if we use the best search... -