ReP USP - Resultado da busca

Trabalho de evento
Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp (2018)
Bruel, Pedro; Goldman, Alfredo ; Chalamalasetti, Sai Rahul; Milojicic, Dejan
Source: Proceedings. Conference titles: International Conference on Reconfigurable Computing and FPGAs - ReConFig. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, HARDWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUEL, Pedro et al. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/RECONFIG.2017.8279778. Acesso em: 19 nov. 2025.
APA
Bruel, P., Goldman, A., Chalamalasetti, S. R., & Milojicic, D. (2018). Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp. In Proceedings. Piscataway: IEEE. doi:10.1109/RECONFIG.2017.8279778
NLM
Bruel P, Goldman A, Chalamalasetti SR, Milojicic D. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp [Internet]. Proceedings. 2018 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/RECONFIG.2017.8279778
Vancouver
Bruel P, Goldman A, Chalamalasetti SR, Milojicic D. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp [Internet]. Proceedings. 2018 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/RECONFIG.2017.8279778
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
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: 19 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. 19 ] 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. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/
Artigo de periodico
Automatic learning of temporal relations under the closed world assumption (2013)
Nicoletti, M. C.; Lisboa, Flávia Oliveira Santos de Sá; Hruschka Junior, Estevam Rafael
Source: Fundamenta Informaticae. Unidade: IFSC
Subjects: PROGRAMAÇÃO LÓGICA, INTELIGÊNCIA ARTIFICIAL, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLETTI, M. C. e LISBOA, Flávia Oliveira Santos de Sá e HRUSCHKA JUNIOR, Estevam Rafael. Automatic learning of temporal relations under the closed world assumption. Fundamenta Informaticae, v. 124, n. 1/2, p. 133-151, 2013Tradução . . Disponível em: https://doi.org/10.3233/FI-2013-828. Acesso em: 19 nov. 2025.
APA
Nicoletti, M. C., Lisboa, F. O. S. de S., & Hruschka Junior, E. R. (2013). Automatic learning of temporal relations under the closed world assumption. Fundamenta Informaticae, 124( 1/2), 133-151. doi:10.3233/FI-2013-828
NLM
Nicoletti MC, Lisboa FOS de S, Hruschka Junior ER. Automatic learning of temporal relations under the closed world assumption [Internet]. Fundamenta Informaticae. 2013 ; 124( 1/2): 133-151.[citado 2025 nov. 19 ] Available from: https://doi.org/10.3233/FI-2013-828
Vancouver
Nicoletti MC, Lisboa FOS de S, Hruschka Junior ER. Automatic learning of temporal relations under the closed world assumption [Internet]. Fundamenta Informaticae. 2013 ; 124( 1/2): 133-151.[citado 2025 nov. 19 ] Available from: https://doi.org/10.3233/FI-2013-828
Trabalho de evento-resumo periodico
Inductive logic programming approach analysis in bipolar disorder – pilot study (2013)
Dias, R. da Silva; Salvini, R.; Madureira, D. Quintela Mendes; Nery, F. Goncalves; Scippa, A. M.; Moreno, R. Alberto; Kapczinski, F.; Lafer, B.
Source: Bipolar disorders. Conference titles: Abstracts of the International Conference on Bipolar Disorder. Unidade: FM
Subjects: BIOESTATÍSTICA, TRANSTORNOS BIPOLAR, PROGRAMAÇÃO LÓGICA, RESUMOS (EVENTOS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, R. da Silva et al. Inductive logic programming approach analysis in bipolar disorder – pilot study. Bipolar disorders. Copenhagen: Faculdade de Medicina, Universidade de São Paulo. Disponível em: http://onlinelibrary.wiley.com/doi/10.1111/bdi.12083/pdf. Acesso em: 19 nov. 2025. , 2013
APA
Dias, R. da S., Salvini, R., Madureira, D. Q. M., Nery, F. G., Scippa, A. M., Moreno, R. A., et al. (2013). Inductive logic programming approach analysis in bipolar disorder – pilot study. Bipolar disorders. Copenhagen: Faculdade de Medicina, Universidade de São Paulo. doi:10.1111/bdi.12083
NLM
Dias R da S, Salvini R, Madureira DQM, Nery FG, Scippa AM, Moreno RA, Kapczinski F, Lafer B. Inductive logic programming approach analysis in bipolar disorder – pilot study [Internet]. Bipolar disorders. 2013 ; 15 69.[citado 2025 nov. 19 ] Available from: http://onlinelibrary.wiley.com/doi/10.1111/bdi.12083/pdf
Vancouver
Dias R da S, Salvini R, Madureira DQM, Nery FG, Scippa AM, Moreno RA, Kapczinski F, Lafer B. Inductive logic programming approach analysis in bipolar disorder – pilot study [Internet]. Bipolar disorders. 2013 ; 15 69.[citado 2025 nov. 19 ] Available from: http://onlinelibrary.wiley.com/doi/10.1111/bdi.12083/pdf
Trabalho de evento
Probabilistic answer set programming (2013)
Morais, Eduardo Menezes de; Finger, Marcelo
Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de e FINGER, Marcelo. Probabilistic answer set programming. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.33. Acesso em: 19 nov. 2025.
APA
Morais, E. M. de, & Finger, M. (2013). Probabilistic answer set programming. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.33
NLM
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Vancouver
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Relatorio tecnico
Formalizing planning algorithms for temporally extended goals (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Formalizing planning algorithms for temporally extended goals. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf. Acesso em: 19 nov. 2025. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Formalizing planning algorithms for temporally extended goals. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
NLM
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 19 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Vancouver
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 19 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
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
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: 19 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. 19 ] 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. 19 ] 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
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: 19 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. 19 ] 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. 19 ] 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
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: 19 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. 19 ]
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. 19 ]
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
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: 19 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. 19 ]
Vancouver
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 19 ]
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
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: 19 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. 19 ] 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. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/
Trabalho de evento
Automated reasoning with uncertainties (2005)
Silva, Flávio Soares Corrêa da ; Robertson, Dave S ; Hesketh, Jane
Source: Proceedings. Conference titles: International Conference Logic at Work. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO
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 ROBERTSON, Dave S e HESKETH, Jane. Automated reasoning with uncertainties. 2005, Anais.. Berlin: Springer, 2005. Disponível em: https://doi.org/10.1007/3-540-58095-6_5. Acesso em: 19 nov. 2025.
APA
Silva, F. S. C. da, Robertson, D. S., & Hesketh, J. (2005). Automated reasoning with uncertainties. In Proceedings. Berlin: Springer. doi:10.1007/3-540-58095-6_5
NLM
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
Vancouver
Silva FSC da, Robertson DS, Hesketh J. Automated reasoning with uncertainties [Internet]. Proceedings. 2005 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/3-540-58095-6_5
Trabalho de evento
High-level robot programming: an abductive approach using event calculus (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. High-level robot programming: an abductive approach using event calculus. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_8. Acesso em: 19 nov. 2025.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). High-level robot programming: an abductive approach using event calculus. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_8
NLM
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Vancouver
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Trabalho de evento
Planning with abduction: a logical framework to explore extensions to classical planning (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Planning with abduction: a logical framework to explore extensions to classical planning. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_7. Acesso em: 19 nov. 2025.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). Planning with abduction: a logical framework to explore extensions to classical planning. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_7
NLM
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Vancouver
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
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
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: 19 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. 19 ] 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. 19 ] 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
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: 19 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. 19 ] 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. 19 ] 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
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: 19 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. 19 ] 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. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/
Relatorio tecnico
Towards a logic of perishable propositions (2001)
Silva, Flávio Soares Corrêa da
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Towards a logic of perishable propositions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf. Acesso em: 19 nov. 2025. , 2001
APA
Silva, F. S. C. da. (2001). Towards a logic of perishable propositions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
NLM
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 19 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
Vancouver
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 19 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
Artigo de periodico
Facts, arguments, annotations and reasoning (2001)
Carbogim, Daniela Vasconcelos; Silva, Flávio Soares Corrêa da
Source: New Generation Computing. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARBOGIM, Daniela Vasconcelos e SILVA, Flávio Soares Corrêa da. Facts, arguments, annotations and reasoning. New Generation Computing, v. 19, n. 1, p. 1-22, 2001Tradução . . Disponível em: https://doi.org/10.1007/bf03037532. Acesso em: 19 nov. 2025.
APA
Carbogim, D. V., & Silva, F. S. C. da. (2001). Facts, arguments, annotations and reasoning. New Generation Computing, 19( 1), 1-22. doi:10.1007/bf03037532
NLM
Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/bf03037532
Vancouver
Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/bf03037532
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
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: 19 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. 19 ] 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. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php

USP Schools

ReP

Filtros

Document Types

USP Schools

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies