ReP USP - Resultado da busca

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
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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/
Tese (Doutorado)
Semantics modulo satisfiability with applications: function representation, probabilities and game theory (2021)
Preto, Sandro Márcio da Silva ; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA
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: 23 maio 2024.
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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/
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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-10122020-165920/
Tese (Doutorado)
Analyzing natural language inference from a rigorous point of view (2020)
Salvatore, Felipe de Souza; Finger, Marcelo (Orientador) ; Hirata Júnior, Roberto (coorient)
Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL
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: 23 maio 2024.
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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05012021-151600/
Tese (Doutorado)
Deep neural semantic parsing: translating from natural language into SPARQL (2019)
Luz, Fabiano Ferreira; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: CIÊNCIA DA COMPUTAÇÃO
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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-01042019-101602/
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
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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062018-190700/
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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02102017-114414/
Tese (Doutorado)
Measuring inconsistency in probabilistic knowledge bases (2016)
De Bona, Glauber ; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber. Measuring inconsistency in probabilistic knowledge bases. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006. Acesso em: 23 maio 2024.
APA
De Bona, G. (2016). Measuring inconsistency in probabilistic knowledge bases (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006
NLM
De Bona G. Measuring inconsistency in probabilistic knowledge bases [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006
Vancouver
De Bona G. Measuring inconsistency in probabilistic knowledge bases [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04042016-045006
Tese (Doutorado)
Abdução clássica e abdução probabilística: a busca pela explicação de dados reais (2014)
Arruda, Alexandre Matos; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARRUDA, Alexandre Matos. Abdução clássica e abdução probabilística: a busca pela explicação de dados reais. 2014. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210. Acesso em: 23 maio 2024.
APA
Arruda, A. M. (2014). Abdução clássica e abdução probabilística: a busca pela explicação de dados reais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210
NLM
Arruda AM. Abdução clássica e abdução probabilística: a busca pela explicação de dados reais [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210
Vancouver
Arruda AM. Abdução clássica e abdução probabilística: a busca pela explicação de dados reais [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20102015-170210
Dissertação (Mestrado)
Extração de informações de narrativas clínicas (2013)
Oleynik, Michel; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: LINGUÍSTICA COMPUTACIONAL
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] 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
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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02062011-181639

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Funding Agencies