Results 161 to 170 of about 26,272 (205)
Latent Abstractions in Generative Diffusion Models. [PDF]
Franzese G +4 more
europepmc +1 more source
Time-dependent Bivariational Principle: Theoretical Foundation for Real-Time Propagation Methods of Coupled-Cluster Type. [PDF]
Kvaal S +3 more
europepmc +1 more source
Deep neural networks and stochastic methods for cognitive modeling of rat behavioral dynamics in T -mazes. [PDF]
Turab A +7 more
europepmc +1 more source
On the Converse of Pansu's Theorem. [PDF]
De Philippis G +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Linear and Multilinear Algebra, 2019
Weakly separable algebras are investigated in this article. For this purpose their cohomologies are studied. Conditions are found under which normed algebras have a zero cohomological dimension.
openaire +1 more source
Weakly separable algebras are investigated in this article. For this purpose their cohomologies are studied. Conditions are found under which normed algebras have a zero cohomological dimension.
openaire +1 more source
2012
We present an Isabelle/HOL library with a generic type class implementation of separation algebra, develop basic separation logic concepts on top of it, and implement generic automated tactic support that can be used directly for any instantiation of the library.
Gerwin Klein +2 more
openaire +1 more source
We present an Isabelle/HOL library with a generic type class implementation of separation algebra, develop basic separation logic concepts on top of it, and implement generic automated tactic support that can be used directly for any instantiation of the library.
Gerwin Klein +2 more
openaire +1 more source
Separating maps on Fréchet algebras
Quaestiones Mathematicae, 2014Click on the link to view the abstract.Keywords: Automatic continuity, Fr´echet function algebra, hemicompact space, separating mapQuaestiones Mathematicae 37(2014), 67 ...
openaire +2 more sources

