ReP USP - Resultado da busca

Trabalho de evento
Analysing and validating language complexity metrics across South American indigenous languages (2024)
Serras, Felipe Ribas ; Carpi, Miguel de Mello ; Castello Branco, Matheus ; Finger, Marcelo
Source: Proceedings. Conference titles: Proceedings of the Workshop on Cognitive Modeling and Computational Linguistics - CMCL. Unidade: IME
Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, REPRESENTAÇÃO DE CONHECIMENTO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SERRAS, Felipe Ribas et al. Analysing and validating language complexity metrics across South American indigenous languages. 2024, Anais.. Stroudsburg: ACL, 2024. Disponível em: https://aclanthology.org/2024.cmcl-1.13.pdf. Acesso em: 16 nov. 2024.
APA
Serras, F. R., Carpi, M. de M., Castello Branco, M., & Finger, M. (2024). Analysing and validating language complexity metrics across South American indigenous languages. In Proceedings. Stroudsburg: ACL. Recuperado de https://aclanthology.org/2024.cmcl-1.13.pdf
NLM
Serras FR, Carpi M de M, Castello Branco M, Finger M. Analysing and validating language complexity metrics across South American indigenous languages [Internet]. Proceedings. 2024 ;[citado 2024 nov. 16 ] Available from: https://aclanthology.org/2024.cmcl-1.13.pdf
Vancouver
Serras FR, Carpi M de M, Castello Branco M, Finger M. Analysing and validating language complexity metrics across South American indigenous languages [Internet]. Proceedings. 2024 ;[citado 2024 nov. 16 ] Available from: https://aclanthology.org/2024.cmcl-1.13.pdf
Trabalho de evento
Exploring computational discernibility of discourse domains in brazilian portuguese within the Carolina corpus (2024)
Serras, Felipe Ribas ; Sturzeneker, Mariana Lourenço ; Carpi, Miguel de Mello ; Palma, Mayara Feliciano ; Crespo, Maria Clara Ramos Morales ; Costa, Aline Silva ; Monte, Vanessa Martins do ; Namiuti, Cristiane ; Sousa, Maria Clara Paixão de ; Finger, Marcelo
Source: Proceedings. Conference titles: International Conference on Computational Processing of Portuguese - PROPOR. Unidades: FFLCH, IME
Subjects: LINGUÍSTICA DE CORPUS, PROCESSAMENTO DE LINGUAGEM NATURAL, PORTUGUÊS DO BRASIL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SERRAS, Felipe Ribas et al. Exploring computational discernibility of discourse domains in brazilian portuguese within the Carolina corpus. 2024, Anais.. Stroudsburg: ACL, 2024. Disponível em: https://aclanthology.org/2024.propor-1.26. Acesso em: 16 nov. 2024.
APA
Serras, F. R., Sturzeneker, M. L., Carpi, M. de M., Palma, M. F., Crespo, M. C. R. M., Costa, A. S., et al. (2024). Exploring computational discernibility of discourse domains in brazilian portuguese within the Carolina corpus. In Proceedings. Stroudsburg: ACL. Recuperado de https://aclanthology.org/2024.propor-1.26
NLM
Serras FR, Sturzeneker ML, Carpi M de M, Palma MF, Crespo MCRM, Costa AS, Monte VM do, Namiuti C, Sousa MCP de, Finger M. Exploring computational discernibility of discourse domains in brazilian portuguese within the Carolina corpus [Internet]. Proceedings. 2024 ;[citado 2024 nov. 16 ] Available from: https://aclanthology.org/2024.propor-1.26
Vancouver
Serras FR, Sturzeneker ML, Carpi M de M, Palma MF, Crespo MCRM, Costa AS, Monte VM do, Namiuti C, Sousa MCP de, Finger M. Exploring computational discernibility of discourse domains in brazilian portuguese within the Carolina corpus [Internet]. Proceedings. 2024 ;[citado 2024 nov. 16 ] Available from: https://aclanthology.org/2024.propor-1.26
Trabalho de evento
Logical approximation and formal verification of neural networks (2024)
Pevidor, João Felipe Lobo; Preto, Sandro ; Finger, Marcelo
Source: Anais. Conference titles: Workshop Brasileiro de Lógica - WBL. Unidade: IME
Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEVIDOR, João Felipe Lobo e PRETO, Sandro e FINGER, Marcelo. Logical approximation and formal verification of neural networks. 2024, Anais.. Porto Alegre: SBC, 2024. Disponível em: https://doi.org/10.5753/wbl.2024.2347. Acesso em: 16 nov. 2024.
APA
Pevidor, J. F. L., Preto, S., & Finger, M. (2024). Logical approximation and formal verification of neural networks. In Anais. Porto Alegre: SBC. doi:10.5753/wbl.2024.2347
NLM
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/wbl.2024.2347
Vancouver
Pevidor JFL, Preto S, Finger M. Logical approximation and formal verification of neural networks [Internet]. Anais. 2024 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/wbl.2024.2347
Artigo de periodico
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2023)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Logic and Computation. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 2023Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 16 nov. 2024.
APA
Finger, M., & Preto, S. (2023). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation. doi:10.1093/logcom/exad059
NLM
Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1093/logcom/exad059
Vancouver
Finger M, Preto S. Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic [Internet]. Journal of Logic and Computation. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1093/logcom/exad059
Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 16 nov. 2024.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040
NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Trabalho de evento
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese (2023)
Gauy, Marcelo Matheus ; Berti, Larissa Cristina ; Candido Junior, Arnaldo ; Camargo Neto, Augusto César de; Goldman, Alfredo ; Levin, Anna Sara ; Martins, Marcus Vinícius Moreira ; Medeiros, Beatriz Raposo de ; Queiroz, Marcelo Gomes de ; Sabino, Ester Cerdeira ; Svartman, Flaviane Fernandes ; Finger, Marcelo
Source: Proceedings. Conference titles: International Conference on Artificial Intelligence in Medicine - AIME. Unidades: IME, FM, FFLCH
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZAGEM PROFUNDA, INSUFICIÊNCIA RESPIRATÓRIA, COVID-19
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAUY, Marcelo Matheus et al. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese. 2023, Anais.. Cham: Springer, 2023. Disponível em: https://doi.org/10.1007/978-3-031-34344-5_32. Acesso em: 16 nov. 2024.
APA
Gauy, M. M., Berti, L. C., Candido Junior, A., Camargo Neto, A. C. de, Goldman, A., Levin, A. S., et al. (2023). Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-34344-5_32
NLM
Gauy MM, Berti LC, Candido Junior A, Camargo Neto AC de, Goldman A, Levin AS, Martins MVM, Medeiros BR de, Queiroz MG de, Sabino EC, Svartman FF, Finger M. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese [Internet]. Proceedings. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-031-34344-5_32
Vancouver
Gauy MM, Berti LC, Candido Junior A, Camargo Neto AC de, Goldman A, Levin AS, Martins MVM, Medeiros BR de, Queiroz MG de, Sabino EC, Svartman FF, Finger M. Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese [Internet]. Proceedings. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1007/978-3-031-34344-5_32
Trabalho de evento
Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 16 nov. 2024.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039
NLM
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Vancouver
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Trabalho de evento
Establishing the parameters of a decentralized neural machine learning model (2022)
Ioste, Aline ; Finger, Marcelo
Source: Proceedings. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional. Unidade: IME
Subjects: REDES NEURAIS, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IOSTE, Aline e FINGER, Marcelo. Establishing the parameters of a decentralized neural machine learning model. 2022, Anais.. Porto Alegre: SBC, 2022. Disponível em: https://doi.org/10.5753/eniac.2022.227342. Acesso em: 16 nov. 2024.
APA
Ioste, A., & Finger, M. (2022). Establishing the parameters of a decentralized neural machine learning model. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2022.227342
NLM
Ioste A, Finger M. Establishing the parameters of a decentralized neural machine learning model [Internet]. Proceedings. 2022 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/eniac.2022.227342
Vancouver
Ioste A, Finger M. Establishing the parameters of a decentralized neural machine learning model [Internet]. Proceedings. 2022 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/eniac.2022.227342
Trabalho de evento
verBERT: automating brazilian case law document multi-label categorization using BERT (2021)
Serras, Felipe Ribas ; Finger, Marcelo
Source: Anais. Conference titles: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana - STIL. Unidade: IME
Subjects: ALGORITMOS PARA PROCESSAMENTO, PROCESSAMENTO DE LINGUAGEM NATURAL, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SERRAS, Felipe Ribas e FINGER, Marcelo. verBERT: automating brazilian case law document multi-label categorization using BERT. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/stil.2021.17803. Acesso em: 16 nov. 2024.
APA
Serras, F. R., & Finger, M. (2021). verBERT: automating brazilian case law document multi-label categorization using BERT. In Anais. Porto Alegre: SBC. doi:10.5753/stil.2021.17803
NLM
Serras FR, Finger M. verBERT: automating brazilian case law document multi-label categorization using BERT [Internet]. Anais. 2021 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/stil.2021.17803
Vancouver
Serras FR, Finger M. verBERT: automating brazilian case law document multi-label categorization using BERT [Internet]. Anais. 2021 ;[citado 2024 nov. 16 ] Available from: https://doi.org/10.5753/stil.2021.17803

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Conference titles

Funding Agencies

Non normalized affiliation