skip to main content
Idioma:

Resultados de 11 a 20 de 5.384  para Acervo Físico

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Resilience for loose Hamilton cycles
Resilience for loose Hamilton cycles
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Resilience for loose Hamilton cycles

José Diego Alvarado Morales Yoshiharu Kohayakawa; Richard Lang; Guilherme Oliveira Mota; Henrique Stagni; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (12. 2023 Huatulco, Mexico)

Procedia Computer Science Amsterdam v. 223, p. 193-200, 2023

Amsterdam 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3166056 )(Acessar)

12
Complexity and approximability of minimum path-collection exact covers
Complexity and approximability of minimum path-collection exact covers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complexity and approximability of minimum path-collection exact covers

Santiago Valdés Ravelo Cristina Gomes Fernandes 1966-

Theoretical Computer Science Amsterdam v. 942, p. 21-32, 2023

Amsterdam 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3128774 )(Acessar)

13
Stability analysis of supervised decision boundary maps
Stability analysis of supervised decision boundary maps
Material Type:
Artigo 		Adicionar ao Meu Espaço

Stability analysis of supervised decision boundary maps

Artur André Almeida de Macedo Oliveira Mateus Espadoto; Roberto Hirata Júnior; Alexandru Cristian Telea

SN Computer Science Singapore v. 4, artigo n. 226, p. 1, 2023

Singapore 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3129373 )(Acessar)

14
This volume contains the papers presented at LAGOS 2023, the XII Latin-American Algorithms, Graphs and Optimization Symposium. [Prefácio]
This volume contains the papers presented at LAGOS 2023, the XII Latin-American Algorithms, Graphs and Optimization Symposium. [Prefácio]
Material Type:
Artigo 		Adicionar ao Meu Espaço

This volume contains the papers presented at LAGOS 2023, the XII Latin-American Algorithms, Graphs and Optimization Symposium. [Prefácio]

Cristina Gomes Fernandes 1966- Sergio Rajsbaum; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (12. 2023 Huatulco, Mexico)

Procedia Computer Science Amsterdam v. 223, p. 1-4, 2023

Amsterdam 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3165984 )(Acessar)

15
Assessing good, bad and ugly arguments generated by ChatGPT a new dataset, its methodology and associated tasks
Assessing good, bad and ugly arguments generated by ChatGPT a new dataset, its methodology and associated tasks
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Assessing good, bad and ugly arguments generated by ChatGPT a new dataset, its methodology and associated tasks

Victor Hugo Nascimento Rocha Igor Cataneo Silveira; Paulo Pirozelli; Denis Deratani Mauá; Fabio Gagliardi Cozman 1967-

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3175082 )(Acessar)

16
Separating particles from plankton images
Separating particles from plankton images
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Separating particles from plankton images

Nina Sumiko Tomita Hirata Alexandre Morimitsu; Antonio José Homsi Goulart; International Conference on Pattern Recognition - ICPR (26. 2022 Montreal, QC, Canadá)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3166082 )(Acessar)

17
A formal model for startups financial transactions
A formal model for startups financial transactions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A formal model for startups financial transactions

Rodrigo Stevaux Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (26. 2023 Manaus, Brasil)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3167619 )(Acessar)

18
Managing semantic evolutions in semi-structured data
Managing semantic evolutions in semi-structured data
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Managing semantic evolutions in semi-structured data

Pedro Ivo Siqueira Nepomuceno Kelly Rosa Braghetto; International Conference on Database and Expert Systems Applications - DEXA (34. 2023 Penang, Malaysian)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3151718 )(Acessar)

19
An experimental analysis of regression-obtained HPC scheduling heuristics
An experimental analysis of regression-obtained HPC scheduling heuristics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An experimental analysis of regression-obtained HPC scheduling heuristics

Lucas de Sousa Rosa Danilo Carastan-Santos; Alfredo Goldman; Workshop on Job Scheduling Strategies for Parallel Processing - JSSPP (26. 2023 Petersburg, FL)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3165957 )(Acessar)

20
Specifying preferences over policies using branching time temporal logic
Specifying preferences over policies using branching time temporal logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Specifying preferences over policies using branching time temporal logic

Warlles Carlos Costa Machado Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes; Brazilian Conference on Intelligent Systems - (BRACIS) (12. 2023 Belo Horizonte, MG)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3158835 )(Acessar)

Resultados de 11 a 20 de 5.384  para Acervo Físico

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (5.370)
  2. Recursos Online (884)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (4.971)
  2. Artigos  (337)
  3. Produções Acadêmicas  (35)
  4. Revistas  (27)
  5. Audiovisuais  (6)
  6. Produções Técnicas  (5)
  7. Outros  (5)
  8. Software  (2)
  9. Recursos Textuais  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1971  (74)
  2. 1971Até1983  (491)
  3. 1984Até1996  (1.490)
  4. 1997Até2010  (3.009)
  5. Após 2010  (324)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.349)
  2. Português  (26)
  3. Alemão  (16)
  4. Francês  (11)
  5. Indeterminado  (2)
  6. Sueco  (1)
  7. Vários idiomas  (1)
  8. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.