Laboratório de Conexionismo e Ciências Cognitivas  - 

 

Index

Pesquisadores

Áreas de Atuação

Linhas de Pesquisa

Links

Publicações

    _ Upload

    _ Livros

    _ Teses/Dissert/TCC

    _ Monografias

    _ Artigos

Grupo Discussão

 

Trabalhos de Pesquisa Realizados por Membros do Grupo

 

Meio de submeter trabalhos para esta lista:

- Email  (barreto@inf.ufsc.br).

Livros:

Barreto,Jorge Muniz,  Inteligência Artificial no limiar do século XXI, Florianópolis, Duplic, 3a. edição, 2001. 

TOPO

Trabalhos de Conclusão de Doutorado, Mestrado e Especialização:

  1. ALMEIDA, M. A. F., Hipertomatas na Computação aplicada à Educação, Exame de Qualificação submetido a Universidade Federal de Santa Catarina como parte dos requisitos para obtenção do grau de Doutor em Ciência da Computação, Florianópolis, fevereiro de 2001.

  2. ALMEIDA, M. A. F. Aprender, Atividade Inteligente: E se esta Inteligência for Parcialmente Artificial. Dicertação submetido a Universidade Federal de Santa Catarina como parte dos requisitos para obtenção do grau de Mestre em Ciência da Computação, Florianópolis, Setembro de, 1999.

  3. Buchsbaum, A. R. V., "Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática" ­ Tese de Doutorado ­ Pontifícia Universidade Católica do Rio de Janeiro ­ outubro de 1995. Comentário: Uma família de lógicas adequadas para o tratamento da inconsistência e da incompletude é definida, entre elas duas lógicas elaboradas para a formalização da plausibilidade. Para cada uma destas lógicas é dada uma semântica e uma axiomática. Duas alternativas de extensões geradas por defaults são especificadas, formando lógicas não monotônicas aptas para algumas formas de raciocínio indutivo. Observação: é um documento composto do Word, constituído de vários subdocumentos, em geral um para cada capítulo. O documento-mestre é tese.doc.

  4. DAZZI, R. L. S.: Sistemas Especialistas Conexionistas: Implementaçao por redes Diretas e Bidirecionais. Dissertação de Mestrado em Ciência da Computação, UFSC, setembro-1999.

  5. FRANCESCHI, A. S. M., Desenvolvimento de Agentes Autônomos para Gerência de Computadores, Exame de Qualificação de Doutorado submetido à Universidade Federal de Santa Catarina, Curso de Pós-Graduação com área de atuação em Engenharia Biomédica, Universidade Federal de Santa Catarina, Florianópolis, agosoto de 2001, 129p. Comentário: A essência deste trabalho é explorar soluções para problemas distribuídos de gerência de redes aplicando técnicas de IA (AAs e RNAs recorrentes). Estas técnicas serão implementadas na forma de agentes autônomos para auxiliar no processo de automação da gerência de redes de computadores. A gerência de redes é composta por agentes e gerentes passivos. Ou seja, não existe autonomia nenhuma. A tomada de decisões deve ser realizada por um administrador humano.

  6. Kreutz, L. S. , Modelo Computacional para Fisiologia Cardiovascular,  Dissertação de Mestrado em Ciência da Computação, Curso de Pós-graduação em Ciência da Computação, Departamento de Informática e de Estatística, Universidade Federal de Santa Catarina, Florianópolis, fevereiro de 2001, 104p.

  7. LINARES, K. S. C., Sistema Especialista Nebuloso para Diagnóstico Médico, Dissertação de Mestrado em Engenharia Elétrica, Curso de Pós-Graduação com área de atuação em Engenharia Biomédica, Universidade Federal de Santa Catarina, Florianópolis, 1997, 129p.

  8. MARIN, Luciene de Oliveira;  Investigações sobre Rede Neurais Artificiais para o Reconhecimento de Faces Humanas na Forma 3D. Dissertação de Mestrado em Ciência da Computação, Curso de Pós-graduação em Ciência da Computação, Departamento de Informática e de Estatística, Universidade Federal de Santa Catarina, Florianópolis, dezembro de 2003. (Tamanho 2.4M)

  9. NETO, Maurício Correia Lemes;  Um Método dos Tablôs por Prova Direta para a Lógica Clássica. Dissertação de Mestrado em Ciência da Computação, Curso de Pós-graduação em Ciência da Computação, Departamento de Informática e de Estatística, Universidade Federal de Santa Catarina, Florianópolis, agosto de 2004. (Tamanho 420 KB)

  10. VIEIRA, Renato Corrêa;  Descrição de Comportamentos Robóticos Utilizando uma Abordagem Gramatical e sua Implementação através de Redes Neurais Artificiais. Dissertação de Mestrado em Ciência da Computação, Curso de Pós-graduação em Ciência da Computação, Departamento de Informática e de Estatística, Universidade Federal de Santa Catarina, Florianópolis, abril de 2004. (Tamanho 1.22M)

