ReP USP - Resultado da busca

Artigo de periodico
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic (2025)
Finger, Marcelo ; Preto, Sandro
Fonte: Journal of Logic and Computation. Unidade: IME
Assuntos: 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, v. 35, n. 5, p. 1-15, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad059. Acesso em: 08 out. 2025.
APA
Finger, M., & Preto, S. (2025). Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic. Journal of Logic and Computation, 35( 5), 1-15. 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. 2025 ; 35( 5): 1-15.[citado 2025 out. 08 ] 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. 2025 ; 35( 5): 1-15.[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exad059
Artigo de periodico
Nash meets Lukasiewicz: computing equilibria through logic (2025)
Preto, Sandro ; Finger, Marcelo
Fonte: Journal of Logic and Computation. Unidade: IME
Assuntos: 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 Lukasiewicz: computing equilibria through logic. Journal of Logic and Computation, v. 35, n. 4, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exae073. Acesso em: 08 out. 2025.
APA
Preto, S., & Finger, M. (2025). Nash meets Lukasiewicz: computing equilibria through logic. Journal of Logic and Computation, 35( 4). doi:10.1093/logcom/exae073
NLM
Preto S, Finger M. Nash meets Lukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exae073
Vancouver
Preto S, Finger M. Nash meets Lukasiewicz: computing equilibria through logic [Internet]. Journal of Logic and Computation. 2025 ; 35( 4):[citado 2025 out. 08 ] Available from: https://doi.org/10.1093/logcom/exae073
Trabalho de evento-anais periodico
Regional, lattice and logical representations of neural networks (2025)
Preto, Sandro ; Finger, Marcelo
Fonte: Electronic Proceedings in Theoretical Computer Science. Nome do evento: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Assuntos: REDES NEURAIS, LÓGICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf. Acesso em: 08 out. 2025. , 2025
APA
Preto, S., & Finger, M. (2025). Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. doi:10.4204/EPTCS.421.4
NLM
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 out. 08 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Vancouver
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 out. 08 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Relatorio tecnico
Contrasting deep learning audio models for direct respiratory insufficiency detection versus blood oxygen saturation estimation (2025)
Gauy, Marcelo Matheus ; Finger, Marcelo ; Svartman, Flaviane ; Sabino, Ester Cerdeira ; Levin, Anna Sara ; Candido Junior, Arnaldo ; Berti, Larissa Cristina ; Stanzione, Gabriel Rocha; Morita, Ricardo Mikio; Koza, Natália Hitomi
Fonte: SSRN Social Science Research Network. Unidades: FFLCH, FM, IME, ESALQ
Assuntos: APRENDIZAGEM PROFUNDA, MODELOS, INSUFICIÊNCIA RESPIRATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAUY, Marcelo Matheus et al. Contrasting deep learning audio models for direct respiratory insufficiency detection versus blood oxygen saturation estimation. SSRN Social Science Research Network. Rochester: Elsevier. Disponível em: https://doi.org/10.2139/ssrn.5276440. Acesso em: 08 out. 2025. , 2025
APA
Gauy, M. M., Finger, M., Svartman, F., Sabino, E. C., Levin, A. S., Candido Junior, A., et al. (2025). Contrasting deep learning audio models for direct respiratory insufficiency detection versus blood oxygen saturation estimation. SSRN Social Science Research Network. Rochester: Elsevier. doi:10.2139/ssrn.5276440
NLM
Gauy MM, Finger M, Svartman F, Sabino EC, Levin AS, Candido Junior A, Berti LC, Stanzione GR, Morita RM, Koza NH. Contrasting deep learning audio models for direct respiratory insufficiency detection versus blood oxygen saturation estimation [Internet]. SSRN Social Science Research Network. 2025 ;( ju 2025): 1-55.[citado 2025 out. 08 ] Available from: https://doi.org/10.2139/ssrn.5276440
Vancouver
Gauy MM, Finger M, Svartman F, Sabino EC, Levin AS, Candido Junior A, Berti LC, Stanzione GR, Morita RM, Koza NH. Contrasting deep learning audio models for direct respiratory insufficiency detection versus blood oxygen saturation estimation [Internet]. SSRN Social Science Research Network. 2025 ;( ju 2025): 1-55.[citado 2025 out. 08 ] Available from: https://doi.org/10.2139/ssrn.5276440
Artigo de periodico
Acoustic characteristics of voice and speech in post-COVID-19 (2025)
Berti, Larissa Cristina ; Gauy, Marcelo Matheus ; Silva, Luana Cristina Santos da; Rios, Julia Vasquez Valenci; Morais, Viviam Batista; Almeida, Tatiane Cristina de; Sossolete, Leisi Silva; Quirino, José Henrique de Moura; Martins, Carolina Fernanda Pentean; Fernandes-Svartman, Flaviane R. ; Medeiros, Beatriz Raposo de ; Queiroz, Marcelo Gomes de ; Gazzola, Murilo; Finger, Marcelo
Fonte: Healthcare. Unidades: IME, FFLCH
Assuntos: COVID-19, VOZ (FISIOLOGIA), REGISTRO DA FALA, ACÚSTICA, FONÉTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERTI, Larissa Cristina et al. Acoustic characteristics of voice and speech in post-COVID-19. Healthcare, v. 13, n. 1 , p. 1-14, 2025Tradução . . Disponível em: https://doi.org/10.3390/healthcare13010063. Acesso em: 08 out. 2025.
APA
Berti, L. C., Gauy, M. M., Silva, L. C. S. da, Rios, J. V. V., Morais, V. B., Almeida, T. C. de, et al. (2025). Acoustic characteristics of voice and speech in post-COVID-19. Healthcare, 13( 1 ), 1-14. doi:10.3390/healthcare13010063
NLM
Berti LC, Gauy MM, Silva LCS da, Rios JVV, Morais VB, Almeida TC de, Sossolete LS, Quirino JH de M, Martins CFP, Fernandes-Svartman FR, Medeiros BR de, Queiroz MG de, Gazzola M, Finger M. Acoustic characteristics of voice and speech in post-COVID-19 [Internet]. Healthcare. 2025 ; 13( 1 ): 1-14.[citado 2025 out. 08 ] Available from: https://doi.org/10.3390/healthcare13010063
Vancouver
Berti LC, Gauy MM, Silva LCS da, Rios JVV, Morais VB, Almeida TC de, Sossolete LS, Quirino JH de M, Martins CFP, Fernandes-Svartman FR, Medeiros BR de, Queiroz MG de, Gazzola M, Finger M. Acoustic characteristics of voice and speech in post-COVID-19 [Internet]. Healthcare. 2025 ; 13( 1 ): 1-14.[citado 2025 out. 08 ] Available from: https://doi.org/10.3390/healthcare13010063
Trabalho de evento
SPIRA-BM: biomarkers for respiratory conditions by audio analysis via artificial intelligence (2025)
Finger, Marcelo ; Berti, Larissa Cristina ; Nakagawa, Elisa Yumi ; Carvalho, Celso R. F. ; Medeiros, Beatriz Raposo de ; Svartman, Flaviane Romani Fernandes ; Queiroz, Marcelo Gomes de ; Candido Junior, Arnaldo ; Gauy, Marcelo Matheus ; Gazzola, Murilo Gleyson ; Martins, Marcus Vinicius Moreira ; Scholz, Jaqueline; Ziotti, Sara
Fonte: Anais. Nome do evento: Simpósio Brasileiro de Computação Aplicada à Saúde - SBCAS. Unidades: IME, ICMC, FM, FFLCH
Assuntos: INTELIGÊNCIA ARTIFICIAL, BIOMARCADORES, INSUFICIÊNCIA RESPIRATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo et al. SPIRA-BM: biomarkers for respiratory conditions by audio analysis via artificial intelligence. 2025, Anais.. Porto Alegre: SBC, 2025. p. 997-1004. Disponível em: https://doi.org/10.5753/sbcas.2025.7147. Acesso em: 08 out. 2025.
APA
Finger, M., Berti, L. C., Nakagawa, E. Y., Carvalho, C. R. F., Medeiros, B. R. de, Svartman, F. R. F., et al. (2025). SPIRA-BM: biomarkers for respiratory conditions by audio analysis via artificial intelligence. In Anais (p. 997-1004). Porto Alegre: SBC. doi:10.5753/sbcas.2025.7147
NLM
Finger M, Berti LC, Nakagawa EY, Carvalho CRF, Medeiros BR de, Svartman FRF, Queiroz MG de, Candido Junior A, Gauy MM, Gazzola MG, Martins MVM, Scholz J, Ziotti S. SPIRA-BM: biomarkers for respiratory conditions by audio analysis via artificial intelligence [Internet]. Anais. 2025 ; 997-1004.[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/sbcas.2025.7147
Vancouver
Finger M, Berti LC, Nakagawa EY, Carvalho CRF, Medeiros BR de, Svartman FRF, Queiroz MG de, Candido Junior A, Gauy MM, Gazzola MG, Martins MVM, Scholz J, Ziotti S. SPIRA-BM: biomarkers for respiratory conditions by audio analysis via artificial intelligence [Internet]. Anais. 2025 ; 997-1004.[citado 2025 out. 08 ] Available from: https://doi.org/10.5753/sbcas.2025.7147
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
Fonte: Proceedings. Nome do evento: Proceedings of the Workshop on Cognitive Modeling and Computational Linguistics - CMCL. Unidade: IME
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] 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
Fonte: Artificial Intelligence in Health. Unidades: IME, FFLCH, ICMC
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.36922/aih.2992
Trabalho de evento
A big challenge: tools to guarantee robust and controlled behavior of large language models (2024)
Cozman, Fabio Gagliardi ; Peres, Sarajane Marques ; Finger, Marcelo ; Wassermann, Renata ; Costa, Anna; Gomi, Edson Satoshi ; Correia, Artur Jordão Lima ; Brandão, Anarosa Alves Franco ; Delgado, Karina Valdivia ; Mauá, Denis Deratani ; Pardo, Thiago Alexandre Salgueiro ; Nunes, Fátima de Lourdes dos Santos
Fonte: Anais. Nome do evento: Seminário de Grandes Desafios da Computação. Unidades: EP, EACH, IME, ICMC
Assuntos: LINGUAGEM, INTELIGÊNCIA ARTIFICIAL, CONVERSAÇÃO, PROCESSAMENTO DE LINGUAGEM NATURAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi et al. A big challenge: tools to guarantee robust and controlled behavior of large language models. 2024, Anais.. Porto Alegre: SBC, 2024. p. 1-5. Disponível em: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf. Acesso em: 08 out. 2025.
APA
Cozman, F. G., Peres, S. M., Finger, M., Wassermann, R., Costa, A., Gomi, E. S., et al. (2024). A big challenge: tools to guarantee robust and controlled behavior of large language models. In Anais (p. 1-5). Porto Alegre: SBC. Recuperado de https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf
NLM
Cozman FG, Peres SM, Finger M, Wassermann R, Costa A, Gomi ES, Correia AJL, Brandão AAF, Delgado KV, Mauá DD, Pardo TAS, Nunes F de L dos S. A big challenge: tools to guarantee robust and controlled behavior of large language models [Internet]. Anais. 2024 ; 1-5.[citado 2025 out. 08 ] Available from: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.pdf
Vancouver
Cozman FG, Peres SM, Finger M, Wassermann R, Costa A, Gomi ES, Correia AJL, Brandão AAF, Delgado KV, Mauá DD, Pardo TAS, Nunes F de L dos S. A big challenge: tools to guarantee robust and controlled behavior of large language models [Internet]. Anais. 2024 ; 1-5.[citado 2025 out. 08 ] Available from: https://sites.usp.br/keml/wp-content/uploads/sites/1460/2025/06/sbc_challenge_2025.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
Fonte: Proceedings. Nome do evento: International Conference on Computational Processing of Portuguese - PROPOR. Unidades: FFLCH, IME
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] 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
Fonte: Anais. Nome do evento: Workshop Brasileiro de Lógica - WBL. Unidade: IME
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.5753/wbl.2024.2347
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
Fonte: Natural Language Engineering. Unidade: IME
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1017/S1351324923000268
Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] 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
Fonte: Proceedings. Nome do evento: International Conference on Artificial Intelligence in Medicine - AIME. Unidades: IME, FM, FFLCH
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1007/978-3-031-34344-5_32
Artigo de periodico
Proving properties of binary classification neural networks via Łukasiewicz logic (2023)
Preto, Sandro ; Finger, Marcelo
Fonte: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzac050
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
Fonte: The Journal of the Acoustical Society of America. Unidades: IME, FFLCH, FM
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1121/10.0016848
Trabalho de evento
Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Trabalho de evento
Bayesian neural models for time-series prediction of CS28 compressive strength in cement manufacturing (2022)
Lira, Thiago Ildeu Albuquerque; Finger, Marcelo
Fonte: Proceedings. Nome do evento: Encontro Nacional de Inteligência Artificial e Computacional. Unidade: IME
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.5753/eniac.2022.227165
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
Fonte: Proceedings. Nome do evento: International Conference on Learning Representations - ICLR. Unidades: ICMC, FFLCH, IME, FM
Assuntos: 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: 08 out. 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 out. 08 ] 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 out. 08 ] 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
Fonte: 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: 08 out. 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 out. 08 ] 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 out. 08 ] Available from: https://doi.org/10.1017/S096012952200010X

Unidades USP

ReP

Filtros

Unidades USP

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento

País de publicação

Agência de fomento

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos