ReP USP - Resultado da busca

Artigo de periodico
Nash meets Łukasiewicz: computing equilibria through logic (2024)
Preto, Sandro ; Finger, Marcelo
Source: Journal of Logic and Computation. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DOS JOGOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Nash meets Łukasiewicz: computing equilibria through logic. Journal of Logic and Computation, 2024Tradução . . Disponível em: https://doi.org/10.1093/logcom/exae073. Acesso em: 22 mar. 2025.
APA
Preto, S., & Finger, M. (2024). Nash meets Łukasiewicz: computing equilibria through logic. Journal of Logic and Computation. doi:10.1093/logcom/exae073
NLM
Preto S, Finger M. Nash meets Łukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2024 ;[citado 2025 mar. 22 ] Available from: https://doi.org/10.1093/logcom/exae073
Vancouver
Preto S, Finger M. Nash meets Łukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2024 ;[citado 2025 mar. 22 ] Available from: https://doi.org/10.1093/logcom/exae073
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://aclanthology.org/2024.cmcl-1.13.pdf
Artigo de periodico
Interpretability analysis of deep models for COVID-19 detection (2024)
Silva, Daniel Peixoto Pinto da ; Casanova, Edresson ; Gris, Lucas Rafael Stefanel ; Gauy, Marcelo Matheus ; Candido Junior, Arnaldo ; Finger, Marcelo ; Svartman, Flaviane Romani Fernandes ; Medeiros, Beatriz Raposo de ; Martins, Marcus Vinícius Moreira ; Aluísio, Sandra Maria ; Berti, Larissa Cristina ; Teixeira, João Paulo
Source: Artificial Intelligence in Health. Unidades: IME, FFLCH, ICMC
Subjects: REDES NEURAIS, RECONHECIMENTO DA FALA, TECNOLOGIAS DA SAÚDE, COVID-19
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Daniel Peixoto Pinto da et al. Interpretability analysis of deep models for COVID-19 detection. Artificial Intelligence in Health, v. 1, n. 3, p. 114-126, 2024Tradução . . Disponível em: https://doi.org/10.36922/aih.2992. Acesso em: 22 mar. 2025.
APA
Silva, D. P. P. da, Casanova, E., Gris, L. R. S., Gauy, M. M., Candido Junior, A., Finger, M., et al. (2024). Interpretability analysis of deep models for COVID-19 detection. Artificial Intelligence in Health, 1( 3), 114-126. doi:10.36922/aih.2992
NLM
Silva DPP da, Casanova E, Gris LRS, Gauy MM, Candido Junior A, Finger M, Svartman FRF, Medeiros BR de, Martins MVM, Aluísio SM, Berti LC, Teixeira JP. Interpretability analysis of deep models for COVID-19 detection [Internet]. Artificial Intelligence in Health. 2024 ; 1( 3): 114-126.[citado 2025 mar. 22 ] Available from: https://doi.org/10.36922/aih.2992
Vancouver
Silva DPP da, Casanova E, Gris LRS, Gauy MM, Candido Junior A, Finger M, Svartman FRF, Medeiros BR de, Martins MVM, Aluísio SM, Berti LC, Teixeira JP. Interpretability analysis of deep models for COVID-19 detection [Internet]. Artificial Intelligence in Health. 2024 ; 1( 3): 114-126.[citado 2025 mar. 22 ] Available from: https://doi.org/10.36922/aih.2992
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://aclanthology.org/2024.propor-1.26
Artigo de periodico
A resampling-based method to evaluate NLI models (2024)
Salvatore, Felipe de Souza; Finger, Marcelo ; Hirata Júnior, Roberto ; Patriota, Alexandre Galvão
Source: Natural Language Engineering. Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, MÉTODOS ESTATÍSTICOS PARA APRENDIZAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza et al. A resampling-based method to evaluate NLI models. Natural Language Engineering, v. 30, n. 4, p. 793-820, 2024Tradução . . Disponível em: https://doi.org/10.1017/S1351324923000268. Acesso em: 22 mar. 2025.
APA
Salvatore, F. de S., Finger, M., Hirata Júnior, R., & Patriota, A. G. (2024). A resampling-based method to evaluate NLI models. Natural Language Engineering, 30( 4), 793-820. doi:10.1017/S1351324923000268
NLM
Salvatore F de S, Finger M, Hirata Júnior R, Patriota AG. A resampling-based method to evaluate NLI models [Internet]. Natural Language Engineering. 2024 ; 30( 4): 793-820.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1017/S1351324923000268
Vancouver
Salvatore F de S, Finger M, Hirata Júnior R, Patriota AG. A resampling-based method to evaluate NLI models [Internet]. Natural Language Engineering. 2024 ; 30( 4): 793-820.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1017/S1351324923000268
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://doi.org/10.5753/wbl.2024.2347
Artigo de periodico
Selecting and ranking leading cases in Brazilian Supreme Court decisions (2023)
Souza, Jackson José de ; Finger, Marcelo ; Araújo, Jorge Alberto Araújo de; Maranhão, Juliano
Source: The Knowledge Engineering Review. Unidades: IME, FD
Subjects: ALGORITMOS E ESTRUTURAS DE DADOS, DECISÃO JUDICIAL, BRASIL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Jackson José de et al. Selecting and ranking leading cases in Brazilian Supreme Court decisions. The Knowledge Engineering Review, v. 38, n. artigo e7, p. 1-18, 2023Tradução . . Disponível em: https://doi.org/10.1017/S0269888923000073. Acesso em: 22 mar. 2025.
APA
Souza, J. J. de, Finger, M., Araújo, J. A. A. de, & Maranhão, J. (2023). Selecting and ranking leading cases in Brazilian Supreme Court decisions. The Knowledge Engineering Review, 38( artigo e7), 1-18. doi:10.1017/S0269888923000073
NLM
Souza JJ de, Finger M, Araújo JAA de, Maranhão J. Selecting and ranking leading cases in Brazilian Supreme Court decisions [Internet]. The Knowledge Engineering Review. 2023 ; 38( artigo e7): 1-18.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1017/S0269888923000073
Vancouver
Souza JJ de, Finger M, Araújo JAA de, Maranhão J. Selecting and ranking leading cases in Brazilian Supreme Court decisions [Internet]. The Knowledge Engineering Review. 2023 ; 38( artigo e7): 1-18.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1017/S0269888923000073
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://doi.org/10.1093/logcom/exad059
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://doi.org/10.1007/978-3-031-34344-5_32
Artigo de periodico
Fundamental frequency related parameters in Brazilians with COVID-19 (2023)
Berti, Larissa Cristina ; Spazzapan, Evelyn Alves ; Queiroz, Marcelo Gomes de ; Pereira, Pedro Leyton; Svartman, Flaviane Romani Fernandes ; Medeiros, Beatriz Raposo de ; Martins, Marcus Vinícius Moreira ; Ferreira, Letícia Santiago ; Silva, Ingrid Gandolfi Gomes da ; Sabino, Ester Cerdeira ; Levin, Anna Sara ; Finger, Marcelo
Source: The Journal of the Acoustical Society of America. Unidades: IME, FFLCH, FM
Subjects: COVID-19, COMPUTAÇÃO APLICADA, AUDIOLOGIA, LINGUAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERTI, Larissa Cristina et al. Fundamental frequency related parameters in Brazilians with COVID-19. The Journal of the Acoustical Society of America, n. 1, p. 576-585, 2023Tradução . . Disponível em: https://doi.org/10.1121/10.0016848. Acesso em: 22 mar. 2025.
APA
Berti, L. C., Spazzapan, E. A., Queiroz, M. G. de, Pereira, P. L., Svartman, F. R. F., Medeiros, B. R. de, et al. (2023). Fundamental frequency related parameters in Brazilians with COVID-19. The Journal of the Acoustical Society of America, ( 1), 576-585. doi:10.1121/10.0016848
NLM
Berti LC, Spazzapan EA, Queiroz MG de, Pereira PL, Svartman FRF, Medeiros BR de, Martins MVM, Ferreira LS, Silva IGG da, Sabino EC, Levin AS, Finger M. Fundamental frequency related parameters in Brazilians with COVID-19 [Internet]. The Journal of the Acoustical Society of America. 2023 ;( 1): 576-585.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1121/10.0016848
Vancouver
Berti LC, Spazzapan EA, Queiroz MG de, Pereira PL, Svartman FRF, Medeiros BR de, Martins MVM, Ferreira LS, Silva IGG da, Sabino EC, Levin AS, Finger M. Fundamental frequency related parameters in Brazilians with COVID-19 [Internet]. The Journal of the Acoustical Society of America. 2023 ;( 1): 576-585.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1121/10.0016848
Artigo de periodico
Proving properties of binary classification neural networks via Łukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, v. 31, n. 5, p. 805-821, 2023Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac050. Acesso em: 22 mar. 2025.
APA
Preto, S., & Finger, M. (2023). Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, 31( 5), 805-821. doi:10.1093/jigpal/jzac050
NLM
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1093/jigpal/jzac050
Vancouver
Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1093/jigpal/jzac050
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Parte de monografia/livro
Effective reasoning over neural networks using Lukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Source: Compendium of neurosymbolic artificial intelligence. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, REDES NEURAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Effective reasoning over neural networks using Lukasiewicz logic. Compendium of neurosymbolic artificial intelligence. Tradução . Amsterdam: IOS Press, 2023. . Disponível em: https://doi.org/10.3233/FAIA230160. Acesso em: 22 mar. 2025.
APA
Preto, S., & Finger, M. (2023). Effective reasoning over neural networks using Lukasiewicz logic. In Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press. doi:10.3233/FAIA230160
NLM
Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2025 mar. 22 ] Available from: https://doi.org/10.3233/FAIA230160
Vancouver
Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2025 mar. 22 ] Available from: https://doi.org/10.3233/FAIA230160
Trabalho de evento
Bayesian neural models for time-series prediction of CS28 compressive strength in cement manufacturing (2022)
Lira, Thiago Ildeu Albuquerque; Finger, Marcelo
Source: Proceedings. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional. Unidade: IME
Subjects: APRENDIZAGEM PROFUNDA, INFERÊNCIA BAYESIANA, ANÁLISE DE SÉRIES TEMPORAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LIRA, Thiago Ildeu Albuquerque e FINGER, Marcelo. Bayesian neural models for time-series prediction of CS28 compressive strength in cement manufacturing. 2022, Anais.. Porto Alegre: SBC, 2022. Disponível em: https://doi.org/10.5753/eniac.2022.227165. Acesso em: 22 mar. 2025.
APA
Lira, T. I. A., & Finger, M. (2022). Bayesian neural models for time-series prediction of CS28 compressive strength in cement manufacturing. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2022.227165
NLM
Lira TIA, Finger M. Bayesian neural models for time-series prediction of CS28 compressive strength in cement manufacturing [Internet]. Proceedings. 2022 ;[citado 2025 mar. 22 ] Available from: https://doi.org/10.5753/eniac.2022.227165
Vancouver
Lira TIA, Finger M. Bayesian neural models for time-series prediction of CS28 compressive strength in cement manufacturing [Internet]. Proceedings. 2022 ;[citado 2025 mar. 22 ] Available from: https://doi.org/10.5753/eniac.2022.227165
Trabalho de evento-anais periodico
Pretrained audio neural networks for speech emotion recognition in Portuguese (2022)
Gauy, Marcelo Matheus ; Finger, Marcelo
Source: Proceedings. Conference titles: Workshop on Automatic Speech Recognition for Spontaneous and Prepared Speech Speech emotion recognition in Portuguese (SER 2022). Unidade: IME
Subjects: REDES NEURAIS, LÍNGUA PORTUGUESA, RECONHECIMENTO DA FALA, COMPUTAÇÃO APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAUY, Marcelo Matheus e FINGER, Marcelo. Pretrained audio neural networks for speech emotion recognition in Portuguese. Proceedings. Aachen: CEUR-WS. Disponível em: http://ceur-ws.org/Vol-3175/paper03.pdf. Acesso em: 22 mar. 2025. , 2022
APA
Gauy, M. M., & Finger, M. (2022). Pretrained audio neural networks for speech emotion recognition in Portuguese. Proceedings. Aachen: CEUR-WS. Recuperado de http://ceur-ws.org/Vol-3175/paper03.pdf
NLM
Gauy MM, Finger M. Pretrained audio neural networks for speech emotion recognition in Portuguese [Internet]. Proceedings. 2022 ; 3175 15-24.[citado 2025 mar. 22 ] Available from: http://ceur-ws.org/Vol-3175/paper03.pdf
Vancouver
Gauy MM, Finger M. Pretrained audio neural networks for speech emotion recognition in Portuguese [Internet]. Proceedings. 2022 ; 3175 15-24.[citado 2025 mar. 22 ] Available from: http://ceur-ws.org/Vol-3175/paper03.pdf
Trabalho de evento
Detecting respiratory insufficiency by voice analysis: the SPIRA project (2022)
Aluísio, Sandra Maria ; Camargo Neto, Augusto César de; Casanova, Edresson ; Svartman, Flaviane Romani Fernandes ; Ferreira, Renato Cordeiro ; Finger, Marcelo ; Goldman, Alfredo ; Leyton, Pedro; Levin, Anna Sara ; Gauy, Marcelo Matheus ; Martins, Marcus; Queiroz, Marcelo Gomes de ; Medeiros, Beatriz Raposo de ; Sabino, Ester Cerdeira ; Candido Junior, Arnaldo ; Fernandes Júnior, Ricardo; Gris, Lucas Rafael Stefanel ; Silva, Daniel da; Spazzapan, Evelyn Alves ; Berti, Larissa Cristina ; Quirino, J. Henrique
Source: Proceedings. Conference titles: International Conference on Learning Representations - ICLR. Unidades: ICMC, FFLCH, IME, FM
Subjects: RECONHECIMENTO DE VOZ, INSUFICIÊNCIA RESPIRATÓRIA, TECNOLOGIAS DA SAÚDE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALUÍSIO, Sandra Maria et al. Detecting respiratory insufficiency by voice analysis: the SPIRA project. 2022, Anais.. Appleton: [s.n.], 2022. Disponível em: https://pml4dc.github.io/iclr2022/pdf/PML4DC_ICLR2022_10.pdf. Acesso em: 22 mar. 2025.
APA
Aluísio, S. M., Camargo Neto, A. C. de, Casanova, E., Svartman, F. R. F., Ferreira, R. C., Finger, M., et al. (2022). Detecting respiratory insufficiency by voice analysis: the SPIRA project. In Proceedings. Appleton: [s.n.]. Recuperado de https://pml4dc.github.io/iclr2022/pdf/PML4DC_ICLR2022_10.pdf
NLM
Aluísio SM, Camargo Neto AC de, Casanova E, Svartman FRF, Ferreira RC, Finger M, Goldman A, Leyton P, Levin AS, Gauy MM, Martins M, Queiroz MG de, Medeiros BR de, Sabino EC, Candido Junior A, Fernandes Júnior R, Gris LRS, Silva D da, Spazzapan EA, Berti LC, Quirino JH. Detecting respiratory insufficiency by voice analysis: the SPIRA project [Internet]. Proceedings. 2022 ;[citado 2025 mar. 22 ] Available from: https://pml4dc.github.io/iclr2022/pdf/PML4DC_ICLR2022_10.pdf
Vancouver
Aluísio SM, Camargo Neto AC de, Casanova E, Svartman FRF, Ferreira RC, Finger M, Goldman A, Leyton P, Levin AS, Gauy MM, Martins M, Queiroz MG de, Medeiros BR de, Sabino EC, Candido Junior A, Fernandes Júnior R, Gris LRS, Silva D da, Spazzapan EA, Berti LC, Quirino JH. Detecting respiratory insufficiency by voice analysis: the SPIRA project [Internet]. Proceedings. 2022 ;[citado 2025 mar. 22 ] Available from: https://pml4dc.github.io/iclr2022/pdf/PML4DC_ICLR2022_10.pdf
Artigo de periodico
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (2022)
Preto, Sandro ; Finger, Marcelo
Source: Mathematical Structures in Computer Science. Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, v. 32, n. 9, p. 1119-1144, 2022Tradução . . Disponível em: https://doi.org/10.1017/S096012952200010X. Acesso em: 22 mar. 2025.
APA
Preto, S., & Finger, M. (2022). Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, 32( 9), 1119-1144. doi:10.1017/S096012952200010X
NLM
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1017/S096012952200010X
Vancouver
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2025 mar. 22 ] Available from: https://doi.org/10.1017/S096012952200010X
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: 22 mar. 2025.
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 2025 mar. 22 ] 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 2025 mar. 22 ] Available from: https://doi.org/10.5753/eniac.2022.227342
Artigo de periodico
Coherence of probabilistic constraints on Nash equilibria (2022)
Preto, Sandro ; Fermé, Eduardo ; Finger, Marcelo
Source: Journal of the Brazilian Computer Society. Unidade: IME
Subjects: TEORIA DOS JOGOS, PROGRAMAÇÃO ESTOCÁSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FERMÉ, Eduardo e FINGER, Marcelo. Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, v. 28, n. 1, p. 38-51, 2022Tradução . . Disponível em: https://doi.org/10.5753/jbcs.2022.2434. Acesso em: 22 mar. 2025.
APA
Preto, S., Fermé, E., & Finger, M. (2022). Coherence of probabilistic constraints on Nash equilibria. Journal of the Brazilian Computer Society, 28( 1), 38-51. doi:10.5753/jbcs.2022.2434
NLM
Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2025 mar. 22 ] Available from: https://doi.org/10.5753/jbcs.2022.2434
Vancouver
Preto S, Fermé E, Finger M. Coherence of probabilistic constraints on Nash equilibria [Internet]. Journal of the Brazilian Computer Society. 2022 ; 28( 1): 38-51.[citado 2025 mar. 22 ] Available from: https://doi.org/10.5753/jbcs.2022.2434

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration