Filters : "Finger, Marcelo" Limpar

Filters



Refine with date range


  • 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
  • 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
  • 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
  • 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/
  • 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
  • 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
  • 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/
  • 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
  • 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/
  • 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
  • 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
  • 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/
  • 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
  • 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
  • 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
  • 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/
  • 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/
  • 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
  • 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
  • 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

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