Menu

Filtros : "FINGER, MARCELO" Removido: "Financiamento CAPES" Limpar

Filtros

Refine with date range

1 - 20 (115 records)

  • Parte de monografia/livro

    Effective reasoning over neural networks using Lukasiewicz logic (2023)

    Preto, Sandro ; Finger, Marcelo

    Source: Compendium of neurosymbolic artificial intelligence. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, REDES NEURAIS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PRETO, Sandro e FINGER, Marcelo. Effective reasoning over neural networks using Lukasiewicz logic. Compendium of neurosymbolic artificial intelligence. Tradução . Amsterdam: IOS Press, 2023. . Disponível em: https://doi.org/10.3233/FAIA230160. Acesso em: 11 out. 2024.

    • APA

      Preto, S., & Finger, M. (2023). Effective reasoning over neural networks using Lukasiewicz logic. In Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press. doi:10.3233/FAIA230160

    • NLM

      Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2024 out. 11 ] Available from: https://doi.org/10.3233/FAIA230160

    • Vancouver

      Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2024 out. 11 ] Available from: https://doi.org/10.3233/FAIA230160

  • Trabalho de evento

    Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19 (2021)

    Gauy, Marcelo Matheus ; Finger, Marcelo

    Source: Anais. Conference titles: Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana - STIL. Unidade: IME

    Subjects: INSUFICIÊNCIA RESPIRATÓRIA, COVID-19, REDES NEURAIS, PROCESSAMENTO DE LINGUAGEM NATURAL

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GAUY, Marcelo Matheus e FINGER, Marcelo. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. 2021, Anais.. Porto Alegre: SBC, 2021. Disponível em: https://doi.org/10.5753/stil.2021.17793. Acesso em: 11 out. 2024.

    • APA

      Gauy, M. M., & Finger, M. (2021). Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19. In Anais. Porto Alegre: SBC. doi:10.5753/stil.2021.17793

    • NLM

      Gauy MM, Finger M. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19 [Internet]. Anais. 2021 ;[citado 2024 out. 11 ] Available from: https://doi.org/10.5753/stil.2021.17793

    • Vancouver

      Gauy MM, Finger M. Audio MFCC-gram Transformers for respiratory insufficiency detection in COVID-19 [Internet]. Anais. 2021 ;[citado 2024 out. 11 ] Available from: https://doi.org/10.5753/stil.2021.17793

  • 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

    Assunto: INTELIGÊNCIA ARTIFICIAL

    Versão PublicadaAcesso à fonteDOIHow 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: 11 out. 2024.

    • 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 2024 out. 11 ] 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 2024 out. 11 ] 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 titles: 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 PublicadaAcesso à fonteDOIHow 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: 11 out. 2024.

    • 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 2024 out. 11 ] 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 2024 out. 11 ] Available from: https://doi.org/10.5753/bresci.2021.15797

  • Trabalho de evento

    Robust ranking of brazilian Supreme Court decisions (2020)

    Souza, Jackson José de ; Finger, Marcelo

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

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

    Acesso à fonteDOIHow 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: 11 out. 2024.

    • 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 2024 out. 11 ] 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 2024 out. 11 ] 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 titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

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

    Versão AceitaAcesso à fonteDOIHow 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: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 11 out. 2024. , 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 2024 out. 11 ] Available from: https://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 2024 out. 11 ] Available from: https://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 titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020. Unidade: IME

    Subjects: LÓGICA FORMAL, SEMÂNTICA

    Versão PublicadaAcesso à fonteDOIHow 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: 11 out. 2024. , 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 2024 out. 11 ] 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 2024 out. 11 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009

  • 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 titles: Workshop on Deep Learning Approaches for Low-Resource NLP - DeepLo. Unidade: IME

    Assunto: APRENDIZAGEM PROFUNDA

    Versão PublicadaAcesso à fonteHow 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: 11 out. 2024.

    • 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 2024 out. 11 ] 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 2024 out. 11 ] Available from: https://www.aclweb.org/anthology/D19-6103.pdf

  • Trabalho de evento-resumo

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

    Finger, Marcelo

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

    Subjects: LÓGICA, PROBABILIDADE

    Versão PublicadaAcesso à fonteHow 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: 11 out. 2024.

    • 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 2024 out. 11 ] 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 2024 out. 11 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.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

    PrivadoAcesso à fonteDOIHow 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: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 11 out. 2024.

    • 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 2024 out. 11 ] Available from: https://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 2024 out. 11 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13

  • Trabalho de evento

    Using neural models to perform inference (2019)

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

    Source: Proceedings. Conference titles: International Workshop on Neural-Symbolic Learning and Reasoning - NeSy. Unidade: IME

    Subjects: APRENDIZADO COMPUTACIONAL, RACIOCÍNIO PROBABILÍSTICO

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SALVATORE, Felipe de Souza et al. Using neural models to perform inference. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view. Acesso em: 11 out. 2024.

    • APA

      Salvatore, F. de S., Preto, S., Finger, M., & Hirata Júnior, R. (2019). Using neural models to perform inference. In Proceedings. Vienna: IJCAI. Recuperado de https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view

    • NLM

      Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 out. 11 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view

    • Vancouver

      Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 out. 11 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view

  • Trabalho de evento-resumo

    Representing rational McNaughton functions via MODSAT relativisation (2019)

    Preto, Sandro ; Finger, Marcelo

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

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PRETO, Sandro e FINGER, Marcelo. Representing rational McNaughton functions via MODSAT relativisation. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 11 out. 2024.

    • APA

      Preto, S., & Finger, M. (2019). Representing rational McNaughton functions via MODSAT relativisation. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • NLM

      Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 out. 11 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

    • Vancouver

      Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 out. 11 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • Parte de monografia/livro

    Inconsistency measurement in probabilistic logic (2018)

    De Bona, Glauber ; Finger, Marcelo ; Potyka, Nico; Thimm, Matthias

    Source: Measuring inconsistency in information. Unidades: IME, EP

    Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO, INTELIGÊNCIA ARTIFICIAL

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DE BONA, Glauber et al. Inconsistency measurement in probabilistic logic. Measuring inconsistency in information. Tradução . London: College Publications, 2018. . Disponível em: http://www.mthimm.de/pub/2018/DeBona_2018.pdf. Acesso em: 11 out. 2024.

    • APA

      De Bona, G., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency measurement in probabilistic logic. In Measuring inconsistency in information. London: College Publications. Recuperado de http://www.mthimm.de/pub/2018/DeBona_2018.pdf

    • NLM

      De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 out. 11 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf

    • Vancouver

      De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 out. 11 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf

  • Trabalho de evento

    Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (2018)

    Finger, Marcelo ; Preto, Sandro

    Source: Proceedings. Conference titles: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

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

    Acesso à fonteDOIHow 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 half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-94205-6_14. Acesso em: 11 out. 2024.

    • APA

      Finger, M., & Preto, S. (2018). Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-94205-6_14

    • NLM

      Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2024 out. 11 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14

    • Vancouver

      Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2024 out. 11 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14

  • Parte de monografia/livro

    Quantitative logic reasoning (2018)

    Finger, Marcelo

    Source: Contradictions, from consistency to inconsistency. Unidade: IME

    Subjects: LÓGICA, RACIOCÍNIO DEDUTIVO E INDUTIVO

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Quantitative logic reasoning. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_12. Acesso em: 11 out. 2024.

    • APA

      Finger, M. (2018). Quantitative logic reasoning. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_12

    • NLM

      Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 out. 11 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12

    • Vancouver

      Finger M. Quantitative logic reasoning [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 out. 11 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_12

  • Monografia/livro-ed/org

    Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (2017)

    Dixon, Clare (Editor); Finger, Marcelo (Editor)

    Conference titles: International Symposium - FroCoS 2017. Unidade: IME

    Subjects: CIÊNCIA DA COMPUTAÇÃO, ENGENHARIA DE SOFTWARE, INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. . Cham: Springer International Publishing. Disponível em: https://doi.org/10.1007/978-3-319-66167-4. Acesso em: 11 out. 2024. , 2017

    • APA

      Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017). Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing. doi:10.1007/978-3-319-66167-4

    • NLM

      Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings [Internet]. 2017 ;[citado 2024 out. 11 ] Available from: https://doi.org/10.1007/978-3-319-66167-4

    • Vancouver

      Frontiers of combining systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings [Internet]. 2017 ;[citado 2024 out. 11 ] Available from: https://doi.org/10.1007/978-3-319-66167-4

  • Trabalho de evento

    Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach (2017)

    Luz, Fabiano Ferreira; Finger, Marcelo

    Source: Anais. Conference titles: Encontro Nacional de Inteligência Artificial e Computacional - ENIAC. Unidade: IME

    Assunto: WEB SEMÂNTICA

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

    • ABNT

      LUZ, Fabiano Ferreira e FINGER, Marcelo. Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf. Acesso em: 11 out. 2024.

    • APA

      Luz, F. F., & Finger, M. (2017). Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach. In Anais. Porto Alegre: SBC. Recuperado de https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf

    • NLM

      Luz FF, Finger M. Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach [Internet]. Anais. 2017 ;[citado 2024 out. 11 ] Available from: https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf

    • Vancouver

      Luz FF, Finger M. Semantic parsing natural language into SPARQL: an LSTM enconder-decoder neural net approach [Internet]. Anais. 2017 ;[citado 2024 out. 11 ] Available from: https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf

  • Trabalho de evento-resumo

    Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores (2017)

    Finger, Marcelo

    Source: Caderno de resumos / Abstracts. Conference titles: International Brazilian Meeting on Cognitive Science - EBICC. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores. 2017, Anais.. São Paulo: SBCC, 2017. Disponível em: http://ebicc.sbcc.org.br/. Acesso em: 11 out. 2024.

    • APA

      Finger, M. (2017). Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores. In Caderno de resumos / Abstracts. São Paulo: SBCC. Recuperado de http://ebicc.sbcc.org.br/

    • NLM

      Finger M. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores [Internet]. Caderno de resumos / Abstracts. 2017 ;[citado 2024 out. 11 ] Available from: http://ebicc.sbcc.org.br/

    • Vancouver

      Finger M. Promessas e perigos da inteligência artifcial: a inteligência humana é muito distinta das capacidades dos computadores [Internet]. Caderno de resumos / Abstracts. 2017 ;[citado 2024 out. 11 ] Available from: http://ebicc.sbcc.org.br/

  • Artigo de periodico

    Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese (2017)

    Oleynik, Michel; Patrão, Diogo F. C; Finger, Marcelo

    Source: Studies in Health Technology and Informatics. Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      OLEYNIK, Michel e PATRÃO, Diogo F. C e FINGER, Marcelo. Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese. Studies in Health Technology and Informatics, v. 235, p. 256-260, 2017Tradução . . Disponível em: https://doi.org/10.3233/978-1-61499-753-5-256. Acesso em: 11 out. 2024.

    • APA

      Oleynik, M., Patrão, D. F. C., & Finger, M. (2017). Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese. Studies in Health Technology and Informatics, 235, 256-260. doi:10.3233/978-1-61499-753-5-256

    • NLM

      Oleynik M, Patrão DFC, Finger M. Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese [Internet]. Studies in Health Technology and Informatics. 2017 ; 235 256-260.[citado 2024 out. 11 ] Available from: https://doi.org/10.3233/978-1-61499-753-5-256

    • Vancouver

      Oleynik M, Patrão DFC, Finger M. Automated classification of semi-structured pathology reports into ICD-O using SVM in portuguese [Internet]. Studies in Health Technology and Informatics. 2017 ; 235 256-260.[citado 2024 out. 11 ] Available from: https://doi.org/10.3233/978-1-61499-753-5-256

  • Trabalho de evento-anais periodico

    Algorithms for deciding counting quantifiers over unary predicates (2017)

    Finger, Marcelo ; De Bona, Glauber

    Source: Proceedings. Conference titles: AAAI Conference on Artificial Intelligence. Unidades: IME, EP

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e DE BONA, Glauber. Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Disponível em: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113. Acesso em: 11 out. 2024. , 2017

    • APA

      Finger, M., & De Bona, G. (2017). Algorithms for deciding counting quantifiers over unary predicates. Proceedings. Palo Alto: AAAI Publications. Recuperado de https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113

    • NLM

      Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 out. 11 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113

    • Vancouver

      Finger M, De Bona G. Algorithms for deciding counting quantifiers over unary predicates [Internet]. Proceedings. 2017 ;[citado 2024 out. 11 ] Available from: https://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14515/14113

1 - 20 (115 records)

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