Results 71 to 80 of about 53,013 (201)
Caracterización de los operadores de Fredholm vía la invertibilidad módulo un operador compacto
En este artículo, se define la congruencia módulo un operador compacto y la invertibilidad módulo un operador compacto. Se presentan algunos ejemplos de operadores congruentes módulo un operador compacto y de operadores invertibles módulo un operador ...
Zoila M. Rodríguez B. +1 more
doaj
Sliding Motions on Non‐Euclidean State Spaces: A Differential‐Geometric Perspective
ABSTRACT This paper extends sliding‐mode control theory to nonlinear systems evolving on smooth manifolds. Building on differential geometric methods, we reformulate Filippov's notion of solutions, characterize well‐defined vector fields on quotient spaces, and provide a consistent geometric definition of higher‐order sliding modes.
Fernando Castaños
wiley +1 more source
Modulo Básico Metalmecánica. 7
En la unidad 17. Cepillado de superficies planas y paralelas del Modulo básico metalmecánico, se describe el proceso para el cepillado de superficies planas y paralelas, identifica limadoras y portaherramientas.
core
ABSTRACT The increasing integration of distributed energy resources demands enhanced coordination between transmission system operators (TSOs) and distribution system operators (DSOs) to maintain reliable grid operation. Traditional approaches rely on hierarchical or distributed optimization schemes for power flow management, but these methods either ...
Janis Adamek +4 more
wiley +1 more source
Amenability Modulo an Ideal of Second Duals of Semigroup Algebras
The aim of this paper is to investigate the amenability modulo, an ideal of Banach algebras with emphasis on applications to homological algebras. In doing so, we show that amenability modulo, an ideal of A * * implies amenability modulo, an ...
Hamidreza Rahimi, Khalil Nabizadeh
doaj +1 more source
An Innovative Approach to Multi‐Valued Logic
The current generation of computer systems operates on the principles of binary logic, which encompasses both logical and arithmetic operations. However, silicon technology has reached its peak performance, prompting researchers to explore alternative methods for enhancing computational efficiency. One such method is the adoption of Multi‐Valued Logic (
Ali Mokhtari, Peyman Kabiri
wiley +1 more source
Il servizio idrico online Il portale SIT-SIRSI del Ministero delle Infrastrutture
The online water management service: the SIT-SIRSI portal for The Italian Ministry of Infrastructure The article introduces our readers to the SIT-SIRSI portal activated by the Italian Ministry of Infrastructure.
Ugo Morenzetti
doaj +2 more sources
Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo [PDF]
International audienceWe propose an extension of the tableau-based first order automated theorem prover Zenon to deduction modulo. The theory of deduction modulo is an extension of predicate calculus, which allows us to rewrite terms as well as ...
Delahaye, David +10 more
core +1 more source
Vertex Hashing Assignment‐Based Distributed Sampling Algorithm for Large‐Scale Dynamic Graph Stream
ABSTRACT In recent years, research on triangle counting in large graphs has primarily focused on estimating the number of triangles in static graphs. Most streaming graph sampling algorithms are only capable of estimating triangle counts in static graphs and cannot handle dynamic graphs.
Yu‐Lin He +3 more
wiley +1 more source
Permutation Polynomials Modulo 2w [PDF]
We give an exact characterization of permutation polynomials modulo n=2w, w≥2: a polynomial P(x)=a0+a1x +···+adxd with integral coefficients is a permutation polynomial modulo n if and only if a1 is odd, (a2+a4+a6+···) is even, and (a3+a5+a7+···) is even.
Rivest, Ronald L.
core +1 more source

