Menu

Filters : "Finger, Marcelo" Limpar

Filters

Refine with date range

Sort by title

1 - 20 (160 records)

  • Artigo de periodico

    Proving properties of binary classification neural networks via Łukasiewicz logic (2022)

    Preto, Sandro ; Finger, Marcelo

    Source: Logic Journal of the IGPL. Unidade: IME

    Subject: LÓGICA MATEMÁTICA

    Online source accessDOIHow to cite
    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, 2022Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac050. Acesso em: 29 jun. 2022.

    • APA

      Preto, S., & Finger, M. (2022). Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL. 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. 2022 ;[citado 2022 jun. 29 ] 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. 2022 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.1093/jigpal/jzac050

  • 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

    Subject: LÓGICA MATEMÁTICA

    Online source accessDOIHow to cite
    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, 2022Tradução . . Disponível em: https://doi.org/10.1017/S096012952200010X. Acesso em: 29 jun. 2022.

    • APA

      Preto, S., & Finger, M. (2022). Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science. 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 ;[citado 2022 jun. 29 ] 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 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.1017/S096012952200010X

  • Artigo de periodico

    Inteligência artificial e os rumos do processamento do português brasileiro (2021)

    Finger, Marcelo

    Source: Estudos Avançados. Unidade: IME

    Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, REDES NEURAIS, PORTUGUÊS DO BRASIL

    Versão PublicadaOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Inteligência artificial e os rumos do processamento do português brasileiro. Estudos Avançados, v. 35, n. 103, p. 51-71, 2021Tradução . . Disponível em: https://doi.org/10.1590/s0103-4014.2021.35101.005. Acesso em: 29 jun. 2022.

    • APA

      Finger, M. (2021). Inteligência artificial e os rumos do processamento do português brasileiro. Estudos Avançados, 35( 103), 51-71. doi:10.1590/s0103-4014.2021.35101.005

    • NLM

      Finger M. Inteligência artificial e os rumos do processamento do português brasileiro [Internet]. Estudos Avançados. 2021 ; 35( 103): 51-71.[citado 2022 jun. 29 ] Available from: https://doi.org/10.1590/s0103-4014.2021.35101.005

    • Vancouver

      Finger M. Inteligência artificial e os rumos do processamento do português brasileiro [Internet]. Estudos Avançados. 2021 ; 35( 103): 51-71.[citado 2022 jun. 29 ] Available from: https://doi.org/10.1590/s0103-4014.2021.35101.005

  • Tese (Doutorado)

    Semantics modulo satisfiability with applications: function representation, probabilities and game theory (2021)

    Preto, Sandro Márcio da Silva ; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA

    Online source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PRETO, Sandro Márcio da Silva. Semantics modulo satisfiability with applications: function representation, probabilities and game theory. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/. Acesso em: 29 jun. 2022.

    • APA

      Preto, S. M. da S. (2021). Semantics modulo satisfiability with applications: function representation, probabilities and game theory (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • NLM

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • Vancouver

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

  • Trabalho de evento

    Deep learning against COVID-19: respiratory insufficiency detection in brazilian portuguese speech (2021)

    Casanova, Edresson ; Gris, Lucas; Camargo, Augusto; Silva, Daniel da; Gazzola, Murilo Gleyson ; Sabino, Ester Cerdeira ; Levin, Anna Sara Shafferman ; Candido Junior, Arnaldo ; Aluísio, Sandra Maria ; Finger, Marcelo

    Source: Proceedings. Conference title: Annual Meeting of the Association for Computational Linguistics - ACL. Unidades: FM, ICMC, IME

    Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, APRENDIZADO COMPUTACIONAL, REDES NEURAIS, DIAGNÓSTICO POR COMPUTADOR, TECNOLOGIAS DA SAÚDE, INSUFICIÊNCIA RESPIRATÓRIA, COVID-19

    Versão PublicadaOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CASANOVA, Edresson et al. Deep learning against COVID-19: respiratory insufficiency detection in brazilian portuguese speech. 2021, Anais.. Stroudsburg: ACL, 2021. Disponível em: https://doi.org/10.18653/v1/2021.findings-acl.55. Acesso em: 29 jun. 2022.

    • APA

      Casanova, E., Gris, L., Camargo, A., Silva, D. da, Gazzola, M. G., Sabino, E. C., et al. (2021). Deep learning against COVID-19: respiratory insufficiency detection in brazilian portuguese speech. In Proceedings. Stroudsburg: ACL. doi:10.18653/v1/2021.findings-acl.55

    • NLM

      Casanova E, Gris L, Camargo A, Silva D da, Gazzola MG, Sabino EC, Levin ASS, Candido Junior A, Aluísio SM, Finger M. Deep learning against COVID-19: respiratory insufficiency detection in brazilian portuguese speech [Internet]. Proceedings. 2021 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.18653/v1/2021.findings-acl.55

    • Vancouver

      Casanova E, Gris L, Camargo A, Silva D da, Gazzola MG, Sabino EC, Levin ASS, Candido Junior A, Aluísio SM, Finger M. Deep learning against COVID-19: respiratory insufficiency detection in brazilian portuguese speech [Internet]. Proceedings. 2021 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.18653/v1/2021.findings-acl.55

  • Trabalho de evento

    Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 (2021)

    Casanova, Edresson ; Candido Junior, Arnaldo ; Fernandes Jr, Ricardo Corso; Finger, Marcelo ; Gris, Lucas Rafael Stefanel ; Ponti, Moacir Antonelli ; Silva, Daniel Peixoto Pinto da

    Source: Proceedings. Conference title: Annual Conference of the International Speech Communication Association - INTERSPEECH. Unidades: IME, ICMC

    Subjects: LINGUÍSTICA COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL, APRENDIZADO COMPUTACIONAL, REDES NEURAIS, COVID-19

    PrivateOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CASANOVA, Edresson et al. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021. 2021, Anais.. Baixas: ISCA, 2021. Disponível em: https://doi.org/10.21437/Interspeech.2021-1798. Acesso em: 29 jun. 2022.

    • APA

      Casanova, E., Candido Junior, A., Fernandes Jr, R. C., Finger, M., Gris, L. R. S., Ponti, M. A., & Silva, D. P. P. da. (2021). Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021. In Proceedings. Baixas: ISCA. doi:10.21437/Interspeech.2021-1798

    • NLM

      Casanova E, Candido Junior A, Fernandes Jr RC, Finger M, Gris LRS, Ponti MA, Silva DPP da. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 [Internet]. Proceedings. 2021 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.21437/Interspeech.2021-1798

    • Vancouver

      Casanova E, Candido Junior A, Fernandes Jr RC, Finger M, Gris LRS, Ponti MA, Silva DPP da. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 [Internet]. Proceedings. 2021 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.21437/Interspeech.2021-1798

  • Dissertação (Mestrado)

    Classificação automática de documentos de características econômicas para defesa jurídica (2021)

    Leme, Bruno; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: APRENDIZADO COMPUTACIONAL, INTELIGÊNCIA ARTIFICIAL, LINGUAGEM NATURAL

    Online source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      LEME, Bruno. Classificação automática de documentos de características econômicas para defesa jurídica. 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/. Acesso em: 29 jun. 2022.

    • APA

      Leme, B. (2021). Classificação automática de documentos de características econômicas para defesa jurídica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/

    • NLM

      Leme B. Classificação automática de documentos de características econômicas para defesa jurídica [Internet]. 2021 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/

    • Vancouver

      Leme B. Classificação automática de documentos de características econômicas para defesa jurídica [Internet]. 2021 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/

  • Parte de monografia/livro

    Detecting respiratory insufficiency by voice analysis: the SPIRA project (2021)

    Finger, Marcelo ; Aluísio, Sandra Maria ; Spazzapan, Evelyn Alves ; Berti, Larissa Cristina; Camargo Neto, Augusto César de; Candido Junior, Arnaldo ; Casanova, Edresson ; Svartman, Flaviane Romani Fernandes ; Ferreira, Renato Cordeiro ; Fernandes Jr, Ricardo; Goldman, Alfredo ; Gris, Lucas R; Leyton, Pedro; Levin, Anna Sara Shafferman ; Martins, Marcus Vinicíus Moreira; Queiroz, Marcelo Gomes de ; Quirino, J Henrique; Medeiros, Beatriz Raposo de; Sabino, Ester Cerdeira ; Silva, Daniel da

    Source: Acoustic communication : an interdisciplinary approach. Unidades: IME, ICMC, FFLCH, FM

    Subjects: REDES NEURAIS, BIOMARCADORES, COVID-19

    Versão PublicadaOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo et al. Detecting respiratory insufficiency by voice analysis: the SPIRA project. Acoustic communication : an interdisciplinary approach. Tradução . São Paulo: Instituto de Psicologia. Universidade de São Paulo, 2021. . Disponível em: https://doi.org/10.11606/9786587596198. Acesso em: 29 jun. 2022.

    • APA

      Finger, M., Aluísio, S. M., Spazzapan, E. A., Berti, L. C., Camargo Neto, A. C. de, Candido Junior, A., et al. (2021). Detecting respiratory insufficiency by voice analysis: the SPIRA project. In Acoustic communication : an interdisciplinary approach. São Paulo: Instituto de Psicologia. Universidade de São Paulo. doi:10.11606/9786587596198

    • NLM

      Finger M, Aluísio SM, Spazzapan EA, Berti LC, Camargo Neto AC de, Candido Junior A, Casanova E, Svartman FRF, Ferreira RC, Fernandes Jr R, Goldman A, Gris LR, Leyton P, Levin ASS, Martins MVM, Queiroz MG de, Quirino JH, Medeiros BR de, Sabino EC, Silva D da. Detecting respiratory insufficiency by voice analysis: the SPIRA project [Internet]. In: Acoustic communication : an interdisciplinary approach. São Paulo: Instituto de Psicologia. Universidade de São Paulo; 2021. [citado 2022 jun. 29 ] Available from: https://doi.org/10.11606/9786587596198

    • Vancouver

      Finger M, Aluísio SM, Spazzapan EA, Berti LC, Camargo Neto AC de, Candido Junior A, Casanova E, Svartman FRF, Ferreira RC, Fernandes Jr R, Goldman A, Gris LR, Leyton P, Levin ASS, Martins MVM, Queiroz MG de, Quirino JH, Medeiros BR de, Sabino EC, Silva D da. Detecting respiratory insufficiency by voice analysis: the SPIRA project [Internet]. In: Acoustic communication : an interdisciplinary approach. São Paulo: Instituto de Psicologia. Universidade de São Paulo; 2021. [citado 2022 jun. 29 ] Available from: https://doi.org/10.11606/9786587596198

  • Dissertação (Mestrado)

    Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos  (2021)

    Serras, Felipe Ribas; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: ALGORITMOS PARA PROCESSAMENTO, LINGUÍSTICA COMPUTACIONAL, INTELIGÊNCIA ARTIFICIAL

    Online source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SERRAS, Felipe Ribas. Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos . 2021. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/. Acesso em: 29 jun. 2022.

    • APA

      Serras, F. R. (2021). Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos  (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/

    • NLM

      Serras FR. Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos  [Internet]. 2021 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/

    • Vancouver

      Serras FR. Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos  [Internet]. 2021 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/

  • Parte de monografia/livro

    Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” (2021)

    Finger, Marcelo

    Source: Inteligência artificial : avanços e tendências. Unidade: IME

    Subject: INTELIGÊNCIA ARTIFICIAL

    Versão PublicadaOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”. Inteligência artificial : avanços e tendências. Tradução . São Paulo: Instituto de Estudos Avançados, 2021. . Disponível em: https://doi.org/10.11606/9786587773131. Acesso em: 29 jun. 2022.

    • APA

      Finger, M. (2021). Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba”. In Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados. doi:10.11606/9786587773131

    • NLM

      Finger M. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” [Internet]. In: Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados; 2021. [citado 2022 jun. 29 ] Available from: https://doi.org/10.11606/9786587773131

    • Vancouver

      Finger M. Quando se compra inteligência artificial, o que de fato se leva para casa? Além do “oba-oba” [Internet]. In: Inteligência artificial : avanços e tendências. São Paulo: Instituto de Estudos Avançados; 2021. [citado 2022 jun. 29 ] Available from: https://doi.org/10.11606/9786587773131

  • Trabalho de evento

    Text-to-hashtag generation using Seq2Seq learning (2021)

    Camargo, Augusto ; Carvalho, Wesley; Peressim, Felipe ; Barzilay, Alan ; Finger, Marcelo

    Source: Anais. Conference title: Congresso da Sociedade Brasileira de Computação - CSBC. Unidade: IME

    Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, COMÉRCIO ELETRÔNICO, PORTUGUÊS DO BRASIL

    Versão PublicadaOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CAMARGO, Augusto et al. Text-to-hashtag generation using Seq2Seq learning. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/bresci.2021.15797. Acesso em: 29 jun. 2022.

    • APA

      Camargo, A., Carvalho, W., Peressim, F., Barzilay, A., & Finger, M. (2021). Text-to-hashtag generation using Seq2Seq learning. In Anais. Porto Alegre: SBC. doi:10.5753/bresci.2021.15797

    • NLM

      Camargo A, Carvalho W, Peressim F, Barzilay A, Finger M. Text-to-hashtag generation using Seq2Seq learning [Internet]. Anais. 2021 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.5753/bresci.2021.15797

    • Vancouver

      Camargo A, Carvalho W, Peressim F, Barzilay A, Finger M. Text-to-hashtag generation using Seq2Seq learning [Internet]. Anais. 2021 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.5753/bresci.2021.15797

  • Dissertação (Mestrado)

    Modelos neurais para regressão de séries temporais (2020)

    Lira, Thiago Ildeu Albuquerque; Finger, Marcelo (Orientador)

    Unidade: IME

    Subject: INFERÊNCIA BAYESIANA

    Online source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      LIRA, Thiago Ildeu Albuquerque. Modelos neurais para regressão de séries temporais. 2020. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/. Acesso em: 29 jun. 2022.

    • APA

      Lira, T. I. A. (2020). Modelos neurais para regressão de séries temporais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/

    • NLM

      Lira TIA. Modelos neurais para regressão de séries temporais [Internet]. 2020 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/

    • Vancouver

      Lira TIA. Modelos neurais para regressão de séries temporais [Internet]. 2020 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/

  • Trabalho de evento

    Robust ranking of brazilian Supreme Court decisions (2020)

    Souza, Jackson José de ; Finger, Marcelo

    Source: Proceedings. Conference title: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME

    Subjects: REDES COMPLEXAS, ALGORITMOS E ESTRUTURAS DE DADOS, TRIBUNAL SUPREMO

    Online source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Jackson José de e FINGER, Marcelo. Robust ranking of brazilian Supreme Court decisions. 2020, Anais.. Cham: Springer, 2020. Disponível em: https://doi.org/10.1007/978-3-030-61377-8_40. Acesso em: 29 jun. 2022.

    • APA

      Souza, J. J. de, & Finger, M. (2020). Robust ranking of brazilian Supreme Court decisions. In Proceedings. Cham: Springer. doi:10.1007/978-3-030-61377-8_40

    • NLM

      Souza JJ de, Finger M. Robust ranking of brazilian Supreme Court decisions [Internet]. Proceedings. 2020 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.1007/978-3-030-61377-8_40

    • Vancouver

      Souza JJ de, Finger M. Robust ranking of brazilian Supreme Court decisions [Internet]. Proceedings. 2020 ;[citado 2022 jun. 29 ] Available from: https://doi.org/10.1007/978-3-030-61377-8_40

  • Trabalho de evento-anais periodico

    Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)

    Finger, Marcelo ; Preto, Sandro

    Source: Journal of Automated Reasoning. Conference title: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

    Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA

    Versão AceitaOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://dx.doi.org/10.1007/s10817-020-09558-9. Acesso em: 29 jun. 2022. , 2020

    • APA

      Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9

    • NLM

      Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2022 jun. 29 ] Available from: http://dx.doi.org/10.1007/s10817-020-09558-9

    • Vancouver

      Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2022 jun. 29 ] Available from: http://dx.doi.org/10.1007/s10817-020-09558-9

  • Trabalho de evento-anais periodico

    An efficient algorithm for representing piecewise linear functions into logic (2020)

    Preto, Sandro ; Finger, Marcelo

    Source: Electronic Notes in Theoretical Computer Science. Conference title: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020. Unidade: IME

    Subjects: LÓGICA FORMAL, SEMÂNTICA

    Versão PublicadaOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PRETO, Sandro e FINGER, Marcelo. An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2020.08.009. Acesso em: 29 jun. 2022. , 2020

    • APA

      Preto, S., & Finger, M. (2020). An efficient algorithm for representing piecewise linear functions into logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2020.08.009

    • NLM

      Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2022 jun. 29 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009

    • Vancouver

      Preto S, Finger M. An efficient algorithm for representing piecewise linear functions into logic [Internet]. Electronic Notes in Theoretical Computer Science. 2020 ; 351 167-186.[citado 2022 jun. 29 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009

  • Tese (Doutorado)

    Analyzing natural language inference from a rigorous point of view (2020)

    Salvatore, Felipe de Souza; Finger, Marcelo (Orientador) ; Hirata Júnior, Roberto (coorient)

    Unidade: IME

    Subjects: APRENDIZADO COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL

    Online source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SALVATORE, Felipe de Souza. Analyzing natural language inference from a rigorous point of view. 2020. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/. Acesso em: 29 jun. 2022.

    • APA

      Salvatore, F. de S. (2020). Analyzing natural language inference from a rigorous point of view (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/

    • NLM

      Salvatore F de S. Analyzing natural language inference from a rigorous point of view [Internet]. 2020 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/

    • Vancouver

      Salvatore F de S. Analyzing natural language inference from a rigorous point of view [Internet]. 2020 ;[citado 2022 jun. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/

  • Tese (Doutorado)

    Deep neural semantic parsing: translating from natural language into SPARQL (2019)

    Luz, Fabiano Ferreira; Finger, Marcelo (Orientador)

    Unidade: IME

    Subject: CIÊNCIA DA COMPUTAÇÃO

    Online source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      LUZ, Fabiano Ferreira. Deep neural semantic parsing: translating from natural language into SPARQL. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/. Acesso em: 29 jun. 2022.

    • APA

      Luz, F. F. (2019). Deep neural semantic parsing: translating from natural language into SPARQL (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/

    • NLM

      Luz FF. Deep neural semantic parsing: translating from natural language into SPARQL [Internet]. 2019 ;[citado 2022 jun. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/

    • Vancouver

      Luz FF. Deep neural semantic parsing: translating from natural language into SPARQL [Internet]. 2019 ;[citado 2022 jun. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/

  • Trabalho de evento-resumo

    Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)

    Finger, Marcelo

    Source: Book of Abstracts. Conference title: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Subjects: LÓGICA, PROBABILIDADE

    Versão PublicadaOnline source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 29 jun. 2022.

    • APA

      Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • NLM

      Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2022 jun. 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • Vancouver

      Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2022 jun. 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • Trabalho de evento

    A logical-based corpus for cross-lingual evaluation (2019)

    Salvatore, Felipe de Souza; Finger, Marcelo ; Hirata Júnior, Roberto

    Source: Proceedings. Conference title: Workshop on Deep Learning Approaches for Low-Resource NLP - DeepLo. Unidade: IME

    Subject: APRENDIZADO COMPUTACIONAL

    Versão PublicadaOnline source accessHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SALVATORE, Felipe de Souza e FINGER, Marcelo e HIRATA JÚNIOR, Roberto. A logical-based corpus for cross-lingual evaluation. 2019, Anais.. Stroudsburg: Association for Computational Linguistics (ACL), 2019. Disponível em: https://www.aclweb.org/anthology/D19-6103.pdf. Acesso em: 29 jun. 2022.

    • APA

      Salvatore, F. de S., Finger, M., & Hirata Júnior, R. (2019). A logical-based corpus for cross-lingual evaluation. In Proceedings. Stroudsburg: Association for Computational Linguistics (ACL). Recuperado de https://www.aclweb.org/anthology/D19-6103.pdf

    • NLM

      Salvatore F de S, Finger M, Hirata Júnior R. A logical-based corpus for cross-lingual evaluation [Internet]. Proceedings. 2019 ;[citado 2022 jun. 29 ] Available from: https://www.aclweb.org/anthology/D19-6103.pdf

    • Vancouver

      Salvatore F de S, Finger M, Hirata Júnior R. A logical-based corpus for cross-lingual evaluation [Internet]. Proceedings. 2019 ;[citado 2022 jun. 29 ] Available from: https://www.aclweb.org/anthology/D19-6103.pdf

  • Parte de monografia/livro

    Extending EL++ with linear constraints on the probability of axioms (2019)

    Finger, Marcelo

    Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME

    Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO

    PrivateOnline source accessDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: http://dx.doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 29 jun. 2022.

    • APA

      Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_13

    • NLM

      Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2022 jun. 29 ] Available from: http://dx.doi.org/10.1007/978-3-030-22102-7_13

    • Vancouver

      Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2022 jun. 29 ] Available from: http://dx.doi.org/10.1007/978-3-030-22102-7_13
Sort by title

1 - 20 (160 records)

AGUIA

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2022