Results 271 to 280 of about 1,082,837 (347)

Structure theorems for braided Hopf algebras

open access: yesJournal of Topology, Volume 18, Issue 4, December 2025.
Abstract We develop versions of the Poincaré–Birkhoff–Witt and Cartier–Milnor–Moore theorems in the setting of braided Hopf algebras. To do so, we introduce new analogs of a Lie algebra in the setting of a braided monoidal category, using the notion of a braided operad.
Craig Westerland
wiley   +1 more source

Multi GPU Sparse Matrix by Sparse Matrix Multiplication

open access: yesConcurrency and Computation: Practice and Experience, Volume 37, Issue 25-26, 30 November 2025.
ABSTRACT The paper focuses on the improvement of the existing nsparse Nagasaka et al. algorithm and its extension to the multi‐GPU setting for the application of real engineering problems. In this work, we propose a distributed multi‐GPU framework for SpGEMM that is designed specifically for the nsparse like algorithms.
Artem Mavliutov   +4 more
wiley   +1 more source

Reproducing kernel Hilbert algebras on compact abelian groups [PDF]

open access: green, 2019
Suddhasattwa Das, Dimitrios Giannakis
openalex  

Scaling Invariant Generation Using State Space Embeddings and GPU Streaming

open access: yesConcurrency and Computation: Practice and Experience, Volume 37, Issue 25-26, 30 November 2025.
ABSTRACT The formal verification of railway control systems can ensure the safety of complex scheme plans through techniques such as induction‐based model checking. While inductive verification performs well in complex settings, it often produces false positives due to its consideration of transitions from unreachable safe states to unsafe states ...
Ben Lloyd‐Roberts   +4 more
wiley   +1 more source

Matrix‐Free Methods for Finite‐Strain Elasticity: Automatic Code Generation With No Performance Overhead

open access: yesInternational Journal for Numerical Methods in Engineering, Volume 126, Issue 22, 30 November 2025.
ABSTRACT This study explores matrix‐free tangent evaluations in finite‐strain elasticity with the use of automatically generated code for the quadrature‐point level calculations. The code generation is done via automatic differentiation (AD) with AceGen.
Michał Wichrowski   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy