skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Arxiv remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ Complexity
Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ Complexity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Restarted Nonconvex Accelerated Gradient Descent: No More Polylogarithmic Factor in the $O(\epsilon^{-7/4})$ Complexity

Li, Huan ; Lin, Zhouchen

2023-01

Texto completo disponível

Citações Citado por
12
Latent Graph Representations for Critical View of Safety Assessment
Latent Graph Representations for Critical View of Safety Assessment
Material Type:
Artigo 		Adicionar ao Meu Espaço

Latent Graph Representations for Critical View of Safety Assessment

Murali, Aditya ; Alapatt, Deepak ; Mascagni, Pietro ; Vardazaryan, Armine ; Garcia, Alain ; Okamoto, Nariaki ; Mutter, Didier ; Padoy, Nicolas

IEEE transactions on medical imaging, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
13
Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theory of Higher Order Interpretations and Application to Basic Feasible Functions

Hainry, Emmanuel ; Péchoux, Romain

Logical methods in computer science, 2020-01, Vol.16 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
14
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Dudenhefner, Andrej

arXiv.org, 2023-12 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
15
The Complexity of All-switches Strategy Improvement
The Complexity of All-switches Strategy Improvement
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Complexity of All-switches Strategy Improvement

John Fearnley ; Rahul Savani

Logical methods in computer science, 2018-01, Vol.14, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
16
Axiomatizing Maximal Progress and Discrete Time
Axiomatizing Maximal Progress and Discrete Time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Axiomatizing Maximal Progress and Discrete Time

Bravetti, Mario

Logical methods in computer science, 2021-01, Vol.17, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
17
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity

Dušan Knop ; Martin Koutecký ; Tomáš Masařík ; Tomáš Toufar

Logical methods in computer science, 2019-12, Vol.15, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
18
Modalities in homotopy type theory
Modalities in homotopy type theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modalities in homotopy type theory

Egbert Rijke ; Michael Shulman ; Bas Spitters

Logical methods in computer science, 2020-01, Vol.16, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
19
Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learning
Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Memory-Based Optimization Methods for Model-Agnostic Meta-Learning and Personalized Federated Learning

Wang, Bokun ; Yuan, Zhuoning ; Ying, Yiming ; Yang, Tianbao

arXiv.org, 2023-04 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
20
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification
Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preconditioned Gradient Descent for Overparameterized Nonconvex Burer--Monteiro Factorization with Global Optimality Certification

Zhang, Gavin ; Fattahi, Salar ; Zhang, Richard Y

arXiv.org, 2023-04 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (289)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (305.779)
  2. Resenhas  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1998  (171)
  2. 1998Até2003  (284)
  3. 2004Até2009  (1.077)
  4. 2010Até2016  (52.066)
  5. Após 2016  (252.185)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (11)
  2. Turco  (1)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.