TOPO

Monografias:

  1. ALMEIDA, M. A. F., Dicas de Latex! , Universidade Federal de Santa Catarina, Florianópolis, 1998.

  2. De Franceschi, A. S. M., Barreto, J. M., Roisenberg, M.  "IADAP- Projeto de Inteligência Artificial Aplicada: Relatório Técnico", Universidade Federal de Santa Catarina, Florianópolis, junho-2001. Comentário: Este projeto estuda as aplicações de Inteligência Artificial Distribuída. Presentemente enfatiza-se a área de redes de computadores, sistema essencialmente distribuído. O principal objetivo é apresentar uma solução viável para o problema da automação de gerência de redes. A gerência de redes é composta por agentes e gerentes passivos. Ou seja, não existe autonomia nenhuma. A tomada de decisões normalmente é realizada por um administrador humano. Analisando a gerência de redes como um todo tem se um problema extremamente complexo. No entanto, é possível subdividi-la em cinco áreas funcionais utilizando o modelo funcional proposto pela OSI. Os problemas estão sendo então, investigados .......

  3. MARIN, Luciene de Oliveira; BARRETO, Jorge Muniz; Reconhecimento de Faces, Monografia UFSC/INE/L3C-03/2003.

  4. SECCO, Fernando; ROCHA, Tatiane. Fractais. Monografia UFSC/INE/L3C-02/2003.

  5. VIEIRA, Renato Corrêa; ROISENBERG, Mauro. Redes Neurais Artificiais: Um breve tutorial, UFSC/INE/L3C-01/2003

TOPO
 

Artigos (Ano: A-Z):  

Os artigos foram colocados em única coluna para facilitar a visualização e busca.

2004

  1. ENCINAS, Leonardo Soliz; ZIMMERMANN, Antônio Carlos; BARRETO, Jorge Muniz; MARIN, Luciene de Oliveira. Applying Dimensionality Reduction for Neural Netrworks Learning in the SORFACE Project. In: ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 2004, Insbruck. AIA-2004. Anahaim, Calgary, Zurich: ACTA Press,2004. p. 657-660.

  2. FRIGO L.B; POZZEBON, E; BITTENCOURT G.  O Papel dos Agentes Inteligentes nos Sistemas Tutores. In: WCETE'2004- World Congress on Engineering and Tecgology Education, ISBN 85-89120-12-0,  Santos – SP, Março/2004.

  3. MARIN, Luciene de Oliveira; BARRETO, Jorge Muniz; ZIMMERMANN, Antônio Carlos; ENCINAS, Leonardo Soliz. 3D Human Face Reecognition in a Linearly Separated Problem. In: ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 2004, Insbruck. AIA-2004. Anhahaim, Calgary, Zurich: ACTA Press, 2004. p. 385-389.

  4. POZZEBON, E.; FRIGO, L. B.; BITTENCOURT, G. Inteligência artificial na educação universitária: quais as contribuições?. Revista do CCEI, 1415-2061, v. 8, n. 13, 2004.

  5. ZIMMERMANN, Antônio Carlos; ENCINAS, Leonardo Soliz; MARIN, Luciene de Oliveira; BARRETO, Jorge Muniz. Comparing CBR and NN Performance in a 3-D Face Recognition. In: ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 2004, Insbruck. AIA-2004. Amahaim, Calgarym Zurich: ACTA Press, 2004. p. 661-665.

  6. ZIMMERMANN, Antônio Carlos; ENCINAS, Leonardo Soliz; GONÇALVES JR, Armando Albertazzi; BARRETO, Jorge Muniz. Non-conventional optic system for 3D Human Face Recognition - SORFACE. In: 12 INT. CONF. IN CENTRAL EUROPE ON COM. GRAPHIC VISUALIZATION AND COMP. VISION, 2004, Pilkzen. Computer Graphic Visualization and Computer Vision. University of West Bohemia, 2004. p. 283-288.

  7. ZIMMERMANN, Antônio Carlos; MARIN, Luciene de Oliveira; BARRETO, Jorge Muniz. Training Set Optimization in3D Human Face Recognition by RBF Neural Networks. In: NEURAL NETRWORKS AND COMPUTATIONAL INTELLIGENCE, 2004, Grindelwald. NNCI-2004. Anahaim: ACTA Press, 2004. p. 222-225.
     

TOPO

