Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On the Approximation of Cooperative Heterogeneous Multi-Agent Reinforcement Learning (MARL) using Mean Field Control (MFC)Washim Uddin Mondal ; Agarwal, Mridul ; Aggarwal, Vaneet ; Ukkusuri, Satish VarXiv.org, 2022-01 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Artigo
|
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time SpectroscopyBisping, Benjamin ; Jansen, David N ; Nestmann, UwearXiv.org, 2022-08 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
Kernel Operations on the GPU, with Autodiff, without Memory OverflowsCharlier, Benjamin ; Feydy, Jean ; Glaunès, Joan Alexis ; François-David, Collin ; Durif, GhislainJournal of machine learning research, 2021-01, Vol.22 (74), p.1-6 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
SAT-Inspired Higher-Order EliminationsBlanchette, Jasmin ; Vukmirović, PetarLogical methods in computer science, 2023-05, Vol.19 (2) [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
Latent Graph Representations for Critical View of Safety AssessmentMurali, Aditya ; Alapatt, Deepak ; Mascagni, Pietro ; Vardazaryan, Armine ; Garcia, Alain ; Okamoto, Nariaki ; Mutter, Didier ; Padoy, NicolasIEEE transactions on medical imaging, 2023-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)Dudenhefner, AndrejarXiv.org, 2023-12 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
Some Theoretical Insights into Wasserstein GANsBiau, Gérard ; Sangnier, Maxime ; Tanielian, UgoJournal of machine learning research, 2021-01 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated LearningWang, Bokun ; Yuan, Zhuoning ; Ying, Yiming ; Yang, TianbaoarXiv.org, 2023-04 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality CertificationZhang, Gavin ; Fattahi, Salar ; Zhang, Richard YarXiv.org, 2023-04 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
Fast Online Changepoint Detection via Functional Pruning CUSUM statisticsRomano, Gaetano ; Eckley, Idris ; Fearnhead, Paul ; Rigaill, GuillemJournal of machine learning research, 2023-03, Vol.24, p.1-36 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |