Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portugueseMarcelo 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, 2023Cham Springer 2023Localização: IME - Inst. Matemática e Estatística (PROD-3150099 )(Acessar) |
|
2 |
Material Type: Artigo
|
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiabilitySandro Preto Marcelo FingerMathematical Structures in Computer Science Cambridge v. 32, n. 9, p. 1119-1144, 2022Cambridge 2022Localização: IME - Inst. Matemática e Estatística (PROD-3078150 )(Acessar) |
|
3 |
Material Type: Dissertação de Mestrado
|
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicosSerras, Felipe RibasBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-05-04Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Artigo de Congresso
|
An efficient algorithm for representing piecewise linear functions into logicSandro 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, 2020Amsterdam Elsevier 2020Localização: IME - Inst. Matemática e Estatística (PROD-3013847 )(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Robust ranking of brazilian Supreme Court decisionsJackson José de Souza Marcelo Finger; Brazilian Conference on Intelligent Systems - BRACIS (9. 2020 Rio Grande, Brasil)Proceedings Cham: Springer, 2020Cham Springer 2020Localização: IME - Inst. Matemática e Estatística (PROD-3013511 )(Acessar) |
|
6 |
Material Type: Livro
|
Extending EL++ with linear constraints on the probability of axiomsMarcelo FingerLutz, 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, 2019Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-2953686 )(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logicMarcelo Finger Sandro Preto; International Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)Proceedings Cham: Springer, 2018Cham Springer 2018Localização: IME - Inst. Matemática e Estatística (PROD-2896586 )(Acessar) |
|
8 |
Material Type: Artigo
|
Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]Marcelo Finger Delia KesnerTheoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)Amsterdam 2015Localização: IME - Inst. Matemática e Estatística (PROD-2860800 )(Acessar) |
|
9 |
Material Type: Outros
|
Electronic Notes in Theoretical Computer ScienceMaribel Fernández Marcelo FingerAmsterdam Elsevier 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo
|
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]Maribel Fernández Marcelo FingerElectronic Notes in Theoretical Computer Science Amsterdam v. 305, p. 1-3, 2014Amsterdam 2014Localização: IME - Inst. Matemática e Estatística (PROD-3003482 )(Acessar) |