Menu

Filtros : "IME" "Finger, Marcelo" Removidos: "Singapura" "APRENDIZADO COMPUTACIONAL" "Simonis, Adilson" Limpar

Filtros

Refine with date range

21 - 40 (172 records)

  • 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 PublicadaAcesso à fonteDOIHow 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: 08 jun. 2024.

    • 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 2024 jun. 08 ] 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 2024 jun. 08 ] 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

    Acesso à fonteHow 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: 08 jun. 2024.

    • 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 2024 jun. 08 ] 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 2024 jun. 08 ] 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

    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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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

    Assunto: INFERÊNCIA BAYESIANA

    Acesso à fonteHow 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: 08 jun. 2024.

    • 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 2024 jun. 08 ] 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 2024 jun. 08 ] 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 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] Available from: https://doi.org/10.1016/j.entcs.2020.08.009

  • Tese (Doutorado)

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

    Luz, Fabiano Ferreira; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

    Acesso à fonteHow 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: 08 jun. 2024.

    • 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 2024 jun. 08 ] 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 2024 jun. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/

  • 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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

    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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13

  • 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

  • Tese (Doutorado)

    Independência parcial no problema da satisfazibilidade probabilística (2018)

    Morais, Eduardo Menezes de; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, PROBABILIDADE, PROGRAMAÇÃO MATEMÁTICA, PROGRAMAÇÃO LINEAR

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

    • ABNT

      MORAIS, Eduardo Menezes de. Independência parcial no problema da satisfazibilidade probabilística. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/. Acesso em: 08 jun. 2024.

    • APA

      Morais, E. M. de. (2018). Independência parcial no problema da satisfazibilidade probabilística (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/

    • NLM

      Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2024 jun. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/

    • Vancouver

      Morais EM de. Independência parcial no problema da satisfazibilidade probabilística [Internet]. 2018 ;[citado 2024 jun. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/

  • 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14

  • Dissertação (Mestrado)

    Deep active learning using Monte Carlo Dropout (2018)

    Moura, Lucas Albuquerque Medeiros de; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: CIENCIA DA COMPUTACAO

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

    • ABNT

      MOURA, Lucas Albuquerque Medeiros de. Deep active learning using Monte Carlo Dropout. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/. Acesso em: 08 jun. 2024.

    • APA

      Moura, L. A. M. de. (2018). Deep active learning using Monte Carlo Dropout (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/

    • NLM

      Moura LAM de. Deep active learning using Monte Carlo Dropout [Internet]. 2018 ;[citado 2024 jun. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/

    • Vancouver

      Moura LAM de. Deep active learning using Monte Carlo Dropout [Internet]. 2018 ;[citado 2024 jun. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/

  • 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] 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: 08 jun. 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 jun. 08 ] 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 jun. 08 ] Available from: https://repositorio.usp.br/directbitstream/e1f74894-31a2-4a13-a2cd-d78f4024cf84/2875829.pdf

21 - 40 (172 records)

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