2003

  1. MEDEIROS, Maysa Regina; BARRETO, Jorge Muniz. Metodologia para Desenvolvimento de Programas em Inteligência Artificial: Sonho ou Tecnologia? SUCESU-2003, Trabalho ia_04, Cuiabá, 2003.

  2. PEREZ, A L F; POZZEBON, E. Aplicação de sistema multiagente no processo de licitação. In: I2TS'2003 . 2nd International Information and Telecommunication Technologies Symposium, , ISBN 85-89264-02-5, Florianópolis – SC, Novembro/2003.

  3. POZZEBON, Eliane; BARRETO, Jorge M. Ambiente de aprendizagem adaptável conforme as preferências  do aprendiz. In: ICECE/IEEE’2003 INTERNATIONAL CONFERENCE ON ENGINEERING AND COMPUTER EDUCATION, ISSN 1679-4372; Santos – SP, Março - 2003.

  4. POZZEBON, E.;  BARRETO, J. M. "Utilização de regras para adaptação de hipermídia". In: COBENGE Congresso Brasileiro de Ensino de Engenharia, Instituto Militar de Engenharia - Rio de Janeiro, Setembro/2003 - 

  5. POZZEBON E.; BARRETO J.M.; BITTENCOURT G. " Autômato representa o raciocínio do aprendiz na adaptabilidade do ambiente de aprendizagem", CLIHC'2003 - Congresso Latino-americano de Interação Humano-Computador, Rio de Janeiro, Agosto/2003.

  6. VIEIRA, Renato Corrêa; TENÓRIO, Marcelo Buscioli; ROISENBERG, Mauro; BORGES, Paulo Sérgio Silva. Comparação entre Redes Neurais Artificiais e Rough Sets para classificação de dados. In: VI CONGRESSO BRASILEIRO DE REDES NEURAIS, São Paulo. 2003.

  TOPO

2002

  1. ALMEIDA, M A.F.; BARRETO, J M.; POZZEBON, E. "Uma aplicação do modelo Hipertômato no desenvolvimento de um ambiente de Ensino-aprendizagem de Neurofisiologia", SBIE' 2002, - XIII Simpósio Brasileiro Informática na Educação, Unisinos - São Leopoldo - RS, 2002 

  2. BIANCHINI, J R L; POZZEBON, E; ALMEIDA, M A F. Sistema de Informação Hospitalar no Planalto Serrano Catarinense. In: SEMISH - XXIX SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE- Evento Integrante  XXII CONGRESSO DA SBC´2002, ISBN 85-88442-25-1 Florianópolis -SC, Julho/2002 

  3. FILHO, G. M; SILVA, R. R; BORGES, P. S. S.: "Uma aplicação de raciocínio baseado em casos para apoio à identificação de possíveis suspeitos de crimes"; II Congresso Brasileiro de Computação - CBComp 2002; Itajaí-SC; 2002.

  4. FRANCESCHI A.S.M., BARRETO J.M., ROISENBERG M. " Desenvolvendo agentes de software para gerência de redes utilizando técnicas de inteligência artificial ", II Congresso Brasileiro de Computação - CBComp 2002 , Itajai-SC,Brasil.
    Isbn 1677-2822, Agosto/2002.

  5. LEHRER, C.; BORGES, P. S. S.; Algoritmos Genéticos com Operação de Seleção Hawk-Dove com Estratégia TIT FOR TAT, e com Operação de Recombinação com Taxas Variáveis, XXII Encontro Nacional de Engenharia de Produção, Curitiba - PR, 2002.

  6. POZZEBON E.; LOBO A.;  BARRETO J. M., "Tutor auxilia os alunos de uma videoconferência" Anais do Congresso Informazônia - Sepai, Novembro/ 2002 -  http://www.sepai.com.br/

  7. POZZEBON, E.; VEDANA, S. B.; ALMEIDA, M. A.F..; BARRETO, J. M. Hipermídia Aplicada ao Ensino na Área Médica. In: CBEB´2002 -  XVIII CONGRESSO BRASILEIRO DE ENGENHARIA BIOMÉDICA,  Univap - São José dos Campos - SP, ISBN 85-7586-002-X, 2002.

  8. POZZEBON, E; VEDANA, S B; ALMEIDA, M A F; BARRETO, J M. Hipertômato controla os itens da materia ensinada num Tutorial de Neurofisiologia. In: CBCOMP Congresso Brasileiro Computação - II Workshop de Informática aplicado à saúde, Itajai-SC, ISSN 1677-2822, 2002

  9. POZZEBON, E; MARIN, L O; BARRETO, J. Um exemplo prático de Hipertexto implementado sob o modelo baseado na Teoria de Autômatos. Revista do CCEI, Editora da URCAMP, v. 10, pag 65-71, ISSN 1415-2061, 2002. 

  10. POZZEBON, E; VEDANA, S B; ALMEIDA, M A.F.; BARRETO, J M. Ensino de Neurofisiologia Baseado no modelo hipertômato In: XIII ENCTRL DE INFORMÁTICA  IMESA, Vol.CD-Rom, Assis-SP,  2002

  11. POZZEBON, E; REINALDO, F A F; ROISENBERG, M; BARRETO, J M. Comportamento Perceptivo Visual: da Biologia à Robótica. In: IECTEC - Encontro de Ciência e Tecnologia, Uniplac, Vol.CD-Rom, Lages- SC, 2002. 

  12. REINALDO, F A F; POZZEBON, E;  ROISENBERG, M; BARRETO, J M. " Resposta biológica gerada por um artefato robótico" SCPDI - II Simpósio Catarinense de Processamento Digital de Imagens, Florianópolis, 2002

  13. SILVA, D R; POZZEBON, E; ALMEIDA, M A F., Semaça -Sistema Especialista para Auxílio no diagnóstico de doenças da maça e macieiras. In: SIPM´2002 III Simpósio de Informática Planalto Médio , Vol.CD-Rom, UPF- Passo Fundo - RS, Maio/2002. - http://www.inf.upf.br/sipm/

  14. VEDANA, S B; POZZEBON, E; ALMEIDA, M A F.; BARRETO, J M. Ambiente Computacional para Ensino de Neurofisiologia. In: XXII ENEGEP -Encontro Nacional de Engenharia de Produção, ISBN 85-88478-04-8, Curitiba-PR, 2002. 

  15. ZIMMERMANN A.C., ENCINAS L. do S., BARRETO J.M., MARIN L. " Uma proposta para utilização de raciocínio baseado em casos - {RBC} em reconhecimento de faces humanas tridimensionais",  II Congresso Brasileiro de Computação - CBComp 2002 , Itajai-SC,Brasil. Isbn 1677-2822, Agosto/2002.

    TOPO

