skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Finger, M remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability

Sandro Preto Marcelo Finger

Mathematical Structures in Computer Science Cambridge v. 32, n. 9, p. 1119-1144, 2022

Cambridge 2022

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

3
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.

4
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)

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Robust ranking of brazilian Supreme Court decisions

Jackson José de Souza Marcelo Finger; Brazilian Conference on Intelligent Systems - BRACIS (9. 2020 Rio Grande, Brasil)

Proceedings Cham: Springer, 2020

Cham Springer 2020

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Extending EL++ with linear constraints on the probability of axioms

Marcelo Finger

Lutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019

Cham Springer 2019

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

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic

Marcelo Finger Sandro Preto; International Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)

Proceedings Cham: Springer, 2018

Cham Springer 2018

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

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]

Marcelo Finger Delia Kesner

Theoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)

Amsterdam 2015

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

9
Material Type:
Outros
Adicionar ao Meu Espaço

Electronic Notes in Theoretical Computer Science

Maribel Fernández Marcelo Finger

Amsterdam Elsevier 2014

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

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]

Maribel Fernández Marcelo Finger

Electronic Notes in Theoretical Computer Science Amsterdam v. 305, p. 1-3, 2014

Amsterdam 2014

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

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é
  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

Buscando em bases de dados remotas. Favor aguardar.