Menu

Filtros : "Finger, Marcelo" "Dissertação (Mestrado)" Removidos: "Indexado no SCOPUS" "Financiamento INCT" "EP" Limpar

Filtros

Refine with date range

1 - 20 (34 records)

  • Dissertação (Mestrado)

    Using natural language processing techniques for automated code refactoring (2023)

    Barzilay, Alan ; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: APRENDIZADO COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL, ENGENHARIA DE SOFTWARE

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

    • ABNT

      BARZILAY, Alan. Using natural language processing techniques for automated code refactoring. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/. Acesso em: 27 jun. 2024.

    • APA

      Barzilay, A. (2023). Using natural language processing techniques for automated code refactoring (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/

    • NLM

      Barzilay A. Using natural language processing techniques for automated code refactoring [Internet]. 2023 ;[citado 2024 jun. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/

    • Vancouver

      Barzilay A. Using natural language processing techniques for automated code refactoring [Internet]. 2023 ;[citado 2024 jun. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/

  • 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

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

    • 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 2024 jun. 27 ] 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 2024 jun. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05082021-152340/

  • 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: 27 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. 27 ] 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. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-07062021-135753/

  • 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: 27 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. 27 ] 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. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/

  • Dissertação (Mestrado)

    A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do aprendizado de máquina para português (2018)

    Martins, Rayssa Küllian; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, MINERAÇÃO DE DADOS, APRENDIZADO COMPUTACIONAL, SISTEMAS COLABORATIVOS, REDES SOCIAIS

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

    • ABNT

      MARTINS, Rayssa Küllian. A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do aprendizado de máquina para português. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113522/. Acesso em: 27 jun. 2024.

    • APA

      Martins, R. K. (2018). A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do aprendizado de máquina para português (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113522/

    • NLM

      Martins RK. A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do aprendizado de máquina para português [Internet]. 2018 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113522/

    • Vancouver

      Martins RK. A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do aprendizado de máquina para português [Internet]. 2018 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113522/

  • 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: 27 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. 27 ] 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. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17032019-222659/

  • Dissertação (Mestrado)

    Revisão de crenças em ACTL usando verificação de modelos limitada (2017)

    Hora, Bruno Vercelino da; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, HEURÍSTICA, REPRESENTAÇÃO DE CONHECIMENTO

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

    • ABNT

      HORA, Bruno Vercelino da. Revisão de crenças em ACTL usando verificação de modelos limitada. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/. Acesso em: 27 jun. 2024.

    • APA

      Hora, B. V. da. (2017). Revisão de crenças em ACTL usando verificação de modelos limitada (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/

    • NLM

      Hora BV da. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/

    • Vancouver

      Hora BV da. Revisão de crenças em ACTL usando verificação de modelos limitada [Internet]. 2017 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/

  • Dissertação (Mestrado)

    Extração de informações de narrativas clínicas (2013)

    Oleynik, Michel; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LINGUÍSTICA COMPUTACIONAL

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

    • ABNT

      OLEYNIK, Michel. Extração de informações de narrativas clínicas. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051. Acesso em: 27 jun. 2024.

    • APA

      Oleynik, M. (2013). Extração de informações de narrativas clínicas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051

    • NLM

      Oleynik M. Extração de informações de narrativas clínicas [Internet]. 2013 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051

    • Vancouver

      Oleynik M. Extração de informações de narrativas clínicas [Internet]. 2013 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28112013-185051

  • Dissertação (Mestrado)

    Aprimorando o corretor gramatical CoGrOO (2013)

    Silva, William Daniel Colen de Moura; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LINGUÍSTICA COMPUTACIONAL

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

    • ABNT

      SILVA, William Daniel Colen de Moura. Aprimorando o corretor gramatical CoGrOO. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414. Acesso em: 27 jun. 2024.

    • APA

      Silva, W. D. C. de M. (2013). Aprimorando o corretor gramatical CoGrOO (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414

    • NLM

      Silva WDC de M. Aprimorando o corretor gramatical CoGrOO [Internet]. 2013 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414

    • Vancouver

      Silva WDC de M. Aprimorando o corretor gramatical CoGrOO [Internet]. 2013 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02052013-135414

  • Dissertação (Mestrado)

    Anotação e classificação automática de entidades nomeadas em notícias esportivas em português brasileiro (2012)

    Zaccara, Rodrigo Constantin Ctenas; Finger, Marcelo (Orientador)

    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

      ZACCARA, Rodrigo Constantin Ctenas. Anotação e classificação automática de entidades nomeadas em notícias esportivas em português brasileiro. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092012-135831/. Acesso em: 27 jun. 2024.

    • APA

      Zaccara, R. C. C. (2012). Anotação e classificação automática de entidades nomeadas em notícias esportivas em português brasileiro (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092012-135831/

    • NLM

      Zaccara RCC. Anotação e classificação automática de entidades nomeadas em notícias esportivas em português brasileiro [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092012-135831/

    • Vancouver

      Zaccara RCC. Anotação e classificação automática de entidades nomeadas em notícias esportivas em português brasileiro [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06092012-135831/

  • Dissertação (Mestrado)

    Análise das distribuições do número de operaçõies de resolvedores SAT (2012)

    Reis, Poliana Magalhães; Finger, Marcelo (Orientador)

    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

      REIS, Poliana Magalhães. Análise das distribuições do número de operaçõies de resolvedores SAT. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441. Acesso em: 27 jun. 2024.

    • APA

      Reis, P. M. (2012). Análise das distribuições do número de operaçõies de resolvedores SAT (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441

    • NLM

      Reis PM. Análise das distribuições do número de operaçõies de resolvedores SAT [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441

    • Vancouver

      Reis PM. Análise das distribuições do número de operaçõies de resolvedores SAT [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012013-220441

  • Dissertação (Mestrado)

    Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina (2012)

    Carvalho, Wesley Seidel; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LINGUÍSTICA COMPUTACIONAL

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

    • ABNT

      CARVALHO, Wesley Seidel. Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104248. Acesso em: 27 jun. 2024.

    • APA

      Carvalho, W. S. (2012). Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104248

    • NLM

      Carvalho WS. Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104248

    • Vancouver

      Carvalho WS. Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052013-104248

  • Dissertação (Mestrado)

    Answer Set Programming probabilístico (2012)

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

    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

      MORAIS, Eduardo Menezes de. Answer Set Programming probabilístico. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/. Acesso em: 27 jun. 2024.

    • APA

      Morais, E. M. de. (2012). Answer Set Programming probabilístico (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/

    • NLM

      Morais EM de. Answer Set Programming probabilístico [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/

    • Vancouver

      Morais EM de. Answer Set Programming probabilístico [Internet]. 2012 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/

  • Dissertação (Mestrado)

    Satisfazibilidade probabilística (2011)

    De Bona, Glauber ; Finger, Marcelo (Orientador)

    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

      DE BONA, Glauber. Satisfazibilidade probabilística. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639. Acesso em: 27 jun. 2024.

    • APA

      De Bona, G. (2011). Satisfazibilidade probabilística (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639

    • NLM

      De Bona G. Satisfazibilidade probabilística [Internet]. 2011 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639

    • Vancouver

      De Bona G. Satisfazibilidade probabilística [Internet]. 2011 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639

  • Dissertação (Mestrado)

    Multiplicadores algébricos de validade lógica (2010)

    Hernandes, Mauricio Simões Camilo; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: LÓGICA ALGÉBRICA, INVARIANTES, LÓGICA DE PRIMEIRA ORDEM, ÁLGEBRAS DE BOOLE, SEMÂNTICA, LINGUÍSTICA COMPUTACIONAL

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

    • ABNT

      HERNANDES, Mauricio Simões Camilo. Multiplicadores algébricos de validade lógica. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/. Acesso em: 27 jun. 2024.

    • APA

      Hernandes, M. S. C. (2010). Multiplicadores algébricos de validade lógica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

    • NLM

      Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

    • Vancouver

      Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

  • Dissertação (Mestrado)

    Análise de padrões de uso em grades computacionais. (2008)

    Conde, Danilo Matheus Rubio; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: SISTEMAS DISTRIBUÍDOS

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

    • ABNT

      CONDE, Danilo Matheus Rubio. Análise de padrões de uso em grades computacionais. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122343/. Acesso em: 27 jun. 2024.

    • APA

      Conde, D. M. R. (2008). Análise de padrões de uso em grades computacionais. (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122343/

    • NLM

      Conde DMR. Análise de padrões de uso em grades computacionais. [Internet]. 2008 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122343/

    • Vancouver

      Conde DMR. Análise de padrões de uso em grades computacionais. [Internet]. 2008 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122343/

  • Dissertação (Mestrado)

    Um resolvedor SAT paralelo com BSP sobre uma grade (2007)

    Lima, Fernando Correa; 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

      LIMA, Fernando Correa. Um resolvedor SAT paralelo com BSP sobre uma grade. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/. Acesso em: 27 jun. 2024.

    • APA

      Lima, F. C. (2007). Um resolvedor SAT paralelo com BSP sobre uma grade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/

    • NLM

      Lima FC. Um resolvedor SAT paralelo com BSP sobre uma grade [Internet]. 2007 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/

    • Vancouver

      Lima FC. Um resolvedor SAT paralelo com BSP sobre uma grade [Internet]. 2007 ;[citado 2024 jun. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/

  • Dissertação (Mestrado)

    Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais (2006)

    Bezerra, Germano Capistrano; Finger, Marcelo (Orientador)

    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

      BEZERRA, Germano Capistrano. Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144423/. Acesso em: 27 jun. 2024.

    • APA

      Bezerra, G. C. (2006). Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144423/

    • NLM

      Bezerra GC. Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais [Internet]. 2006 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144423/

    • Vancouver

      Bezerra GC. Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais [Internet]. 2006 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-144423/

  • Dissertação (Mestrado)

    Aproximações de lógicas modais (2005)

    Rabello, Guilherme de Souza; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      RABELLO, Guilherme de Souza. Aproximações de lógicas modais. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/. Acesso em: 27 jun. 2024.

    • APA

      Rabello, G. de S. (2005). Aproximações de lógicas modais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

    • NLM

      Rabello G de S. Aproximações de lógicas modais [Internet]. 2005 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

    • Vancouver

      Rabello G de S. Aproximações de lógicas modais [Internet]. 2005 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

  • Dissertação (Mestrado)

    Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável (2005)

    Kepler, Fábio Natanael; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LINGUÍSTICA COMPUTACIONAL

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

    • ABNT

      KEPLER, Fábio Natanael. Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-141428/. Acesso em: 27 jun. 2024.

    • APA

      Kepler, F. N. (2005). Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-141428/

    • NLM

      Kepler FN. Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável [Internet]. 2005 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-141428/

    • Vancouver

      Kepler FN. Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável [Internet]. 2005 ;[citado 2024 jun. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-141428/

1 - 20 (34 records)

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