skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Finger, M remover Biblioteca: IME - Inst. Matemática e Estatística remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advances in Artificial Intelligence SBIA 2012
Advances in Artificial Intelligence SBIA 2012
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Artificial Intelligence SBIA 2012

Leliane Nunes de Barros Marcelo Finger; Aurora T Pozo; Gustavo A Gimenez-Hugo; Marcos Castilho; Brazilian Symposium on Artificial Intelligence (21. 2012 Curitiba, PR)

Berlin Springer 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.7589 ) e outros locais(Acessar)

2
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 

Serras, Felipe Ribas

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-05-04

Acesso online. A biblioteca também possui exemplares impressos.

3
Approximations of Modal Logic K
Approximations of Modal Logic K
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Approximations of Modal Logic K

Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006

Amsterdam Elsevier 2006

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

4
Classical and quantum satisfiability
Classical and quantum satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Classical and quantum satisfiability

Anderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)

Proceedings Sydney : EPTCS, 2012

Sydney EPTCS 2012

Acesso online. A biblioteca também possui exemplares impressos.

5
Comparing two Markov methods for part-of-speech tagging of portuguese
Comparing two Markov methods for part-of-speech tagging of portuguese
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Comparing two Markov methods for part-of-speech tagging of portuguese

Fábio Natanael Kepler Marcelo Finger; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. 2006 Ribeirão Preto); Brazilian Symposium on Artificial Intelligence - SBIA (18. 2006 Ribeirão Preto)

Proceedings Berlin : Springer, 2006

Berlin Springer 2006

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

6
Computational solutions for structural constraints learning structural permissions in categorial grammar
Computational solutions for structural constraints learning structural permissions in categorial grammar
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Computational solutions for structural constraints learning structural permissions in categorial grammar

Marcelo Finger International Conference on Logical Aspects of Computational Linguistics - LACL (3. 1998 Grenoble, France)

Proceedings Berlin : Springer, 1998

Berlin Springer 1998

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

7
The decidability of a fragment of BB'IW-logic
The decidability of a fragment of BB'IW-logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo J. S Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

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

8
The decidability of a fragment of BB'IW-logic
The decidability of a fragment of BB'IW-logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

The decidability of a fragment of BB'IW-logic

Sabine Broda Luís Damas 1951-; Marcelo Finger; Paulo José da Silva e Silva

Theoretical Computer Science Amsterdam v. 318, n. 3, p. 373-408, 2004

Amsterdam 2004

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

9
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese

Marcelo Matheus Gauy Larissa Cristina Berti; Arnaldo Candido Junior; Augusto César de Camargo Neto; Alfredo Goldman; Anna Sara Levin; Marcus Vinícius Moreira Martins; Beatriz Raposo de Medeiros; Marcelo Gomes de Queiroz; Ester Cerdeira Sabino; Flaviane Fernandes Svartman; Marcelo Finger; International Conference on Artificial Intelligence in Medicine - AIME (21. 2023 Portorož, Slovenia)

Proceedings Cham: Springer, 2023

Cham Springer 2023

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

10
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (28)
  2. Livros  (3)
  3. Outros  (1)
  4. Produções Acadêmicas  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2003  (4)
  2. 2003Até2008  (11)
  3. 2009Até2013  (8)
  4. 2014Até2020  (7)
  5. Após 2020  (3)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.