Menu

Filtros : "PROGRAMAÇÃO LÓGICA" "Português" Limpar

Filtros

Refine with date range

  • 1

1 - 11 (11 records)

  • Dissertação (Mestrado)

    Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo (2013)

    Kakoi, Adélia Aparecida Yuka; Moralles, Mauricio (Orientador)

    Unidade: IPEN

    Subjects: DETETORES, MONITORAMENTO, PROGRAMAÇÃO LÓGICA

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

    • ABNT

      KAKOI, Adélia Aparecida Yuka. Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/. Acesso em: 09 nov. 2025.

    • APA

      Kakoi, A. A. Y. (2013). Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/

    • NLM

      Kakoi AAY. Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo [Internet]. 2013 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/

    • Vancouver

      Kakoi AAY. Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo [Internet]. 2013 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/

  • Tese (Doutorado)

    Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática (2007)

    Specia, Lucia; Nunes, Maria das Graças Volpe (Orientador) ; Stevenson, Robert Mark (Orientador)

    Unidade: ICMC

    Subjects: TRADUÇÃO AUTOMÁTICA, PROGRAMAÇÃO LÓGICA, 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

      SPECIA, Lucia. Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática. 2007. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/. Acesso em: 09 nov. 2025.

    • APA

      Specia, L. (2007). Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/

    • NLM

      Specia L. Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática [Internet]. 2007 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/

    • Vancouver

      Specia L. Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática [Internet]. 2007 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/

  • Artigo de periodico

    Robótica cognitiva: programação baseada em lógica para controle de robôs (2007)

    Trevizan, Felipe Werndl; Barros, Leliane Nunes de

    Source: Controle & Automação. Unidade: IME

    Subjects: LINGUAGEM DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA, ROBÓTICA

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

    • ABNT

      TREVIZAN, Felipe Werndl e BARROS, Leliane Nunes de. Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, v. 18, n. 2, p. 187-198, 2007Tradução . . Disponível em: https://doi.org/10.1590/S0103-17592007000200005. Acesso em: 09 nov. 2025.

    • APA

      Trevizan, F. W., & Barros, L. N. de. (2007). Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, 18( 2), 187-198. doi:10.1590/S0103-17592007000200005

    • NLM

      Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1590/S0103-17592007000200005

    • Vancouver

      Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1590/S0103-17592007000200005

  • Trabalho de evento

    Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa (2006)

    Minhoni, Danilo Carlos Rossetto; Roda, Valentin Obac

    Conference titles: Southern Conference on Programmable Logic. Unidade: EESC

    Subjects: ALGORITMOS PARA IMAGENS, TEMPO-REAL, PROGRAMAÇÃO LÓGICA

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

    • ABNT

      MINHONI, Danilo Carlos Rossetto e RODA, Valentin Obac. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006, Anais.. Madrid: Universidad Autónoma de Madrid, 2006. . Acesso em: 09 nov. 2025.

    • APA

      Minhoni, D. C. R., & Roda, V. O. (2006). Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. In . Madrid: Universidad Autónoma de Madrid.

    • NLM

      Minhoni DCR, Roda VO. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006 ;[citado 2025 nov. 09 ]

    • Vancouver

      Minhoni DCR, Roda VO. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006 ;[citado 2025 nov. 09 ]

  • Monografia/livro

    Lógica para computação (2006)

    Silva, Flávio Soares Corrêa da ; Finger, Marcelo ; Melo, Ana Cristina Vieira de

    Unidade: IME

    Subjects: SEMÂNTICA DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA

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

    • ABNT

      SILVA, Flávio Soares Corrêa da e FINGER, Marcelo e MELO, Ana Cristina Vieira de. Lógica para computação. . São Paulo: Cengage Learning. . Acesso em: 09 nov. 2025. , 2006

    • APA

      Silva, F. S. C. da, Finger, M., & Melo, A. C. V. de. (2006). Lógica para computação. São Paulo: Cengage Learning.

    • NLM

      Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 09 ]

    • Vancouver

      Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 09 ]

  • Dissertação (Mestrado)

    Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa (2006)

    Minhoni, Danilo Carlos Rossetto; Roda, Valentin Obac (Orientador)

    Unidade: EESC

    Subjects: ALGORITMOS PARA IMAGENS, TEMPO-REAL, PROGRAMAÇÃO LÓGICA

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

    • ABNT

      MINHONI, Danilo Carlos Rossetto. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/. Acesso em: 09 nov. 2025.

    • APA

      Minhoni, D. C. R. (2006). Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/

    • NLM

      Minhoni DCR. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa [Internet]. 2006 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/

    • Vancouver

      Minhoni DCR. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa [Internet]. 2006 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/

  • Dissertação (Mestrado)

    Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional (2004)

    Ferro, Mariza; Monard, Maria Carolina (Orientador)

    Unidade: ICMC

    Subjects: APRENDIZADO COMPUTACIONAL, PROGRAMAÇÃO LÓGICA, INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      FERRO, Mariza. Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/. Acesso em: 09 nov. 2025.

    • APA

      Ferro, M. (2004). Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/

    • NLM

      Ferro M. Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional [Internet]. 2004 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/

    • Vancouver

      Ferro M. Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional [Internet]. 2004 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/

  • Dissertação (Mestrado)

    Aplicação de técnicas de data mining em logs de servidores web (2003)

    Chiara, Ramon; Monard, Maria Carolina (Orientador)

    Unidade: ICMC

    Subjects: INTELIGÊNCIA ARTIFICIAL, MINERAÇÃO DE DADOS, PROGRAMAÇÃO LÓGICA, WORLD WIDE WEB

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

    • ABNT

      CHIARA, Ramon. Aplicação de técnicas de data mining em logs de servidores web. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2003. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/. Acesso em: 09 nov. 2025.

    • APA

      Chiara, R. (2003). Aplicação de técnicas de data mining em logs de servidores web (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/

    • NLM

      Chiara R. Aplicação de técnicas de data mining em logs de servidores web [Internet]. 2003 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/

    • Vancouver

      Chiara R. Aplicação de técnicas de data mining em logs de servidores web [Internet]. 2003 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/

  • Dissertação (Mestrado)

    Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera (2002)

    Teixeira, Marco Antonio; Marques, Eduardo (Orientador)

    Unidade: ICMC

    Subjects: PROGRAMAÇÃO LÓGICA, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, SISTEMAS OPERACIONAIS

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

    • ABNT

      TEIXEIRA, Marco Antonio. Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2002. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/. Acesso em: 09 nov. 2025.

    • APA

      Teixeira, M. A. (2002). Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/

    • NLM

      Teixeira MA. Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera [Internet]. 2002 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/

    • Vancouver

      Teixeira MA. Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera [Internet]. 2002 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/

  • Tese (Doutorado)

    Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada (1996)

    Prado, José Pacheco de Almeida; Abe, Jair Minoro (Orientador)

    Unidade: EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA

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

    • ABNT

      PRADO, José Pacheco de Almeida. Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada. 1996. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1996. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php. Acesso em: 09 nov. 2025.

    • APA

      Prado, J. P. de A. (1996). Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php

    • NLM

      Prado JP de A. Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada [Internet]. 1996 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php

    • Vancouver

      Prado JP de A. Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada [Internet]. 1996 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php

  • Dissertação (Mestrado)

    Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência (1990)

    Gomi, Edson Satoshi ; Massola, Antônio Marcos de Aguirra (Orientador)

    Unidade: EP

    Subjects: PROGRAMAÇÃO LÓGICA, INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      GOMI, Edson Satoshi. Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência. 1990. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1990. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/. Acesso em: 09 nov. 2025.

    • APA

      Gomi, E. S. (1990). Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/

    • NLM

      Gomi ES. Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência [Internet]. 1990 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/

    • Vancouver

      Gomi ES. Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência [Internet]. 1990 ;[citado 2025 nov. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/
  • 1

1 - 11 (11 records)

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