Results 51 to 60 of about 59,698 (230)
On deep holes of standard Reed-Solomon codes
Determining deep holes is an important open problem in decoding Reed-Solomon codes. It is well known that the received word is trivially a deep hole if the degree of its Lagrange interpolation polynomial equals the dimension of the Reed-Solomon code. For
Hong, Shaofang, Wu, Rongjun
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
THE INTERPOLATION PROBLEM IN THE SPACES OF ANALYTICAL FUNCTIONS OF FINITE ORDER IN THE HALF-PLANE
The aim of this paper is to study the interpolation problem in the spaces of analytical functions of finite order ρ > 1 in the half-plane. The necessary and sufficient conditions for its solvability in terms of the canonical Nevanlinna product of nodes ...
Malyutin K . G ., Gusev A . L .
doaj +1 more source
Deformation‐Induced Formation of Stray Grains in Additive Manufacturing of Single Crystals
Stray grain formation severely limits the additive manufacturing of single‐crystal alloys. By integrating in situ synchrotron techniques, ex situ characterization, and multi‐scale multi‐physics modeling, the authors reveal that stray grains originate from dislocations at the solid‐liquid interface, rather than thermal supercooling in conventional ...
Dongsheng Zhang +11 more
wiley +1 more source
Low‐Power Control Of Resistance Switching Transitions in First‐Order Memristors
Joule losses are a serious concern in modern integrated circuit design. In this regard, minimizing the energy necessary for programming memristors should be handled with care. This manuscript presents an optimal control framework, allowing to derive energy‐efficient programming voltage protocols for resistance switching devices. Following this approach,
Valeriy A. Slipko +3 more
wiley +1 more source
Polynomial Interpolation of the Function of Two Variables with Large Gradients in the Boundary Layers [PDF]
The problem of interpolation of the function of two variables with large gradients in the boundary layers is investigated. It is assumed that the function has large gradients near the boundaries of a rectangular domain.
A.I. Zadorin, N.A. Zadorin
doaj
Sur la géométrie des ensembles de nœuds pour l’interpolation de Lagrange en plusieurs variables
Given a valid set $X$ of interpolation points for Lagrange interpolation of degree $d$ in $n$ variables we study how many subsets of $X$ can be chosen in order to obtain a valid set of interpolation points of degree $d-1$.
Bertrand, François
doaj +1 more source
Bivariate Lagrange interpolation at the Padua points: the ideal theory approach
Padua points is a family of points on the square $[-1,1]^2$ given by explicit formulas that admits unique Lagrange interpolation by bivariate polynomials.
Bos, Len +3 more
core +1 more source
This paper proposes a novel control framework to ensure safety of a robotic swarm. A feedback optimization controller is capable of driving the swarm toward a target density while keeping risk‐zone exposure below a safety threshold. Theory and experiments show how safety is more effectively achieved for sparsely connected swarms.
Longchen Niu, Gennaro Notomista
wiley +1 more source
A Hybrid Semi‐Inverse Variational and Machine Learning Approach for the Schrödinger Equation
A hybrid semi‐inverse variational and machine‐learning framework is presented for solving the Schrödinger equation with complex quantum potentials. Physics‐based variational solutions generate high‐quality training data, enabling Random Forest and Neural Network models to deliver near‐perfect energy predictions.
Khalid Reggab +5 more
wiley +1 more source

