https://openreview.net/forum?id=s7me1XxUqd
Subsample Ridge Ensembles: Equivalences and Generalized Cross-Validation | OpenReview
We study subsampling-based ridge ensembles in the proportional asymptotics regime, where the feature size grows proportionally with the sample size such that...
cross validationridgeensemblesequivalencesgeneralized
https://www.masef.com/sharewares/equivalences.htm
Equivalences
equivalences
https://guava.dev/releases/11.0.2/api/docs/com/google/common/base/Equivalences.html
Equivalences (Guava: Google Core Libraries for Java 11.0.2 API)
core librariesfor javaequivalencesguavagoogle
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.fibered-equivalences.html
Fibered equivalences - agda-unimath
equivalencesagda
https://www.rairo-ita.org/articles/ita/abs/2009/02/ita08020/ita08020.html
Directive words of episturmian words: equivalences and normalization | RAIRO - Theoretical...
RAIRO - Theoretical Informatics and Applications, an international journal on theoretical computer science and its applications
directivewordsequivalencesnormalizationtheoretical
https://unimath.github.io/agda-unimath/foundation.descent-equivalences.html
Descent for equivalences - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
descentequivalencesagda
https://ems.press/journals/jncg/articles/3108908
Equivalences of (co)module algebra structures over Hopf algebras | EMS Press
Ana L. Agore, Alexey Gordienko, Joost Vercruysse
equivalencescomodulealgebra
https://www.iris.sssup.it/handle/11382/534282
Symbolic computation of differential equivalences
symbolic computationdifferentialequivalences
https://unimath.github.io/agda-unimath/graph-theory.equivalences-dependent-directed-graphs.html
Equivalences of dependent directed graphs - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencesdependentdirectedgraphsagda
https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.equivalences-of-precategories.html
Equivalences between precategories - agda-unimath
equivalencesagda
https://unimath.github.io/agda-unimath/foundation.equivalences-contractible-types.html
Equivalences between contractible types - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencestypesagda
https://unimath.github.io/agda-unimath/foundation.equivalences-types-with-isolated-elements.html
Equivalences between types with isolated elements - agda-unimath
A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda.
equivalencestypesisolatedelementsagda
https://dida.do/publications/from-discrete-time-policies-to-continuous-time-diffusion-samplers-asymptotic-equivalences-and-faster-training
From Discrete-Time Policies to Continuous-Time Diffusion Samplers: Asymptotic Equivalences and...
diffusion samplersdiscretetimepolicies