2001

  1. CASTILHO, F. M. B. M, BARRETO, J. M., Verificação de Computabilidade através da Máquina de Turing. Teoria da Computação/SBPC2001. Comentário: O presente trabalho visa demonstrar detalhadamente os componentes funcionais da máquina de Turing e os recursos para a criação de uma aplicação simples, servindo de base para estudantes entenderem seu funcionamento.

  2. DAZZI, R. L. S., BARRETO, J. M., NASSAR, S. M. , "Sistemas Especialistas Conexionistas: Implementação por Redes Diretas e Bidirecionais". Rev. Alcance, ISSN:1413-2591, Ano VIII, nº1, p.107-115, 2001.   

  3. FALQUETO, J., LIMA, W. C. , BORGES, P. S. S. , BARRETO, J. M. : " O desenvolvimento de uma métrica para sistemas de IA - Considerações"; CD do II Congreso Latinoamericano de Ingeniería Biomédica ; 23 a 25 de maio de 2001; La Habana; Cuba; http://www.hab2001.sld.cu ou http://www.somib.org.mx/cuba

  4. FALQUETO, J., LIMA,  W. C. , BORGES, P. S. S. , BARRETO, J. M. : "The Measurement of Artificial Intelligence: An IQ for Machines?" Proceedings of the IASTED International Conference on Modelling, Simulation and Control. Innsbruck, Austria, February 19-22, 2001 Vol. I, pp. 409-413. Acta Press, Anaheim, Calgary, Zurich. ISBN 0-88986-316-4; ISSN 1025-8973.   

  5. OLIVEIRA, C. R. V., OLIVEIRA, P. A. V., BARRETO, J. M., FIALHO, F. B., Intelligent decision support system applied to environmental pollution caused by swine manure. AgriBuilding 2001, September 3-7, 2001 - Campinas, SP, Brazil.  

    TOPO

