Results 211 to 220 of about 1,119,199 (236)

Specification and Verification in Higher-Order Algebra: A Case Study of Convolution

Higher-Order Algebra, Logic and Term Rewriting, 1993
K. Meinke, L. Steggles
semanticscholar   +1 more source

Mixed precision algorithms in numerical linear algebra

Acta Numerica, 2022
Nicholas J Higham, Theo Mary
exaly  

An algebra of observables for de Sitter space

Journal of High Energy Physics, 2023
exaly  

The Λ-BMS4 charge algebra

Journal of High Energy Physics, 2020
Geoffrey Compère, Adrien Fiorucci, Romain Ruzziconi   +2 more
exaly  

Applications of Artificial Intelligence and Machine Learning Algorithms to Crystallization

Chemical Reviews, 2022
Christos Xiouras, Fabio Cameli, Gustavo Lunardon Quilló   +2 more
exaly  

A Sequence Algebra of Finite Sections, Convolution, and Multiplication Operators on L P (ℝ)

, 2010
S. Roch, P. A. Santos, B. Silbermann
semanticscholar   +1 more source

Convolution Algebras with Discrete Spectra

Journal of the London Mathematical Society, 1972
openaire   +2 more sources

Computer algebra in gravity research

Living Reviews in Relativity, 2018
Malcolm A H Maccallum
exaly  

Closed-form representation of convolution, dilation, and erosion in the context of image algebra

Proceedings CVPR '88: The Computer Society Conference on Computer Vision and Pattern Recognition, 1988
E. Dougherty, C. Giardina
semanticscholar   +1 more source

Spacetime algebra as a powerful tool for electromagnetism

Physics Reports, 2015
Justin Dressel, Konstantin Bliokh, Franco Nori   +2 more
exaly