Results 61 to 70 of about 416 (152)
Journal of the London Mathematical Society, Volume 111, Issue 5, May 2025.Abstract In this paper, we extend the theory of minimal limit key polynomials of valuations on the polynomial ring K[x]$K[x]$. Minimal key polynomials are useful to describe, for instance, the defect of an extension of valued fields. We use the theory of cuts on ordered abelian groups to show that the previous results on bounded sets of key polynomials
Enric Nart, Josnei Novacoski
wiley +1 more source
Derivations of Incidence Algebras
MathematicsWe study the derivations of the incidence algebra I(X,R), where X is a preordered set and R is an algebra over some commutative ring T. A satisfactory description of the T-module of derivations and the T-module of outer derivations of this algebra is ...
Piotr Krylov, Askar Tuganbaev
doaj +1 more source
Type Preorders and Recursive Terms
Electronic Notes in Theoretical Computer Science, 2005 AbstractWe show how to use intersection types for building models of a λ-calculus enriched with recursive terms, whose intended meaning is of minimal fixed points. As a by-product we prove an interesting consistency result.
DEZANI, Mariangiola, F. ALESSI
openaire +2 more sources
On the parameterized Tate construction
Journal of Topology, Volume 18, Issue 1, March 2025.Abstract We introduce and study a genuine equivariant refinement of the Tate construction associated to an extension Ĝ$\widehat{G}$ of a finite group G$G$ by a compact Lie group K$K$, which we call the parameterized Tate construction (−)tGK$(-)^{t_G K}$.
J. D. Quigley, Jay Shah
wiley +1 more source
Adaptive Factored Incomplete Inverse Matrices
Numerical Linear Algebra with Applications, Volume 32, Issue 1, February 2025.ABSTRACT The solution of large sparse linear systems is an essential part in many scientific fields. Numerical solution of such systems is usually performed using iterative methods in conjunction with effective preconditioning schemes. A new class of factored approximate inverses is proposed, namely adaptive factored incomplete inverse matrices, which ...
Christos K. Filelis‐Papadopoulos
wiley +1 more source
Finite preorders and Topological descent I
Journal of Pure and Applied Algebra, 2002 [For part II, see ibid. 174, No. 3, 303-309 (2002; Zbl 1018.18005).] In the following categories: \({\mathcal R}el\), \({\mathcal R}efl{\mathcal R}el\), \({\mathcal P}reord\), \({\mathcal F}in{\mathcal P}reord\), \({\mathcal F}in{\mathcal T}op\) of sets equipped with a relation, a reflexive relation, a preorder, of finite preordered sets, of finite ...
Janelidze, George, Sobral, Manuela
openaire +3 more sources
Applying sequential adaptive strategies for sampling animal populations: An empirical study
Environmetrics, Volume 36, Issue 1, January 2025.Abstract Traditional sampling methods may prove inadequate when dealing with spatially clustered populations or when studying rare events or traits that are not easily detectable across the target population. When both scenarios occur simultaneously, adaptive sampling strategies can represent a viable option to enhance the detectability of cases of ...
Rosa M. Di Biase, Fulvia Mecatti
wiley +1 more source
Fixed-Point and Random Fixed-Point Theorems in Preordered Sets Equipped with a Distance Metric
MathematicsThis paper explores fixed points for both contractive and non-contractive mappings in traditional b-metric spaces, preordered b-metric spaces, and random b-metric spaces.
Himanshu Baranwal +3 more
doaj +1 more source
IET Software, Volume 2025, Issue 1, 2025.Ensuring the safety of autonomous driving systems (ADSs) is essential, which requires effective testing methods to enhance system robustness. Fuzz testing (FT) is a widely used technique for uncovering software faults by generating test cases that trigger unexpected system behaviors.
Qi Jin +5 more
wiley +1 more source
Distinguishing digitization and digitalization: A systematic review and conceptual framework
Journal of Product Innovation Management, Volume 42, Issue 1, Page 112-143, January 2025.Abstract With increasing interest in how digital technology impacts innovation, the constructs “digitization” and “digitalization” have become popular. However, different conceptualizations have emerged resulting in conceptual overlap and little definitional consensus.
Maria Gradillas, Llewellyn D. W. Thomas
wiley +1 more source