2000

  1. ALMEIDA, M. A. F.& BARRETO, J. M. Implementação de um Sistema Hipermídia como Autômato para Ensino de Inteligência Artificial, I Simpósio Catarinense de Computação, Universidade do Vale do Itajaí, Itajaí, SC, agosto, 2000.   

  2. ALMEIDA, M. A. F.& BARRETO, J. M., Modelagem de um Sistema Hipermídia como Autômato para Ensino de Inteligência Artificial, WIE2000-Curitiba-PR. Comentário: Este trabalho apresenta um modelo de hipermídia como autômato para a concepção de ambientes de Ensino-Aprendizagem via redes de computadores para apoio ao Ensino de Inteligência Artificial (IA) em Cursos de Graduação e Pós-graduação em Ciência da Computação e áreas afins; presenciais ou não. A temática escolhida é o Ensino de Redes Neurais Artificiais (RNA).

  3. ALMEIDA, M. A.F. & BARRETO, J. M., Modelagem de um Sistema Hipermídia como Autômato para Ensino de Inteligência Artificial, In: Anais do Congresso Nacional da Sociedade Brasileira de Computação SBC´2000 - VI WIE - Workshop de Informática na Escola, v.1, p. 95, Pontifícia Universidade Católica do Paraná - PUC-PR, Curitiba, julho de 2000.

  4. ANGELONI, M. N. M.; KREUTZ, L. S.; BARRETO, J. M. Hypermedia and Simulation to Teach Cardiac Physilogy. In: Chicago 2000 - World Congress on Medical Physics and Biomedical Engineering, Navy Pier, Chicago, IL, 23 a 28 julho de 2000.

  5. ANGELONI, M.N., KREUTZ, L. S.;BARRETO, J.M., Técnicas de Simulação e Hipermídia Aplicadas ao Ensino na Área Médica, XVII Congresso Brasileiro de Engenharia Biomédica,CBEB 2000, Florianópolis, Santa Catarina,setembro, 2000.

  6. BARRETO, J. M. Inteligência Artificial e Engenharia Biomédica: Casamento Perfeito ou Amantes Eternos? In: XVII Congresso Brasileiro de Engenharia Biomédica, CBEB2000,Florianópolis, Santa Catarina, Setembro de 2000.

  7. BRASIL, L. M., AZEVEDO, F. M., BARRETO, J. M. Uma Arquitetura para Sistema Neuro-Fuzzy-GA. In: XII Congresso Chileno de Ingenieria Eletrica, Temuco, Chile. Universidad de la Frontera, v.II. p.712-717, 2000.

  8. BRASIL, L. M., AZEVEDO, F. M., BARRETO, J. M., A hybrid expert system for the diagnosis of epileptic crisis, Artificial Intelligence in Medicine, Elsevier, n. 585, p.1-7, 2000. 

  9. COLLAZOS, K.; BARRETO, J. M. & PELEGRINI, G. F. "Análise do Prontuário Médico para Utilização com KDD", CD-ROM dos Anais do VII Congresso Brasileiro de Informática em Saúde e II Simpósio Internacional de Sistemas de Informação Hospitalar (CBIS'2000 SISIH'2000), São Paulo, 14-18 de outubro, 2000.  

  10. DE FRANCESCHI, A.S.M., BARRETO, J.M., ROISENBERG, M. "Desenvolvimento de Agentes de Software Autonomous para Gerência de Redes de Computadores". In: Anais do Simpósio Brasileiro de Redes Neurais,Vol. II, Rio de Janeiro, RJ, Novembro, 2000.  

  11. DE FRANCESCHI, A.S.M., BARRETO, J.M., ROISENBERG, M. Autonomous Software Agents for Computer Network Management. In: ICT’2000 IEEE International Conference on Telecommunications, Acapulco, Mexico, May, 2000.

  12. DE FRANCESCHI, A.S.M., BARRETO, J.M., ROISENBERG, M. Constructing Software Autonomous Agents to Computer Network Management. In: Proceedings of Neural Networks Brazilian Simposium, Vol. I, Rio de Janeiro, RJ, November, 2000. (Resumo).

  13. DE FRANCESCHI, A.S.M., ROISENBERG, M., BARRETO, J.M. Employing Intelligent Techniques to Develop Autonomous Agents for Network Management. In: Proceedings of Agents Based Simulation, Workshop 2000, Society for Computer Simulation, Passau, Germany, May, 2000.  

  14. DE FRANCESHI, A.J.M; BARRETO, J.M.; ROISENBERG, M. Desenvolvimento de Agentes Autônomos em Gerência de Redes de Computadores. In: VIII Simpósio Brasileiro de Telecomunicações, 2000, Hotel Serra Azul,Gramado, RS, setembro, 2000.

  15. DE FRANCESHI, A.J.M; BARRETO, J.M.; ROISENBERG, M. Intelligent, Dynamic and Distributed Solutions for Network Management, In: EXPO 2000, Hannover. Shaping the Future Project. 2000. 

  16. KOMOSINSKI, L. J.; LACERDA; C. D. F.; FALQUETO, J.; Uso de agentes para apoio à mediação de diálogos entre estudantes via Internet , V Congreso Iberoamericano de Informatica Educativa,Viña del Mar (Chile) ou em CD; 4-6 dez. 2000.  

  17. PELEGRINI, G. F. BARRETO, J. M. & COLLAZOS L., K.; "Extração de Conhecimentos a partir dos Sistemas de Informação", VII Congresso Brasileiro de Informática em Saúde - CBIS 2000, outubro/2000, (CD-ROM Artigo 75). Pellegrini00

  18. PELEGRINI, G. F., BRASIL, L. M. "Sistemas de Informações em Centros de Saúde, XVII Congresso Brasileiro de Engenharia Biomédica, CBEB2000, p.811-813, Florianópolis, Santa Catarina, 2000.   

  19. SILVA, F. A., ROISENBERG, M. , BARRETO, J. M. Redes Neurais Hierarquicas para Implementação de Comportamentos em Agentes Autonômos. In: XIII CONGRESSO BRASILEIRO DE AUTOMÁTICA - CBA2000, p.1473-1478, Florianópolis. Anais do XIII CBA. Setembro de 2000.

  20. FALQUETO, J. ; BARRETO, J. M. & BORGES, P. S. S."Amplification of Perspectives in the Use of Evolutionary Computation" IEEE International Symposium on Bio-Informatics and Biomedical Engineering -BIBE2000, Arlington, VA, 8-10, p. 150-157, nov. 2000.

  21. TÁPIA, M., ROISENBERG, M., BARRETO, J.M. Aplicação de Redes Neurais Diretas na Previsão de Preços de Ovos. In: INFOAGRO2000 - CONGRESSO E MOSTRA DE AGROINFORMÁTICA 2000, Anais do INFOAGRO2000 (CD-ROM Artigo INFO_022), Ponta Grossa, Outubro de 2000.

  22. ZIMMERMANN, A. C., GONÇALVES JR, ARMANDO . A., BARRETO, J. M.. General Non-Invasive Shape Reconstruction and Recognition Method Applied to D External Biologic Morphologies. In: IEEE International Symp. on Bio-Informatics and Biomedical Engineering, 2000, Arlington, Virginia, IEEE Computer Siciety, p.316-321, 2000.  

  23. ZIMMERMANN, A. C., GONÇALVES Jr., ARMANDO A. & BARRETO, J. M., "A 3D Object Extraction and Recognition Method", Sixth International Conference on Control, Automation, Robotics and Vision - ICARV 2000, Singapore, Republic of Singapore.    

    TOPO

