Menu

Filtros : "MAC" "2014" Removidos: "Universidade de São Paulo (USP)" "Bonadio, Ígor" "pp" Limpar

Filtros

Refine with date range

1 - 20 (37 records)

  • Dissertação (Mestrado)

    Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas (2014)

    Santiago, Gabriel Preti; Hirata Júnior, Roberto (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

      SANTIAGO, Gabriel Preti. Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052014-144032. Acesso em: 03 jul. 2024.

    • APA

      Santiago, G. P. (2014). Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052014-144032

    • NLM

      Santiago GP. Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052014-144032

    • Vancouver

      Santiago GP. Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052014-144032

  • Dissertação (Mestrado)

    Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma (2014)

    Mansilla, Lucy Alsina Choque ; Miranda, Paulo André Vechiatto de (Orientador)

    Unidade: IME

    Subjects: COMPUTAÇÃO GRÁFICA, PROCESSAMENTO DE IMAGENS

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

    • ABNT

      MANSILLA, Lucy Alsina Choque. Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-17032014-121734/. Acesso em: 03 jul. 2024.

    • APA

      Mansilla, L. A. C. (2014). Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-17032014-121734/

    • NLM

      Mansilla LAC. Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-17032014-121734/

    • Vancouver

      Mansilla LAC. Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-17032014-121734/

  • Tese (Doutorado)

    The management of multiple submissions in parallel systems: the fair scheduling approach (2014)

    Pinheiro, Vinicius Gama; Goldman, Alfredo (Orientador)

    Unidade: IME

    Subjects: ALGORITMOS E ESTRUTURAS DE DADOS, ALGORITMOS DE SCHEDULING

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

    • ABNT

      PINHEIRO, Vinicius Gama. The management of multiple submissions in parallel systems: the fair scheduling approach. 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-31102016-100453. Acesso em: 03 jul. 2024.

    • APA

      Pinheiro, V. G. (2014). The management of multiple submissions in parallel systems: the fair scheduling approach (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-31102016-100453

    • NLM

      Pinheiro VG. The management of multiple submissions in parallel systems: the fair scheduling approach [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-31102016-100453

    • Vancouver

      Pinheiro VG. The management of multiple submissions in parallel systems: the fair scheduling approach [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-31102016-100453

  • Dissertação (Mestrado)

    Um método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porte (2014)

    Gardenghi, John Lenon Cardoso ; Birgin, Ernesto Julian Goldberg (Orientador)

    Unidade: IME

    Assunto: PROGRAMAÇÃO MATEMÁTICA

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

    • ABNT

      GARDENGHI, John Lenon Cardoso. Um método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porte. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11072014-084756. Acesso em: 03 jul. 2024.

    • APA

      Gardenghi, J. L. C. (2014). Um método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porte (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11072014-084756

    • NLM

      Gardenghi JLC. Um método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porte [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11072014-084756

    • Vancouver

      Gardenghi JLC. Um método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porte [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11072014-084756

  • Dissertação (Mestrado)

    Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito (2014)

    Beraldi, Fidel; Lago, Alair Pereira do (Orientador)

    Unidade: IME

    Subjects: REDES E COMUNICAÇÃO DE DADOS, RECONHECIMENTO DE PADRÕES

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

    • ABNT

      BERALDI, Fidel. Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05022015-232801. Acesso em: 03 jul. 2024.

    • APA

      Beraldi, F. (2014). Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05022015-232801

    • NLM

      Beraldi F. Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05022015-232801

    • Vancouver

      Beraldi F. Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05022015-232801

  • Dissertação (Mestrado)

    iRepositório: repositório interativo de conteúdos digitais para cursos baseados na Internet (2014)

    Nascimento, Mauricio Garcia Franco do; Brandão, Leônidas de Oliveira (Orientador)

    Unidade: IME

    Assunto: COMPUTAÇÃO APLICADA

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

    • ABNT

      NASCIMENTO, Mauricio Garcia Franco do. iRepositório: repositório interativo de conteúdos digitais para cursos baseados na Internet. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22082014-114848. Acesso em: 03 jul. 2024.

    • APA

      Nascimento, M. G. F. do. (2014). iRepositório: repositório interativo de conteúdos digitais para cursos baseados na Internet (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22082014-114848

    • NLM

      Nascimento MGF do. iRepositório: repositório interativo de conteúdos digitais para cursos baseados na Internet [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22082014-114848

    • Vancouver

      Nascimento MGF do. iRepositório: repositório interativo de conteúdos digitais para cursos baseados na Internet [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22082014-114848

  • Dissertação (Mestrado)

    Caminhos mais longos em grafos (2014)

    De Rezende, Susanna Figueiredo; Wakabayashi, Yoshiko (Orientador)

    Unidade: IME

    Subjects: TEORIA DOS GRAFOS, OTIMIZAÇÃO COMBINATÓRIA

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

    • ABNT

      DE REZENDE, Susanna Figueiredo. Caminhos mais longos em grafos. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10092014-045127. Acesso em: 03 jul. 2024.

    • APA

      De Rezende, S. F. (2014). Caminhos mais longos em grafos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10092014-045127

    • NLM

      De Rezende SF. Caminhos mais longos em grafos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10092014-045127

    • Vancouver

      De Rezende SF. Caminhos mais longos em grafos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10092014-045127

  • Tese (Doutorado)

    Análise de formas usando wavelets em grafos (2014)

    Leandro, Jorge de Jesus Gomes; César Júnior, Roberto Marcondes (Orientador)

    Unidade: IME

    Assunto: COMPUTAÇÃO GRÁFICA

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

    • ABNT

      LEANDRO, Jorge de Jesus Gomes. Análise de formas usando wavelets em grafos. 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-02072014-150049. Acesso em: 03 jul. 2024.

    • APA

      Leandro, J. de J. G. (2014). Análise de formas usando wavelets em grafos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02072014-150049

    • NLM

      Leandro J de JG. Análise de formas usando wavelets em grafos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02072014-150049

    • Vancouver

      Leandro J de JG. Análise de formas usando wavelets em grafos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02072014-150049

  • Tese (Doutorado)

    Integração entre múltiplas ontologias: reuso e gerência de conflitos (2014)

    Cóbe, Raphael Mendes de Oliveira; Wassermann, Renata (Orientador)

    Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, ONTOLOGIAS, WEB SEMÂNTICA

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

    • ABNT

      CÓBE, Raphael Mendes de Oliveira. Integração entre múltiplas ontologias: reuso e gerência de conflitos. 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-20032018-080426/. Acesso em: 03 jul. 2024.

    • APA

      Cóbe, R. M. de O. (2014). Integração entre múltiplas ontologias: reuso e gerência de conflitos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20032018-080426/

    • NLM

      Cóbe RM de O. Integração entre múltiplas ontologias: reuso e gerência de conflitos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20032018-080426/

    • Vancouver

      Cóbe RM de O. Integração entre múltiplas ontologias: reuso e gerência de conflitos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20032018-080426/

  • Dissertação (Mestrado)

    Revisão de crenças em lógicas de descrição: um plug-in para o Protégé (2014)

    Resina, Fillipe Manoel Xavier; Wassermann, Renata (Orientador)

    Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, WEB SEMÂNTICA

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

    • ABNT

      RESINA, Fillipe Manoel Xavier. Revisão de crenças em lógicas de descrição: um plug-in para o Protégé. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/. Acesso em: 03 jul. 2024.

    • APA

      Resina, F. M. X. (2014). Revisão de crenças em lógicas de descrição: um plug-in para o Protégé (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/

    • NLM

      Resina FMX. Revisão de crenças em lógicas de descrição: um plug-in para o Protégé [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/

    • Vancouver

      Resina FMX. Revisão de crenças em lógicas de descrição: um plug-in para o Protégé [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-24022017-124108/

  • Dissertação (Mestrado)

    iQuiz - ambiente de autoria para avaliação do aprendizado no Moodle (2014)

    Rodrigues, José Roberto Alves; Brandão, Leônidas de Oliveira (Orientador)

    Unidade: IME

    Assunto: INTERFACE HOMEM-COMPUTADOR

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

    • ABNT

      RODRIGUES, José Roberto Alves. iQuiz - ambiente de autoria para avaliação do aprendizado no Moodle. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-095520. Acesso em: 03 jul. 2024.

    • APA

      Rodrigues, J. R. A. (2014). iQuiz - ambiente de autoria para avaliação do aprendizado no Moodle (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-095520

    • NLM

      Rodrigues JRA. iQuiz - ambiente de autoria para avaliação do aprendizado no Moodle [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-095520

    • Vancouver

      Rodrigues JRA. iQuiz - ambiente de autoria para avaliação do aprendizado no Moodle [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-095520

  • Dissertação (Mestrado)

    Programação dinâmica em tempo real para processos de decisão Markovianos com probabilidades imprecisas (2014)

    Dias, Daniel Baptista; Delgado, Karina Valdivia (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

      DIAS, Daniel Baptista. Programação dinâmica em tempo real para processos de decisão Markovianos com probabilidades imprecisas. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012015-083016. Acesso em: 03 jul. 2024.

    • APA

      Dias, D. B. (2014). Programação dinâmica em tempo real para processos de decisão Markovianos com probabilidades imprecisas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012015-083016

    • NLM

      Dias DB. Programação dinâmica em tempo real para processos de decisão Markovianos com probabilidades imprecisas [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012015-083016

    • Vancouver

      Dias DB. Programação dinâmica em tempo real para processos de decisão Markovianos com probabilidades imprecisas [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21012015-083016

  • Dissertação (Mestrado)

    Erdös-Ko-Rado em famílias aleatórias (2014)

    Gauy, Marcelo Matheus; Kohayakawa, Yoshiharu (Orientador)

    Unidade: IME

    Subjects: COMBINATÓRIA PROBABILÍSTICA, GRAFOS ALEATÓRIOS

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

    • ABNT

      GAUY, Marcelo Matheus. Erdös-Ko-Rado em famílias aleatórias. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-26082014-095951. Acesso em: 03 jul. 2024.

    • APA

      Gauy, M. M. (2014). Erdös-Ko-Rado em famílias aleatórias (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-26082014-095951

    • NLM

      Gauy MM. Erdös-Ko-Rado em famílias aleatórias [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-26082014-095951

    • Vancouver

      Gauy MM. Erdös-Ko-Rado em famílias aleatórias [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-26082014-095951

  • Dissertação (Mestrado)

    Empacotamento de árvores em grafos completos (2014)

    Gómez Diaz, Renzo Gonzalo; Wakabayashi, Yoshiko (Orientador)

    Unidade: IME

    Assunto: TEORIA DOS GRAFOS

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

    • ABNT

      GÓMEZ DIAZ, Renzo Gonzalo. Empacotamento de árvores em grafos completos. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03022015-115100. Acesso em: 03 jul. 2024.

    • APA

      Gómez Diaz, R. G. (2014). Empacotamento de árvores em grafos completos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03022015-115100

    • NLM

      Gómez Diaz RG. Empacotamento de árvores em grafos completos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03022015-115100

    • Vancouver

      Gómez Diaz RG. Empacotamento de árvores em grafos completos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03022015-115100

  • Dissertação (Mestrado)

    Pares Ramsey infinitos (2014)

    Eufrásio, Paulo Victor Teixeira; Kohayakawa, Yoshiharu (Orientador)

    Unidade: IME

    Assunto: TEORIA DOS GRAFOS

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

    • ABNT

      EUFRÁSIO, Paulo Victor Teixeira. Pares Ramsey infinitos. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113457/. Acesso em: 03 jul. 2024.

    • APA

      Eufrásio, P. V. T. (2014). Pares Ramsey infinitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113457/

    • NLM

      Eufrásio PVT. Pares Ramsey infinitos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113457/

    • Vancouver

      Eufrásio PVT. Pares Ramsey infinitos [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113457/

  • Dissertação (Mestrado)

    Typicality in description logics (2014)

    Curado, José David Fernández; Wassermann, Renata (Orientador)

    Unidade: IME

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

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

    • ABNT

      CURADO, José David Fernández. Typicality in description logics. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/. Acesso em: 03 jul. 2024.

    • APA

      Curado, J. D. F. (2014). Typicality in description logics (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/

    • NLM

      Curado JDF. Typicality in description logics [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/

    • Vancouver

      Curado JDF. Typicality in description logics [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113318/

  • Dissertação (Mestrado)

    Mecanismos para consolidação de servidores (2014)

    Santos Júnior, Max Rosan dos; Batista, Daniel Macêdo (Orientador)

    Unidade: IME

    Subjects: SISTEMAS DISTRIBUÍDOS, COMPUTAÇÃO EM NUVEM, PROGRAMAÇÃO MATEMÁTICA, PROGRAMAÇÃO LINEAR, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES

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

    • ABNT

      SANTOS JÚNIOR, Max Rosan dos. Mecanismos para consolidação de servidores. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-112957/. Acesso em: 03 jul. 2024.

    • APA

      Santos Júnior, M. R. dos. (2014). Mecanismos para consolidação de servidores (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-112957/

    • NLM

      Santos Júnior MR dos. Mecanismos para consolidação de servidores [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-112957/

    • Vancouver

      Santos Júnior MR dos. Mecanismos para consolidação de servidores [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-112957/

  • Dissertação (Mestrado)

    Teste e verificação formal do comportamento excepcional de programas Java (2014)

    Martins, Alexandre Locci; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: ENGENHARIA DE PROGRAMAS

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

    • ABNT

      MARTINS, Alexandre Locci. Teste e verificação formal do comportamento excepcional de programas Java. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106. Acesso em: 03 jul. 2024.

    • APA

      Martins, A. L. (2014). Teste e verificação formal do comportamento excepcional de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106

    • NLM

      Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106

    • Vancouver

      Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106

  • Dissertação (Mestrado)

    Análise de expressões gênicas com erros de medida e aplicação em dados reais (2014)

    Ribeiro, Adèle Helena ; Hirata Júnior, Roberto (Orientador)

    Unidade: IME

    Assunto: COMPUTAÇÃO GRÁFICA

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

    • ABNT

      RIBEIRO, Adèle Helena. Análise de expressões gênicas com erros de medida e aplicação em dados reais. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04082014-163616. Acesso em: 03 jul. 2024.

    • APA

      Ribeiro, A. H. (2014). Análise de expressões gênicas com erros de medida e aplicação em dados reais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04082014-163616

    • NLM

      Ribeiro AH. Análise de expressões gênicas com erros de medida e aplicação em dados reais [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04082014-163616

    • Vancouver

      Ribeiro AH. Análise de expressões gênicas com erros de medida e aplicação em dados reais [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04082014-163616

  • Dissertação (Mestrado)

    GGLL: um gerador de analisadores sintáticos para gramáticas gráficas LL(1) (2014)

    Pinto, Tasso Tirapani Silva; Setzer, Valdemar Waingort (Orientador)

    Unidade: IME

    Assunto: MONTADORES E COMPILADORES

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

    • ABNT

      PINTO, Tasso Tirapani Silva. GGLL: um gerador de analisadores sintáticos para gramáticas gráficas LL(1). 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-075452. Acesso em: 03 jul. 2024.

    • APA

      Pinto, T. T. S. (2014). GGLL: um gerador de analisadores sintáticos para gramáticas gráficas LL(1) (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-075452

    • NLM

      Pinto TTS. GGLL: um gerador de analisadores sintáticos para gramáticas gráficas LL(1) [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-075452

    • Vancouver

      Pinto TTS. GGLL: um gerador de analisadores sintáticos para gramáticas gráficas LL(1) [Internet]. 2014 ;[citado 2024 jul. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012015-075452

1 - 20 (37 records)

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