Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
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 |
|
12 |
Material Type: Artigo
|
Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ ComplexityLi, Huan ; Lin, Zhouchen2023-01Texto completo disponível |
|
13 |
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 |
|
14 |
Material Type: Artigo
|
Theory of Higher Order Interpretations and Application to Basic Feasible FunctionsHainry, Emmanuel ; Péchoux, RomainLogical methods in computer science, 2020-01, Vol.16 (4) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
15 |
Material Type: Artigo
|
The Complexity of All-switches Strategy ImprovementJohn Fearnley ; Rahul SavaniLogical methods in computer science, 2018-01, Vol.14, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
16 |
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 |
|
17 |
Material Type: Artigo
|
Axiomatizing Maximal Progress and Discrete TimeBravetti, MarioLogical methods in computer science, 2021-01, Vol.17, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
18 |
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 |
|
19 |
Material Type: Artigo
|
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood DiversityDušan Knop ; Martin Koutecký ; Tomáš Masařík ; Tomáš ToufarLogical methods in computer science, 2019-12, Vol.15, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
20 |
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 |