1999

  1. BRASIL, L. M.; AZEVEDO, F. M.; BARRETO, J. M. Hybrid expert system for decision support in the medical area.In: Medical and Biological Engineering and Computing, Viena, Austria, v.37, n.2, p.738-739, 1999. 

  2. Brasil,L.M. , Azevedo, F.M., and Barreto, J.M. . "Expert system used hybridism among symbolic and connecionist paradigms, fuzzy logic and, genetic algorithms". In.: Proceedings of the International Symposium on Medical Informatics and Fuzzy Technology (MIF'99), p.347-354, Hanoi, Vietnam, 1999. 

  3. Buchsbaum, A. R. V. & Pequeno, T. H. C., "On Plausible Reasoning and Its Import in Reasoning about Science" , 11th International Congress of Logic, Methodology and Philosophy of Science ­ Volume of Abstracts ­ International Union of History and Philosophy of Science, 20 a 26 de agosto de 1999 - Cracóvia, Polônia, pp. 222.  Comentário: O conceito de plausibilidade e sua adequação ao raciocínio indutivo em ciência.

  4. Buchsbaum, A. R. V. & Pequeno, T. H. C., "Uma Classe de Lógicas Polissortidas e Seu Correspondente Teorema de Completude" , Resumos do XII Encontro Brasileiro de Lógica, 25 a 28 de maio de 1999, Parque Nacional de Itatiaia, RJ, pp. 59.  Comentário: Lógicas polissortidas alternativas, aptas a representar certas lógicas modais, são apresentadas, bem como um método genérico de prova de completude semântica.

  5. Buchsbaum, A. R. V., "The Logic of Ambiguous Reference", 11th International Congress of Logic, Methodology and Philosophy of Science ­ Volume of Abstracts ­ International Union of History and Philosophy of Science, 20 a 26 de agosto de 1999 - Cracóvia, Polônia, pp. 98.   Comentário: Um qualificador apto a lidar com a ambiguidade do discurso matemático e linguístico. São apresentados uma semântica, um cálculo de seqüentes e alguns resultados elementares.

  6. COLLAZOS, K; BARRETO, J. M. "KDD para Estudo Epidemiológico das Malformações", In: Anales del I Congresso Peruano de Ingenieria Biomédica, p. 113-115, Lima, Perú, 08-09 de Setiembre, 1999. 

  7. DE FRANCESCHI, A.S.M., BARRETO, J.M. Distributed Problem Solving Based on Recurrent Neural Networks Applied to Computer Network Management In: ICT’99 IEEE/International Conference on Telecommunications, Cheju, Korea, June,1999. 

  8. LANAS, A. I.; MOTA, G. L.; TANSCHEIT, R.; VELASCO, M. M.; BARRETO, J. M. Fuzzy Control of a Multivariable Nonlinear Process In: VIII International Fuzzy Systems Association World Congress, Taipei VIII International Fuzzy Systems Association World Congress, National Tsing Hua University, v. 1, n. , p. 660-664,1999. 

    TOPO

1998

  1. BARRETO, J. M.; BRASIL, L. M.; AZEVEDO, F. M., NOIRHOMME, M.N.. A New Approach to Classical Backpropagation Algorithm for Neuro-Fuzzy-GA Systems Learning. In: IASTED International Conf. Artificial Intelligence and Soft Computing, 1998, Cancun. Anahaim: Acta Press, p.489-492, 1998.

  2. BRASIL, L. M.; AZEVEDO, F. M.; BARRETO, J. M.; NOIRHOMME, M. Training Algorithm for Neuro-Fuzzy-GA Systems In: IASTED Applied Informatics Conference, 1998, Garmish-Partenskish,  Anahaim Acta Press,p. 45-47,1998.

  3. BRASIL, L. M.; SOUZA, F. F.; BARRETO, J. M; FRAITURE, M. N. Complexity and Cognitive Computing. In: 11 Int. Conf. on Industrial and Engineering applications for Artificial Intelligence,I EA-98-IAE., Castellón, Espanha, v.1. p.84-91,1998.

  4. Buchsbaum, A. R. V. & Pequeno, T. H. C., "A Introdução da Implicação em Cálculos Axiomáticos Abertos", Anais do IV Encontro de Filosofia Analítica , 1998,  pp. 61-75.  Comentário: Um estudo generalizado do Teorema da Dedução nos tipos mais relevantes de cálculos axiomáticos abertos. 

  5. Buchsbaum, A. R. V. & Pequeno, T. H. C., "A New Group of Logics Featuring Non Classical Negations", Stanislaw Jaskowski Memorial Symposium, Resumo,15 a 18 de julho de 1998, Torun, Polônia, pp. 53-54. Comentário: Lógicas paraconsistentes e/ou paracompletas preservando todas as características da lógica clássica que não violem as qualidades deviantes da negação pretendidas por cada uma delas.

  6. OLIVEIRA, J. P., LIMA, W.,BARRETO, J. M., Extração de Conhecimentos e Refinamento do Treinamento de Redes Neurais Artificiais: Uma Aplicação em Anestesiologia, XII Congresso Brasileiro de Automática, Uberlândia, 1998.

  7. ZIMMERMANN, A. C., D'ANGELO, G. G., BARRETO, J. M., & BORGES, P. S. S., "Um modelo de rede neural  como algoritmo de filtragem de imagens", IV Fórum Nacional de Ciência e Tecnologia em Saúde, Curitiba, PR - BR, 1998.

  8. DIAS, J. S., ZIMMERMANN, A. C., BARRETO, J. M. & BORGES, P. S. S., "Papel do Aprendizado no Algoritmo Genético", Simpósio Brasileiro de Redes Neurais - Sociedade Brasileira de Computação, B. Horizonte, MG - BR, 1998.

    TOPO

1997

  1. BRASIL, L. M.; AZEVEDO, F. M.; BARRETO, J. M. Learning Algorithm for Connectionist Systems. In: XII Congresso Chileno de Ingenieria Eletrica, Universidad de la Frontera, Temuco, v.II. p.697-702,1997.

  2. BRASIL, L. M.; AZEVEDO, F. M.; BARRETO, J. M.; OJEDA, R. G. A Hybrid Architecture for Expert Systems. In: VIII International Conference on Medical and Biological Engineering and XI International Conference on Medical Physics, Medical and Biological Engineering and Computing, Journal of the International Federation for Medical and Biological Engineering, Nice, France, p.517,1997.

  3. BRASIL, L. M.; AZEVEDO, F. M.; BARRETO, J. M.Uma Arquitetura Híbrida para Sistemas Especialistas. In: III Congresso Brasileiro de Redes Neurais, Florianópolis, SC: Duplic. L.Caloba & J.M. Barreto (editores), p.167-172, 1997.

  4. Buchsbaum, A. R. V. & Pequeno, T. H. C., "A General Treatment for the Deduction Theorem in Open Calculi", Logique et Analyse no 157 ­ janeiro a marco de 1997 ­ pp. 9-29.  Comentário: Um estudo generalizado da introdução da implicação material em cálculos axiomáticos abertos, e das principais relações de conseqüência envolvidas.

  5. GIL, S. Q., SOUZA L., FIALHO, F.P.; ALMEIDA, M.A. F. A vida pede licença para entrar na Escola. In: Anais da 49a Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, V.II, Educação,B.6-192, p.412, Universidade Federal de Minas Gerais, Belo Horizonte, julho, 1997.

    TOPO

1996

  1. BRASIL, L. M., AZEVEDO, F. M., OJEDA, R. G, BARRETO, J. M. A Methodology For Implementing Hybrid Expert Systems. In: MELECON'96 - 8TH IEEE Mediterranean Electrotechnical Conference, Bari. Bari, Itália: IEEE, p.661-664,1996. 

  2. COLLAZOS, K.;  BARRETO, J.M.; NASSAR, S. M. , Raciocínio por analogia Fuzzy para diagnóstico médico: taxa de aprendizado por base de dados. In Forum de Ciência e Tecnologia em Saúde, Campos de Jordão, p.623-624,13-17/10/1996.

  3. COLLAZOS, K.;  BARRETO, J.M.; NASSAR, S. M., Fuzzy analogical reasoning for medical diagnosis, In: 3rd Internet World Congress on Biomedical Sciences, Riken, Japão, Paper AF01206, 6 pages, Nov-Dec 1996.

  4. COLLAZOS, K.;  BARRETO, J.M.; NASSAR, S. M., Lógica Fuzzy para el Tratamiento de la Incerteza en el Raciocínio Médico. In: Anales del 7o Simposio Latino Americano de Ingeniería Biomédica, Bucaramanga, Santander, Colombia, 1996.

  5. Roisenberg, M.; Barreto, J. M.; Azevedo, F. M.; “Specialization versus Generalization in Neural Network Learning for Ballistic Interception Movement”. MELECON'96 - Mediterranean Eletrotechnical Conference, Bari, Italy, 1996. 

    TOPO

Antes 1995

  1. BRASIL, L. M., AZEVEDO, F. M., OJEDA, R. G., BARRETO, J. M. Cooperation of symbolic and connectionist expert systems: techniques to overcome difficulties. In: II Congresso Brasileiro de Redes Neurais, 1995, Curitiba. II-CBRN. CNRN, p.177-182,1995.

  2. Roisenberg, M.; Barreto, J. M.; Azevedo, F. M.; “Generalization Capacity in Artificial Neural Networks - the ballistic trajectory learning case”. II CBRN - Congresso Brasileiro de Redes Neurais, Curitiba, PR, 1995.

  3. Buchsbaum, A. R. V. & Pequeno, T. H. C., "Automated Deduction with Non Classical Negations", Proceedings of 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Abingdon, Reino Unido, 1994, pp. 51-64.   Comentário: Sistemas de tableaux para os cálculos C1, P1 e N1 de da Costa, bem como provas generalizadas de correção e completude destes sistemas com respeito aos respectivos cálculos.

  4. Buchsbaum, A. R. V. & Pequeno, T. H. C., "Uma Família de Lógicas Paraconsistentes e/ou Paracompletas com Semânticas Recursivas", Monografia em Ciência da  Computação no 5/91, Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, 1991. Republicado por Coleção Documentos, Série de Lógica e Teoria da Ciência no 14,  Instituto de Estudos Avançados, Universidade de São Paulo, setembro de 1993.  Comentário: Uma nova geração de lógicas paraconsistentes e/ou paracompletas, descendentes de algumas das lógicas de mesma espécie elaboradas por da Costa, bem como uma base monotônica adequada para uma lógica de defaults, solucionando o problema das extensões anômalas.

  5. Buchsbaum, A. R. V. & Pequeno, T. H. C., "A Reasoning Method for a Paraconsistent Logic", Studia Logica no 52/2 , maio de 1993, pp. 281­289.  Comentário: Um método automático de prova para o cálculo quantificacional paraconsistente C1* de da Costa, baseado em tableaux

  6. BARRETO, J. M., AZEVEDO, F., ZANCHIN I. C., e Neyer, M., Associative Memories In Medical Diagnostic, 10th International Congress on Medical Informatics. Austria, August 19-22 1991.

  7. BARRETO, J. M., De Neyer, M., Qualitative and Quantitative Models of Systems,  IMACS - Annals on Computing and Applied Mathematics Proceedings MIM-S2 '90, Brussels, pg. IV.B.1-1 - IV.B.1-6 SEPT.3-7, 1990. 

  8. LEFEVRE, J., BARRETO, J. , Didactic Microcomputer Simulation in Cardiac Dynamics,  IEEE Frontiers of Engineering and Computing in Helth Care, pg 10.4.1 - 10.4.4 - 1983.   

  9. AZEVEDO, Fernando Mendes de; BARRETO, Jorge Muniz. IMC Scheme Using Neural Networks for Robot Arm. In: X CONGRESSO BRASILEIRO DE AUTOMÁTICA E VI CONGRESSO LATINOAMERICANO DE CONTROLE AUTOMÁTICO, 1994. p. 891-896.

  10. DAZZI, Rudimar Luís Scaranto; BARRETO, Jorge Muniz. Sistemas Especialistas Conexionistas em Reumatologia Implementação por Redes Diretas e Bidirecionais. Revista Alcance, UNIVALI: Itajaí, SC, v. 8, p. 107-115, 2001. 

TOPO