Results 81 to 90 of about 17,639 (169)
A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]
J Autom Reason, 2022 Divasón J, Thiemann R.
europepmc +1 more source
Visual Parameter Selection for Spatial Blind Source Separation. [PDF]
Comput Graph Forum, 2022 Piccolotto N +5 more
europepmc +1 more source
Ordinary varieties with trivial canonical bundle are not uniruled. [PDF]
Math Ann, 2021 Patakfalvi Z, Zdanowicz M.
europepmc +1 more source
Formal matrix representations of pseudo-Frobenius and Frobenius rings
Rings with Nakayama permutations, pseudo-Frobenius and Frobenius rings in particular, are studied by applying the general theory of formal matrix rings to their Peirce decompositions. A combinatorial criterion is given to decide whether a formal matrix ring with local rings on the diagonal has a prescribed Nakayama permutation.
openaire +2 more sources
Host Dynamics under General-Purpose Force Fields. [PDF]
Molecules, 2023 Wang X, Huai Z, Sun Z.
europepmc +1 more source
Applications of representation theory and of explicit units to Leopoldt's conjecture. [PDF]
Res Number TheoryFerri F, Johnston H.
europepmc +1 more source
Growth and depletion in linear stochastic reaction networks. [PDF]
Proc Natl Acad Sci U S A, 2022 Nandori P, Young LS.
europepmc +1 more source
Quantum Codes from Galois Hulls of Constacyclic Codes over a Finite Non-Chain Ring. [PDF]
Entropy (Basel)Zhang E, Kong B, Zheng X.
europepmc +1 more source
A Model-Based Approach to Neuronal Electrical Activity and Spatial Organization Through the Neuronal Actin Cytoskeleton. [PDF]
Methods ProtocRafati AH +5 more
europepmc +1 more source