Josefino Cabral MELO LIMA
possui bacharelado em Matemática pela Universidade Federal do Ceará (1982), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1985), doutorado em Computação pela Université Pierre et Marie Curie Paris VI (1992) e pós-doutorado em Computação pela Université Pierre et Marie Curie Paris VI (1995). Atualmente é professor titular da Universidade Federal do Rio de Janeiro; Coordenador de Integração Acadêmica das Pós-Graduações e Vice-Decano do Centro de Ciências Matemáticas e da Natureza UFRJ-CCMN; Vice-Presidente do Conselho Curador UFRJ-FUJB; Conselheiro do Fórum de Ciência e Cultura UFRJ-FCC; Membro da Comissão Gestora do INMETRO-PRONAMETRO (Programa Nacional de Apoio ao Desenvolvimento da Metrologia); Representante das áreas de pesquisa Sistemas de Computação (mestrado) e Sistemas Complexos Adaptativos (doutorado), e Chefe do grupo MASI (Metodologia e Arquitetura de Sistemas Inteligentes) do Programa de Pós-Graduação em Informática UFRJ-PPGI. Trabalha em Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: sistemas adaptativos inteligentes, robótica-biorrobótica, machine learning e modelagem não-linear. É orientador de Mestrado e de Doutorado.
Informações coletadas do Lattes em 31/08/2023
Acadêmico
Formação acadêmica
Doutorado em Doctorat en Informatique
1988 - 1992
Université Pierre et Marie Curie (Paris 6)
Título: SINTONIA: vers un système intelligent pour la construction des diagnostics dans les tuteurs d?informatique
Orientador: Françoise MADAULE
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Artificial Intelligence; Object Orientation; Reasoning Modeling; Diagnosis Processes; Computation and Education; Contextual Systems. Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Informática
1983 - 1985
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: DBTGINHO/CAD - Um sistema de gerência de banco de dados para aplicações não convencionais, Ano de Obtenção: 1985
Rubens NASCIMENTO MELLO.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Aplicacoes Cad/Cam; Banco de Dados Nao Convencionais; Complexibilidade da Modelagem do Dado; Inteligência Artificial; Representação de Conhecimentos; Reasoning Modeling. Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Graduação em Bacharelado em Matemática
1979 - 1982
Universidade Federal do Ceará
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Pós-doutorado
1993 - 1995
Pós-Doutorado. , Université Pierre et Marie Curie (Paris 6), UPMC, França.
Formação complementar
1983 - 1983
Extensão universitária em Programação de Computadores. (Carga horária: 60h). , Instituto de Matemática e Estatística, IME USP, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Latim
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Fuzzy Robotic.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial Computacional.
Organização de eventos
Lucena, A. ; XAVIER, A. E. ; BRAGA, Antonio ; PEDREIRA, C. ; RIBEIRO, C. ; LIMA, C. ; CRUZ, Adriano Joaquim de Oliviera ; FRANÇA, Felipe Maia Galvão ; DEGREGORIO, M. ; MACULAN, N. F. . The 9th International Conference on Complex, intelligent, and Software Intensive System. 2015. (Congresso).
LIMA, C. . Bio-inspired Computing and Applications Workshop. 2013. (Congresso).
LIMA, C. . Bio-inspired Computing and Applications Workshop. 2013. (Congresso).
LIMA, C. . SBIE - SBC - Simpósio Brasileiro de Informática na Educação - Comissão de Programa. 2007. (Congresso).
LIMA, C. . XV Simpósio Brasileiro de Informática na Educação. 2004.. 2004. (Congresso).
LIMA, C. . XIV Simpósio Brasileiro de Informática na Educação. 2003. 2003. (Congresso).
Participação em eventos
CEDERJ/Atividade de Extensão: IV Semana Acadêmica.Raciocínio Lógico e Ciência da Computação: Simbiose e Dependência. 2013. (Simpósio).
CAPES - Portal Periódicos.CAPES. 2003. (Outra).
III CAREM. Tercera Conferencia Argentina de Educación Matemática. 2003. (Congresso).
XIV Simpósio Brasileiro de Informática Aplicada ao Ensino. Sociedade Brasileira de Computação -SBC- Simpósio Brasileiro de Informática na Educação - SBIE-. 2003. (Congresso).
XIV Simpósio Brasileiro de Informática Aplicada ao Ensino. XIV Simpósio Brasileiro de Informática Aplicada ao Ensino SBIE da Sociedade Brasileira de Computação SBC. 2003. (Congresso).
Grupo de Pesquisa.CNPq. 2001. (Outra).
IV Brazilian-International Conference on Cognitive Science. IV Brazilian-International Conference on Cognitive Science. 2000. (Congresso).
4 InfoEducar. Formação de recursos humanos utilizando as NTIC. 1999. (Congresso).
4 InfoEducar. Aspectos formais e implantação de ensino a distância. 1999. (Congresso).
4 InfoEducar.. Criação de uma Universidade Aberta. 1999. (Congresso).
ATIEF.Association des Technologies de l'Information pour l'Education et la Formation. 1999. (Outra).
CALISNET.Network of correspondents sharing interest in Computer Aided Learning and Instruction in Sciences and Engineering.. 1999. (Outra).
Ciência cognitiva: a questao da interdisciplinaridade.Projeto Ciência Cognitiva: a questao da interdisciplinaridade.. 1999. (Outra).
Educaçao a Distância: os projetos atuais e as perspectivas.Educaçao a Distância: os projetos atuais e as perspectivas. 1999. (Seminário).
Seminários da Pós-Graduação.Você afirma que tem raciocínio lógico? Então demonstre logicamente sua afirmação.. 1999. (Seminário).
10th International Conference on Systems Research, Informatics and Cybernetics of The Internacional Institute for Advanced Studies in Systems Research and Cybernetic. 10th International Conference on Systems Research, Informatics and Cybernetics of The Internacional Institute for Advanced Studies in Systems Research and Cybernetics.. 1998. (Congresso).
10th International Conference on Systems Research Informatics and Cybernectics. 10th International Conference on Systems Research Informatics and Cybernectics.. 1998. (Congresso).
2 Encontro com a comunidade. UENF.Perspectiva de pós-graduaçao em ciência da computaçao no exterior.. 1998. (Encontro).
3rd Brazilian/International Meeting of Cognitive Science. 3rd Brazilian/International Meeting of Cognitive Science. 1998. (Congresso).
3 InfoEducar. Software educativo inteligente.. 1998. (Congresso).
3 InfoEducar. Formação de Recursos Humanos em Educação a Distância.. 1998. (Congresso).
Io. Encontro de Informação.Navegação, autonomia e contrôle do Io. Encontro de Informação, Conhecimento e Aprendizagem.. 1998. (Encontro).
Livro "1001 CEARENSES NOTÁVEIS".Citação em Livro. 1998. (Outra).
Livros de computação.Conselho Editorial. 1998. (Outra).
O dia nacional da França. Rotary Club, Campos. Julho, 1998..O dia nacional da França.. 1998. (Seminário).
Seminários da Pós-graduação.Projeto Europeu CEE/AL ALFA.. 1998. (Seminário).
Seminários da Pós-graduação.Como Elaborar um Projeto CAPES/COFECUB. 1998. (Seminário).
9th International Conference on Systems Research Informatics and Cybernectics. 9th International Conference on Systems Research Informatics and Cybernectics.. 1997. (Congresso).
9th International Conference on Systems Research Informatics and Cybernetics,. 9th International Conference on Systems Research Informatics and Cybernetics.. 1997. (Congresso).
International Symposium on Culture of Peace of The Internacional Institute for Advanced Studies in Systems Research and Cybernetics. International Symposium on Culture of Peace of The Internacional Institute for Advanced Studies in Systems Research and Cybernetics.. 1997. (Congresso).
Jornada de Computação da UCB.Informática na Escola.. 1997. (Seminário).
Membro de Diretoria.Sociedade Brasileira de Ciências Cognitivas. 1997. (Outra).
Projeto PROIN/CAPES/UFC.O estado da arte em softwares educativos.. 1997. (Seminário).
Semana do Saber Saber Fazer.Inteligência artificial: sistemas tutoriais inteligentes.. 1997. (Seminário).
Sócio Fundador.Associação Científica. 1997. (Outra).
Symposium on Computer Cybernetics. 9th International Conference on Systems Research Informatics and Cybernetics of The Internacional Institute for Advanced Studies in Systems Research and Cybernetics.. 1997. (Congresso).
Workshop de Computação do Centro de Ciências Agrárias/UFC, Fortaleza, 1997..What means remote education in terms of our old fashioned curricula?. 1997. (Simpósio).
2nd Brazilian/International Meeting of Cognitive Science. 2nd Brazilian/International Meeting of Cognitive Science.. 1996. (Congresso).
2nd Brazilian International Meeting of Cognitive Sciences. 2nd Brazilian International Meeting of Cognitive Sciences.. 1996. (Congresso).
8th Internat. Conf. on Systems Research Informat. and Cybernet.. Symposium on Computer Cybernetics.. 1996. (Congresso).
8th International Conference on Systems Research Informatics and Cybernetics. 8th International Conference on Systems Research Informatics and Cybernetics. 1996. (Congresso).
Ciclo de palestras A História da Matemática.A História da Matemática.. 1996. (Encontro).
EuroAIED'96 - European Conference on AI in Education. EuroAIED'96 - European Conference on AI in Education.. 1996. (Congresso).
EXPERSYS'96. EXPERSYS'96. 1996. (Congresso).
Iniciando o Ciclo Básico Comum da UENF,.O que é a ciência da computação.. 1996. (Seminário).
InterSymp'96 Conference on Systems Research, Informatics and Cybernetics,. InterSymp'96 Conference on Systems Research, Informatics and Cybernetics.. 1996. (Congresso).
Semana "Informática Educativa", UFRJ/UENF..Semana Informática Educativa. 1996. (Encontro).
Semana Científica da UENF.Organizaçao funcional de informações.. 1996. (Seminário).
Semana de Informática Educativa. Informática Educativa.. 1996. (Congresso).
Seminários Científicos da Pós-Graduação.Ciência da computação: estado da arte e aplicações inteligentes.. 1996. (Seminário).
Seminários da Pós-Graduação.A estruturação da pesquisa em informática: o estado da arte.. 1996. (Seminário).
Seminários de Pesquisa do Laboratório de Ciências Cognitivas.Memory morphology and Mathematics: Pierce and Contemporany Neurostudies towards an abstract viewpoint.. 1996. (Seminário).
Workshop de Computação do Centro de Ciências Agrárias/UFC, Fortaleza, 1996..Development of curricula for new universities: an approach based on object notation.. 1996. (Simpósio).
XIV Simbósio Brasileiro de Redes de Computadores. Diagnósticos e ajudas contextuais em sistemas de ensino a distância.. 1996. (Congresso).
8 th International Conference on Systems Research Informatics and Cybernectics. 8 th International Conference on Systems Research Informatics and Cybernectics. 1995. (Congresso).
CalMet95 - 2nd International Conference on Computer-aided Learning and Distance Learning. CalMet95 - 2nd International Conference on Computer-aided Learning and Distance Learning.. 1995. (Congresso).
ECCS'95 Conférence Européenne de Sciences Cognitives,. ECCS'95 Conférence Européenne de Sciences Cognitives.. 1995. (Congresso).
Grupos de Pesquisa.Associação Científica. 1995. (Outra).
Hypertextes et Hypermedias: Réalizations, Outils et Méthodes,. Hypertextes et Hypermedias: Réalizations, Outils et Méthodes.. 1995. (Congresso).
Journées des Recherches.Thinking about learning and remote teaching.. 1995. (Seminário).
Journées des Recherches.On Computer based Cooperative Learning.. 1995. (Seminário).
7 th International Conference on Systems Research Informatics and. 7 th International Conference on Systems Research Informatics and Cybernectics.. 1994. (Congresso).
Maître de Conférences.Entidade Estrangeira. 1994. (Outra).
Société des Personnels Enseignants et Chercheurs en Informatique de France.Entidade Estrangeira. 1994. (Outra).
Uk Open University Seminars.Come back to the past (or the future): Dream or Reality?. 1994. (Seminário).
.Entidade Internacional. 1993. (Outra).
.CNPq. 1993. (Outra).
10 th International Conference TOOLS Europe. 10 th International Conference TOOLS Europe 93.. 1993. (Congresso).
4ème Symposium sur les Recherches Brésiliennes en France.4ème Symposium sur les Recherches Brésiliennes en France.. 1993. (Simpósio).
Association Enseignement Publique Informatique de France.Association Enseignement Publique Informatique de France.. 1993. (Seminário).
Association Française des Sciences et Technologies de l'Information et des Systèmes. Associação Científica. 1993. (Congresso).
Deuxièmes Journées Francophones Hypermédias et Apprentissage,.Deuxièmes Journées Francophones Hypermédias et Apprentissage.. 1993. (Encontro).
EPI.Entidade Estrangeira. 1993. (Outra).
IEEE International Conference on Computer Aided Engineering. IEEE International Conference on Computer Aided Engineering Education - CAEE'93.. 1993. (Congresso).
International Computer Assisted Learning Conference - CAL'93,. International Computer Assisted Learning Conference - CAL'93. 1993. (Congresso).
International Workshop on Computer Aided Education - Design and. International Workshop on Computer Aided Education - Design and Evaluation of CAE Systems - Software Quality Aspects.. 1993. (Congresso).
InterSymp'93 Conference on Systems Research, Informatics and. InterSymp'93 Conference on Systems Research, Informatics and Cybernetics.. 1993. (Congresso).
Laboratoire de Formes et Intelligence Artificielle.Modèle de Réponses Structuré: une recherche dans FORCE.. 1993. (Seminário).
Second European Workshop on Modelizing Autonomous Agents and. Second European Workshop on Modelizing Autonomous Agents and Multi-agents Worlds. 1993. (Congresso).
Seminaires des Recherches.Decoupling Interface and Implementation: the TOOL solution.. 1993. (Seminário).
. Associação Profissional. 1992. (Congresso).
.Associação Científica. 1992. (Outra).
6 th International Conference on Systems Research Informatics and. 6 th Conference on Systems Research, Informatics and Cybernetics.. 1992. (Congresso).
Congrés sur Intelligence Artificielle.SINTONIA: a System for Intelligent Tutoring based on an Object Notation Interacting with the Author.. 1992. (Seminário).
International Conference on CAEE. International Conference on CAEE. 1992. (Congresso).
Laboratoire d'Enseigment Assisté par Ordinateur.Diagnostic d'Intention et Modèles de Réponses Structurés: un outil pour la construction de tutoriels intelligents dans FORCE.. 1992. (Seminário).
Deuxièmes Journées EIAO de Cachan.Deuxièmes Journées EIAO de Cachan.. 1991. (Encontro).
Hypermédias et Apprentissages, Premières Journées Scientifiques.. Hypermédias et Apprentissages, Premières Journées Scientifiques.. 1991. (Congresso).
International Conference on Computer Aided Learning and Instruction in Science and Engineering.. International Conference on Computer Aided Learning and Instruction in Science and Engineering.. 1991. (Congresso).
InterSymp'91 Conference on Systems Research, Informatics and Cybernetics. InterSymp'91 Conference on Systems Research, Informatics and Cybernetics.. 1991. (Congresso).
Seminaires d'Intelligence Artificielle et Formation.FORCE, un format objet de représentation des connaissances éducatives.. 1991. (Seminário).
5 th Conference on Systems Research, Informatics and Cybernetics. 5 th Conference on Systems Research, Informatics and Cybernetics.. 1990. (Congresso).
Association Française des Sciences et Technologies de l'Information.FORCE, un format objet de représentation des connaissances éducatives.. 1990. (Seminário).
GT Technologie de l'Information pour l'Éducation et la Formation. SINTONIA : vers un système intelligent pour la construction des diagnostics dans les tuteurs d'informatique.. 1990. (Congresso).
IFIP TC3 International Conference on Advanced Research on Computers in Education. IFIP TC3 International Conference on Advanced Research on Computers in Education.. 1990. (Congresso).
International Conference On Computer Aided Training in Science and Technology. International Conference On Computer Aided Training in Science and Technology.. 1990. (Congresso).
Jornada Científica ADITE-CNEAO-ARDEMI.ADITE-CNEAO-ARDEMI, Systèmes Tutoriels Intelligents.. 1990. (Encontro).
Sistemas Tutoriais Inteligentes.Sistemas Tutoriais Inteligentes.. 1990. (Seminário).
InterSymp'89 Conference on Systems Research, Informatics and Cybernetics. InterSymp'89 Conference on Systems Research, Informatics and Cybernetics.. 1989. (Congresso).
Ninth International Workshop Expert System & Their Application. Ninth International Workshop Expert System & Their Application.. 1989. (Congresso).
PRC Intelligence Artificielle. PRC Intelligence Artificielle.. 1989. (Congresso).
4 th International Conference on Systems Research Informatics and Cybernectics. 4 th International Conference on Systems Research Informatics and Cybernectics.. 1988. (Congresso).
Colloque sur l'Évolution de l'Outil Informatique à l'Université. Colloque sur l'Évolution de l'Outil Informatique à l'Université.. 1988. (Congresso).
IMIA International Conference on Informatics. IMIA International Conference on Informatics.. 1988. (Congresso).
4 Simpósio Brasileiro de Inteligência Artificial - SBIA. 4 Simpósio Brasileiro de Inteligência Artificial - SBIA.. 1987. (Congresso).
.Associação Profissional. 1985. (Outra).
1o Simpósio Brasileiro de Banco de Dados.1o Simpósio Brasileiro de Banco de Dados. 1985. (Simpósio).
.Associação Científica. 1984. (Outra).
.SBC. 1984. (Outra).
IV congresso nacional da SBC. IV congresso SBC. 1984. (Congresso).
Participação em bancas
LIMA, Priscila M Vieira;FRANÇA, Felipe Maia Galvão; MACULAN, N. F.;LIMA, C.. PERFORMANCE INDICATORS FOR EMISSIONS REPORTING BASED ON ARTIFICIAL INTELLIGENCE. 2022. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
CARMO, L. F. R. C.; FARIAS, C. M.;LIMA, C.; BOCCARDO, D. R.; B. PRADO, C.. Processamento Seguro em Nuvem de Smart Meters. 2022. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.;LIMA, C.; FARIAS, C. M.; PAIXÃO, J. A. R.; FIGUEREDO, D. R.. DESIGNING NETWORK-FRIENDLY RECOMMENDERS THAT ACCOUNT FOR QOS, FAIRNESS AND COVERTNESS. 2022. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.;LIMA, C.; FIGUEREDO, D. R.; MURAI, F.. Teoria dos Jogos Hedônicos Aplicada ao Problema de Detecção de Comunidade. 2021. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.;LIMA, C.; FARIAS, C. M.;FRANÇA, Felipe Maia Galvão; CARVALHO, D. S.. Risk analysis of computer systems via modeling of time series of vulnerability events. 2020. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FARIAS, C. M.;LIMA, C.; BRANCALION, J. F. B.; SANTOS, I. L.; LIMA, Priscila Machado Vieira. Athena: A Multisensor Knowledge Fusion Heuristics for the Internet of Things. 2019. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CACHO, N. A.; THOMË, A.; MOTTA, B.;LIMA, C.; SABINO, D.. A Tourism Multi-user Recommendation Approach Based on Social Medias Photos. 2019. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
FRANÇA, Felipe Maia Galvão; CARVALHO, D. M. A.; BARBOSA, Valmir Carneiro;LIMA, C.; RIBEIRO, P. C. M.. BUS LINE TRAJECTORIES CLASSIFICATION USING WEIGHTLESS NEURAL NETWORKS. 2018. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, Priscila M Vieira; CAARLS W.;LIMA, C.; FARIAS, C. M.; SOUZA, A. F.. Negociação no mercado financeiro utilizando a rede neural sem peso WiSARD. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
Dutra, Max S.;LIMA, C.; RAPTOPOULOS, L. S. C.; PINTO, F. A. N. C.. Estudo e proposta de um sistema robótico escalador de superfícies secas de cascos de navios com adesão baseada no mecanismo vórtex. 2016. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal do Rio de Janeiro.
LIMA, C.; CAARLS W.; CRUZ, Adriano Joaquim de Oliviera; LIMA, Priscila M Vieira; Dutra, Max S.; RAPTOPOULOS, L. S. C.. PRM-EB UM NOVO ALGORITMO PARA A OTIMIZAÇÃO DE ROTAS BASEADO NA TEORIA DE APOSTAS. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
GOLDBARG, M. C.; THOMË, A.; GOLDBARG, E. F. G.;LIMA, C.. Comitês de Classificadores Neurais - Estratégias para Construção e Emprego. 2015. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
Dutra, Max S.; PINTO, F. A. N. C.;LIMA, C.. Simulação de processos contínuo e descontínuo utilizando metanol e etanol para a produção de biodiesel. 2015. Dissertação (Mestrado em PEMM - COPPE/UFRJ) - Universidade Federal do Rio de Janeiro.
CAARLS W.; MENASCHE, D. S.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera;FRANÇA, Felipe Maia Galvão. Trading between sampling and computation in reinforcement learning. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe Maia Galvão; XÉXEO, G.;LIMA, C.. Extração de regras de redes sem peso WISARD através de suas imagens "mentais". 2015. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
TOLEDO, R. P. R.; CRUZ, Adriano Joaquim de Oliviera;LIMA, C.FRANÇA, Felipe Maia Galvão; FARIAS, C. M.. Otimização automática do design de páginas web com base na análise das interações de usuários. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FERRENTINI, F.; ELIA, Marcos da Fonseca;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; MIRANDA, L. C.. LabVad: Desenho e Implementação do Laboratório Virtual de Atividades Didáticas com Robótica. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
MOTTA, Cláudia Lage Rebello da; LIMA, Priscila M Vieira;LIMA, C.; OLIVEIRA, Carlo Emmanoel Tolla de; SIQUEIRA, S. W. M.. Um engenho evolutivo de avaliação de processos cognitivos para encaminhamento de aprendizagem. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; ROSSETTO, S; CLUA, E. W. G.. Aprendizagem com lógica nebulosa usando GPU Computing aplicada a jogos. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; DELGADO, C. A. D. M.;FRANÇA, Felipe Maia Galvão; ROSSETTO, S. Um modelo de personalidades aplicado a um jogo eletrônico. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe Maia Galvão; XAVIER, A. E.; BRAGA, A. P.; GAMA, J. M. P.;LIMA, C.. Uma arquitetura para agrupamento de dados em fluxo contínuo baseada em redes neurais sem pesos. 2012. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; MOTTA, Cláudia Lage Rebello da;ANDRADE, L, C. V.. Modelo Inteligente para Avaliação de Competências. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
THOMÉ, Antônio Carlos Gay;LIMA, C.; FARIS, R.C.; BORGES, A. S.; VELLASCO, M.M.B.R.. Reconhecimento facial: estudo e proposição de novas abordagens. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHMITZ, E.;SOARES, Adriana Benevides. Proposta de um modelo computacional, biologicamente realista, simulando a resposta cerebral humana a um agente estressor externo. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHMITZ, E.; AZEVEDO, L. C.. Modelo computacional dos circuitos cerebrais de atenção e memória emocional. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHMITZ, E.; OLIVEIRA, A. A. F.. Neurociências e machine learning: modelo computacional de condicionamento por medo como parte do programa de planejamento de um robô.. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay;LIMA, C.; F. LEITE, K. T.. Analise e proposta de controladores para navegacao autonoma de um robo inteligente. 2010. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CAMPOS, M. L.; SILVA, J. C. P.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; LIMA, Priscila M Vieira; VASCONCELOS, A. T. R; HASENCLEVER BORGES, C.C.. Uma Abordagem baseada em Computação Evolucionista para o Problema da Regulação Gênica. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
THOMÉ, Antônio Carlos Gay;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; Baptista, E; FARIS, R.C.. Detecção de Presença de Veículos: uma abordagem por sensor virtual. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera; OLIVEIRA, Carlo Emmanoel Tolla de; SANTOS, U. P.; MEIRELLES, M. S. P.; MENDONCA, L. F;LIMA, C.. Uma Metodologia para Análise de Séries Temporais do Sensor Modis. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.FRANÇA, Felipe Maia Galvão; THOMÉ, Antônio Carlos Gay. Aperfeiçoando Algoritmos Genéticos para Ambientes Não-Estacionários. 2009. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; THOMÉ, Antônio Carlos Gay; OLIVEIRA, A. A. F.. Uma máquina de estados nebulosa para um modelo de emoções aplicado a um personagem de um jogo eletrônico. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; THOMË, A.; OLIVEIRA, A. A. F.; CRUZ, Adriano Joaquim de Oliviera. Uma proposta de solucao algoritmica para monitoracao de processos industriais: aplicacao de processamento de imagens na deteccao de niveis de liquidos. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
THOMÉ, Antônio Carlos Gay;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; FARIS, R.C.. Classificacao de veiculo em sistema visual de monitoracao de transito. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.; CRUZ, Adriano Joaquim de Oliviera; AZEVEDO, L. C.. Modelagem computacional do condicionamento por medo. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
OLIVEIRA, Carlo Emmanoel Tolla de; SANTOS, E. O.;LIMA, C.; ELIA, Marcos da Fonseca. Pyndorama: uma abordagem para a produção de jogos textuais por alunos e professores. 2008. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANCO, Carlos; MATTOS, Paulo;LIMA, C.; SILVA, R. L. S.. Ambiente virtual 3D no apoio ao diagnóstico de TDAH. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
THOMÉ, Antônio Carlos Gay; FARIS, R.C.;LIMA, C.; ANIDO, M.L.. Estudo de técnicas utilizadas no reconhecimento de identidade por impressões digitais. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; FRANÇA, Felipe; ELIA, Marcos da Fonseca. JogaVox: ferramenta e estratégias para construção de jogos para deficientes visuais. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliveira;LIMA, C.FRANÇA, Felipe Maia Galvão. Criação de Oponentes Virtuais com Características Realistas em Jogos Eletrônicos através de Técnicas de Inteligência Computacional. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliveira; PACHECO, Marco Aurélio Cavalcanti;FRANÇA, Felipe Maia Galvão. Análise de estabilidade e robustez de controladores nebulosos: aplicação ao controle de trajetória de robôs. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
SOARES, Adriana BenevidesLIMA, C.; SANTOS, Angela Rocha dos; MOTTA, Cláudia Lage Rebello da; ELIA, Marcos da Fonseca. As demonstrações e a formação do professor de matemática: um estudo sobre a contribuição dos ambientes de geometria dinâmica. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.; CALOBA, L. P.; AZEVEDO, L. C.. UMA ABORDAGEM COMPUTACIONAL E CONEXIONISTA SOBRE O SISTEMA DE MEMÓRIA EMOCIONAL. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
THOMÉ, Antônio Carlos Gay;LIMA, C.; SEIXAS, J. M.. Um comitê de redes neurais para reconhecimento de caracteres manuscritos. 2006. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
OLIVEIRA, CarloLIMA, C.; BARROS, Márcio; PACHECO, Ageu. Olympus - ferramenta de modelagem UML colaborativa. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; GONÇALVES, Adilson; PACHECO, Ageu. Um estudo sobre álgebra em sistemas computacionais formativos. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; OLIVEIRA, Carlo Emmanoel Tolla de; KON, Fabio. Dedalus: um Ambiente distribuído para Auto-Hospedagem de Conteúdos e Comportamentos. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
COSTA, Helder Gomes; FERES, Marcelo Machado;LIMA, C.; CORTES, Jacqueline Magalhães Rangel. Proposta metodológica para estimativa de esforço em processos de desenvolvimento de sistemas computacionais. 2005. Dissertação (Mestrado em Informática Aplicada) - S B I.
SOARES, Adriana Benevides; BUSTAMANTE, Sílvia Branco Vidal;LIMA, C.; MOTTA, Cláudia Lage Rebello da. Formação de vínculo no chat: o real e o virtual em dialética no contexto social. 2005. Dissertação (Mestrado em Psicologia (Psicologia Social)) - Universidade Gama Filho.
LIMA, C.; PROTTI, Fábio; MENEZES, Crediné Silva de;SOARES, Adriana Benevides; PASSOS, Emmanuel Piseces Lopes. EDAC: um sistema orientado a objetos para a representação de conhecimentos e inferências cognitivas em estrutura de dados e algoritmos correlacionados. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe; BARBOSA, Valmir Carneiro;LIMA, C.; PROTTI, Fabio; FARIA, Luerbio. Escalonamento Distribuído por Reversão de Arestas com Reconfiguração Dinâmica de Carga. 2004. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MENDES, Sueli; CARVALHO, Roberto Lins de; CAMPOS, Fernanda Claudia Alves. CUTE - Um chatterbot para o ensino de língua inglesa: Um estudo sobre PLN e IAE. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.SOARES, Adriana Benevides; PROTTI, Fábio; GONÇALVES, Adilson; WANDERLEY, Augusto José Maurício; MARTINS, Neide Felisberto. O uso de softwares de geometria dinâmica para o desenvolvimento de habilidades cognitivas: uma aplicação em alunos do ensino médio. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.SOARES, Adriana Benevides; GONÇALVES, Adilson; WANDERLEY, Augusto José Maurício; RIBEIRO, Neyde Felisberto Martins. Jogar e Aprender: a Informática no Ensino de Álgebra Elementar. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; RAMALHO, Geber Lisboa; THOMÉ, Antônio Carlos Gay. Estratégias Adaptativas e Evolutivas em Tempo Real para Jogos Eletrônicos. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MENEZES, Crediné Silva de; PESSOA, José Marques; TAVARES, Orivaldo Lira. Um ambiente para geração semi-automática de categorias. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
LIMA, C.; MENEZES, Crediné Silva de; TAVARES, Orivaldo Lira. Identificação e agrupamento de consultas similares em ambientes de esclarecimentos de dúvidas. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
LIMA, C.; OLIVIERA, Carlo Emmanoel Tolla de; FUKS, Hugo; JONATHAN, Miguel. Padrões de Projeto: reificações cognitivas e aplicabilidades sistemáticas. O sistema Lesoop. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.SOARES, Adriana Benevides; OLIVEIRA FILHO, G.. As representações mentais na resolução de problemas matemáticos relacionados à aritmética - desafios e implicações nas ciências cognitivas.. 2002. Dissertação (Mestrado em Ciências Cognitivas) - Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.; MOURA, Ana Maria de Carvalho; PASSOS, E. P. L.; OLIVEIRA, C. E. T.. TOOHELP: Um ambiente para aprendizagem de tecnologias de orientação a objetos, integrável a plataformas de educação a distância. 2002. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
LIMA, C.; FERRENTINI, F.; MOTTA, Cláudia; CAMPOS, G.. GD-IBIS: grupo de discussão para Web no contexto de educação a distância.. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MENEZES, C.. Aplicando Técnicas de Recuperação de Informação para Facilitar a interação em Ambientes Cooperativos: Uma abordagem multiagentesagentes.. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
LIMA, C.; THOMË, A.;CRUZ, Adriano; LANDIM, F. M. P. F.. Uma ferramenta para análise fundamentalista de investimentos em empresas utilizando sistemas neuro-nebulosos.. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; PASSOS, E. P. L.; VELLASCO, M. M B R. Mineração de dados com técnicas de Roughsets.. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.
LIMA, C.; PASSOS, E. P. L.. Aplicação de técnicas de mineração de dados: estudo de caso em marketing direto. 2000. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
LIMA, C.; MENEZES, C.. Um ambiente multi-agente para recuperação de informação. 1999. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
LIMA, C.; FRANÇA, Felipe. Uma implementação paralela e distribuída de gamma estruturada. 1999. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MENEZES, C.. Multatis: uma arquitetura multi-agente para a autoria de tutores inteligentes. 1999. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
LIMA, C.; XÉXEO, G.. Alocação dinâmica de objetos em sistemas de banco de dados paralelos. 1999. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.; PASSOS, E. P. L.. GSEOO, ambiente para desenvolvimento de sistemas especialistas, com bases de conhecimentos que suportam heranca. 1996. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
LIMA, C.; PASSOS, E. P. L.. Um hypertexto com sistema especialista médico embutido.. 1996. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
LIMA, C.; PASSOS, E. P. L.. Sistema híbrido: rede neural integrada com sistema especialista para diagnóstico de falhas.. 1995. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
LIMA, C.; PASSOS, E. P. L.. Interface em lingaugem natural para consultas a banco de dados.. 1995. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
LIMA, C.; PASSOS, E. P. L.. Compilador Prolog/IME. 1988. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
LIMA, C.; PASSOS, E. P. L.. Extensões e aperfeiçoamento do compilador Prolog/IME. 1988. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
CARMO, L. F. R. C.; MELO JR, W. S.;LIMA, Cabral; FARIAS, C. M.; BOCCARDO, D. R.; B. PRADO, C.. Usando as propriedades físicas dos componentes dos medidores inteligentes para torná-los mais seguros. 2022. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.;LIMA, C.; FARIAS, C. M.; PEDREIRA, C. E.; MURAI, F.. Aprendendo a Classificar com poucos atributos e amostras. 2021. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.; FARIAS, C. M.;LIMA, C.; FIGUEREDO, D. R.; ROCHA, A. A. A.; ZIVIANI, A.. Filters for Social Media Timelines: Models, Biases, Fairness and Implications. 2019. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe Maia Galvão; MACULAN, N. F.; SIMONETTI, L. G.; PROTTI, Fabio; NERY, A. S.;LIMA, C.. Paralelização da reconstrução de geometrias moleculares. 2019. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
Dutra, Max S.; Rochinha, F. A.;LIMA, C.; SLAMA, J. G.; LIMA, Priscila M Vieira; Meggiolaro, M. A.. Uma contribuição à localização autônoma em operações submarinas de inspeção e intervenção com veículos operados remotamente. 2018. Tese (Doutorado em COPPE - Engenharia Mecânica) - Universidade Federal do Rio de Janeiro.
ROSA, P. F. F.; Goncalves, L. M. G.;LIMA, C.; F. LEITE, K. T.; Pellanda, P. C.. SISTEMA DE AERONAVES REMOTAMENTE PILOTADAS COM ALOCAÇÃO DINÂMICA POR CONTROLE BASEADO NA TAREFA PARA COBERTURA DE ÁREAS COM DIFERENTES PRIORIDADES DE INTERESSE. 2018. Tese (Doutorado em Engenharia de Defesa) - Instituto Militar de Engenharia.
Dutra, Max S.; Rochinha, F. A.;LIMA, C.; SLAMA, J. G.; Meggiolaro, M. A.; LIMA, Priscila Machado Vieira. Controle de veículos operados remotamente com mapeamento e localização simultâneos em operações de inspeção e intervenção submarinas. 2018. Tese (Doutorado em Engenharia Mecânica) - Universidade Federal do Rio de Janeiro.
Dutra, Max S.; Duda, F. P.;LIMA, C.; Lacerda, W. A.; Meggiolaro, M. A.. CONTRIBUICAO AO CONTROLE DE TRACAO APLICADO A VEICULOS TERRESTRES EM SOLOS DEFORMAVEIS. 2017. Tese (Doutorado em COPPE - Engenharia Mecânica) - Universidade Federal do Rio de Janeiro.
SZWARCFITER, J.;CRUZ, AdrianoLIMA, C.; PROTTI, Fábio; OCHO, L. S.. Heurísticas baseadas em apostas para problema de otimização combinatória. 2015. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.
Silva, G. Z.; CRUZ, S. M. S.;LIMA, C.; ISOTANI, S.; XÉXEO, G.; EBECKEN, N. F. F.. Predição do Desempenho Acadêmico de Graduandos Utilizando Mineração de Dados Educacionais. 2015. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
Dutra, Max S.; SLAMA, J. G.;LIMA, C.; Esperança, P. T. T.; Miyagi, P. E.. Operações de transferência de carga offshore, mecanismos de controle e simulação. 2012. Tese (Doutorado em COPPE - Engenharia Mecânica) - Universidade Federal do Rio de Janeiro.
FAMPA, M. H.; CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; XÉXEO, G.; BENEVIDES, M.;ALVES, George. Aliança - Uma Proposta de Arquitetura Para Banco de Dados Nebulosos. 2008. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.CARVALHO, L. A.; BENEVIDES, M.; MATTOS, Paulo; SANTORO, Flávia;SOARES, Adriana Benevides; CRUZ, Adriano Joaquim de Oliviera. Uso de Técnicas Inteligentes para Análise de Transtorno de Déficit de Atenção/Hiperatividade em um Jogo Computacional. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.CARVALHO, L. A.. Ambientes Virtuais na Reabilitação Cognitiva de pacientes neurológicos e psiquiátricos. 2000. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.. Análise através de simulação computacional do perfil de temperatura durante a síntese do diamante policristalino do tipo carbonado.. 1998. Tese (Doutorado em Ciências das Engenharias) - Universidade Estadual do Norte Fluminense Darcy Ribeiro.
MENASCHE, D. S.;LIMA, C.; PEDREIRA, C. E.; CARVALHO, H. T.. A Statistical Learning Theory Approach To Trade Off Between Samples and Features in Classification Problems. 2021. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.
CARMO, L. F. R. C.; MELO JR, W. S.;LIMA, C.; FARIAS, C. M.; BOCCARDO, D. R.. Protegendo medidores inteligentes por meio das propriedades físicas de seus componentes. 2021. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe;LIMA, C.; BARBOSA, Valmir Carneiro. RASTREADOR INTELIGENTE DE OBJETOS. 2019. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.;LIMA, C.; FARIAS, C. M.; SILVA, Edmundo A. S.; ALVRITZER, A.. Modelos Analíticos de Segurança Cibernética. 2019. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.
SZWARCFITER, J.; CRUZ, Adriano Joaquim de Oliviera; PROTTI, Fábio;LIMA, C.. Heurísticas Baseadas em Apostas para Problemas de Otimização Combinatória. 2014. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.
Dutra, Max S.; SLAMA, J. G.;FRANÇA, Felipe Maia GalvãoLIMA, C.; RAPTOPOULOS, L. S. C.. Sistema de estratégias para facilitar a operação de braços robóticos em ambientes não-estruturados. 2013. Exame de qualificação (Doutorando em PEMM - COPPE/UFRJ) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera; FAMPA, M. H.;LIMA, C.; XÉXEO, G.; NETO, R. F.. Aliança - uma proposta de arquitetura para banco de dados nebulosos. 2008. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.CARVALHO, L. A.; CLUA, E. W. G.; MATTOS, Paulo; CRUZ, Adriano Joaquim de Oliveira. Jogos Inteligentes Aplicados à Neuropsicologia. 2007. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.; FRANÇA, Felipe; CLUA, E. W. G.; CRUZ, Adriano Joaquim de Oliveira; BENEVIDES, M.. Gerador de jogos eletrônicos inteligentes. 2007. Exame de qualificação (Doutorando em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.CARVALHO, L. A.; BENEVIDES, M.; MATTOS, Paulo; CRUZ, Adriano Joaquim de Oliviera. Uso de Técnicas Inteligentes para Análise de Transtorno de Déficit de Atenção/Hiperatividade em um Jogo Computacional. 2007. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.; FARIAS, C. M.; Couto, R. S.;LIMA, C.. Natural Language Processing Techniques in Cyber-Crimes Forums Analysis. 2023. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.;LIMA, C.; ALVRITZER, A.; FARIAS, C. M.; RUFINO, V. Q.; DOMINGUES, G. M. B.. Análise sequencial de desempenho de sistemas que envelhecem e rejuvenescem. 2022. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
CARMO, L. F. R. C.; FARIAS, C. M.; Lima, Cabral; B. PRADO, C.; BOCCARDO, D. R.. Processamento Seguro em Nuvem de Smart Meters. 2021. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.; FARIAS, C. M.;LIMA, C.; SERMPEZIS, P.. Can Recommenders Compensate for QoS?. 2021. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.;LIMA, C.; FIGUEREDO, D. R.. Clustering games: eciency, accuracy and characterization. 2019. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
OLIVEIRA, J.; LIMA, Priscila M Vieira;LIMA, C.; XÉXEO, G.. OPINION MINING IN NONSTATIONARY ENVIRONMENTS USING WISARD. 2016. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, Priscila M Vieira; CAARLS W.;LIMA, C.; PEDREIRA, C.. ANÁLISE DE NEGOCIAÇÕES FINANCEIRAS COM REDE SEM PESO E APRENDIZADO POR REFORÇO. 2016. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera; TOLEDO, R. P. R.;LIMA, C.; FARIAS, C. M.. Programação genética para otimização não assistida de interfaces WEB como foco no nogócio. 2015. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.CRUZ, Adriano; KNOPMAN, J.; CAARLS W.. Planejamento de rotas utilizando Probabilistic Roadmaps. 2015. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, AdrianoLIMA, C.; XÉXEO, G.; LIMA, Priscila Machado Vieira. Uma técnica híbrida para a co-criaçao. 2015. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.; CAARLS W.;LIMA, C.; LIMA, Priscila M Vieira. How to use past experience to speed up Actor-Critic reinforcement learning for robot tasks. 2014. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.FRANÇA, Felipe Maia Galvão; CAARLS W.; KNOPMAN, J.. Estudo do método de Slam baseado em graphos aplicados a um robô virtual. 2014. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; PEÇANHA, J.F.M.; BASTOS M., V.;CRUZ, Adriano. Planejamento de rotas para robos via decisoes probabilísticas. 2013. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; PESSANHA, J. F. M.. Treinamento de sistemas nebulosos TSK em GPU. 2012. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; PESSANHA, J. F. M.. Tratamento de Fobias Utilizando Jogos com Biofeedback. 2012. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
OLIVEIRA, Carlo Emmanoel Tolla de;LIMA, C.; ELIA, Marco da Fonseca. Pyndorama: permitindo o acesso de alunos e professores à produção de material didático. 2008. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.
SOARES, Adriana BenevidesLIMA, C.. Formação do vínculo no chat: o real e o virtual em dialética no contexto social. 2004. Exame de qualificação (Mestrando em Psicologia (Psicologia Social)) - Universidade Gama Filho.
LIMA, C.; MOURA, Ana Maria de Carvalho. Um ambiente para aprendizagem de tecnologia de orientação a objetos, integrável a plataformas de EAD - TOOHELP. 2002. Exame de qualificação (Mestrando em Sistemas e Computação) - Instituto Militar de Engenharia.
MENASCHE, D. S.; KAC, B.; RODRIGUES, S.;LIMA, C.; Silva, G. Z.. PROPOSTA DE UMA ARQUITETURA DE UM SISTEMA ASSISTENTE DE DIAGNÓSTICO EM DERMATOLOGIA. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; BASTOS M., V.. Projeto de uma engine para o desenvolvimento de jogos. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliveira;FRANÇA, Felipe Maia GalvãoLIMA, C.. Implementação de um controlador para um robô autônomo. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe Maia Galvão; GOMES, J. G. R. C.;LIMA, C.. Coordenação do trânsito de robôs por meio de computação distribuída. 2013. Trabalho de Conclusão de Curso (Graduação em Engenharia Eletrônica e de Computação) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe Maia Galvão; DIACOVO, R.;LIMA, C.. Uma implementação aberta e distribuída de computação em nuvem. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; MENASCHE, D. S.. Elaboração de um sistema autonomo de navegação por cores. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
THOMË, A.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera. Sistema móvel de combate a fraudes em concursos públicos - elaboração de um protótipo funcional. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
THOMË, A.;LIMA, C.; BORGES, A. S.. Classificação musical por gênero utilizando redes neurais artificiais I.. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
SILVA, J. C. P.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera. Um sistema de visão artificial para o controle de perseguição de movimento. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; SILVA, J. C. P.. Um simulador de emoções utilizando lógica nebulosa. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
THOMË, A.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera. Aprimoramento da análise técnica financeira com o uso de redes neurais artificiais aplicadas à predição de médias móveis. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
FRANÇA, Felipe Maia Galvão; B. PRADO, C.; SILVA, J. C. P.;LIMA, C.. A categorização Automática de Texto através da Rede Neural WISARD. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
GUEDES, S.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera. Automatizando Investimentos utilizando técnicas de redes neurais aplicadas I à precisão de mercado em ações I. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; JONATHAN, Miguel; MOTA, T. C.. Robic: uma plataforma para realização de testes de robos autônomos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
GUEDES, S.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera. DE OLIVEIRA ALVES.Automatizando investimentos utilizando técnicas de redes neurais aplicadas II à previsão de mercado de ações II. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliveira; SILVA, José Henrique Gandra e. O uso de jogos computacionais como ferramenta de ensino de geometria e números relativos. 2006. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Rio de Janeiro.
OLIVEIRA, CarloLIMA, C.; PAIS, Ana Paula. WEBFT-Uma ferramenta para a construção de testes funcionais automatizados de aplicações Web. 2005. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MORAIS, Luis Felipe Magalhães de; LEÃO, Jorge Lopes de Sousa. Análise Forense em Sistemas GNU/Linux. 2005. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; GONÇALVES, Adilson; PROTTI, Fábio; LOPES, Patrícia Regina Abreu. Gráfico de Funções: um estudo via aplicações de softwares. 2004. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MOTTA, Cláudia Lage Rebello da; ELIA, Marcos da Fonseca. Harpa: um ambiente de publicação e adaptação de conteúdo educacional para a WEB 1. 2004. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MOTTA, Cláudia Lage Rebello da; ELIA, Marcos da Fonseca. Harpa: um ambiente de publicação e adaptação de conteúdo educacional para a WEB 2. 2004. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MARQUES, Ivan da Costa;FRANCO, Carlos. FSW, um estudo e um guia. 2004. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; OLIVEIRA, Carlo Emmnanoel Tola de; PAIS, Ana Paula Valente. MEG: Geração automática de interfaces visuais para sistemas de informação. 2003. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; PAIVA, Dalila Muniz. Publicação de Conteúdo e Aplicações em Plataforma Peer-to-Peer. 2003. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MOTTA, Claudia Lage Rebello da; ELIA, Marcos da Fonseca. Hólon I: Uma Plataforma para Educação a Distância. 2003. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; MOTTA, Claudia Lage Rebello da; ELIA, Marco da Fonseca. Hólon II: Uma Plataforma para Educação a Distância. 2003. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.SOARES, Adriana Benevides. O raciocínio humano e as diretrizes lógico-formais. 2002. Trabalho de Conclusão de Curso (Graduação em Ciências Cognitivas) - Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.; OLIVEIRA, C. E. T.; BORGES, A. S.. ACÁDIA: Ambiente de ensino-aprendizagem com ênfase em comunicação gráfica, desenvolvido em plataforma distribuída 1. 2002. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; OLIVEIRA, C. E. T.; BORGES, A. S.. ACÁDIA: Ambiente de ensino-aprendizagem com ênfase em comunicação gráfica, desenvolvido em plataforma distribuída II.. 2002. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; OLIVEIRA, C. E. T.; BORGES, A. S.. Uma plataforma Java 2 para aplicação peer-to-peer. 2002. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.; BORGES, A. S.; OLIVEIRA, C. E. T.. Uma plataforma Java 1 para aplicação peer-to-peer. 2002. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.CRUZ, Adriano; THOMË, A.. Princípios fundamentais da programacão de jogos eletrônicos através de um emulador por software.. 2001. Trabalho de Conclusão de Curso (Graduação em Informática) - Universidade Federal do Rio de Janeiro.
LIMA, C.SOARES, Adriana Benevides; OLIVEIRA FILHO, G.. As representacões mentais na solucão de problemas matemáticos.. 2000. Outra participação, Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.. Projeto e implementacão de banco de dados multiponto para planejamento estratégico.. 2000. Outra participação, Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.SOARES, Adriana Benevides; OLIVEIRA FILHO, G.. As representações mentais na solucão de problemas matemáticos-desafios e implicacões nas ciências cognitivas.. 2000. Outra participação, Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.. Aplic da simulação computac no estudo da distribuição da temperatura na célula reativa utilizada no processo de síntese de diamantes monocristalinos.. 1999. Outra participação, Universidade Estadual do Norte Fluminense Darcy Ribeiro.
SCHOCAR MENDES, C. O.; RINCON, M. A.;LIMA, C.; SANTOS, A. C. F.. Banca de Titular do Professor Sildenir Alves Ribeiro. 2023. Centro Federal de Educação Tecnológica Celso Suckow da Fonseca.
Stelling de Castro, M. C.;LIMA, C.; Dutra, Max S.; Goncalves, L. M. G.. Banca de Titular do Professor Amarildo Teodoro da Costa. 2022. Instituto Militar de Engenharia.
GARCIA, A. C. B.;LIMA, C.; MENEZES, Crediné Silva de; SOUSA, J. M.. Banca de Titular do Professor Sean Wolfgand Matsui Siqueira. 2021. Universidade Federal do Estado do Rio de Janeiro.
TANAKA, A. K.;LIMA, J.C.; CARVALHO, A. P.; CAVALCANTI, M. C. R.. Banca Titular do Professor MÁRCIO DE OLIVEIRA BARROS. 2020. Universidade Federal do Estado do Rio de Janeiro.
PINHEIRO, G. M.;LIMA, C.; SZWARCFITER, J.; DRUMMOND, L. M. A.. Banca Prof. Titular de Claudia Maria JUSTEL. 2018. Instituto Militar de Engenharia.
PINHEIRO, G. M.;LIMA, C.; DRUMMOND, L. M. A.. Banca Prof. Titular de Paulo Fernando FERREIRA ROSA. 2018. Instituto Militar de Engenharia.
PINHEIRO, G. M.;LIMA, C.; SZWARCFITER, J.; DRUMMOND, L. M. A.. Banca Prof. Titular de Maria Cláudia REIS CAVALCANTI - YOKO. 2018. Instituto Militar de Engenharia.
PINHEIRO, G. M.;LIMA, C.; SZWARCFITER, J.; DRUMMOND, L. M. A.. Banca Prof. Titular de Ricardo CHOREN NOYA. 2018. Instituto Militar de Engenharia.
LIMA, C.. Comissão de Avaliação - Matemática. 2000. Universidade Sant'anna.
LIMA, C.; SILVA, F. A.B.; CARVALHO, P. V. R.; CARMO, L. F. R. C.; ROSA, P. F. F.. Presidente banca de Concurso Público para Professor Adjunto da UFRJ. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.; Cunha, P. R. F.; MARQUES, Ivan da Costa; Prates, R.; GARCIA, A. C. B.. Presidente banca de Concurso Público para Professor Adjunto da UFRJ. 2017. Universidade Federal do Rio de Janeiro.
LIMA, C.; MOTTA, Cláudia Lage Rebello da; MARKENZON, L.. Presidente Banca de Concurso Público para Professor Visitante da UFRJ. 2016.
LIMA, C.; LIMA, Priscila M Vieira; MOTTA, Claudia Lage Rebello da. Presidente da Comissão de Homologação de Candidaturas de Concurso Público. 2016. Universidade Federal do Rio de Janeiro.
SZWARCFITER, J.;LIMA, C.; ZIVIANI, A.; ALBUQUERQUE, C. V. N.; PROTTI, Fábio. Concurso Público para Professor Adjunto da UFRJ. 2014. Universidade Federal do Rio de Janeiro.
SILVA, J. C. P.;LIMA, C.; FINGER, M.; MILIDIU, R. L.; VELLASCO, M.M.B.R.; CRUZ, Adriano Joaquim de Oliviera; GARCIA, A. C. B.. Concurso para Professor Adjunto do Departamento de Ciência da Computação. 2010. Universidade Federal do Rio de Janeiro.
BORGES, Marcos Roberto da Silva; HEUSER, C. A.;LIMA, C.; RUBIRA, C. M. F.; SALGADO, A. C.. Concurso para Professor Adjunto do Departamento de Ciência da Computação. 2009. Universidade Federal do Rio de Janeiro.
LIMA, C.CRUZ, Adriano Joaquim; LIMA, Priscila M Vieira; COSTA, Felipe; CUNHA, Adilson. Concurso Público. 2004. Centro Técnico Aeroespacial.
LIMA, C.; DIAS, C. A.. Concurso Público. 2003. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.. Concurso Público. 2000. Universidade do Estado do Rio de Janeiro.
LIMA, C.. Concurso Público. 1998. Universidade do Estado do Rio de Janeiro.
LIMA, C.; DIAS, C. A.. Concurso Público. 1998. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.; CURY, Davidson. Concurso Público. 1998. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.; CURY, Davidson. Concurso Público. 1998. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.; CURY, Davidson. Concurso Público. 1998. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.. Concurso Público. 1997. Universidade Federal do Rio de Janeiro.
LIMA, C.. Concurso Público. 1997. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, C.. Concurso Público. 1994. Université Catholique de Dijon.
LIMA, C.. Concurso Público. 1994. Universidade Federal do Rio Grande do Norte.
LIMA, C.. Concurso Público. 1992. Université Pierre et Marie Curie (Paris 6).
LIMA, C.. Concurso Público. 1986. Universidade Federal do Ceará.
LIMA, C.. Avaliação Instituição de Ensino Superior - MEC. 2009.
LIMA, C.. Avaliação de Instituição de Ensino Superior - MEC. 2009.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2005. Faculdade de Informática de Ouro Preto do Oeste.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2005. Faculdade de Informática de Ouro Preto do Oeste.
CABRAL, M.I.C.;LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2005. Faculdade Metodista de Santa Maria.
LIMA, C.; FRANCO, Neide Maria Bertoldi. Comisão de Avaliação - Sistemas de Informação. 2004. Faculdade de Administração Escola Superior Professor Paulo Martins.
LIMA, C.; TREITINGER, Arício; CORRÊA, Vanessa Petrelli; LANA, Francisco Carlos Felix. Comissão de Avaliação - Ciência da Computação. 2004. Faculdade Alvorada de Educação Física e Desportos.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2004. Faculdade de Informática de Ouro Preto do Oeste.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2004. Faculdade de Administração Escola Superior Professor Paulo Martins.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2004. Faculdade Luiz Eduardo Magalhães.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2004. Faculdade Católica Rainha da Paz de Araputanga Fcarp.
LIMA, C.. Comissao de Avaliação - Sistemas de Informacao. 2004. Faculdade Católica Rainha da Paz de Araputanga Fcarp.
LIMA, C.; BEZERRA, Ed Porto. Comissão de Avaliação - Ciência da Computação. 2003. Centro Universitário da Fundação de Ciências Aplicadas.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade Atual da Amazônia.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade de Ciência de Computação de Cataguases.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade Metodista de Santa Maria.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade Católica Rainha da Paz de Araputanga Fcarp.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade Atual da Amazônia.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade Luiz Eduardo Magalhães.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade Doutor Francisco Maeda Fafram.
SANTANA, Regina Helena Carlucci;LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade de Ciência de Computação de Cataguases.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2003. Faculdade Metodista de Santa Maria.
LIMA, C.. Avaliação de Curso / MEC. 2003.
LIMA, C.. Ministério da Educação. 2002. Diversas Instituiçoes de Ensino Superior Exceto Rio de Janeiro.
LIMA, C.; KULLOK, Maísa Gomes Brandão. Comissão de Avaliação - Sistemas de Informação. 2002. União Dinâmica de Faculdades Cataratas.
LIMA, C.; MAZZUCCO JR, Jose. Comissão de Avaliação - Ciência da Computação. 2002. Centro Universitário do Norte Paulista.
LIMA, C.. Ministério da Educação. 2002. Diversas Instituiçoes de Ensino Superior Exceto Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2002. Faculdades de Ciências Administrativas de Valinhos.
LIMA, C.. Comissão de Avaliação - Licenciatura em Computação. 2002. Faculdades Integradas de São Carlos.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2002. Faculdades Pilares.
LIMA, C.. Ministério da Educação. 2001. Diversas Instituiçoes de Ensino Superior Exceto Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2001. Faculdade de Educação e Ciências Gerenciais de Indaiatuba.
LIMA, C.. Comissão de Avaliação - Sistemas de informação. 2001. Faculdade Santa Adame.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2001. Faculdade Paulista de Informática e Educação.
LIMA, C.. Comissão de Avaliação - Sistemas de Informação. 2001. Faculdade Ad1.
LIMA, C.. Comisão de Avaliação Computação e Informática, Bacharelado em Sistemas de Informação. 2001. Faculdade Paulista de Informática e Educação.
LIMA, C.. Comisão de Avaliação Computação e Informática, Bacharelado em Sistemas de Informação. 2001. Faculdades Ideal.
LIMA, C.. Ministério da Educação. 2000. Diversas Instituiçoes de Ensino Superior Exceto Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - Ciência da Computação. 2000. Universidade Metodista de Piracicaba.
LIMA, C.. Comissão de Avaliação - Ciência da Computação. 2000. Universidade Presbiteriana Mackenzie.
LIMA, C.. Ministério da Educação. 1999. Diversas Instituiçoes de Ensino Superior Exceto Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - Matemática. 1999. Universidade da Grande Dourados.
LIMA, C.. Comissão de Avaliação - Matemática. 1999. União das Faculdades Metropolitanas Unidas.
LIMA, C.. Comissão de Avaliação - Matemática. 1999. Universidade da Grande Dourados.
Lima, Cabral;FRANÇA, Felipe Maia Galvão; FROES, M. M.. Presidente Banca de Avaliação Docente - Progressão. 2021. Universidade Federal do Rio de Janeiro.
FROES, M. M.;LIMA, C.; MACULAN, N. F.. Comissão de Avaliação de Desempenho Profa. Carla Verônica Machado Marques. 2020. Universidade Federal do Rio de Janeiro.
LIMA, C.; VASCONCELOS, N. Q.. Membro Titular de Comissão para Professor Titular representação CONSUNI UFRJ. 2020. Universidade Federal do Rio de Janeiro.
ASSAFIN, M.;LIMA, C.; MELLO, G. F. P.. Membro Titular da Comissão de Promoção Docente. 2019. Universidade Federal do Rio de Janeiro.
BUFONI, A.;LIMA, C.; FROES, M. M.; BORGES, JOSÉ ANTONIO; CLARO, M. V. S.. Membro Titular da Comissão para Avaliação do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia (HCTE),. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. Uma Análise Quantitativa do Papel da QoS nas Preferências por Vídeos. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. CAIXA CÓSMICA SENSORIAL: Proposta de atividade para inclusão de decientes visuais na educação. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. Uma Análise Quantitativa do Papel da QoS nas Preferências por Vídeos. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. Uma Análise Quantitativa do Papel da QoS nas Preferências por Vídeos. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.. Uma Análise Quantitativa do Papel da QoS nas Preferências por Vídeos. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. Origanmi: uma rede adversarial generativa de origamis. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. Origanmi: uma rede adversarial generativa de origamis. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. Gerando Músicas Clássicas com GAN. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. APLICAÇÃO DE APRENDIZADO DE MÁQUINA PARA EXTRAÇÃO DE EMOÇÕES EVOCADAS POR MÚSICAS. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.; VALERIO, J. V.; LIMA, Priscila Machado Vieira. IMPACTO DAS CONDIÇÕES CLIMÁTICAS NA PRÁTICA DE EXERCÍCIOS AO AR LIVRE. 2019. Universidade Federal do Rio de Janeiro.
Lima, Cabral; Nader, V. R.; Silva, D. D.; Bastos, D.R.. Membro Titular de Comissão para Professor representação CEPG e CEU - UFRJ. 2019. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Avaliação Docente (CAD) do Programa de Pós-Graduação em Informática da UFRJ. 2018. Universidade Federal do Rio de Janeiro.
COLLIER, S.;LIMA, C.; TURCI, C. C.. Membro Titular da Comissão de Progressão Docente. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Revalidação de Diploma de Graduação do Curso de Ciencia da Computação. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.; MENASCHE, D. S.; TEIXEIRA, M. G.. Membro Titular da Comissão de Revalidação de Diploma de Pós-Graduação em Ciência da Computação. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.. RELACIONANDO TWEETS E NOTÍCIAS UTILIZANDO WORD MOVER'S DISTANC. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.. NTENÇÕES DE VOTO PARA PRESIDÊNCIA. UM ESTUDO SOBRE A COMPATIBILIDADE ENTRE CANDIDATO E ELEITOR. 2018. Universidade Federal do Rio de Janeiro.
Lima, Cabral. MODELOS DE APRENDIZADO DE MÁQUINA EM SISTEMAS DE WORKFLOWS CIENTÍFICOS. 2018. Universidade Federal do Rio de Janeiro.
LIMA, J.C.. SUMARIZAÇÃO ABSTRATA DE TEXTO USANDO GANS E REINFORCEMENT LEARNING. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.. RISCOS ASSOCIADOS A VULNERABILIDADES DE SOFTWARES: MODELAGEM E PREVISÃO. 2018. Universidade Federal do Rio de Janeiro.
LIMA, J.C.. RECOMENDAÇÃO DE CONTEÚDO E QOE: UM EXPERIMENTO QUANTIFICANDO O IMPACTO DA QOS NAS PREFERÊNCIAS POR CONTEÚDOS. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.. PROJETO ALGPEDIA. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro do Conselho Superior de Coordenação Executiva CSCE UFRJ. 2018. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Avaliação Docente (CAD) do Programa de Pós-Graduação em Informática da UFRJ. 2017. Universidade Federal do Rio de Janeiro.
COLLIER, S.;LIMA, C.; TURCI, C. C.. Membro Titular da Comissão de Progressão Docente. 2017. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Revalidação de Diploma de Graduação do Curso de Ciencia da Computação. 2017. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Revalidação de Diploma de Pós-Graduação em Ciência da Computação. 2017.
LIMA, C.. Membro Titular da Congregação do Instituto de Matemática. 2017. Universidade Federal do Rio de Janeiro.
COLLIER, S.;LIMA, C.; TURCI, C. C.. Membro Titular da Comissão de Progressão Docente. 2016. Universidade Federal do Rio de Janeiro.
COLLIER, S.;LIMA, C.; TURCI, C. C.. Membro Titular da Comissão de Estágio Probatório. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; DELICATO, F.; MENASCHE, D. S.. Membro Titular da Comissão de Revalidação de Diploma de Pós-Graduação em Ciência da Computação. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; ROSSETTO, S. Membro Titular da Comissão de Revalidação de Diploma de Graduação do Curso de Ciencia da Computação. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.. JIC- UFRJ Avaliação de Projetos Submetidos. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; VIGO, D. G. A.; SCHECHTER, L. M.. Análise da vulnerabilidade na whitelist da UAC do windows. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; VIGO, D. G. A.; MENASCHE, D. S.. ANÁLISE DE UMA EXPERIÊNCIA DE USO DE REDES SOCIAIS DIGITAIS NO ENSINO MÉDIO E SUA FUNDAMENTAÇÃO NA INFORMÁTICA APLICADA AO ENSINO. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; VIGO, D. G. A.; SCHECHTER, L. M.. Análise de Notícias disseminadas via Redes Sociais. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; VIGO, D. G. A.; SCHECHTER, L. M.. Um modelo de projeção colaborativa de impacto para o suporte à decisão. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; VIGO, D. G. A.; SCHECHTER, L. M.. Avaliando Técnicas de Codificação Binária para WiSARD. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; VIGO, D. G. A.; SCHECHTER, L. M.. MultiLod Pinger: Implementação de Processo ETL Automatizado de um Grande Volume de Dados. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; MENASCHE, D. S.; DELICATO, F.. Méthodes formelles pour la vérification probabiliste de propriétés de sécurité de protocoles cryptographyques. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Avaliação Docente (CAD) do Programa de Pós-Graduação em Informática da UFRJ. 2016. Universidade Federal do Rio de Janeiro.
LIMA, C.; ROSSETTO, S; CRUZ, Adriano Joaquim de Oliviera. Membro Titular da Comissão de Revalidação de Diploma de Graduação do Curso de Ciencia da Computação. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.; MENASCHE, D. S.; DELICATO, F.. Membro Titular da Comissão de Revalidação de Diploma de Pós-Graduação em Ciência da Computação. 2015.
COLLIER, S.;LIMA, C.; TURCI, C. C.. Membro Titular da Comissão de Progressão Docente. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.. Membro Titular da Comissão de Afastamento Docente. 2015. Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.; CAARLS W.;LIMA, C.CRUZ, Adriano. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Bruno SOUSA CAMPOS. 2015. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano; TOLEDO, R.;LIMA, C.; FARIAS, C. M.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Bruna XAVIER. 2015. Universidade Federal do Rio de Janeiro.
CRUZ, AdrianoLIMA, C.; KNOPMAN, J.; CAARLS W.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Mariam DOS PASSOS AFONSO DA CONCEIÇÃO. 2015. Universidade Federal do Rio de Janeiro.
COLLIER, S.;LIMA, C.; TURCI, C. C.. Membro Titular da Comissão de Estágio Probatório. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.. JIC- UFRJ Coordenador de Sessão. 2015.
LIMA, C.; TEIXEIRA, M. G.; SILVA, J. C. P.. Classificação de fitoplânctons em ambientes aquáticos da costa do Estado do Rio de Janeiro. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.; TEIXEIRA, M. G.; SILVA, J. C. P.. WebTabuas - Sistema WEB de apoio à análise e construção de tábuas biométricas. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.; TEIXEIRA, M. G.; SILVA, J. C. P.. ONTOSIOP: Estruturando informações presentes no Diário Oficial da União. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.; TEIXEIRA, M. G.; SILVA, J. C. P.. Análise de impactos das decisões - Um enfoque naturalista. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.; TEIXEIRA, M. G.; SILVA, J. C. P.. Multiloo pinger - um estudo sobre análise multidimensional e triplificação de um grande. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.; TEIXEIRA, M. G.; SILVA, J. C. P.. Integração adaptada de informação para suporte à tomada de decisão usando linked open data. 2015. Universidade Federal do Rio de Janeiro.
LIMA, C.. JIC- UFRJ Avaliação de Projetos Submetidos. 2015. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano; KNOPMAN, J.;LIMA, C.; LIMA, Priscila M Vieira. Banca de Acompanhamento de Dissertação de Mestrado em Informática - David FERNANDES. 2014. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano; KNOPMAN, J.;LIMA, C.; LIMA, Priscila M Vieira. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Juan Marcelo DELL'OSSO. 2014. Universidade Federal do Rio de Janeiro.
CRUZ, AdrianoLIMA, C.; LIMA, Priscila M Vieira; KNOPMAN, J.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Marcos FIALHO. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.CRUZ, Adriano; PEÇANHA, J.F.M.; LIMA, Priscila M Vieira; KNOPMAN, J.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Ramiro PEREIRA MAGALHÃES. 2014. Universidade Federal do Rio de Janeiro.
LIMA, Priscila M Vieira;LIMA, C.; CAARLS W.;CRUZ, Adriano; KNOPMAN, J.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Stella QUEIROZ. 2014. Universidade Federal do Rio de Janeiro.
BASTOS M., V.;LIMA, C.; ROSSETTO, S. Membro Titular da Comissão de Revalidação de Diploma de Graduação do Curso de Ciencia da Computação. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; MENASCHE, D. S.; DELICATO, F.. Membro Titular da Comissão de Revalidação de Diploma de Pós-Graduação em Ciência da Computação. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. JIC-UFRJ Aplicando práticas pedagógicas participativas para o aprendizado de computação. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. COMPACTAÇÃO DE DADOS GEOFÍSICOS. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. LÓGICA EPISTÊMICA DINÂMICA TRABALHADA NO MODELO DOLEV-YAO. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. LÓGICAS DE INFONS ASSOCIADAS A MODELOS DE AÇÕES EPISTÊMICAS. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. SISTEMA DE GERENCIAMENTO E RECOMENDAÇÃO DE VAGAS DE ESTÁGIO PARA UNIVERSITÁRIOS. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. EVOLUÇÃO DO FRAMEWORK MDARTE. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. GAMMA STUDIO ? PORTABILIDADE DE PROGRAMAS DE WINDOWS PARA MAC. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; BASTOS M., V.; VALERIO, J. V.. PESQUISA E DESENVOLVIMENTO DE MECANISMOS VISUAIS PARA COMUNICAÇÃO DOS INDICADORES DO PPA. 2014. Universidade Federal do Rio de Janeiro.
MENASCHE, D. S.; CAARLS W.;LIMA, C.; CRUZ, Adriano Joaquim de Oliviera;FRANÇA, Felipe Maia Galvão. Trading between sampling and computation in reinforcement learning. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.. JIC- UFRJ Coordenador de Sessão. 2014.
LIMA, Josefino Cabral. JIC- UFRJ Avaliação de Projetos Submetidos. 2014. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.; MENDONCA, L. F. Implantação de um controlador nebuloso para navegação autônoma de um robo inteligente. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.; MENDONCA, L. F. Applet java para auxílio de disciplina sobre teoria dos jogos. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.; MENDONCA, L. F. Lógica de infons básica e lógicas dinamicas epistêmicas aplicadas a autentificação. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.; MENDONCA, L. F. Mapeamento de ambientes e processamento visual utilizando kinect. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.; MENDONCA, L. F. Projeto ALGPEDIA. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.; MENDONCA, L. F. Otimização do tratamento de resolução de correferência. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.; SA, V. G. P.; MENDONCA, L. F. Uso de RSSI em plataformas de sensores sem fio para detectar o movimento das pessoas. 2013. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano; KNOPMAN, J.; PEÇANHA, J.F.M.; BASTOS M., V.;LIMA, C.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Juan Marcelo DELL'OSSO. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.; PEÇANHA, J.F.M.;CRUZ, Adriano; BASTOS M., V.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Ramiro PEREIRA MAGALHÃES. 2013. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano; MARINHO, F.; BORGES, A. S.;LIMA, C.; PEÇANHA, J.F.M.; BASTOS M., V.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Marcos FIALHO. 2013. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano; KNOPMAN, J.;LIMA, C.. Banca de Acompanhamento de Dissertação de Mestrado em Informática - David FERNANDES. 2013. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; ROSSETTO, S. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Yanko G OLIVEIRA. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Revalidação de Diploma de Pós-Graduação em Ciência da Computação. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.. JIC- UFRJ Avaliação de Projetos Submetidos. 2013. Universidade Federal do Rio de Janeiro.
LIMA, C.. JIC- UFRJ Coordenador de Sessão. 2013. Universidade Federal do Rio de Janeiro.
Lima, Cabral. Membro da Comissão Deliberativa do Programa de Pós-Graduação em Informática da UFRJ. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.; Zhijun, Y.; CUI, Z.; ?ILC, J.; HRUSCHKA JR., E. R.; CASTILLO, O.; LIMA, Priscila Machado Vieira; NICOLETTI, M. C.; RIBEIRO, C. H. C.. Membro Technical Program Bio-inspired Computing and Applications Workshop. 2012. Springer-Verlag.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHECHTER, L. M.; VALERIO, J. V.. Integração Prolog-OWL. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHECHTER, L. M.; VALERIO, J. V.. Utilizando a Web Semântica na escolha da carreira profissional - JIC-UFRJ. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHECHTER, L. M.; VALERIO, J. V.. Semântica de distribuição na resolução do problema de co-referência. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHECHTER, L. M.; VALERIO, J. V.. Lógica epistêmica Dinâmica, Modelos de Estados Epistêmicos, Modelos de Ações e DEMO. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; SCHECHTER, L. M.; VALERIO, J. V.. Mudanças de Estado Epistêmico. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.. Captura de informações para análise de sentimento de produtos a partir de redes sociais e um modelo de dados dimensional. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.. Membro Titular da Comissão de Revalidação de Diploma de Pós-Graduação em Ciência da Computação. 2012. Universidade Federal do Rio de Janeiro.
LIMA, C.. JIC- UFRJ Avaliação de Projetos Submetidos. 2012. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.; Lima, Cabral; KLEIN, S.. URGE, motor para jogos 3D. 2011. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.;LIMA, C.; KLEIN, S.. Anotação automática de árvores sintáticas. 2011. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.;LIMA, C.; KLEIN, S.. Um simulador de emoções utilizando lógica nebulosa. 2011. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.;LIMA, C.; KLEIN, S.. Lógica modal e suas aplicações em computação. 2011. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.;LIMA, C.; KLEIN, S.. Estudo comparativo de modelos computacionais de emoções para aplicação em jogos eletrônicos. 2011. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.;LIMA, C.; KLEIN, S.. Sistemas criptográficos completamente homomórficos. 2011. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.;LIMA, C.; KLEIN, S.. Computação de imagens cerebrais via otimização numérica. 2011. Universidade Federal do Rio de Janeiro.
SCHECHTER, L. M.;LIMA, C.; KLEIN, S.. Reconhecimento de contornos de objetos via curvas deformáveis. 2011. Universidade Federal do Rio de Janeiro.
LIMA, C.. Simulações de um sistema de detecção de intrusos imuno inspirado (parecerista JIC-UFRJ). 2011. Universidade Federal do Rio de Janeiro.
LIMA, C.. Committee membership for The Fifth International Conference on Systems, ICONS 2010. 2010.
LIMA, C.. Membro de Comite de Programa ERI-RJ. 2010. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.. Inteligência Computacional Aplicada a Jogos. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral. Consultor CAPES Comissão PROCAD. 2010. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Qualificação de Mestrado de Thiago DA SILVA PONTES. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Qualificação de Mestrado de João Luiz DE BRITO MACAIBA. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Qualificação de Mestrado de Francinei GOMES DE MORAIS. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; THOMÉ, Antônio Carlos Gay; CRUZ, Adriano Joaquim de Oliviera. Banca de Qualificação de Mestrado de Rafael GOMES MONTEIRO. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Qualificação de Mestrado de Henrique GARCIA DE SOUZA. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Qualificação de Mestrado de Bianca COUTO RUIVO. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; THOMÉ, Antônio Carlos Gay; CRUZ, Adriano Joaquim de Oliviera. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Rafael GOMES MONTEIRO. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Francinei GOMES DE MORAIS. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Lidiane FIGUEIRA DA SILVA. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - João Luiz DE BRITO MACAÍBA. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Diego GOUVEA MACHARETE TRALLY. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Henrique GARCIA DE SOUZA. 2010. Universidade Federal do Rio de Janeiro.
Lima, Cabral; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Murilo OLIVEIRA MACHADO. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Bruno CRAVEIRO CAPUTO. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Higo FERNANDES FERREIRA. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Orlando Antonio VEIGA SEIXAS JUNIOR. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay. Banca de Acompanhamento de Dissertação de Mestrado em Informática - Vitor TEIXEIRA DE SOUZA DO COUTO. 2010. Universidade Federal do Rio de Janeiro.
LIMA, C.. Committee membership for The Fourth International Conference on Systems, ICONS 2009. 2009.
LIMA, C.. Tecnologia da Educação Aplicada à Educação. 2009. Universidade Federal do Rio de Janeiro.
LIMA, C.. Integração transparente do sistema de telefonia digital da UFRJ ao serviço fone@RNP com redirecionamento de chamadas de longa distância (Parecerista JIC-UFRJ). 2009. Universidade Federal do Rio de Janeiro.
OLIVEIRA, C. E. T.;LIMA, C.; ELIA, Marcos da Fonseca. Pyndorama: permitindo o acesso de alunos e professores à produção de material didático. 2008. Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.; CRUZ, Adriano Joaquim de Oliviera. Modelagem computacional do condicionamento por medo. -Qualificação de Mestrado-. 2008. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; CAMPOS, M. L.. Aplicação de Técnicas de Inteligência Computacional ao Planejamento de Trajetórias e Navegação de um Robô Autônomo. 2008. Universidade Federal do Rio de Janeiro.
CRUZ, Adriano Joaquim de Oliviera;LIMA, C.; THOMÉ, Antônio Carlos Gay. Controle, Evolução e Adaptação de Agentes Inteligentes Aplicados em Jogos Eletrônicos. 2008. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliação de Instituições de Ensino Superior MEC. 2008.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Análise de desempenho de programas distribuídos com uso excessivo de recursos de E/S em ambiente de memória distribuída. 2008. Universidade Federal do Rio de Janeiro.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Algoritmos de simulação para redes de atividades estocásticas e não determinísticas com recursos escassos. 2008. Universidade Federal do Rio de Janeiro.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Gerenciamento de conexões com múltiplos usuários. 2008. Universidade Federal do Rio de Janeiro.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Um estudo de métodos matemáticos para previsão de estado da camada física de rede sem fio de taxa variável. 2008. Universidade Federal do Rio de Janeiro.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Integração de qualidade de voz a gateway asterisk. 2008. Universidade Federal do Rio de Janeiro.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Ferramenta de consolidação. 2008. Universidade Federal do Rio de Janeiro.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Transmissão de vídeo sob demanda com interatividade através do protocolo Bittorrent. 2008. Universidade Federal do Rio de Janeiro.
CERIOLI, M.; BORNSTEIN, Claudson Ferreira;LIMA, C.. Metaheurística C-GRASP aplicada a problemas de otimização global contínua com restrições lineares. 2008. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliação Revista RBIE/SBC. 2008.
LIMA, C.. Avaliação Revista RBIE/SBC. 2008.
LIMA, C.. Avaliação Revista RBIE/SBC. 2008.
LIMA, C.. Avaliação Revista RBIE/SBC. 2008.
LIMA, C.. Avaliação Revista RBIE/SBC. 2008.
LIMA, C.. Avaliação de Instituição do Ensino Superior/ MEC. 2008.
LIMA, C.. Tecnologia da Educação Aplicada à Educação. 2008. Universidade Federal do Rio de Janeiro.
LIMA, C.. Programa Institucional de Bolsas de Iniciação Científica. 2008. Universidade Federal do Rio de Janeiro.
LIMA, C.; THOMÉ, Antônio Carlos Gay; CRUZ, Adriano Joaquim de Oliviera;FRANCO, Carlos. Uma proposta de solução algoritmica para detecção de níveis líquidos. 2007. Universidade Federal do Rio de Janeiro.
LIMA, C.; THOMÉ, Antônio Carlos Gay; CRUZ, Adriano Joaquim de Oliviera; AGUIAR, P. H.. Classificação de categoria e cor de veículos em monitoração de trânsito. 2007. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera; THOMÉ, Antônio Carlos Gay;FRANCO, Carlos. Análise estabilidade de controladores fuzzy via equações de Lyapunov. - Qualificação de Mestrado-. 2007. Universidade Federal do Rio de Janeiro.
LIMA, C.; CRUZ, Adriano Joaquim de Oliviera;FRANCO, Carlos; THOMË, A.. Um modelo de oponente para jogos de conhecimento perfeito. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Metodologia de desenvolvimento de um sistema integrado de gestão para uma empresa orientada por processos. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Recomendações para o estabelecimento de padrões de especificação de casos de uso a partir de modelos de processos de trabalho. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Definição de testes de unidade e geração de código dos casos de teste. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Fenix: uma ferramenta para geração automática de códigos através de transformações. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Flexibilização da notação para modelagem de variabilidade no ambiente odyssey. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Clustering tools: uma ferramenta de auxílio ao ensino de técnicas de clusterização. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Configurando modelos de processos de experimentação em engenharia de software. 2007. Universidade Federal do Rio de Janeiro.
CERIOLI, M.;LIMA, C.; XÉXEO, G.; OLIVEIRA, Carlo Emmnanoel Tola de. Uma abordagem de serviços web em uma biblioteca de componentes. 2007. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliação de Instituições do Ensino Superior - INEP/MEC. 2007. Faculdade São Francisco de Assis.
LIMA, C.. Reviewer do CTD - XX Concurso de Teses e Dissertações da Sociedade Brasileira de Computação, SBC. 2007. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliador de Sessão do centro de Ciências Matemáticas e da Natureza - Jornada de Iniciação Científica, Artística e Cultural da UFRJ. 2007. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliação Revista RBIE/SBC. 2007.
LIMA, C.. Avaliação Revista RBIE/SBC. 2007.
LIMA, C.. Comité de Programa SBIE/SBC. 2007.
LIMA, C.. Tecnologia da Informação Aplicada à Educação. 2007. Universidade Federal do Rio de Janeiro.
LIMA, C.. Programa Institucional de Bolsas de Iniciação Científica. 2007. Universidade Federal do Rio de Janeiro.
MOTTA, Cláudia;LIMA, C.; FERRENTINI, F.; ELIA, Marcos. Sistema de recomendação de artefatos para comunidade virtual ActivUFRJ. 2006. Universidade Federal do Rio de Janeiro.
LIMA, C.; BORGES, Antônio; FERRENTINI, F.; ELIA, Marcos; SILVA, G. P.. Estratégias para construção de jogos educativos e formativos para deficientes visuais. 2006. Universidade Federal do Rio de Janeiro.
ELIA, Marcos;LIMA, C.; BORGES, Antônio; MOTTA, Cláudia; FERRENTINI, F.. Produtos para auxiliar formadores nos contextos tecnológico e inclusivo. 2006. Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.. UMA ABORDAGEM COMPUTACIONAL E CONEXIONISTA SOBRE O SISTEMA DE MEMÓRIA EMOCIONAL. 2006. Universidade Federal do Rio de Janeiro.
FRANCO, CarlosLIMA, C.. Ambiente virtual 3D no apoio ao diagnóstico de TDAH. 2006. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. Centro Universitário Assis Gurgacz.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. Faculdade de Tecnologia Flamingo.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. Universidade do Oeste Paulista.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. Faculdade da Cidade de Santa Luzia.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. 4087 - Faculdade de Educação Tecnológica - Fet da Cdl de Sobral.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. Pontifícia Universidade Católica do Rio Grande do Sul.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. Faculdade de Tecnologia Flamingo.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006. Colégio Brasileiro de Estudos Sistêmicos.
LIMA, C.. Comissão de Avaliação INEP/MEC. 2006. Centro Universitário Luterano de Manaus.
LIMA, C.. Comissão de Avaliação - 2006 CCA/CACSD/ISIC. 2006.
LIMA, C.. Avaliação - Revista Sistemas e Gestão. 2006. Universidade Federal Fluminense.
LIMA, C.. Comissao de Avalaicao SBIE/SBC. 2006. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comité de Programa - SBIE/SBC. 2006. Universidade Federal do Rio de Janeiro.
LIMA, C.. Commitee membership for the IEEE 2006 CCA/CACSD/ISIC. 2006.
LIMA, C.. Avaliação de Instituições do Ensino Superior. 2006.
LIMA, C.. Avaliação Institucional INEP/MEC. 2006.
LIMA, C.. Comité de Programa do SBIE/SBC. 2006.
LIMA, C.. Avaliação para Credenciamento de IES - MEC. 2005. Faculdade de Informática de Ouro Preto do Oeste.
LIMA, C.. Referee Internacional - Revista Científica. 2005. Hermes Editions.
LIMA, C.. Referee Revista Científica Internacional. 2005. Hermes Editions.
LIMA, C.. Referee Revista Científica Nacional. 2005. Uniandrade.
LIMA, C.. Comissao de Avaliação - Dissertação de Mestrado. 2005. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - Dissertação de Mestrado. 2005. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comitê de Avaliação - ENIA 2005. 2005. Universidade do Vale do Rio dos Sinos.
LIMA, C.. Membro do Corpo Editorial da RBIE. 2005. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - SBC/ SBIE. 2005. Sociedade Brasileira de Computação - Porto Alegre.
LIMA, C.. Avaliação para Credenciamento de IES - MEC. 2005. Faculdade de Informática de Ouro Preto do Oeste.
LIMA, C.. Avaliação Institucional - INEP/MEC. 2005. Faculdade de Ciências Aplicadas de Cascavel.
LIMA, C.. Avaliação Institucional - INEP/MEC. 2005. Faculdade da Cidade de Santa Luzia.
SOARES, Adriana BenevidesLIMA, C.; ELIA, Marcos. Comissão de Avaliação - Dissertação de Mestrado. 2005. Universidade Federal do Rio de Janeiro.
LIMA, C.SOARES, Adriana Benevides; BORGES, Antônio; ELIA, Marcos. Comissão de Avaliação - Dissertação de Mestrado. 2005. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - Dissertação de Mestrado. 2005. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - Dissertação de Mestrado. 2005. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliação para Credenciamento de IES - MEC. 2004. Faculdade Luiz Eduardo Magalhães.
LIMA, C.. Avaliação para Credenciamento de IES - MEC. 2004. Faculdade de Informática de Ouro Preto do Oeste.
LIMA, C.. Referee Internacional - Revista Científica. 2004. Hermes Editions.
LIMA, C.. Referee - Revista Científica Nacional. 2004. Uniandrade.
LIMA, C.. Referee Revista Científica Internacional. 2004. Hermes Editions.
LIMA, C.; BORNSTEIN, Claudson Ferreira; LIMA, Priscila Machado Vieira. XXVI Jornada de Iniciação Científica da UFRJ. 2004. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comissão de Avaliação - SBC/ SBIE. 2004. Sociedade Brasileira de Computação - Porto Alegre.
MERKLE, Monica Moulin Ribeiro;LIMA, C.; BORGES, Marcos Roberto da Silva; CRUZ, Adriano Joaquim de Oliveira. XXV Jornada de Iniciação Científica da UFRJ. 2003. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comité Científico - UFRJ. 2003. Universidade Federal do Rio de Janeiro.
LIMA, C.; MOTTA, Cláudia; GIRAFFA, Lúcia; CRESPO, Sérgio; SANTORO, Flávia. Comissão de Avaliação - SBC/ SBIE. 2003. Universidade Federal do Rio de Janeiro.
LIMA, C.. Sociedade Brasileira de Computação - Simpósio Brasileiro de Informática na Educação. 2003. Universidade Federal do Rio de Janeiro.
LIMA, C.. Avaliação para Credenciamento de IES - MEC. 2003. Faculdade Luiz Eduardo Magalhães.
LIMA, C.; SANTANA, Regina Helena Carlucci. Avaliação para Credenciamento de IES - MEC. 2003. Faculdade de Ciência de Computação de Cataguases.
LIMA, C.. Referee Internacional - Revista Científica. 2003. Hermes Editions.
LIMA, C.. Referee - Revista Científica Internacional. 2003. Uniandrade.
LIMA, C.. XV Jornada de Iniciação Artísitca e Cultural do Centro de Ciências Matemáticas e da Natureza - CCMN/UFRJ. 2003. Universidade Federal do Rio de Janeiro.
LIMA, C.. Jornada de Iniciação Científica da UFRJ. 2002. Universidade Federal do Rio de Janeiro.
LIMA, C.. Referee Internacional - Revista Científica. 2002. Hermes Editions.
LIMA, C.. Referee - Revista Científica Nacional. 2002. Uniandrade.
LIMA, C.. Editor Associado - Revista Nacional. 2002. Sociedade Brasileira de Ciências Cognitivas.
LIMA, C.. Participação em Diversas Avaliações Institucionais e de Curso SESU/MEC. 2002.
LIMA, C.. Referee - Revista Científica Nacional. 2001. Uniandrade.
LIMA, C.. Ministério de Ciência e Tecnologia. 2001. Ministério da Ciência e Tecnologia.
LIMA, C.. Referee Internacional - Revista Científica. 2001. Hermes Editions.
LIMA, C.. Editor Associado - Revista Nacional. 2001. Sociedade Brasileira de Ciências Cognitivas.
LIMA, C.. Comissao de Avaliacao SBIE/SBC. 2001. Universidade Federal do Rio de Janeiro.
LIMA, C.. Comissão de Avaliação. 2000. Universidade do Estado do Rio de Janeiro.
LIMA, C.. Comitê Consultor - UERJ. 2000. Universidade do Estado do Rio de Janeiro.
LIMA, C.. Editor Associado - Revista Nacional. 2000. Sociedade Brasileira de Ciências Cognitivas.
LIMA, C.. EMOOSE International Study Program Master of Science in Computer Science. 1999. Vrije Universiteit Brussels.
LIMA, C.. Consultor Adhoc - UERJ. 1999. Universidade do Estado do Rio de Janeiro.
LIMA, C.. Editor Associado - Revista Nacional. 1999. Universidade Estadual Paulista Júlio de Mesquita Filho.
LIMA, C.. EMOOSE International Study Program Master of Science in Computer Science. 1998. Vrije Universiteit Brussels.
LIMA, C.. Comissão de Avaliação. 1996. Instituto Militar de Engenharia.
LIMA, C.. Comissão de Avaliação. 1996. Instituto Militar de Engenharia.
SOARES, Adriana BenevidesLIMA, C.; HAEBERER, A.; LUNGARZO, C. A.; CDB, M.; ARAGON, D.; FRANCOZO, E.; NY, J. L.; GONZALES, M. E.. II Encontro Brasileiro International de Ciências Cognitivas. 1996. Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ.
LIMA, C.. Comissão de Avaliação. 1995. Instituto Militar de Engenharia.
LIMA, C.. Comissão de Avaliação. 1995. Instituto Militar de Engenharia.
LIMA, C.. Avaliação Científica - Livros. 1995. Addison Wesley Editions.
LIMA, C.. Consultor Adhoc - Faperj. 1995. Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ.
LIMA, C.. Avaliação Científica. 1995. Addison Wesley Editions.
LIMA, C.. Referee Internacional. 1994. Hermes Editions.
LIMA, C.. Banca de Avaliação. 1993. Université Pierre et Marie Curie (Paris 6).
LIMA, C.. Banca de Avaliação. 1993. Université Pierre et Marie Curie (Paris 6).
LIMA, C.. Banca de Avaliação. 1993. Université Pierre et Marie Curie (Paris 6).
LIMA, C.. Banca de Avaliação. 1993. Université Pierre et Marie Curie (Paris 6).
LIMA, C.. Banca de Avaliação. 1988. Instituto Militar de Engenharia.
Orientou
Meidtação como treino para interface cérebro-computador no controle de dispositivos robóticos; Início: 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Otimização em Bio-Robótica; Início: 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro; (Orientador);
Extração Algébrica em Comportamentos Algoritmos; Início: 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro; (Orientador);
Planejamento Otimizado de Rotas Robóticas; Início: 2018; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro; (Orientador);
AI from concrete to abstract: demystifying artificial intelligence to the general public; Início: 2019; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro; (Orientador);
Um framework de otimização dinâmica de meta-heurísticas; ; Início: 2018; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro; (Orientador);
PRM-EB: um novo algoritmo para a otimização de rotas baseado na teoria de apostas; 2016; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, PETROBRAS; Orientador: Josefino Cabral MELO LIMA;
DIAGNÓSTICO DE PROBLEMAS EM MOTORES À DIESEL ATRAVÉS DA ANÁLISE DE ÓLEO LUBRIFICANTES USANDO LÓGICA NEBULOSA; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Josefino Cabral MELO LIMA;
Proposta de interface baseada em giroscópio para auxiliar pessoas com deficiência múltipla no uso do sistema DOSVOX; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Sistema SLAM colaborativo para cadeira de rodas inteligentes; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Josefino Cabral MELO LIMA;
Haar Wavelets Weight Assignement for Face Detection; 2014; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Comparação dos Métodos SLAM para orientação de Robôs em Ambientes Internos; 2014; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Um modelo de personalidades aplicado a um jogo eletrônico; 2013; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Josefino Cabral MELO LIMA;
Detecção da direção do olhar via Webcam; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Modelos inteligentes para a previsão de séries de vento e potência eólica; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Predição de ajustes em vôos de aves migratórias sazonais noturnas: um simulador com adequação nebulosa; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Josefino Cabral MELO LIMA;
Otimizações no FIRN: um Framework para Navegação Inteligente de Robôs; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Josefino Cabral MELO LIMA;
Modelo computacional dos circuitos cerebrais de atencao e memoria emocional; 2011; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, PETROBRAS; Orientador: Josefino Cabral MELO LIMA;
Geometrix : ensinado conceitos geométricos a deficientes visuais; 2011; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Modelagem computacional, biologicamente realistica, do processo de resposta cerebral humana a um agente estressor externo; 2011; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Josefino Cabral MELO LIMA;
Neurociências e machine learning: modelo computacional de condicionamento por medo como parte do programa de planejamento de um robô; 2011; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Josefino Cabral MELO LIMA;
Uma proposta de solucao algoritmica para monitoracao de processos industriais: aplicacao de processamento de imagens na deteccao de niveis de liquidos; 2008; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Ambiente Virtual 3D no Apoio ao Diagnóstico de TDAH; 2007; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
JogaVOX: Ferramenta e Estratégias para Construção de Jogos Educacionais para Deficientes Visuais; 2007; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Uma Abordagem Computacional e Concionista sobre Sistema de Memória Emocional; 2007; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Análise de estabilidade e robustez de controladores nebulosos: aplicação ao controle de trajetória de robôs; 2006; 108 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
As demonstrações e a formação do professor de matemática: um estudo sobre a contribuição dos ambientes de geometria dinâmica; 2006; 322 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Um estudo sobre álgebra em sistemas computacionais formativos; 2005; 220 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Josefino Cabral MELO LIMA;
EDAC: um sistema orientado a objetos para a representação de conhecimentos e inferências cognitivas em estrutura de dados e algoritmos; 2004; 135 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
CUTE - Um chatterbot para o ensino de língua inglesa: Um estudo sobre PLN e IAE; 2004; 164 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
O uso de softwares de geometria dinâmica para o desenvolvimento de habilidades cognitivas: uma aplicação em alunos do ensino médio; 2004; 267 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Josefino Cabral MELO LIMA;
Jogar e Aprender: a Informática no Ensino de Álgebra Elementar; 2004; 164 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Josefino Cabral MELO LIMA;
Padrões de Projeto: reificações cognitivas e aplicabilidades sistemáticas; O sistema Lesoop; 2003; 147 f; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
Toohelp: um ambiente para aprendizagem de tecnologias de orientação a objetos, integrável a plataformas de educação a distância; 2002; 113 f; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia,; Orientador: Josefino Cabral MELO LIMA;
A contextual help system for assisting OO software designers in using desgin patterns; 2000; 128 f; Dissertação (Mestrado em Master of Sciences in Computer Sciences) - Vrije Universiteit Brussels, European Committee; Orientador: Josefino Cabral MELO LIMA;
Use of web-based three tiers architectures: applying separation of concerns to the modelisation and implementation of a dynamic internet database interface; 1999; 159 f; Dissertação (Mestrado em Master of Sciences in Computer Sciences) - Vrije Universiteit Brussels,; Orientador: Josefino Cabral MELO LIMA;
Extensoes e Aperfeicoamento do Compilador Prolog/Ime; 1988; 88 f; Dissertação - Instituto Militar de Engenharia,; Orientador: Josefino Cabral MELO LIMA;
Beyond Herd Immunity Against Strategic Attackers; 2020; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Josefino Cabral MELO LIMA;
Uso de técnicas inteligentes para análise de avaliações do transtorno do deficit de atenção/Hiperatividade em um jogo computacional; 2007; Tese (Doutorado em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Josefino Cabral MELO LIMA;
2014; Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Josefino Cabral MELO LIMA;
Jogo matemático para deficientes visuais; 2008; Monografia; (Aperfeiçoamento/Especialização em Tecnologia da Informação Aplicada à Educação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
O uso de jogos computacionais como ferramenta de ensino de geometria e números relativos; 2006; 208 f; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Análise Forense em Sistemas GNU/Linux; 2005; 202 f; Trabalho de Conclusão de Curso; (Graduação em Informática) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Gráfico de Funções: um estudo via aplicações de softwares; 2004; 80 f; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Gestion et suivi opérationnel d'une plate-forme déportée; 1993; 98 f; Trabalho de Conclusão de Curso; (Graduação em Maîtrise en Informatique) - Université Pierre et Marie Curie (Paris 6); Orientador: Josefino Cabral MELO LIMA;
L'analyse et l'élaboration d'un logiciel de gestion de centres de formation à la conduite de véhicules des appelés du service militaire de l'état major de l'armée de terre; ; 1993; 106 f; Trabalho de Conclusão de Curso; (Graduação em Maîtrise en Informatique) - Université Pierre et Marie Curie (Paris 6); Orientador: Josefino Cabral MELO LIMA;
La conception et la mise au point d'une interface d'aide à la construction d'ordres SQL par le langage C et le système INGRES; 1993; 145 f; Trabalho de Conclusão de Curso; (Graduação em Maîtrise en Informatique) - Université Pierre et Marie Curie (Paris 6); Orientador: Josefino Cabral MELO LIMA;
Une étude détaillée des traitements et des données pour la mise à jour des fichiers consultables par Minitel; ; 1993; 112 f; Trabalho de Conclusão de Curso; (Graduação em Maîtrise en Informatique) - Université Pierre et Marie Curie (Paris 6); Orientador: Josefino Cabral MELO LIMA;
Robótica e sistemas bioinspirados: planejamento e execução de trajetórias; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Josefino Cabral MELO LIMA;
Robôs para exploração não-linear em ambientes inóspitos; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Josefino Cabral MELO LIMA;
Inteligência Computacional Aplicada a Jogos; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Josefino Cabral MELO LIMA;
Simulação e Análise de um Robô Inteligente com Velocidade Variável Controlado por Modelos Nebulosos; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Josefino Cabral MELO LIMA;
Estudo sobre jogos adaptativos; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Análise de Desempenho e Estabilidade de um Robô Inteligente Simulado Controlado por Modelos; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Josefino Cabral MELO LIMA;
Informática Aplicada ao Ensino - Graduação em Matemática; 2016; Orientação de outra natureza; (Matemática) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Informática Aplicada ao Ensino - Graduação em Matemática; 2013; Orientação de outra natureza; (Matemática) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Programação de computadores I - Graduação em Engenharia Mecânica; 2013; Orientação de outra natureza; (Matemática) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Orientacao Academica; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Orientacao academica; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Orientacao Academica; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Orientacao Academica; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Orientacao Academica; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Orientacao Academica; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Josefino Cabral MELO LIMA;
Produções bibliográficas
-
DUARTE, DAVID ; LIMA, Cabral ; LIMA, Priscila Machado Vieira ; QUEIROZ, RUBENS LACERDA ; TURCI, RUBENS . Meditation as an effective BCI training protocol for controlling wheeled robots. F1000RESEARCH , v. 12, p. 775, 2023.
-
QUEIROZ, R. L. ; LIMA, Priscila M Vieira ; FERRENTINI, F. ; LIMA, C. . AI from Concrete to Abstract: Demystifying Artificial Intelligence to the General Public. AI & Society , v. 36, p. 877-893, 2021.
-
RUFINO, VILC ; DE AGUIAR, LEANDRO P. ; MENASCHE, DANIEL ; LIMA, Cabral ; CUNHA, ITALO ; ALTMAN, EITAN ; EL-AZOUZI, RACHID ; DE PELLEGRINI, FRANCESCO ; AVRITZER, ALBERTO ; GROTTKE, MICHAEL . Beyond Herd Immunity Against Strategic Attackers. IEEE Access , v. 1, p. 1-1, 2020.
-
RUFINO, VILC ; NOGUEIRA, MATEUS ; AVRITZER, ALBERTO ; MENASCHE, DANIEL ; RUSSO, BARBARA ; JANES, ANDREA ; FERME, VINCENZO ; VAN HOORN, ANDRE ; SCHULZ, HENNING ; LIMA, Cabral . Improving Predictability of User-Affecting Metrics to Support Anomaly Detection in Cloud Services. IEEE Access , v. 8, p. 1-1, 2020.
-
RUFINO, V. Q. ; NOGUEIRA, MATEUS SCHULZ ; AVRITZER, ALBERTO ; MENASCHE, DANIEL SADOC ; RUSSO, BARBARA ; JANES, ANDREA ; FERME, VINCENZO ; VAN HOORN, ANDRE ; SCHULZ, HENNING ; LIMA, C. . Improving Predictability of User-Affecting Metrics to Support Anomaly Detection in Cloud Services. IEEE Access , v. 8, p. 198152-198167, 2020.
-
LIMA, C. ; LOBO, R. M. ; CASTELLANI, V. ; PEREIRA, B. ; BASTOS M., V. ; SOARES, A. B. . An AprioriAll Based Method for Guiding a Robot in Dynamic Environment. IEEE Latin America Transactions , v. 16, p. 556-563, 2018.
-
LIMA FILHO, ALUIZIO ; VETTORAZZI, DANILO ; CRUZ, Adriano ; Lima, Cabral . ATM: a New Heuristic Algorithm Based on Genetic Algorithm and Betting Theory. IEEE Latin America Transactions , v. 15, p. 510-516, 2017.
-
MACHADO, M O ; FABRES, P A ; Melo, J C L . A Heuristic Bioinspired for 8-Piece Puzzle. IOP Conference Series: Materials Science and Engineering , v. 261, p. 012007, 2017.
-
PALMA, B. ; LIMA, C. ; CAARLS W. ; VETTORAZZI, D. . Wich Probabilistic Roadmap method should be used by a robot in an actual environment? An analysis of the main methods through simulations. IEEE Latin America Transactions , v. 14, p. 2020-2025, 2016.
-
FIGUEIRA, L. ; LIMA, C. ; BORGES, A. S. ; SOARES, A. B. . A Dynamic Environment to the Learning of Geometric Concepts by Visually Impaired People: A Brazilian Case Study. Computer Science and Engineering , v. 5, p. 37-46, 2015.
-
MANIQUE,M. A. F. ; LIMA, C. ; THOMÉ, Antônio Carlos Gay ; CRUZ, Adriano Joaquim de Oliviera ; SOARES, A. B. . Measuring Fluid Level through a Recalibrating-Free Hough Transform Methodology. Computer Science and Engineering , v. 5, p. 47-58, 2015.
-
SOARES, A.B. ; MAIA, F.A. ; LIMA, C.A. ; NOGUEIRA, C.C.C. ; LIMA, C. . Humor: ingrediente indispensável nas relações sociais?. Psicologia: Teoria e Prática (Impresso) , v. 16, p. 93-105, 2014.
-
SILVA, LIDIANE FIGUEIRAS ; BORGES, JOSÉ ANTONIO ; Lima, Cabral ; SOARES, Adriana Benevides . Ensinando Geometria a Deficientes Visuais: o ambiente dinâmico Geometrix. Revista Brasileira de Informática na Educação , v. 21, p. 62-77, 2013.
-
LIMA, C. ; FERREIRA, EMÍLIA ; SOARES, A. B. . Aprimoramento Conceitual e Uso de Demonstrações Matemáticas: Um Estudo de Caso Sobre a Geometria Dinâmica e as Pesquisas de Campo com Ambientes Computacionais de Ensino. Revista Brasileira de Informática na Educação , v. 20, p. 13-25, 2012.
-
FERREIRA, Emília ; SOARES, Adriana Benevides ; LIMA, C. . As demonstrações no ensino da geometria: discussões sobre a formação de professores através do uso de novas tecnologias. Bolema. Boletim de Educação Matemática (UNESP. Rio Claro. Impresso) , v. 22, p. 185-207, 2009.
-
FERREIRA, Emília Barra ; SOARES, Adriana Benevides ; LIMA, C. . As demonstrações e o ensino aprendizagem da geometria: a teoria e a realidade.. Revista Científica do Centro Universitário de Barra Mansa , v. 10, p. 4-14, 2008.
-
FERREIRA, Emília Barra ; SOARES, Adriana Benevides ; LIMA, C. . O resgate das demonstrações: uma contribuição da Informática à formação do professor de Matemática. Psicologia Escolar e Educacional (Impresso) , v. 12, p. 381-389, 2008.
-
COSTA, Raimundo Macario ; SOARES, Adriana Benevides ; LIMA, C. . Jogar e aprender: o jogo por computador no ensino contemporâneo da matemática. Psicología para América Latina , v. 9, p. 01-12, 2007.
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . El razonamiento del espacio y la geometría dinámica: un estudio de caso en la educación media en Río de Janeiro. Psicologia para América Latina (Online) , v. 11, p. 35-48, 2007.
-
MORATORI, Patrick ; CRUZ, Adriano ; MANHAES, Mary ; FERREIRA, Emília ; PEDRO, Márcia ; LIMA, C. ; ANDRADE, Leila . Analysis of the Performance of Different Fuzzy System Controllers. Lecture Notes in Computer Science , Qualis CAPES A Internacional, v. 3789, n.2005, p. 1113-1123, 2005.
-
FERREIRA, E. B. ; SOARES, A. B. ; LIMA, C. . A representação do conhecimento geométrico e a concepção de professores de matemática em um ambiente de geometria dinamica. Revista Científica do Centro Universitário de Barra Mansa , v. 7, p. 21-29, 2005.
-
ALVES, George ; FERREIRA, Emília ; COSTA, Macário ; LIMA, C. . A perspectiva construtivista e os softwares de geometria dinâmica: compreendendo suas correlações. Revista Científica do Centro Universitário de Barra Mansa , v. 5, n.9, p. 23-28, 2003.
-
LIMA, C. . Informática e cibernética, informáticos e cibernéticos, informatas e ciberneticistas. Cadernos de Trabalho do CCH , v. 1, p. 63-68, 1997.
-
LIMA, C. . The modelisation and implementation of diagnosis processes by a generating system of intelligent knowledge transfer systems. SCIENCES ET TECHNIQUES EDUCATIVES , Paris, v. 2, n.2/1995, p. 173-201, 1995.
-
LIMA, C. . Informatique et cybernetique: une convergence des recherches en sciences humaines et sciences tecniques. SCIENCES ET TECHNIQUES EDUCATIVES , Paris, v. 1, n.3/1994, p. 419-423, 1994.
-
LIMA, Priscila Machado Vieira ; MOTTA, Cláudia Lage Rebello da ; CRUZ, Adriano Joaquim de Oliviera ; ALENCAR, A. J. ; SCHMITZ, E. ; LIMA, C. . Big Data, Little Data e Better Data em Sistemas de Recomendação. In: Ana Carolina Salgado; Cláudia Lage Motta; Flávia Maria Santoro. (Org.). Grandes Desafios da Computação no Brasil. 1ed.Porto Alegre: SBC - Sociedade Brasileira de Computação, 2015, v. 1, p. 273-277.
-
LIMA, C. ; ARISA, C. . Development & plug-in of tutoring systems in flexible distance learning platforms. In: LASKER G., University of Windsor, School of Computer Science. (Org.). ADVANCES IN ARTIFICIAL INTELLIGENCE AND ENGINEERING CYBERNETICS. 1ed.Windsor: IIAS Editions, 2003, v. 9, p. 42-49.
-
LIMA, C. ; ARISA, C. ; GANDRA, Henrique ; COSTA, R. M. ; RAPOSO, R. . Using educational theories for modeling a computer-based distance learning platform. In: LASKER G., University of Windsor, School of Computer Science. (Org.). ACTA SYSTEMICA: Systems Research in Economics/Trans-Cultural Systems and Processes. 2ed.Windsor: IIAS Editions, 2003, v. 2, p. 26-40.
-
LIMA, C. ; GANDRA, Henrique . LeSOOP: a system aimed to the remote learning of design patterns in object-oriented systems. In: LASKER G., University of Windsor, School of Computer Science. (Org.). RESEARCH-IN-PROGRESS. 1ed.Windsor: IIAS Editions, 2003, v. 10, p. 15-25.
-
CAETANO, M. ; SOARES, Adriana Benevides ; LIMA, C. . Human reasoning and logical-formal guidelines: an analysis of the mathematical problem-resolution process. In: LASKER G., University of Windsor, School of Computer Science. (Org.). ADVANCES IN ARTIFICIAL INTELLIGENCE AND ENGINEERING CYBERNETICS. 1ed.Windsor: IIAS Editions, 2003, v. 9, p. 32-46.
-
DEMASI, Pedro ; LIMA, C. . Jogos Educativos Inteligentes: Ferramentas de Suporte. In: Fábio FERRENTINI; Cláudia MOTTA; Marcos ELIA;. (Org.). SBC XIV Simpósio Brasileiro de Informática na Educação: Minicursos. 1ed.Rio de Janeiro: Sociedade Brasileira de Computação (org.), 2003, v. 1, p. 93-126.
-
LIMA, C. . On theoretical supports for computer-based learning platforms. In: LASKER G., University of Windsor, School of Computer Science. (Org.). ADVANCES IN DATABASE AND EXPERT SYSTEMS. 1ed.Windsor: IIAS Editions, 2002, v. 8, p. 28-42.
-
LIMA, C. ; OLIVEIRA, C. E. T. ; BENÍCIO, H. L. . A remote learning environment for object-oriented techniques. In: LASKER G., University of Windsor, School of Computer Science. (Org.). ADVANCES IN COMPUTER CYBERNETICS. 999ed.Windsor: IIAS Editions, 2002, v. 11, p. 33-46.
-
POURBAIX, M. ; SOARES, Adriana Benevides ; LIMA, C. . Challenges and implications in cognitive sciences: on metal representation in mathematical problem resolution. In: LASKER G., University of Windsor, School of Computer Science. (Org.). RESEARCH-IN-PROGRESS. 1ed.Windsor: IIAS Editions, 2002, v. 10, p. 20-32.
-
LIMA, C. . Distance education: scientific aspects and implementation parameters. In: LASKER G., University of Windsor, School of Computer Science. (Org.). Research-in-Progress. Windsor: IIAS Editions, 1999, v. VII, p. 43-48.
-
LIMA, C. . Logical reasoning: identifying and using expert and novice explanation sentences. In: LASKER G., University of Windsor, School of Computer Science. (Org.). Advances in Artificial Intelligence and Engineering Cybernetics.. Windsor: IIAS Editions, 1998, v. V, p. 38-42.
-
LIMA, C. . Can you decide when to use reduction to the absurd and probabilistic reasoning to solve problems in mathematical logic?. In: LASKER G., University of Windsor, School of Computer Science. (Org.). Advances in Artificial Intelligence and Cybernetics. Windsor: IIAS Editions, 1996, v. 1, p. 66-70.
-
SOARES, Adriana Benevides ; LIMA, C. . Is it possible to develop a computer contextual system?. In: LASKER G., University of Windsor, School of Computer Science. (Org.). Advances in Artificial Intelligence and Engineering Cybernetics. Windsor: IIAS Editions, 1996, v. 3, p. 96-100.
-
ABBOUD, R. ; LIMA, C. . Problem solving difficulties: a comparison of expert and novice logic rasoning. In: LASKER G., University of Windsor, School of Computer Science. (Org.). Advances in Database and Expert Systems. Windsor: IIAS Editions, 1996, v. II, p. 65-69.
-
LIMA, C. . Knowledge representation in software packages aimed to know about their users. In: LASKER G., University of Windsor, School of Computer Science. (Org.). Advances in Database and Expert Systems. Windsor: IIAS Editions, 1995, v. , p. 110-114.
-
LUCENA, C. J. P. ; LIMA, C. . Towards software packages that know about their individual users. In: LASKER G., University of Windsor, School of Computer Science. (Org.). Advances in Computer Science. Windsor: IIAS Editions, 1989, v. 1, p. 462-468.
-
MIRANDA, LEONARDO ; LIMA, Cabral ; MENASCH, DANIEL SADOC ; DOMINGUES, GUILHERME . Sequential Performance Analysis of Systems that Age and Rejuvenate. In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2022, Charlotte. 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2022. v. 1. p. 146.
-
RUFINO, V. Q. ; MENASCHE, D. S. ; LIMA, C. ; CUNHA, I. ; AGUIAR, L. . Dilemas Frente Epidemias Estratégicas: Vacinar, Reiniciar ou Esperar?.. In: 18 WPerformance ? Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2019, Belém. 18 WPerformance ? Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2019, 2019, Belem. Anais do 18 WPerformance, 2019.
-
SOARES, A. B. ; LIMA, C. A. ; Santos, G.G.B. ; Rodrigues, I. S. ; LIMA, C. . DEZOITO MESES DE ADAPTAÇÃO ACADÊMICA DE ESTUDANTES UNIVERSITÁRIOS DE PSICOLOGIA. In: Seminário Internacional de Habilidades Sociais, 2019, São Luiz. Anais do VII Seminário Internacional de Habilidades Sociais - São Luís 2019, 2019.
-
RUFINO, V. Q. ; MENASCHE, D. S. ; CUNHA, I. ; LIMA, C. ; AGUIAR, L. . Contaminação Epidêmica em Redes: Imunidade Coletiva e Suas Implicações Frente a Atacantes Estratégicos. In: Congresso da Sociedade Brasileira de Computação 2018 (CSBC 2018) - 17o. WPerformance, 2018, Natal. Anais do Congresso da Sociedade Brasileira de Computação 2018 (CSBC 2018) - Em elaboração, 2018. v. 1. p. 1-8.
-
LIMA, C. ; CASTELLANI, V. ; PESSANHA, J. F. M. ; SOARES, A. B. . A Model to Forecast Wind Speed through Singular Spectrum Analysis and Artificial Neural Networks. In: 2017 International Conference on Artificial Intelligence, 2017, Las Vegas. Proceedings of the 2017 International Conference on Artificial Intelligence, 2017. v. 1. p. 235-240.
-
Machado, Murilo ; LIMA, C. ; GUTIERREZ, j. c. ; JIMENEZ, L. F. S. . Uma Meta-Heuristica Bio-Inspirada para um Agente de Busca. In: Computer On The Beach, 2016, Florianopolis. Anais do Computer on the beach, 2016. v. 1. p. 271-279.
-
Lima, Cabral ; LOBO, RENAN ; CRUZ, Adriano ; PEREIRA, BIANCA ; CASTELLANI, VALK . An new model for robot navigation based on AprioriAll algorithm. In: 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA), 2016, Agadir. 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA), 2016. v. 1. p. 1-7.
-
CASTELLANI, V. ; LIMA, C. ; PESSANHA, J. F. M. . Previsão de séries de velocidade do vento utilizando análise espectral singular e redes neurais artificiais.. In: XXIII Seminário Nacional de Produção e Transmissão de Energia Elétrica, 2015, Foz do Iguaçu. Anais do XXIII Seminário Nacional de Produção e Transmissão de Energia Elétrica. Brasília: Comitê Nacional Brasileiro de Produção e Transmissão de Energia Elétrica, 2015. v. 1. p. 1-8.
-
MAGALHAES, R. P. ; LIMA, C. . A New Method for Haar-Like Features Weight Adjustment Using Principal Component Analysis for Face Detection. In: ICONS 2014, The Ninth International Conference on Systems, 2014, NICE, France. Proceedings of the ICONS 2014, The Ninth International Conference on Systems. Nice: IARIA XPS Press, 2014. v. 1. p. 55-62.
-
LIMA, C. ; BRANDT, P. ; AGUIAR, K. ; FRANÇA, Felipe . Dealing with noise in the robotic planning of collision-free paths. In: CATA-2014: ISCA 29th INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 2014, Las Vegas. Proceedings of the 29th International Conference on Computers and Their Applications (CATA-2014), 2014. v. 1. p. 287-292.
-
MONTEIRO, R. G. ; THOMË, A. ; LIMA, C. . Detecção da direção do olhar via webcam. In: SIBGRAPI - Conference on Graphics, Patterns and Images, 2012, Ouro Preto. Proceedings of the Conference on Graphics, Patterns and Images, 2012. v. 1. p. 72-77.
-
CASTELLANI, V. ; PEÇANHA, J.F.M. ; LIMA, C. . Técnicas de Inteligência Computacional na Previsão de Séries de Velocidade de Vento: uma Comparação da Lógica Nebulosa com Redes Neurais Artificiais. In: XXI Seminário Nacional de Produção e Transmissão de Energia Elétrica, 2011, Florianópolis. Anais do XXI Seminário Nacional de Produção e Transmissão de Energia Elétrica. Brasília: Comitê Nacional Brasileiro de Produção e Transmissão de Energia Elétrica, 2011. v. I. p. 1-8.
-
MANIQUE,M. A. F. ; THOMÉ, Antônio Carlos Gay ; LIMA, C. ; CRUZ, Adriano Joaquim de Oliviera . A Dynamic Fluid Level Monitoring Application Using Hough Transform and Edge Enhancement. In: International Symposium on Industrial Electronics - IEEE ISIE 2009, 2009, Seoul. Proceedings of the International Symposium on Industrial Electronics - IEEE ISIE 2009, 2009. v. I. p. 317-322.
-
ANDRADE, L, C. V. ; LIMA, C. ; CARVALHO, L. A. ; CRUZ, Adriano Joaquim de Oliviera ; MATTOS, Paulo ; VELASQUE, L. S. ; GRIECO, B. ; SANTOS, F. . Avaliação Cognitiva Utilizando Técnicas Inteligentes e um Jogo Computacional. In: Simpósio Brasileiro em Informática na Educação - SBIE 2009, 2009, Florianópolis. Anais do Simpósio Brasileiro em Informática na Educação, 2009, 2009. v. I.
-
Lima, Cabral ; ALVES, George ; Soares, Adriana . Geometric Visualization: How to Acquire It Using Dynamic Geometry Systems?. In: 2008 Third International Conference on Systems ICONS, 2008, Cancun. Third International Conference on Systems (icons 2008). v. 1. p. 306-311.
-
TORRACA, Marcelo André Abrantes ; LIMA, C. . Ensinando Álgebra através de uma Reificação de Recursos Computacionais. In: 4to Simposium Iberoamericano en Educación, Cibernética e Informática: SIECI 2007 - 6ta Conferencia Iberoamericana de Sistemas, Cibernética e Informática: CISCI 2007, 2007, Orlando. Anais do 4to Simposium Iberoamericano en Educación, Cibernética e Informática: SIECI 2007 - 6ta Conferencia Iberoamericana de Sistemas, Cibernética e Informática: CISCI 2007, 2007. v. 1. p. 01-12.
-
COSTA, R. M. ; SOARES, Adriana Benevides ; LIMA, C. . Jogar e aprender: a informática no ensino de álgebra elementar. In: XVII SBIE / SBC, 2006, Brasília. Anais do XVII SBIE / SBC. Brasília: SBC, 2006. v. 1. p. 237-246.
-
ANDRADE, L, C. V. ; CARVALHO, L. A. ; LIMA, C. ; CRUZ, Adriano Joaquim ; SOARES, Adriana Benevides ; FRANCO, Carlos ; MATTOS, Paulo . The supermarket game: an adaptive intelligent computer game for dysexecutives syndrome diagnosis. In: International Digital Games Conference IDIG 2006, 2006, Portalegre. Proceedings of the International Digital Games Conference IDIG 2006, 2006. v. 1. p. 01-06.
-
MORATORI, Patrick Barbosa ; CRUZ, Adriano Joaquim de Oliviera ; LIMA, C. . Comparing robustness and performance of hybrid and non-hybrid fuzzy controllers aimed to guide a simulated robot. In: IEEE International Conference on Fuzzy Systems, 2006, Vancouver. Proceedings of the 2006 IEEE International Conference on Fuzzy Systems, 2006. v. 1. p. 1126-1132.
-
ALVES, George ; SOARES, A. B. ; LIMA, C. . O desenvolvimento da representação mental de triângulos através de utilização de um software de geometria dinâmica. In: I Congresso Latino Americano de Psicologia, 2006, São Paulo. Anais Eletrõnicos do I Congresso Latino Americano de Psicologia, 2006. v. 1. p. 1526-1539.
-
COSTA, Macário ; SOARES, Adriana Benevides ; LIMA, C. . Jogar e Aprender: A informática no Ensino da Álgebra. In: I Congresso Latino-Americano da Psicologia, 2006, São Paulo. Anais Eletrônicos do I Congresso Latino-Americano da Psicologia, 2006. v. 1. p. 1404-1412.
-
VASCONCELOS DE ANDRADE, LEILA ; VIDAL CARVALHO, LUIS ; Lima, Cabral ; CRUZ, Adriano ; MATTOS, Paulo ; FRANCO, Carlos ; Soares, Adriana ; GRIECO, BRUNO . Supermarket Game: An Adaptive Intelligent Computer Game for Attention Deficit/Hyperactivity Disorder Diagnosis. In: 2006 Fifth Mexican International Conference on Artificial Intelligence, 2006, Mexico City. . p. 359-368.
-
MORATORI, P.B. ; CRUZ, A.J.O. ; FERREIRA, E.B. ; PEDRO, M.V. ; MANHAES, L.M.B. ; DE ANDRADE, L.C.V. ; LIMA, C. . Analysis of the performance of a fuzzy controller developed to guide a simulated robot. In: IEEE 3rd International Conference on Computational Cybernetics, 2005. ICCC 2005., 2005, Mauritius. IEEE 3rd International Conference on Computational Cybernetics, 2005. ICCC 2005.. v. 11. p. 93-97.
-
MORATORI, P.B. ; CRUZ, A.J.O. ; PEDRO, M.V. ; FERREIRA, E.B. ; MANHAES, L.M.B. ; DE ANDRADE, L.C.V. ; LIMA, C. . Analysis of the Stability of a Fuzzy Control System Developed to Control a Simulated Robot. In: The 14th IEEE International Conference on Fuzzy Systems, 2005. FUZZ '05., 2005, Reno. The 14th IEEE International Conference on Fuzzy Systems, 2005. FUZZ '05.. v. 1. p. 726-730.
-
COSTA, Macário ; SOARES, A. B. ; LIMA, C. . Matemática elementar e o desenvolvimento cognitivo: o jogo educacional por computador como estratégia de ensino. In: IV Congresso Norte Nordeste de Psicologia, 2005, Salvador. Anais do IV Congresso Norte Nordeste de Psicologia, 2005. v. 1. p. ver-ver.
-
ALVES, George ; LIMA, C. ; SOARES, A. B. . Um estudo sobre o desenvolvimento espacial através da informática. In: IV Congresso Norte Nordeste de Psicologia, 2005, Salvador. Anais do IV Congresso Norte Nordeste de Psicologia, 2005. v. 1. p. ver-ver.
-
ALVES, George ; LIMA, C. ; SOARES, A. B. . O desenvolvimento da representacao mental de triangulos através da utilizacao de um software de geometria dinamica. In: IV Congresso Norte Nordeste de Psicologia, 2005, Salvador. Anais do IV Congresso Norte Nordeste de Psicologia, 2005. v. 1. p. ver-ver.
-
FERREIRA, Emília Barra ; LIMA, C. ; MORATORI, Patrick . A representação do conhecimento geométrico e o raciocínio lógico-dedutivo de professores de matemática num ambiente de geometria dinâmica. In: IV Congresso Norte Nordeste de Psicologia, 2005, Salvador. Anais do IV Congresso Norte Nordeste de Psicologia, 2005. v. 1. p. 1-12.
-
ALVES, George ; LIMA, C. ; SOARES, A. B. . Um estudo sobre o desenvolvimento do raciocínio espacial no ensino médio através da utilização do software Calques 3D. In: XXV Congreso da Sociedade Brasileira de Computação, 2005, São Leopoldo. Anais do XXV Congreso da Sociedade Brasileira de Computação - WIE, 2005. v. 1. p. 2815-2823.
-
ALVES, George ; LIMA, C. . Informática e Educação Matemática: um estudo de caso com triângulos através da Geometria Dinâmica. In: XXV Congresso da Sociedade Brasileira de Computação, 2005, São Leopoldo. Anais do XXV Congresso da Sociedade Brasileira de Computação - WIE, 2005. v. 1. p. 2797-2805.
-
FERREIRA, Emília Barra ; LIMA, C. ; MORATORI, Patrick Barbosa . A Representação do Conhecimento Geométrico e as Concepções de Professores de Matemática num Ambiente de GeometriaDinâmica. In: XXV Congreso da Sociedade Brasileira de Computação, 2005, São Leopoldo. Anais do XXV Congreso da Sociedade Brasileira de Computação - WIE, 2005. v. 1. p. 2851-2859.
-
MORATORI, Patrick ; CRUZ, Adriano ; FERREIRA, Emília Barra ; PEDRO, Márcia ; MANHÃES, Laci Mary Barbosa ; ANDRADE, Leila ; LIMA, C. . Análise de estabilidade e robustez de um sistema de controle fuzzy otimizado desenvolvido para guiar um robô simulado. In: XXXII Seminário Integrado de Software e Hardware - SEMISH/SBC, 2005, São Leopoldo. Anais do XXXII Seminário Integrado de Software e Hardware - SBC, 2005. v. 1. p. 1704-1715.
-
ZAVALETA, J. ; COSTA, M. ; GOUVEA, M.T. ; LIMA, C. . Computer games as a teaching strategy. In: , 2005, Kaohsiung. . v. 1. p. 257-259.
-
ANDRADE, Leila ; MORATORI, Patrick ; ARAUJO, Cátia ; FRANCO, Carlos ; LIMA, C. ; MATTOS, Paulo . Jogos Inteligentes Adaptativos Aplicados à Neuropsicologia Cognitiva.. In: XVI SBIE: Simpósio Brasileiro de Informática na Educação, 2005, Juiz de Fora. Proceedings of the XVI SBIE: Simpósio Brasileiro de Informática na Educação, 2005. v. ver. p. 13-15.
-
MORATORI, Patrick Barbosa ; CRUZ, Adriano ; LIMA, C. ; ANDRADE, Leila ; PEDRO, Márcia ; FERREIRA, Emília Barra . Analysis of the performance of different fuzzy system controllers developed to guide a simulated robot. In: Fourth Mexican International Conference on Artificial Intelligence, 2005, Mexico City. Proceedings of the Fourth Mexican International Conference on Artificial Intelligence, 2005. v. 1.
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . O desenvolvimento da representação mental de triângulos através de um software de geometria dinâmica. In: I Congresso Latino-Americano de Psicologia, 2005, São Paulo. Anais do I Congresso Latino-Americano de Psicologia. São Paulo: ULAPSI, 2005. v. 1. p. 1526-1540.
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . A formação de habilidades cognitivas: um estudo sobre o desenvolvimento do raciocínio espacial através da informática. In: IV Congresso Norte Nordeste de Psicologia, 2005, Salvador. Anais do IV Congresso Norte Nordeste de Psicologia, 2005. v. 1.
-
FERREIRA, Emília Barra ; SOARES, Adriana Benevides ; LIMA, C. . Representação do conhecimento geométrico e o raciocínio lógico dedutivo de professores de matemática num ambiente de geometria dinâmica.. In: IV Congresso Norte Nordeste de Psicologia, 2005, Salvador. Anais do IV Congresso Norte Nordeste de Psicologia, 2005. v. 1.
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . Um Estudo de Caso comTriângulos Através da Geometria Dinâmica. In: XXV Congresso da Sociedade Brasileira de Computação XXV, 2005, São Leopoldo. Anais do XXV Congresso da Sociedade Brasileira de Computação XXV, 2005. p. 2797-2805.
-
GANDRA, Henrique ; COSTA, Macário ; ZAVALETA, Jorge ; LIMA, C. . Uma experiência de informática aplicada à educação com alunos de licenciatura em matemática da Universidade Federal do Rio de Janeiro UFRJ. In: VIII Encontro Nacional de Educação Matemática, 2004, Recife. Anais do VIII Encontro Nacional de Educação Matemática, 2004. v. verif. p. verif-verif.
-
LIMA, C. . Constructing knowledge learning - diagnosis of human logic reasoning for ITS student model achievements. In: International Conference on Computers in Education - ICCE 2004, 2004, Melbourne. Proceedings of the International Conference on Computers in Education - ICCE 2004, 2004. v. I. p. 149-158.
-
COSTA, Raimundo Macario ; SOARES, Adriana Benevides ; FERREIRA, Emília Barra ; LIMA, C. . O Jogo Educativo no Ensino de Álgebra Elementar. In: XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. Aanis do XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004. v. ver. p. ver-ver.
-
ANDRADE, Leila ; MORATORI, Patrick ; MATTOS, Paulo ; LIMA, C. ; FRANCO, Carlos ; SOARES, A. B. . Mapa do Zoológico - Captura Cognitiva para Disfunção Executiva. In: SBIE-2004 Simpósio Brasileiro de Informática na Educação, 2004, Manaus. Anais do SBIE-2004 Simpósio Brasileiro de Informática na Educação, 2004. v. 1. p. 505-512.
-
ANDRADE, Leila ; MORATORI, Patrick ; ARAUJO, Cátia ; LIMA, C. ; SOARES, A. B. ; MATTOS, Paulo ; LONTRA, Marta ; SILVA, Cristina . Desenvolvendo Jogos Computacionais para Área de Neuropsicologia.. In: GameArt / SBGames 2004, 2004, Curitiba. Anais do Simpósio Brasileiro de Jogos para Computador e Entretenimento Digital ? GameArt / SBGames 2004., 2004. p. verif-verif.
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . Uma sequência didática com o auxílio da geometria dinâmica: o cálculo de volumes e o princípio de cavalieri. In: XXXIV Reunião Anual da Sociedade Brasileira de Psicologia, 2004, Ribeirão Preto. Anais da XXXIV Reunião Anual da Sociedade Brasileira de Psicologia, 2004. v. 1.
-
ANDRADE, Leila ; ZAVALETA, Jorge ; VAZ, Francine ; LIMA, C. ; ARAÚJO, Cátia ; SOARES, A. B. . Jogos Inteligentes são Educacionais?. In: SBC/SBIE, Anais do XIV SBIE -Simpósio brasileiro de Informática na Educação, 2003, Rio de Janeiro. Anais do XIV SBIE -Simpósio brasileiro de Informática na Educação, Rio de Janeiro, Novembro 2003. Rio de Janeiro: Sociedade Brasileira de Computação, 2003. v. 1. p. 664-672.
-
LIMA, C. ; SOARES, Adriana Benevides ; BAMPI, M. L. F. . A representação mental e a representação artificial: consonâncias e dissonâncias no processo de aquisição do conhecimento: dos modelos naturais e artificiais para a representação de conhecimentos. In: 32a. reunião anual de psicologia - Sustentação Científica da Prática em Pscologia, 2002, Florianópolis. Anais da 32a. reunião anual de psicologia. São Paulo: Editora da Sociedade Brasileira de Psicologia, 2002. v. 1. p. 52-53.
-
LIMA, C. ; OLIVEIRA, A.M.B. ; PAGET, M-M ; CLAUDÉ, J-P. . A cal system to teach computer networks with contextual helps.. In: IEEE INTERNATIONAL CONFERECE ON COMPUTER AIDED ENGINEERING EDUCATION, 1993, Bucarest. Proceedings of IEEE International Conference on Computer Aided Engineering Education - CAEE?93.. BUCAREST, ROMANIA, 1993. v. 1. p. 181-186.
-
LIMA, C. . Diagnosis processes and pedagogic resources using response models: the sintonia approach. In: IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED ENGINEERING EDUCATION, 1993, Bucarest. PROCEED. OF IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED ENGINEERING EDUCATION. BUCAREST, ROMANIA, 1993. v. 1. p. 151-156.
-
LIMA, C. . Sintonia: a knowledge based system for learner`s programs diagnosis in cal. In: INTERNATIONAL WORKSHOP ON COMPUTER AIDED EDUCATION - SOFT WARE QUALITY ASPECTS, 1993, Wroclaw. PROCEED. OF INTERNATIONAL WORKSHOP ON COMPUTER AIDED EDUCATION - SOFT WARE QUALITY ASPECTS. WROCLAW, POLAND, 1993. v. 1. p. 169-179.
-
BARRIL, P. ; LIMA, C. ; DELFORGE, B. . Compilation des connaissances et specification recursives.. In: PRC INTELLIGENCE ARTIFICIELLE, 1990, Cachan. Proceedings of PRC Intelligence Artificielle. CACHAN, FRANCE, 1989. v. 1. p. 73-87.
-
BARRIL, P. ; LIMA, C. ; DELFORGE, B. . Recursive specification and qualitative diagnosis.. In: IFIP TC3 INTERNATIONAL CONFERENCE ON ADVANCED RESEARCH ON COMPUTERS IN EDUCATION, 1990, TOKIO. Proceedings of IFIP TC3 International Conference on Advanced Research on Computers in Education.. TOKYO, JAPAN, 1990. v. 1. p. 339-344.
-
LIMA, C. . Ortograf: correction y ensenanza de la ortografia. In: IMIA INTERNATIONAL CONFERENCE ON INFORMATICS., 1988, Havana. Proceedings of IMIA International Conference on Informatics.. HAVANA, CUBA, 1988. v. 1. p. pegar-pegar.
-
FILHO, N. L. D. ; PEQUENO, T. ; LIMA, C. . Uma tecnica de modelagem do estudante para uso em programas educativos inteligentes.. In: 4 SIMPOSIO BRASILEIRO DE INTELIGENCIA ARTIFICIAL SBIA., 1987, Uberlandia. Anais do 4 Simpósio Brasileiro de Inteligência Artificial - SBIA.. UBERLANDIA, MG, BRASIL, 1987. v. 1. p. 425-436.
-
ALVES, George ; SOARES, Adriana Benevides ; LIMA, C. . Informática e cognição: em busca do desenvolvimento do raciocínio espacial no ensino médio. In: I Congresso Latino-Americano de Psicologia, 2006, São Paulo. Anais do I Congresso Latino-Americano de Psicologia. São Paulo: ULAPSI, 2006. v. 1. p. 1380-1403.
-
COSTA, R. M. ; CARVALHO, L. A. ; LIMA, C. ; SOARES, Adriana Benevides . O jogo educacional por computador como estratégia de apoio no ensino e aprendizagem da Matemática Elementar. In: XVII SBIE / SBC, 2006, Brasília. Anais do XVII SBIE / SBC. Brasilia, 2006.
-
ANDRADE, L, C. V. ; LIMA, C. ; CARVALHO, L. A. ; SOARES, A. B. ; CRUZ, Adriano Joaquim de Oliviera ; FRANCO, Carlos ; MATTOS, Paulo . An adaptive computer game with a fuzzy decision system for ADHD diagnosis. In: IEEE 5th Mexican International Conference on Artificial Intelligence MICAI, 2006, Mexico City. Proceedings of the IEEE 5th Mexican International Conference on Artificial Intelligence, 2006. v. 1. p. 1-8.
-
MORATORI, P.B. ; DE OLIVEIRA CRUZ, A.J. ; DE ANDRADE, L.C.V. ; LIMA, C. . Comparing sensitivity and robustness of fuzzy and neuro-fuzzy controllers. In: Fifth International Conference on Hybrid Intelligent Systems (HIS'05), 2005, Rio de Janeiro. Fifth International Conference on Hybrid Intelligent Systems (HIS'05). v. 1. p. 3 pp.-530.
-
COSTA, R. M. ; SOARES, Adriana Benevides ; LIMA, C. . Jogar e aprender: a informática no ensino da matemática elementar. In: I Congresso Latino-Americano de Psicologia, 2005, São Paulo. Anais do I Congresso Latino-Americano de Psicologia, 2005. v. 1. p. 1404-1412.
-
ANDRADE, Leila ; MORATORI, Patrick ; ARAUJO, Cátia ; LIMA, C. ; LONTRA, Marta ; ROCHA, Leonardo . Jogo do Mapa do Zoológico: Aplicação Neuropsicológica com Captura Cognitiva para Auxiliar no Diagnóstico de Disfunção Executiva.. In: WJogos / SBGames 2004, 2004, Curitiba. Anais do Simpósio Brasileiro de Jogos para Computador e Entretenimento Digital ? WJogos / SBGames 2004., 2004. p. 1-3.
-
LIMA, C. ; COSTA, Macário ; SOARES, A. B. . Jogar e Aprender: a informática no ensino de álgebra elementar. In: XXXIV Reunião Anual da Sociedade Brasileira de Psicologia, 2004, Ribeirão Preto. Anais da XXXIV Reunião Anual da Sociedade Brasileira de Psicologia, 2004. v. 1.
-
LIMA, C. . Learning intelligently in computational remote platforms: dynamical diagnosis of learner?s cognitive gains. In: Consciousness Research Culture and Humanities Congress, 2002, Tucson. Proceedings of the Consciousness Research Culture and Humanities Congress. Tucson: Consciousness Research Culture and Humanities, 2002. v. 1. p. 73-74.
-
SOARES, Adriana Benevides ; LIMA, C. . Investigating cognitive gain in a logical experiment. In: 24th Annual Meeting of the Cogmitive Science Society, 2002, Fairfax, Virginia. Procedings of the 24th Annual Meeting of the Cogmitive Science Society. Fairfax, Virginia: George Mason University., 2002. v. 1. p. 1041-1043.
-
GANDRA, Henrique ; COSTA, Macário ; ARISA, C. ; LIMA, C. . Usando teorias educacionais na modelagem de plataformas computacionais de educação a distância. In: Primeiro Simpósio Sul-brasileiro de Matemática e Informática, 2002, Curitiba. Anais do Primeiro Simpósio Sul-brasileiro de Matemática e Informática, 2002. v. 1. p. ver-ver.
-
LIMA, C. . Artificial intelligence and knowledge transference using new communication technologies: actual applications in distance education.. In: Towards a Science of Consciousness Congress, 2000, Tucson. Proceedings of Towards a Science of Consciousness Congress.. Tucson: Consciousness Research Culture and Humanities, 2000. v. 1. p. 173-174.
-
ALVES, George de Souza ; SOARES, A. B. ; LIMA, C. . Aquisição da representação mental de triângulos através da utilização de um software de geometria dinâmica. In: I Congresso Latino Americano de Psicologia, 2005, São Paulo. Anais do I Congresso Latino Americano de Psicologia, 2005. v. 1. p. 1-2.
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . Triângulos Dinâmicos: uma seqüência didática sobre conceitos relacionados a triângulos com o auxílio do software Tabulae. In: XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. Anais do XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004. p. 160-160.
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . O Cálculo de Volumes e o Princípio de Cavalieri: uma seqüência didática com o auxílio da Geometria Dinâmica. In: XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. Anais do XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004. v. 1. p. 161-161.
-
ANDRADE, Leila ; LIMA, C. ; MATTOS, Paulo ; FRANCO, Carlo ; MORATORI, Patrick ; LONTRA, Marta ; SILVA, Christina ; XAVIER, Guilherme . Pesquisando e Desenvolvendo Jogos Computacionais para Fins Cognitivos.. In: COINFE 2004,, 2004, Rio de Janeiro. Anais do VIII Congresso Estadual de Informática na Educação - COINFE 2004, 2004. p. 36-37.
-
ALVES, George ; SOARES, A. B. ; FERREIRA, Emília ; COSTA, Macário ; LIMA, C. . A perspectiva construtivista e os softwares de geometría dinámica. In: III Conferencia Argentina de Educación Matemática, 2003, Salta. Proceedings of III Conferencia Argentina de Educación Matemátic. Salta, 2003. v. 1. p. 179-179.
-
GANDRA, H. ; LIMA, C. . Aprendizagem de padrões de projeto em orientação a objetos: o sistema Lesoop. In: Primeiro Congresso Sul-brasileiro de Matemática e Informática, 2002, Curitiba. Anais do Primeiro Congresso Sul-brasileiro de Matemática e Informática, 2002. v. 1. p. 9999-9999.
-
COSTA, Macário ; SOARES, Adriana Benevides ; LIMA, C. . Resolução de problemas segundo a epistemologia genética e o tratamento da informação. In: Primeiro Simpósio Sul-Brasileiro de Matemática e Informática, 2002, Curitiba. Anais do Primeiro Simpósio Sul-Brasileiro de Matemática e Informática, 2002. v. 1. p. 56-56.
-
ARISA, C. ; LIMA, C. . Um tutorial inteligente para o ensino de estruturas de dados e seus algoritmos. In: I Simpósio Sul-Brasileiro de Matemática e Informática, 2002, Curitiba. Anais do I Simpósio Sul-Brasileiro de Matemática e Informática, 2002. v. 1. p. 9999-9999.
-
LIMA, C. ; GANDRA, Henrique ; ANDRADE, Leila ; COSTA, Macário . Aplicação de softwares para educação matemática num turma de licenciatura em matemática da universidade federal do rio de janeiro. In: Simpósio Sul-Brasileiro de Matemática e Informática, 2002, Curitiba. Anais do Primeiro Simpósio Sul-Brasileiro de Matemática e Informática, 2002. v. 1. p. 1-2.
-
POURBAIX, M. ; SOARES, A. B. ; LIMA, C. . Um Estudo sobre a Representação de Conhecimento em Sistemas Dedicados à Aprendizagem de Resolução de Problemas. In: I Simpósio Sul Brasileiro de Matemática e Informática, 2002, Curitiba. Caderno de Resumos do I Simpósio Sul Brasileiro de Matemática e Informática. Curitiba, 2002. v. 1. p. 28-28.
-
ALVES, George de Souza ; SOARES, A. B. ; LIMA, C. . Uma introdução ao estudo dos poliedros com o uso do computador. In: I Simpósio Sul- Brasileiro de Matemática e Informática., 2002. Caderno de Resumos do I Simpósio Sul- Brasileiro de Matemática e Informática.. Curitiba, 2002. v. 1. p. 51-51.
-
SOARES, Adriana Benevides ; LIMA, C. . Aprendizagem linguística computacional: modelo e propostas. In: IV Encontro Brasileiro Internacional de Ciência Cognitiva, 2000, Marília. Resumos do IV Encontro Brasileiro Internacional de Ciência Cognitiva. Marília: UNESP, 2000. v. 1. p. 16-16.
-
DUMAS, G. ; DINIZ, A. ; LIMA, C. . A tutoring system with intelligent help aiming to the learning of social behaviours. In: 2nd Brazilian/International Meeting of Cognitive Sciences - 2o EBICC, 1996, Campos. Anais do Segundo Encontro Brasileiro/Internacional de Ciencia Cognitiva. Campos, Brasil, 1996. v. 1. p. 222-222.
-
CARVALHO, R. ; LIMA, C. . Computer aided learning: an analysis of one application.. In: 2nd Brazilian/International Meeting of Cognitive Sciences - 2o EBICC, 1996, Campos. Anais do Segundo Encontro Brasileiro/Internacional de Ciencia Cognitiva. Campos, Brasil, 1996. v. 1. p. 248-248.
-
LIMA, C. . Utilizacao de novas tecnologias na escola: reflexoes, criticas, sugestoes.. In: 4 SIMPOSIO BRASILEIRO DE INFORMATICA NA EDUCACAO - SBIE, 1993, Recife. pegar com a Sônia Sette. RECIFE, PE, BRASIL, 1993. v. 1. p. pegar-pegar.
-
OLIVEIRA, A.M.B. ; PAGET, M-M ; LIMA, C. . Towards an intelligent system in the teaching of computer networks. In: INTERNATIONAL COMPUTER ASSISTED LEARNING CONFERENCE, 1993, York. Proceedings of International Computer Assisted Learning Conference - CAL?93. YORK, UK, 1993. v. 1. p. 148-149.
-
LIMA, C. . Utilisant l'intelligence artificielle dans C.A.L.: modéliser l'étudiant par des modèles de résponses structurés. In: 4ème Symposium sur les recherches brésiliennes en France, 1993, Paris. Proceedings of 4ème Symposium sur les recherches brésiliennes en France, 1993. v. 1. p. 15-15.
-
ROMANCZUK-RÉQUILÉ, A. ; LIMA, C. ; KAESTNER, C., ; SCALABRIN, E . A contextual help system based on intelligent diagnosis processing aiming to design and maintain object-oriented packages.. Lecture Notes in Computer Science , Springer-Verlag, v. 1, p. 64-65, 1998.
-
QUEIROZ, R. L. ; FERRENTINI, F. ; LIMA, C. ; LIMA, Priscila M Vieira . AI from Concrete to Abstract. AI & Society , 2021.
-
LIMA, C. . Raciocínio Lógico e Ciência da Computação: Simbiose e Dependência. 2013. (Apresentação de Trabalho/Conferência ou palestra).
-
LIMA, C. . Do planejamento à obtenção da aprovação CAPES de um curso de Pós-Graduação: principais démarches. 2013. (Apresentação de Trabalho/Conferência ou palestra).
-
LIMA, C. . Avaliações CAPES e a pós-graduação brasileira. 2013. (Apresentação de Trabalho/Conferência ou palestra).
-
GAVÍDIA, Jorge Juan Zavaletta ; FRANÇA, Felipe ; LIMA, C. . Elements of computer games definition and their relationships: a new standardized approach. 2007. (Apresentação de Trabalho/Congresso).
-
ALVES, George de Souza ; SOARES, Adriana Benevides ; LIMA, C. . Using dynamic geometry software in order to help the development of geometric visualization processes. 2007. (Apresentação de Trabalho/Congresso).
-
COSTA, Raimundo Macario ; LIMA, C. . Jogando e Aprendendo Matemática: a Informática no Ensino de Álgebra Elementar. UERJ, Rio de Janeiro. 2004. (Apresentação de Trabalho/Outra).
-
LIMA, C. . Program Committee. IEEE Xplore and Conference Pro: IEEE Editions - The Fourth International Conference on Systems, ICONS 2009, 2008 (Program Committee).
-
LIMA, C. . Committee membership for the IEEE 2006 CCA/CACSD/ISIC. The IEEE Control Systems Society Conference Management System, 2006 (Program Committee).
-
ALVES, George ; FERREIRA, Emília ; COSTA, Raimundo ; LIMA, C. . Um estudo das correlações entre os softwares de geometria dinâmica e a perspectiva construtivista. Rio de Janeiro: UFRJ/NCE Edições, 2004 (Research report).
-
LIMA, C. ; OLIVEIRA, Carlo Emmanoel Tolla de ; PEREIRA, Luciane Amorim . Jogos eletrônicos educativos: um estudo de caso(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2003 (Research report).
-
SOARES, Adriana Benevides ; POURBAIX, M. ; LIMA, C. . A cognitive approach to mental representation in mathematical problem solving(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
SOARES, Adriana Benevides ; CAETANO, M. ; LIMA, C. . Analyzing problem solving strategies under a cognitive viewpoint(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
COSTA, Macário ; GANDRA, Henrique ; ANDRADE, L, C. V. ; LIMA, C. . Aplicação de softwares de matemática: um estudo de caso na ufrj(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
LIMA, C. ; OLIVEIRA, C. E. T. ; BENÍCIO, H. L. . Design and implementation of a distance education system aimed to the teaching of object-oriented(Research report) technologies. Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
ARISA, C. ; LIMA, C. . Ensino de estruturas de dados e seus algoritmos: utilização de um sistema síncrono e assíncrono dedicado (Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
ARISA, C. ; LIMA, C. . Learning of data structures and algorithms using a distance learning platform(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
LIMA, C. . Modeling computer-based distance learning platforms(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
SOARES, Adriana Benevides ; LIMA, C. ; BAMPI, M. L. F. . Os processos de aquisição e de representação de raciocínios e conhecimentos(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
GANDRA, Henrique ; LIMA, C. . Padrões de projeto em orientação a objetos: estudos sobre a aplicabilidade de sistemas dedicados a construção e representação de conhecimentos(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
GANDRA, Henrique ; LIMA, C. . Remote Learning of Design Patterns(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
SOARES, Adriana Benevides ; LIMA, C. ; BAMPI, M. L. F. . Sobre a relação dicotômica mental/artificial: a representação de conhecimentos e os processos de aquisição e de raciocínio(Research report). Rio de Janeiro: UFRJ/NCE Rdições, 2002 (Research report).
-
ALVES, George ; SOARES, Adriana Benevides ; LIMA, C. . Utilização de poliedros: um estudo de caso(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
LIMA, C. ; ARISA, C. ; GANDRA, Henrique ; COSTA, Macário . Um survol sobre teorias de aprendizagem: modelos dinâmicos de plataformas de EAD.(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
LIMA, C. ; GANDRA, Henrique ; RAPOSO, R. ; ARISA, C. ; COSTA, Macário . Using educational theories for modeling a computer-based distance learning platform(Research report). Rio de Janeiro: UFRJ/NCE Edições, 2002 (Research report).
-
LIMA, C. . Formal specification for educational softwares.(Research report). Campos: Edições UENF, 2000 (Research report).
-
LIMA, C. . Software packages for distance learning purposes.(Research report). Campos: Edição UENF, 2000 (Research report).
-
LIMA, C. . Estudando a lógica para programar em inteligência computacional.(Research report). Campos: Edições UENF, 1999 (Research Report).
-
LIMA, C. . A lógica do raciocínio lógico.(Research report). Campos: Ediçoes UENF, 1999 (Research Report).
-
LIMA, C. . Educação à distância: projetando um curso remoto via critérios cognitivos.(Research report). Campos: Edições UENF, 1999 (Research Report).
-
LIMA, C. . Proposição de enigmas lógicos.(Research report). Campos: Edições UENF, 1999 (Research report).
-
LIMA, C. . Raciocínio lógico para a inteligência computacional.(Research report). Campos: Edições UENF, 1999 (Research report).
-
LIMA, C. . Enigmas smullyanos e inteligência computacional.(Research report). Campos: Edições UENF, 1999 (Research report).
-
LIMA, C. . Simulação computacional e sistemas informáticos.(Research report). Campos: Edições UENF, 1999 (Research report).
-
LIMA, C. . Sobre o simulador computacional Micro3.(Research report). Campos: Edições UENF, 1999 (Research report).
-
LIMA, C. . On semantics and formalization in logical discourse.(Research report). Campos: Edições UENF, 1999 (Research report).
-
LIMA, C. . A lógica de circuitos lógicos.(Research report). Campos: Edições UENF, 1999 (Research report).
-
LIMA, C. . From the systems of intelligent transference of knowledge to the integration of new technologies of information and communication: what is the real step in direction to the remote education?(Research report). Campos: Edições UENF, 1998 (Research Report).
-
LIMA, C. . Um software educacional para o ensino de arquiteturas computacionais.(Research report). Campos: Edições UENF, 1998 (Research Report).
-
LIMA, C. ; ALVES, F. ; SANTOS, F. ; MACIEL, E. . On some hints for your printer.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Sobre aspectos de representações de dados quando da execução de programas complexos.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Contextualização e visibilidade relativa em linguagens computacionais.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Estudo do controle em processos compilatórios.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Processos abstratos em manipulações de informações.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Especificidades da administração dinâmica da memória.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Revisiting Reiter?s logic for default reasoning.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Basic concepts about microcomputer activities.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Essential knowledges in numerical analysis.(Research report). Campos: Edições UENF, 1998 (Research report).
-
ROMANCZUK-RÉQUILÉ, A. ; LIMA, C. ; KAESTNER, C., ; SCALABRIN, K. E. . Object-oriented softwares: helping design and maintenance by intelligent tools.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Analysing socratic reasoning by logical explanation sentences.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Raciocínio e lógica não monotônica.(Research report). Campos: Edições UENF, 1998 (Research Report).
-
LIMA, C. . Herbrand?s universe and logical formalization.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Using clause resolution in program verification.(Research report). Campos: Edições UENF, 1998 (Research report).
-
LIMA, C. . Educando via computador: projeto e implementação de uma aplicação particular em SMALLTALK.(Research report). Campos: Edições UENF, 1997 (Research Report).
-
LIMA, C. . Autoria de softwares educacionais: recursos de softwares educacionais: recursos instrumentais no ensino.(Research report). Campos: Edições UENF, 1997 (Research Report).
-
LIMA, C. . Educação à distância: alguns aspectos da educação por conferências(Research report). Campos: Edições UENF, 1997 (Research Report).
-
LIMA, C. . On a computer based pedagogical experiment in the teaching of artificial intelligence for graduate and post graduate levels.(Research report). Campos: Edições UENF, 1997 (Reseach Report).
-
LIMA, C. . A theoretic platform aimed to support formal modeling in computer based teaching.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Aprendizagem cooperativa assistida por computador.(Research report). Campos: Edições UENF, 1997 (Research Report).
-
LIMA, C. . Teaching intelligently by computers: a formal model based on na object notation.(Research report). Campos: Edições UENF, 1997 (Research Report).
-
LIMA, C. . Um survol sobre o ensino via computadores.(Research report). Campos: Ediçoes UENF, 1997 (Research Report).
-
LIMA, C. . Especificações e características básicas em projetos de sistemas operacionais(Research report). Campos: Edições UENF, 1997 (Research report).
-
SOARES, Adriana Benevides ; LIMA, C. . The development of contextual systems(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Entendendo a execução de programas(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Um estudo sobre sistemas aritméticos(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Reasoning in mathematical logic: how to solve Socratic problems?(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Manipulações lógicas e aritméticas em sistemas computacionais(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Representação e especificidade de objetos em sistemas computacionais(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Knowledge representation to express knowledge, knowledge representation to record knowledge, knowledge representation to have access to knowledge, knowledge representation to acquire knowledge, knowledge representation to discover knowledge, and knowledge representation about computer human actions.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Computador: o que sabemos sobre sua programação?(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Símbolos e representações(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Um estudo sobre modelos arquiteturais de processadores.(Research report). Campos: Ediçoes UENF, 1997 (Research report).
-
LIMA, C. . Formalizing terms.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Ganhar tempo não significa necessariamente otimizar: um estudo sobre a complexidade de algoritmos.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Sobre a programação lógica.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Orientação a objetos.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Estudo sobre a linguagem orientada a objetos SMALLTALK/V sob o prisma da informática aplicada à educação.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Aspectos do processamento de strings.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Um estudo sobre linguagens de programação.(Research report). Campos: Edições UENF, 1997 (Research report).
-
LIMA, C. . Sobre compiladores.(Research report). Campos: Edições UENF, 1997 (Research report).
-
SOARES, Adriana Benevides ; LIMA, C. . How to learn computing concepts using previous knowledge and knowledge acquisition processes(Research report). Paris: Institut Blaise Pascal Editions, 1995 (Research Report).
-
LIMA, C. ; ABBOUD, R. . On logical reasoning and knowledge representation in Socratic problems using a comparison between experts and novices(Research report). Paris: Institut Blaise Pascal Editions, 1995 (Reseach Report).
-
LIMA, C. . L'analyse orientée objets(Research report). Paris: Institut Blaise Pascal Editions, 1995 (Cahiers de cours - Maîtrise en Informatique).
-
LIMA, C. . Modelling interface and knowledge in software packages aimed to know about their individual users: a critical viewpoint(Research report). Paris: Institut Blaise Pascal Editions, 1994 (Research Report).
-
LALLANE, S. ; OLIVEIRA, A.M.B. ; LIMA, C. ; CLAUDÉ, J-P. . Un générateur de prototypes pour un système d'enseignement de réseaux informatiques.(Research report). Paris: Institut Blaise Pascal Editions, 1993 (Research report).
-
LIMA, C. ; OLIVEIRA, A.M.B. ; PAGET, M-M ; CLAUDÉ, J-P. . A CAL system to teach computer networks with contextual helps.(Research report). Paris: Institut Blaise Pascal Editions Research, 1993 (Research Report).
-
LIMA, C. . SINTONIA: a knowledge based system for learners programs diagnosis in CAL(Research report). Paris: Institut Blaise Pascal Editions, 1993 (Research report).
-
LIMA, C. . Diagnosis processes and pedagogic resources using response models(Research report). Paris: Institut Blaise Pascal Editions, 1993 (Research report).
-
OLIVEIRA, A.M.B. ; DE SOUSA, J. N. ; AGOULMINE, N. ; LIMA, C. . Une spécification pour le système MINHOCA(Research report). Paris: Institut Blaise Pascal Editions, 1993 (Research report).
-
LIMA, C. . Vers un système intelligent pour la construction des diagnostics dans les tuteurs d'informatique.(Research report). Paris: Institut Blaise Pascal Editions, 1992 (Research report).
-
LIMA, C. ; OLIVEIRA, A.M.B. ; PAGET, M-M ; CLAUDÉ, J-P. . Des aides contextuelles dans l'enseignement des réseaux informatiques: une étude de cas(Research report). Paris: Institut Blaise Pascal Editions, 1992 (Research report).
-
BARRIL, P. ; LIMA, C. ; BRETTE, J.F. . Pascal/V: une implantation pédagogique de Pascal sous Smalltalk/V.(Research report). Paris: Institut Blaise Pascal Editions, 1991 (Research report).
-
BARRIL, P. ; LIMA, C. ; DELFORGE, B. . Compilation des connaissances et spécifications récursives (Research report). Paris: Institut Blaise Pascal Editions, 1990 (Research report).
-
BARRIL, P. ; LIMA, C. ; DELFORGE, B. . Spécifications récursives et diagnostic qualitatif (Research report). Paris: Institut Blaise Pascal Editions, 1990 (Research report).
-
LIMA, C. ; MADAULE, F. ; PAGET, M-M . Quels outils informatiques pour réaliser des didacticiels?: une étude sur Smalltalk/V.(Research report). Paris: Institut Blaise Pascal Editions, 1989 (Research Report).
Outras produções
LIMA, C. . Consultoria PROCAD/CAPES. 2010.
CRUZ, Adriano ; DEMASI, Pedro ; LIMA, C. . Jogos Educativos Inteligentes: Ferramentas de Suporte.. 2003.
LIMA, C. . AUTOMAÇÃO DE EXECUÇÕES. 2008. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . PROGRAMAÇÃO: DA LÓGICA AOS ROBÔS. 2008. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Association des Technologies de l'Information pour l'Education et la Formation. 2006. (Membro de Associacao Internacional).
LIMA, C. . Algoritmizando. 2005. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Entendendo a execução de programas.. 2005. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . A Representação de Dados. 2005. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Modelos Arquiteturais de Processadores. 2005. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Representação e Especificidade de Objetos em Sistemas Computacionais. 2005. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Sistemas Numéricos e suas Representações. 2005. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Programação de Computadores. 2005. (Ensino de graduação - Programação de Computadores - Engenharia Mecanica).
LIMA, C. . Cendotec. 2003. (Membro do CENDOTEC desde 2003).
LIMA, C. . Representações em sistemas computacionais.. 1998. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . L'Analyse Orientée Objets. 1995. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Gestion d'Echanges en systèmes portés. 1994. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Programming in logic: prolog. 1994. (Desenvolvimento de material didático ou instrucional - Cahiers de Cours).
LIMA, C. . Sintonia: un résumé. 1994. (Desenvolvimento de material didático ou instrucional - Cahiers de Cours).
LIMA, C. . A Programação em Pascal. 1985. (Desenvolvimento de material didático ou instrucional - Apostilha de Curso).
LIMA, C. . Radio Cidade - Programa Rapadura Cultural. 2020 (Rádio).
LIMA, C. . SINTONIA: vers un système intelligent pour la construction des diagnostics dans les tuteurs d'informatique.. 1992 (Demais trabalhos relevantes) .
LIMA, C. . DBTGinho/CAD: Um sistema de gerência de banco de dados para aplicações não convencionais.. 1985 (Demais trabalhos relevantes) .
Projetos de pesquisa
-
2020 - Atual
MASI- MODELOS E ARTQUITETURAS PARA SISTEMAS INTELIGENTES, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Daniel SADOC MENASCHÉ - Integrante / Vilc QUEUPE RUFINO - Integrante / Diogo DE ALMEIDA DIAS - Integrante / Mateus SCHULZ NOGUEIRA - Integrante / André Luiz LADEIRA DE SOSA LIMA - Integrante / Eduardo DE SOUZA CYPRIANO - Integrante / Rubens LACERDA QUEIROZ - Integrante / David PENALVA CLAIRE SILVEIRA GOULART DUARTE - Integrante.
-
2015 - 2018
RED-CYTED HAROSA (SimLogistics), Descrição: Red Iberoamericana de Logística Inteligente en la Gestión Sostenible del Transporte en Núcleos Urbanos (SMARTLOGISTICS@IB) Descrição: Enterprises in the retailing, logistics and transportation sectors have to face several difficult challenges related to the complexity of logistics and distribution strategies. Among others, they have to design business and distribution strategies as well as policies which combine competitiveness, and economic efficiency with sustainability criteria. These issues are critical, especially for small and medium enterprises (SME), since they hardly have the economic and human resources necessary to implement and manage the complex mathematical methods associated with logistics optimization. One strategy that SMEs can follow to become more competitive is to collaborate with other companies (Horizontal Cooperation), allowing the use of economies of scale. Fortunately, new quantitative methods can be developed now thanks to theoretical advances as well as to the increase in computer power. This is the case of hybrid methods combining metaheuristics, simulation, exact methods, parallel and distributed computing, multi-agent approaches, etc. In particular, as a new research field, 'simheuristics' evolves from the simulation-optimization knowledge field and goes one step further by proposing the integration of simulation techniques,metaheuristics, and Internet computing as the most efficient way to deal with the uncertainty and complexity levels which characterize most real-life problems in logistics and transportation.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Priscila Machado Vieira Lima - Integrante / França, Felipe M.G. - Integrante / Angel A. Juan - Integrante / Javier Faulin - Coordenador / Josefino Cabral Melo Lima - Integrante. Financiador(es): Internet Interdisciplinary Institute - Cooperação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Integrante / Priscila Machado Vieira Lima - Coordenador / Felipe MAIA GALVÃO FRANÇA - Integrante / Adilson Elias XAVIER - Integrante / Angel Juan - Integrante / Javier Faulin - Integrante.
-
2013 - 2015
Navegação Robótica Bio-Inspirada em Superfícies Irregulares? (NAROBISI), Descrição: O termo ?bio-inspirado? advém de ?biônico? (biológico+eletrônico) cunhado por E. Steele da Wright-Patterson Air Force. A ideia basilar é o estudo de comportamentos observados em seres vivos visando aplica-los na concepção de novas tecnologias. A inspiração vem da natureza, da valorização de seus conhecimentos e da mudança do paradigma de pura extração de seus recursos. Desenvolvimentos tecnológicos, oriundos do estudo de ações de seres vivos, são exemplos factíveis de sucesso de sistemas bio-inspirados: aerodinâmica de carros e aviões; radares; roupas para natação, flutuação aérea e mergulho submarino longo; remédios; robôs etc. Sistemas bio-inspirados copiam processos biológicos para resolver problemas em várias áreas. A ideia capital é: se a natureza gastou milhões de anos aperfeiçoando seus mecanismos, porque não copiá-los? Esse aperfeiçoamento encontra-se, por exemplo, nas conchas marinhas (2x mais duras do que as cerâmicas), nas teias de aranhas (resistência 5x maior que a do aço), nos mexilhões (se grudam às pedras via uma cola muito mais potente do que qualquer cola submersa criada pelo homem). O projeto ?Navegação Robótica Bio-Inspirada em Superfícies Irregulares? (NAROBISI) visa à implementação de um robô que possa se movimentar em ambientes cujas superfícies de contato sejam irregulares, tais como em gasodutos, plataformas de extração de petróleo, etc. Este novo projeto é continuidade dos projetos "RI-Um Robot Inteligente" (RI) e "Robô Inteligente para Navegação em Ambientes Hostis" (RINAH), ambos focados em robôs atuando em ambientes petrolíferos. O RI aborda a aprendizagem de padrões de movimento de partículas (como ocorre em inspeção de gasodutos) e planejamento de trajetória sem colisões com essas partículas. O RINAH estuda vários robôs num ambiente hostil, minimizando riscos de acidentes e maximizando a efetivação de tarefas emergenciais; A comunicação entre robôs permite que eles resolvam problemas de modo cooperativo e complementar, usando sensores e identificando riscos no ambiente. Em ambos os projetos a navegação se faz em superfícies planas. O foco desses projetos é mais o de detectar padrões, planejar trajetórias livre de colisões e prover comunicações síncronas entre robôs visando à resolução de problemas. O foco do NAROBISI é a locomoção de robôs em ambientes petrolíferos cujas superfícies exigem movimentos mais complexos do que deslocamentos lineares. As formas de locomoção de cobras, macacos, insetos e peixes têm sido objeto de aplicações robóticas recentes. Uma taxonomia de relevos comuns em ambientes petrolíferos pode ajudar a detectar dinâmicas de movimento. O NAROBISI trata das contribuições bio-inspiradas para a realização de movimentos não-lineares (saltar, rastejar, zigue-zaguear...) necessários para a navegação em ambientes petrolíferos. Os robôs serão embarcáveis e parametrizáveis, permitindo alterações síncronas de contexto e de escopo de ações. Pesquisas desenvolvidas no MASI/PPGI e resultados obtidos no RI e RINAH, servem de base às pesquisas relativas ao projeto de navegação bio-inspirada. Estabelecemos para esta etapa do projeto, na qual este pedido está inserido, os seguintes objetivos: 1. Continuar os testes de estabilidade de robôs quando de outras técnicas nebulosas ou híbridas são empregadas para escolha do controle; 2. Melhorar o desempenho de navegações erráticas fazendo com que os vazios no conhecimento sejam preenchidos via aprendizado nebuloso; 3. Estabelecimentos de critérios emergenciais quando o grafo de representatividade de hostilidade apresentar iminentes regiões de conflitos de navegabilidade; 4. Estabelecer uma taxonomia de deslocamentos não-lineares necessários à movimentação em superfícies irregulares; 5. Agregar comportamentos biológicos ao robô em ambientes petrolíferos visando a estabelecer condutas que evitem a colisão de indivíduos de um grupo (cardume de peixes) o. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Adriano Joaquim DE OLIVIERA CRUZ - Integrante / Mariam DOS PASSOS AFONSO DA CONCEIÇÃO - Integrante / Ramiro PEREIRA DE MAGALHÃES - Integrante / Alland GOULART DE ARAUJO - Integrante / Vanessa ESCOCIO LOURENÇO - Integrante / Mário CECCHI - Integrante / Stella CIPRIANO QUEIROZ - Integrante.
-
2012 - 2014
Robôs Inteligentes para Navegação em Ambientes Hostis, Descrição: O projeto "Robô Inteligente para Navegação em Ambientes Hostis" busca a implementação de um robô que possa resolver tarefas em ambientes considerados hostis, tais como gasodutos, oleodutos, plataformas de extração de petróleo, etc. Esta pesquisa tem por base os promissores resultados obtidos no projeto "RI-Um Robot Inteligente", construído para aprender padrões de deslocamento de partículas móveis (como acontece nas tarefas de inspeção de gasodutos, por exemplo) e planejar trajetórias próprias que evitem colisões com essas partículas. Um importante objetivo adjacente é a resolução de tarefas tipicamente humanas, relacionadas a reconhecimento e extração de características de ambientes conhecidos e desconhecidos, tendo capacidade de aprendizado para uma posterior tomada de decisões em tempo real. Nesse projeto de navegação em ambientes hostis pode compreender vários robôs inteligentes que venham a trabalhar num ambiente de forma producente para minimizar riscos de acidentes e maximizar a efetivação de tarefas emergenciais. Esses robôs serão embarcáveis e parametrizáveis, permitindo alterações síncronas de contexto e de escopo de ações. Além disso, a comunicação com seus pares permitirá a esses robôs resolverem problemas de modo cooperativo e complementar, através de análises dos diversos sensores e da comunicabilidade sobre os riscos e facilidades nas regiões determinadas do ambiente. Os trabalhos de pesquisas já desenvolvidos em nosso grupo de pesquisa MASI/PPGI e o promissor resultado obtido com a implementação do RI servem de base às pesquisas relativas ao projeto de navegação em ambientes hostis. Portanto, estabelecemos para esta etapa do projeto, na qual este pedido está inserido, os seguintes objetivos: 1. Continuar os testes de estabilidade de robôs inteligentes quando outras técnicas de projeto de sistemas de controle nebulosos e ou híbridas são empregadas para escolha da melhor alternativa para o controle dos robôs; 2. Melhorar o desempenho de navegações erráticas fazendo com que os vazios no conhecimento do sistema sejam preenchidos por meio de técnicas de aprendizado nebuloso; 3. Estabelecimentos de critérios emergenciais quando o grafo de representatividade de hostilidade apresentar iminentes regiões de conflitos de navegabilidade; 4. Realizar testes complementares aos teóricos e simulados bem como o estudo de problemas físicos que ainda não puderam ser modelados. ----------------------------- Título: Robôs Inteligentes para Navegação em Ambientes Hostis Título do projeto registrado no Grupo de Pesquisa do CNPq: Inteligência, Robótica e Sistemas Bio-inspirados. CENPES PR2 Inscrição n:. 00172011-6 UFRJ/IM/DCC. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (5) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Adriano Joaquim DE OLIVIERA CRUZ - Integrante / Valk CASTELLANI - Integrante / Renan MOREIRA LOBO - Integrante / Bruna DE BARROS XAVIER SANTOS - Integrante / Mariam DOS PASSOS AFONSO DA CONCEIÇÃO - Integrante.
-
2009 - 2020
Sistemas Inteligentes, Contextuais e Adaptativos, Descrição: Projeto de pesquisa catalogado junto à prorreitoria de pos-graduacao e pesquisa (Pr2) da UFRJ, aprovado por todas instancias supeirores da UFRJ. Maiores detalhes via o sistema SIGMA UFRJ (projeto 14534). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (6) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Adriano Joaquim DE OLIVIERA CRUZ - Integrante / Antônio Carlos GAY THOMÉ - Integrante.
-
2009 - 2014
INWS - Instituto Nacional de Ciência da Web - Coordenador Carlos J. P.de Lucena, Descrição: O Instituto Nacional WebScience possui como missão: fazer avançar a pesquisa científica em Ciência da Web, nas quais os pesquisadores do instituto vêm produzindo contribuições de qualidade para as comunidades científicas nacional e internacional; educar profissionais e pesquisadores, para garantir inovação e promover colaboração interdisciplinar; transferir conhecimento para todos os setores da sociedade por meio de programas educacionais abrangentes; e transferir conhecimento para a indústria e o setor de serviços por meio de programas específicos, incluindo residências no Instituto. http://www.cnpq.br/programas/inct/_apresentacao/inct_ciencia_web.html . Situação: Em andamento; Natureza: Pesquisa. Integrantes: Priscila Machado Vieira Lima - Integrante / Josefino Cabral Melo Lima - Integrante / Edmundo de Souza e Silva - Integrante / Fabio Protti - Integrante / Mario Roberto Folhadela Benevides - Integrante / outros - Integrante / FRANÇA, FELIPE M. G. - Integrante / Nelson Maculan - Integrante / Carlos J. P. de Lucena - Coordenador. Detalhes: http://inct.cnpq.br/web/inct-webscience/home/. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Integrante / Carlos José P. de LUCENA - Coordenador.
-
2009 - 2013
Ambientes de aprendizagem: cooperação, adaptação e recomendação, Descrição: Projeto de pesquisa catalogado junto à PR2/UFRJ. Maiores informacoes via o sistema SIGMA (projeto codigo 11550). Projeto liderado pela Profa. Claudia MOTTA. Pesquisador do projeto. ---- Código: 11550 Título: Ambientes de aprendizagem: cooperação, adaptação e recomendação Natureza: Pesquisa Descrição: Este projeto visa o estudo de tecnologias na área de CSCW e CSCL, através do desenvolvimento de ambiente de apoio a cooperação de equipes onde é evidenciada a filtragem e recomendação de documentos que fluem entre os membros da equipe. Atualmente o Projeto se divide em três frentes: 1. Utilização, estudo e desenvolvimento do Ambiente TeamWorks 2. Estudo, desenvolvimento e implementação de uma Comunidade Virtual visando o compartilhamento de material produzido por alunos, professores e funcionários da UFRJ 3. Estudo e Implementação de Sistemas de Hipermídia Adaptativo A primeira está em funcionamento há pelo menos 5 anos e hoje mais de 15 ambientes já foram utilizados tendo mais de 100 pessoas utilizado o TeamWorks. Há cooperação com a COPPE/Oceânica através do Professor Claudio Neves que vem utilizando o sistema para apoiar a cooperação entre os membros, Inter-Institucionais, do Projeto Amigos de Boussinesq, além de utilizar disciplinas de pós-graduação. No Programa de Informática - o TeamWorks já vem sendo usado há 5 anos para apoiar as aulas presenciais. No momento - 4 alunos de mestrado estão dedicando suas teses para aprimorar o mesmo para utilização na Educação Coorporativa, realizando estudos nas áreas de Sistemas de Recomendação, Filtragem da Informação, Mineração de Dados (DataMining) , Clusterização, Gerenciamento do Conhecimento, etc. A Segunda vem de encontro a necessidade de se encontrar os PARES na UFRJ. A idéia principal é criar uma COMUNIDADE VIRTUAL onde seus participantes possam compartilhar suas produções. Aqueles que produzem, depositam seus produtos e, aqueles interessados na produção, fazem a consulta e utilizam o material disponibilizado. Utilizando as informações disponíveis no sistema (cadastro, ficha de avaliação, ect) e técnicas de mineração de dados é possível identificar os PARES (em relação a diferentes abordagens) e colocá-los em contato (se assim o quiserem). Este estudo já conta com 4 alunos de graduação, divididos em dois projetos de final de curso, que devem apresentar seus resultados ainda este ano. A terceira está relacionada aos Sistemas de Hipermídia Adaptativos. A idéia básica deste estudo é desenvolver ferramentas que permitam o professor disponibilizar suas aulas em Ambientes Virtuais de Aprendizado, relacionando o conteúdo com os conceitos de tal forma que o aluno possa ter o conteúdo adaptado ao seu conhecimento prévio.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (16) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Fábio FERRENTINI - Integrante / Marcos ELIA - Integrante / Cláudia LAGE REBELLO DA MOTTA - Integrante.
-
2009 - Atual
Neurolog REDE, Descrição: Laboratório de neurociências e informática Projeto de pesquisa catalogado junto à PR2/UFRJ e aprovado pelo IM/UFRJ. Maiores detalhes podem ser obtidos via o SIGMA/UFRJ (projeto codigo 15283). Projeto liderado pela Profa. Carla Verônica. --- O objetivo deste laboratório, em parceria com a ONU, é fundamentar a Educação de milhões de crianças de acordo com o paradigma da Metacognição, através da informatização de meios mediacionais inovadores (jogos metacognitivos), aplicados e corelacionados à pesquisas em Neurociências. O projeto inclui o objetivo de oferecer meios de facilitação ao desenvolvimento cognitivo-lingüístico de crianças com atrasos no desenvolvimento, privação cultural, deficiência ou patologias psico-neurológicas, através da ludicidade e da informática. As estratégias de programação de softwares agrupam-se de acordo com os seguintes módulos de trabalho: Avaliação Histórica e Psico-social, Avaliação Clínica, Neurológica e Psiquiátrica, Avaliação neuropsicológica, Avaliação Neurofisiológica (EEG Quantitativo) e Neurofuncional (MRI), Programação da reabilitação Cognitivo-lingüística e Neuropedagogia: Jogos computadorizados e Metacognição. As pesquisas implicam na construção, continuamente experimental, de plataformas informatizadas inter-institucionais que contém 10.000 jogos representativos das grandes áreas do processamento cognitivo-lingüístico. Estas plataformas especializadas, também promovem o acesso à comunicação integrativa, promovendo a aprendizagem colaborativa entre pesquisadores e profissionais, além de estarem voltadas para a prestação de serviços, capacitação técnica e incentivo a pesquisa, incluindo as interfaces com as áreas de Assistência social, Saúde, Justiça e Direitos Humanos. Detalhes em: http://www.labic.nce.ufrj.br/projetos/. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (11) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Carlo Emmanoel TOLLA DE OLIVIERA - Integrante / Cláudia LAGE REBELLO DA MOTTA - Integrante / Carla Veronica MARQUES - Integrante.
-
2008 - 2020
MASI - Modelos e Arquiteturas para Sistemas Inteligentes, Descrição: Projeto de pesquisa catalogado junto à PR2/UFRJ. Maiores detalhes podem ser obtidos via o sistema SIGMA/UFRJ.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (8) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Adriano Joaquim DE OLIVIERA CRUZ - Integrante / Antônio Carlos GAY THOMÉ - Integrante / Carlos Franco - Integrante.
-
2008 - 2014
Cognicao, relacoes interpessoais e educacao, Descrição: Projeto de pesquisa certificado junto ao CNPq e liderado pela Profa. Adriana BENEVIDES SOARES.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Adriana BENEVIDES SOARES - Integrante.
-
2008 - 2011
Pós-Graduação em Tecnologias da Informação Aplicadas à Educação (PGTIAE), Descrição: Participação no projeto: Projeto de implantação de uma pós-graduação Lato Sensu de pesquisa em TIC na UFRJ. [SIGMA-AGENDA] Mensagem automtica gerada pelo EspaoSIGMA.UFRJ. Por favor, no responda a esta mensagem. JOSEFINO CABRAL MELO LIMA Participao em equipe de Projeto Mdulo Projetos: Ttulo: Ps-Graduao em Tecnologias da Informao Aplicadas Educao (PGTIAE) Registro realizado em: 27/02/2008 11:38h Registro realizado por: MARCOS ROBERTO DA SILVA BORGES Usurio: mborges E-Mail: mborges@nce.ufrj.br Para consultar a ntegra do registro clique aqui. Para instrues de como alterar o registro clique aqui. 27/02/2008 22:25:30 Produzido pelo: Page 1 of 1 https://fe.nce.ufrj.br/exchange/clima/Caixa%20de%20entrada/AtualizarLattes/[SIGMA-A... 5/13/2008. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Coordenador.
-
2008 - Atual
INCT em Ciência da Web - Coordenador Nelson Maculan, Descrição: A World Wide Web (de agora em diante simplesmente chamada a Web) vem tendo um impacto cada vez maior na pesquisa científica, no desenvolvimento tecnológico e na sociedade como um todo. As formas pelas quais nos comunicamos, colaboramos e aprendemos estão mudando radicalmente graças à Web. Surpreendentemente, ela tem sido pouco pesquisada como um objeto de estudo per se. Isto motivou o aparecimento, em 2006, de uma nova área de pesquisa a chamada Web Science. Neste novo domínio, a própria Web é o objeto a ser estudado deixa, assim, de ser considerada como uma mera tecnologia baseada em computadores, e que serve de base para comunicação e interação em nível mundial. Com esta motivação, este projeto propõe a criação do Instituto Brasileiro de Pesquisa em Ciência da Web, que integrará 10 instituições brasileiras congregando esforços para melhor compreender e planejar a Web. Detalhes: http://estatico.cnpq.br/programas/inct/_apresentacao/inct_ciencia_web.html. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Integrante / Geraldo XÉXEO - Integrante / Nelson MACULAN - Coordenador / Jonice OLIVEIRA - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Remuneração.
-
2007 - 2021
Projeto e Implementação do RI - um robo inteligente, Descrição: Codigo projeto SIGMA 15765. SIGMA-AGENDA] Mensagem automática gerada pelo EspaçoSIGMA.UFRJ. Por favor, não responda a esta mensagem. JOSEFINO CABRAL MELO LIMA Participação em equipe de Projeto Módulo Projetos: Título: PROJETO E IMPLEMENTAÇÃO DO RI - UM ROBÔ INTELIGENTE Registro realizado em: 27/02/2008 11:08h Registro realizado por: MARCOS ROBERTO DA SILVA BORGES Usuário: mborges E-Mail: mborges@nce.ufrj.br. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (6) / Doutorado: (1) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Adriano Joaquim DE OLIVIERA CRUZ - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
-
2004 - 2019
Robos Inteligentes, Projeto certificado pelo(a) coordenador(a) Adriano Joaquim de OLIVEIRA CRUZ em 18/11/2014., Descrição: Este projeto visa desenvolver pesquisas na área de robótica, com especial foco em sistemas de orientação e planejamento de trajetória.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . Integrantes: Adriano Joaquim de OLIVEIRA CRUZ - Coordenador / Josefino Cabral Melo Lima - Integrante. Número de produções C, T & A: 8 / Número de orientações: 2. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Integrante / Adriano CRUZ - Coordenador.
-
2002 - 2019
GINAPE - Grupo de INformática APlicada à Educação - Grupo de Pesquisa catalogado junto ao CNPq, Descrição: O grupo de pesquisa tem atuado fortemente no programa de pós-graduação (mestrado e doutorado) com diversos projetos em andamento, tendo por resultado algumas dissertações de mestrado defendidas. O grupo tem atuado mais específicamente na área de educação à distância: elaborando sistemas computacionais voltados para a aprendizagem de técnicas e metodologias computacionais; desenvolvendo ambientes destinados à aprendizagem colaborativa; aplicando técnicas de inteligência computacional e dando suporte teórico ao desenvolvimento da aprendizagem remota. Atua também na educação para ciência e tecnologia, na formação de professores e avaliação de softwares educacionais; na área de desenvolvimento de sistemas de educação especial para deficientes físicos; e mais recentemente na área de ciências cognitivas. Alguns sistemas tutoriais e outros aplicados à educação a distância já foram desenvolvidos pelo grupo. A interdisciplinaridade inerente a sua área de atuação faz com que o grupo tenha interações frutuosas com outros grupos de pesquisa da Universidade. Este Grupo está catalogado no Diretório de Grupos de Pesquisa do CNPq desde 06/2002.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (10) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador / Adriana BENEVIDES SOARES - Integrante / Cíntia ARISA - Integrante / Carlo Emanoel T Oliveira - Integrante / Henrique GANDRA - Integrante / Macário COSTA - Integrante / George ALVES - Integrante / Leila Cristina VASCONCELOS DE ANDRADE - Integrante / Francine VAZ - Integrante / Jorge Juan Zavaletta Gavídia - Integrante / Mary MANHÃES - Integrante / Fábio FERRENTINI - Integrante / Marcos ELIA - Integrante / Cláudia MOTTA - Integrante / Sueli MENDES - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra., Número de produções C, T & A: 25
-
2001 - 2006
European Project ELASTEX, Descrição: ALFA Program (América Latina - Formación Académica) is a co-operation Program between the EU (European Union) and the LA (Latin America) for activities to be carried out by networks of institutions, from both regions, at the level of high education and training. The second phase of the ALFA program (where the ELASTEX is included) was adopted for a period of six years, starting in the year 2000. EMOOSE (born in the first phase of the ALFA program) is running in parallel with ELASTEX project. The entire running of the ALFA Program is secured by the Commission services that have the responsibility for the Program. The recruitment of some staff occurred from the closure of the TAO ALFA and a small ALFA team gathered mostly from early 2002. As a means of Information and Communication, there is a Newsletter (ALFA news) twice a year and a website is located on the Europe served since January 2002 (htpp://europa.eu.int/comm/europaid/projects/alfa).In the ELASTEX project, for the European partners, the EC give a grant during 6 months, during the stay in LA of your students. For the LA partner ti is true during 12 months. The European Contract ELASTEX was obtained with a very good mark. The initial budget gave by the European Commission for this project is 476.750 EURO. The Universities involved in this project are: VUB-Belgium, EMN-France, UNL-Portugal, UCLA-Spain, UT-The Netherlands, UC-Chile, UFRJ-Brazil, PUC-PR, Brazil, UNLP-Argentina and ULA-Colombia. The central target is to provide MSc students with solid background in object-oriented technologies, addressing theoretical concepts and their practical application. Desde 01/2001. The Universities involved in this project are: VUB-Belgium, EMN-France, UNL-Protugal, UCLA-Spain, UT-The Netherlands, UC-Chile, UFRJ-Brazil, PUC-PR, Brazil, UNLP-Argentina and ULA-Colombia.The central target is to provide MSc students with solid background in object-oriented technologies, adressing theoretical concepts and their practical ap. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (20) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Josefino Cabral MELO LIMA - Integrante / Gustavo ROSSI - Integrante / Théo D'Hondt - Integrante / José PIQUER - Integrante / Fernando BRITO DE ABREU - Integrante / Carlos MAZIERO - Integrante / Pierre COINTE - Coordenador / Luis Mateu B. - Integrante / Claude LEBRUN - Integrante / Wolfgang De MEUTER - Integrante., Financiador(es): Vrije Universiteit Brussels - Cooperação / École Des Mines de Nantes - Cooperação.
-
2001 - 2006
European Project ELASTEX - Some supplementary description, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Coordenador.
-
1998 - 2009
EMOOSE (European Master of Sciences in Object Oriented Software Engineering). Supplementary description, Descrição: The objectives of this project presented in the sub-programme B: Scientific and Technical Training are: to re-implement an international Master of Science s training program in Computer Science for the new technologies of information and communication named EMOOSE. To strengthen links between the 11 institutions of the SENSO network To encourage and ensure the mobility of 58 Master and Doctorate students during the 3 years of this project, with 41 grants for LA students and 17 grants for EU students. To insure the integration of the Network member s work and the dissemination of the result of this project thanks to various systems as Web pages or through a collaborative working platform. The objectives of the SENSO network are: To propose a high level integrated international Master of Science program in computer science, thanks to the complementary training and research skills of each network member. To ensure a two-way mobility of Masters degree and Doctorate grant holders between the SENSO network s institutions. To reinforce the collaboration, the research and training works between the SENSO network s members. To disseminate the various works and results of the project, for example through the development of a centralised e-learning data repository with all the lectures and materials of the highly specialized MSc EMOOSE.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Coordenador.
-
1998 - 2008
EMOOSE (European Master of Sciences in Object Oriented Software Engineering)., Descrição: EMOOSE (European Master of Sciences in Object Oriented Software Engineering). European Commission (Exchange Program between Universities of the Europe Union and of Latin America). Coordinating by École des Mines de Nantes/France. International program for specialization in object-oriented software engineering. EMOOSE Exchange Program of European and South-American Students supported by the European Commission. The EMOOSE provide students with solid background in object-oriented technologies, adressing theoretical concepts and their practical application. The international community of researchers in object-oriented paradigm and software engineering regularly meet in conference such as OOPSLA, ECOOP, TOOLS and ICSE. At these important meetings where new breakthroughs are presented for peer discussion, a rich wealth of informal links often generate joint research projects. It was in those environments that the SENSO network (South-AmericaEuropean Network for SOftware) was born and started to take shape. The senso network is composed of eight members, half of them from Latin America (UFRJ/Brazil, PUC-PR/Brazil, UC/Chile and UNLP/Argentina) and the other half from Europe (EMN/France, FCT.UNL/Portugal, UL/Austria and VUB/Belgique). The aim of the network is multifold. The exchange of postgraduates, which was the initiative for this Masters program, is one of the main objectives. The network members are also setting up common research programs and co-organizin scientific events such as workshops and conferences. Desde 01/1998. ALFA (América Latina - Formación Académica) is a programme of co-operation between higher education institutions of the European Union and Latin America. Participant countries are the 15 Member States of the European Union and the following 18 countries of Latin America: Argentina, Bolivia, Brazil, Chile, Colombia, Costa Rica, Cuba, Ecuador, El Salvador, Guatemala, Honduras, Mexico, Nicaragua, Panama, Paraguay, Peru, Uruguay and Venezuela.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (50) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Josefino Cabral MELO LIMA - Integrante / Annya ROMANCZUK-RÉQUILÉ - Coordenador / SCALABRIN, Edson - Integrante / Celso KAESTNER - Integrante / Robert BURNETT - Integrante / Gustavo ROSSI - Integrante / Théo D'Hondt - Integrante / José PIQUER - Integrante / Fernando BRITO DE ABREU - Integrante., Financiador(es): Vrije Universiteit Brussels - Cooperação / École Des Mines de Nantes - Cooperação., Número de produções C, T & A: 24
-
1998 - 2008
EMOOSE (European Master of Sciences in Object Oriented Software Engineering). Supplementary description 2, Descrição: The SENSO (South-america European Network for Software > technology) network was created in 1997 thanks to an ALFA B1 sub-project named ARTICS N° ALR/B7-3011/94.04-5.0083.6. At that time, the network set up a new international degree: the Master of Sciences in Computer Science EMOOSE. Working as a Network brings together LA and EU professors/researchers. All the members are specialist in Object, Component and Aspect software technologies and will integrate their existing training skills to improve the joint training master program EMOOSE. The members will also integrate their research domain to propose together Doctorate subjects. Also each network s institutions can promote the project and the student s mobility in their own institution and country. This will inforce the mobility of the students whitin the network s institutions and improve the training capacities in the network s insitutions when the students will come back and thanks to the mobility of the LA professors in EU. Finaly, the network will joinly manage the activities of the network s members.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Josefino Cabral MELO LIMA - Coordenador.
-
1992 - 1995
Projeto Tool, Descrição: Projet TOOL: Object and event oriented programming system to the task of building application programs on graphical user interface platforms. Financement: SPA/IBM-USA; Ministère des Sciences et Technologies. Collaborations scientifiques: George Mason University/USA and Université Pontifical de Rio de Janeiro/Brésil. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador.
-
1992 - 1995
Projet Euroinfo, Descrição: Projet EUROINFO: Know-how Transfer Centre in Advanced Information Technology for Romanian Small and Medium Enterprises. Projet TEMPUS II. Collaboration Scientifique: Polytechnique Institut of Bucharest - Romania (prof. D. Ioan.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador.
-
1992 - 1995
Projet KBS-CDE, Descrição: Projet KBS-CDE: Development of knowledge-based systems for curriculum design in engineering> Financement: CEE et Funrei/Brésil (joint research projet); Ministère des affaires Etrangères. Collaboration scientifique: The University of Huddersfield/U.K (prof. M. Lewis) and Université Fédéral de S. J. Rei (prof. M. Borges). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Josefino Cabral MELO LIMA - Coordenador.
Prêmios
2019
Menção honrosa no WPerformance (Dilemas Frente Epidemias Estratégicas: Vacinar, Reiniciar ou Esperar?), SBC.
2018
Menção honrosa no WPerformance (Contaminação Epidêmica em Redes: Imunidade Coletiva e Suas Implicações Frente a Atacantes Estratégicos), SBC.
2014
Best Paper Award (A New Method for Haar-Like Features Weight Adjustment Using Principal Component Analysis for Face Detection ), International Academy, Research, and Industry Association Board - The Ninth International Conference.
2009
Conselheiro Nacional, Governo Federal - Programa de Formação de Conselheiros - Certificado em DPPP II.
2002
Meritorious Award, The International Institute for Advance Studies in Systems Research and Cybernetics.
1994
Título: Qualifié aux Fonctions de Maître de Conférences (em 18.03.1994), Conseil National des Universités du Ministère de l'Enseignement Supérieur et de la Recherche de Fran.
Histórico profissional
Endereço profissional
-
Universidade Federal do Rio de Janeiro, INSTITUTO DE COMPUTAÇÃO UFRJ. , Brigadeiro Trompoviski s/n - IM / Depto. de Ciência da Computação - CCMN (cabrallima@ufrj.br), Ilha do fundao, 20001970 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 2324, Telefone: (21) 25983257, Fax: (21) 25983156, URL da Homepage:
Experiência profissional
2009 - Atual
Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPqVínculo: , Enquadramento Funcional:
2008 - 2010
Universidade do Estado do Rio de JaneiroVínculo: Outro (especifique), Enquadramento Funcional: Pesquisador
2000 - 2000
Centro de Educação à Distância do Estado do Rio de JaneiroVínculo: Outro, Enquadramento Funcional: Diretor de Unidade, Carga horária: 0
Outras informações:
Diretor do setor de producão de material didático do Centro Universitário de Ensino a Distância do Estado do Rio de Janeiro CEDERJ. Cedido formalmente pela Universidade Federal do Rio de Janeiro (UFRJ), uma das universidades participantes do consórcio.
Atividades
-
07/2000 - 12/2000
Direção e administração, Centro de Educação a Distância do Estado do Rio de Janeiro.,Cargo ou função, Diretor de unidade (Unidade de produção de material didático).
1999 - 2000
Universidade Estadual Paulista Júlio de Mesquita FilhoVínculo: Pesquisador Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 0
Outras informações:
Membro do Corpo Docente da pós-graduação lato sensu da UNESP-Marília. Professor do Programa de especialização em Ciência Cognitiva e Filosofia da mente.
Atividades
-
01/1999 - 12/2000
Pesquisa e desenvolvimento, Universidade Estadual Paulista Júlio de Mesquita Filho.,Linhas de pesquisa
1998 - 2009
Vrije Universiteit BrusselsVínculo: Associado, Enquadramento Funcional: Professor Associado Visitante
Outras informações:
Professor Associdado da École des Mines de Nantes e da Vrije Universiteit Brussels. Professor do programa de Master of Science do projeto em comum EMOOSE/ALFA. Atividades sem remuneração e sem vínculo empregatício.
Atividades
-
02/2000
Outras atividades técnico-científicas , Vrije Universiteit Brussels, Vrije Universiteit Brussels.,Atividade realizada, Orientação de 2 Teses de Master of Science - VUB.
-
12/1998
Ensino, Master of Sciences in Computer Sciences, Nível: Pós-Graduação,Disciplinas ministradas, Capta Selecta in Object Orientation (master of science - école des mines de Nantes and VUB).
-
05/1998
Pesquisa e desenvolvimento, Vrije Universiteit Brussels.,Linhas de pesquisa
-
08/1998 - 08/1999
Outras atividades técnico-científicas , Vrije Universiteit Brussels, Vrije Universiteit Brussels.,Atividade realizada, Orientação de Tese de Master of Science - VUB.
2020 - Atual
Universidade Federal do Rio de JaneiroVínculo: Curador da FUJB-UFRJ, Enquadramento Funcional: Curador, Carga horária: 1
2019 - Atual
Universidade Federal do Rio de JaneiroVínculo: Coordenador Integração das Pós, Enquadramento Funcional: Integração Pós CCMN, Carga horária: 10
2018 - Atual
Universidade Federal do Rio de JaneiroVínculo: Vice-Decano CCMN-UFRJ, Enquadramento Funcional: Vice-Decano, Carga horária: 10
2018 - Atual
Universidade Federal do Rio de JaneiroVínculo: Presidente da CAAC-CEPG-UFRJ, Enquadramento Funcional: Presidente Câmara CAAC - UFRJ, Carga horária: 3
2008 - Atual
Universidade Federal do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Associado I, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Coordenador do Programa de Pos-Graduacao em Informatica PPGI-UFRJ desde julho/2008.
2008 - Atual
Universidade Federal do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
2020 - 2020
Universidade Federal do Rio de JaneiroVínculo: Grupo T Disciplinas Transversa, Enquadramento Funcional: Coordenador Disciplinas Transversais UFRJ -GT, Carga horária: 1
Outras informações:
Date: Thu, Aug 20, 2020 at 11:36 AM
Subject: Composição Grupo de Trabalho Resolução sobre disciplinas transversais
To:
1998 - 2008
Universidade Federal do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
01/2007
Ensino, Tecnologia da Informação Aplicada à Educação, Nível: Especialização,Disciplinas ministradas, Internet e educação
-
01/2005
Ensino, Engenharia Mecanica, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I
-
01/2005
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Estudo Dirigido em Jogos Inteligentes Reabilitativos, Sistemas de Automação Inteligentes, Estudos Dirigidos em Sistemas Adaptativos, Inteligencia Artificial II, Pesquisa Tese Mestrado
-
01/2002
Conselhos, Comissões e Consultoria, Sub-Reitoria de Ensino para Graduados e Pesquisa.,Cargo ou função, Líder de Pesquisa no CNPq.
-
09/2004 - 12/2008
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB 852 Estudos Dirigidos em Inteligência Computacional e Educação à Distância
-
08/2004 - 12/2008
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, MAB519 Informática Aplicada ao Ensino
-
08/2004 - 12/2008
Ensino, Astronomia, Nível: Graduação,Disciplinas ministradas, MAB121 Computação I
-
01/2004 - 12/2008
Outras atividades técnico-científicas , Instituto de Matemática, Instituto de Matemática.,Atividade realizada, Orientação Acadêmica de 07 alunos de Graduação.
-
01/2002 - 12/2008
Outras atividades técnico-científicas , Instituto de Matemática, Instituto de Matemática.,Atividade realizada, Orientações de 3 teses de doutorado.
-
01/2000 - 12/2008
Outras atividades técnico-científicas , Instituto de Matemática, Instituto de Matemática.,Atividade realizada, Orientacoes de 7 teses de mestrado.
-
08/1998 - 12/2008
Pesquisa e desenvolvimento, Instituto de Matemática, Departamento de Ciência da Computação.,Linhas de pesquisa
-
08/1998 - 12/2008
Outras atividades técnico-científicas , Instituto de Matemática, Instituto de Matemática.,Atividade realizada, Implantacao do Master of Sciences europeu EMOOSE na UFRJ.
-
02/2004 - 07/2004
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Informática Aplicado ao Ensino
-
02/2004 - 05/2004
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB863 Estudos Dirigidos em Tecnologias Inteligentes para a EAD
-
10/2003 - 12/2003
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB 852 Estudos Dirigidos em Inteligência Computacional e Educação a Distância
-
08/2003 - 12/2003
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, MAB124 Programação de Computadores
-
08/2003 - 12/2003
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, MAB519 Informática Aplicada ao Ensino
-
05/2003 - 07/2003
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB7?? Memória e Representação do conhecimento: uma abordagem cognitiva II
-
03/2003 - 07/2003
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, MAW351 Informática Aplicado ao Ensino
-
03/2003 - 05/2003
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB 883 Estudos Dirigidos em Plataformas Inteligentes para a Educação a Distância I
-
08/2002 - 12/2002
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, MAB124 Programação de Computadores I
-
09/2002 - 11/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB853 Tecnologia de Informação e Comunicação Aplicada ao Ensino e Treinamento a Distância I
-
06/2002 - 08/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB746 Memória e Representação do conhecimento: uma abordagem cognitiva
-
06/2002 - 08/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB708 Pesquisa para tese de mestrado
-
02/2002 - 07/2002
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, MAW351 Informática Aplicado ao Ensino
-
02/2002 - 07/2002
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, MAW488 Monografia II
-
02/2002 - 07/2002
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, MAB519 Informática Aplicada ao Ensino - Graduação em informática, 60h.
-
04/2002 - 06/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB737 Tópicos Especiais em Ensino a Distância
-
04/2002 - 06/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB708 Pesquisa para tese de mestrado
-
01/2002 - 04/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB708 Pesquisa para tese de mestrado
-
01/2002 - 04/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB708 Pesquisa para tese de mestrado
-
01/2002 - 04/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB 883 Estudos Dirigidos em Plataformas Inteligentes para a Educação a Distância I
-
11/2001 - 01/2002
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB857 Tecnologia de Informação e Comunicação Aplicada ao Ensino e Treinamento a Distância II
-
10/2001 - 12/2001
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB883 Estudos Dirigidos em Plataforma Inteligente para a Educacão a Distância
-
07/2001 - 09/2001
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB854 Tecnologias de Informacão e Comunicacão Aplicadas ao Treinamento e Educacão a Distância II (doutorado)
-
03/2001 - 09/2001
Conselhos, Comissões e Consultoria, Instituto de Matemática, Departamento de Ciência da Computação.,Cargo ou função, Membro de comissão temporária.
-
05/2001 - 07/2001
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB853 Tecnologia de Informação e Comunicação Aplicada ao Ensino e Treinamento a Distância I (doutorado)
-
02/2001 - 07/2001
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, MAB519 Informática Aplicada ao Ensino (para a Graduação em Informática - DCC/IM/UFRJ)
-
02/2001 - 07/2001
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, MAW351 Informática Aplicado ao Ensino (para a licenciatura em matemática IM/UFRJ)
-
02/2001 - 04/2001
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB852 Estudos Dirigidos em Inteligência Computacional e Educação a Distância (mestrado)
-
10/2000 - 12/2000
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, MAB737 Tópicos Especiais em Ensino a Distância (mestrado)
-
08/2000 - 12/2000
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, MAB519 Informática Aplicada ao Ensino (graduação em informática - DCC/IM/UFRJ)
-
08/2000 - 12/2000
Ensino, Física, Nível: Graduação,Disciplinas ministradas, MAB121 Programação de Computadores I (para a licenciatura em física IF/UFRJ).
-
08/2000 - 12/2000
Ensino, Química, Nível: Graduação,Disciplinas ministradas, MAW112 Introdução a Computação (para a licenciatura em química IQ/UFRJ).
-
02/2000 - 07/2000
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, MAB519 Informática Aplicada ao Ensino (graduação em informática - DCC/IM/UFRJ)
-
02/2000 - 07/2000
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, MAW351 Informática Aplicado ao Ensino (licenciatura em matemática - IM/UFRJ).
-
08/1998 - 12/1998
Ensino, Informática, Nível: Graduação,Disciplinas ministradas, MAB519 Informática Aplicada ao Ensino (graduação em informática DCC/IM/UFRJ).
-
08/1998 - 12/1998
Ensino, Engenharia Naval, Nível: Graduação,Disciplinas ministradas, MAB124 Programação de Computadores (graduação em engenharia naval - CT/UFRJ)
1995 - 1998
Universidade Estadual do Norte Fluminense Darcy RibeiroVínculo: Pesquisador Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 40
Outras informações:
Outras informacões: Enquadrado no maior nível de professor associado (adjunto) na UENF (nível V) pela comissão setorial de carreira docente do CCT, 1998.
Atividades
-
12/1997 - 12/1998
Conselhos, Comissões e Consultoria, Laboratório de Ciências Cognitivas, Pós Graduação Em Ciências Cognitivas.,Cargo ou função, Membro de colegiado superior (membro do colegiado da pós-graduação CCH/UENF)..
-
03/1997 - 08/1998
Conselhos, Comissões e Consultoria, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Cargo ou função, Coordenador da área de Informática da UENF no Projeto PRODENGE/CNPq/CAPES/FINEP/MEC.
-
01/1997 - 08/1998
Direção e administração, Laboratório de Ciências Matemáticas.,Cargo ou função, Chefe de Departamento.
-
08/1996 - 08/1998
Conselhos, Comissões e Consultoria, .,Cargo ou função, Membro de colegiado superior (membro do Conselho do Centro de Ciência e Tecnologia CCT/UENF).
-
01/1996 - 08/1998
Conselhos, Comissões e Consultoria, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Cargo ou função, Membro de Colegiado Superior (Comissão de Estruturação Acadêmica).
-
05/1995 - 08/1998
Direção e administração, Laboratório de Ciências Matemáticas.,Cargo ou função, Membro de Colegiado Superior.
-
05/1995 - 08/1998
Direção e administração, Laboratório de Ciências Matemáticas.,Cargo ou função, Membro de Conselho de Centro.
-
05/1995 - 08/1998
Direção e administração, Laboratório de Ciências Matemáticas.,Cargo ou função, Membro de Comissão Permanente.
-
05/1995 - 08/1998
Direção e administração, Laboratório de Ciências Matemáticas.,Cargo ou função, Membro de Conselho de Unidade.
-
05/1995 - 08/1998
Pesquisa e desenvolvimento, Laboratório de Ciências Matemáticas.,Linhas de pesquisa
-
05/1995 - 08/1998
Ensino, Ciências Cognitivas, Nível: Pós-Graduação,Disciplinas ministradas, Ensino Assistido por Computador
-
05/1995 - 08/1998
Ensino, Engenharia de Produção, Nível: Pós-Graduação,Disciplinas ministradas, Inteligência Artificial, Banco de Dados, Programação Científica de Computadores, CEN 1782 Estudo dirigido em engenharia de produção: inteligência artificial e aplicações (mestrado)
-
05/1995 - 08/1998
Outras atividades técnico-científicas , Laboratório de Engenharia de Produção, Laboratório de Engenharia de Produção.,Atividade realizada, Orientação de mestrado.
-
05/1995 - 08/1998
Outras atividades técnico-científicas , Laboratório de Engenharia de Produção, Laboratório de Engenharia de Produção.,Atividade realizada, Orientação de aluno no curso de doutoramento.
-
05/1995 - 08/1998
Outras atividades técnico-científicas , Laboratório de Ciências Matemáticas, Laboratório de Ciências Matemáticas.,Atividade realizada, Orientação Iniciação Científica.
-
05/1995 - 08/1998
Outras atividades técnico-científicas , Laboratório de Ciências Matemáticas, Laboratório de Ciências Matemáticas.,Atividade realizada, Orientação estágios.
-
01/1998 - 07/1998
Conselhos, Comissões e Consultoria, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Cargo ou função, Membro da Comissão do Projeto de Computação Científica do Complexo FENORTE/UENF (indicado pelo reitor).
-
07/1997 - 07/1998
Conselhos, Comissões e Consultoria, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Cargo ou função, Membro do Conselho Universitário (membro convidado).
-
03/1996 - 07/1998
Conselhos, Comissões e Consultoria, Laboratório de Ciências Cognitivas.,Cargo ou função, Membro da Equipe de Consultores Científicos.
-
10/1995 - 07/1998
Conselhos, Comissões e Consultoria, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Cargo ou função, Membro de Colegiado Superior (Membro da CEG/UENF).
-
05/1995 - 07/1998
Ensino, Cursos das Engenharias, Nível: Graduação,Disciplinas ministradas, Informática Aplicada ao Ensino (professor e coordenador), Laboratório de Computação II (professor e coordenador para todas as engenharias), Laboratório de Computação I (professor e coordenador para todas as engenharias), Computação Científica II (professor e coordenador), Computação Científica I (professor e coordenador), Sistemas de Computação (professor e coordenador), Lógica Computacional (professor e coordenador), Fundamentos da Ciência da Computação (professor e coordenador), Tópicos de Computação Científica I (professor e coordenador), Educação a Distância (professor e coordenador), Seminários de Computação Científica (coordenador)
-
04/1998 - 04/1998
Outras atividades técnico-científicas , Universidade Estadual do Norte Fluminense Darcy Ribeiro, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Atividade realizada, Enquadrado no maior nível de professor adjunto na UENF..
-
03/1998 - 04/1998
Conselhos, Comissões e Consultoria, .,Cargo ou função, Membro Titular de Comissão para concurso de Provas e Títulos na classe de professor titular. Como parte interessada declinou a participação.
-
12/1997 - 12/1997
Outras atividades técnico-científicas , Universidade Estadual do Norte Fluminense Darcy Ribeiro, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Atividade realizada, Recebeu felicitação formal do presidente da FENORTE/UENF pela coordenação do projeto de elaboração e correção de provas via computador.
-
03/1995 - 12/1997
Conselhos, Comissões e Consultoria, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Cargo ou função, Representante Eleito do CT em Comissão Superior (Projeto de Informatização da UENF).
-
01/1995 - 12/1997
Conselhos, Comissões e Consultoria, .,Cargo ou função, Presidente de Comissão Superior (Presidente da Comissão Especial para Assuntos de Ensino de Graduação).
-
11/1997 - 11/1997
Outras atividades técnico-científicas , Universidade Estadual do Norte Fluminense Darcy Ribeiro, Universidade Estadual do Norte Fluminense Darcy Ribeiro.,Atividade realizada, Recebeu felicitação formal do Colegiado de Coordenadores do CBC/UENF pelo Projeto Cursos na WEB para EAD.
1994 - 1995
Institut Supérieur d'Ingénierie Appliquée de FranceVínculo: Professor visitante associado, Enquadramento Funcional: Professeur Associé, Carga horária: 8
Atividades
-
01/1994 - 08/1995
Ensino, Graduation en Robotique Automatique - BSc, Nível: Graduação,Disciplinas ministradas, Intelligence Artificielle (professeur et cordinateur)
-
01/1994 - 08/1995
Ensino, Graduation en Informatique Industrielle - BSc, Nível: Graduação,Disciplinas ministradas, Intelligence Artificielle (professeur et coordinateur)
1994 - 1995
Universite de Versailles Saint-Quentin-en-YvelinesVínculo: Colaborador, Enquadramento Funcional: Professor Convidado, Carga horária: 8
Atividades
-
01/1994 - 08/1995
Ensino, Diplôme d'Études Universitaires Généralles, Nível: Graduação,Disciplinas ministradas, Base de Données Relacionnelles (DEUG- Diplôme d'Études Universitaires Généralles) UVSQY
1992 - 1995
Université Pierre et Marie Curie (Paris 6)Vínculo: Concurso Público, Enquadramento Funcional: Professor Pesquisador, Carga horária: 40
Atividades
-
10/1992 - 08/1995
Pesquisa e desenvolvimento, Laboratoire MASI.,Linhas de pesquisa
-
10/1992 - 08/1995
Ensino, DEA en Informatique, Nível: Pós-Graduação,Disciplinas ministradas, Analyse Orientée Objets
-
10/1992 - 08/1995
Ensino, Maîtrise en Sciences Téchniques, Nível: Graduação,Disciplinas ministradas, Logiciel de Base et Système d'Exploitation (Maîtrise en Informatique)
-
10/1992 - 08/1995
Ensino, Formation des Ingénieurs, Nível: Graduação,Disciplinas ministradas, Micro3
-
10/1992 - 08/1995
Outras atividades técnico-científicas , Laboratoire MASI, Laboratoire MASI.,Atividade realizada, Orientação de alunos de Maîtrise, DEA e co-orientação de aluno de Doutorado.
-
09/1992 - 08/1995
Pesquisa e desenvolvimento, Université Pierre et Marie Curie (Paris 6).,Linhas de pesquisa
-
09/1993 - 07/1995
Ensino, Maîtrise en Informatique, Nível: Graduação,Disciplinas ministradas, Méthodes Industriels de Réalisation des Logiciels (professeur et sous-coordinateur- Maîtrise en Informatique), L'Analyse Orientée Objets (professeur et sous-cordinateur - Maîtrise en Informatique)
1986 - 1988
Instituto Militar de EngenhariaVínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Atividades
-
12/1986 - 08/1988
Outras atividades técnico-científicas , Sessão de Engenharia de Sistemas, Sessão de Engenharia de Sistemas.,Atividade realizada, Orientação da tese de mestrado intitulada "Extensões e aperfeiçoamento do compilador Prolog/IME" de H. Venceslau.
-
06/1986 - 08/1988
Pesquisa e desenvolvimento, Sessão de Engenharia de Sistemas.,Linhas de pesquisa
-
06/1986 - 08/1988
Ensino, Cursos de Engenharias, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação I (professor e coordenador), Cálculo Numérico (professor e coordenador)
-
06/1986 - 08/1988
Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Aspectos Formais da Computação, Inteligência Artificial, Linguagens de Programação I, Linguagem de Programação II
1984 - 1988
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Outro, Enquadramento Funcional: Assistente de Ensino Pesquisa (AEP), Carga horária: 20
Atividades
-
01/1988 - 12/1988
Outras atividades técnico-científicas , Pontifícia Universidade Católica do Rio de Janeiro, Pontifícia Universidade Católica do Rio de Janeiro.,Atividade realizada, Agraciado com o título de "Melhor Professor de 1988" do curso (extensão) de programação de computadores.
-
03/1985 - 07/1988
Ensino, Análise de Sistemas Pós Graduação Lato Sensu Cce P, Nível: Especialização,Disciplinas ministradas, Projeto de Programas (professor e coordenador), Engenharia de Programação
-
03/1985 - 07/1988
Ensino, Programação de Computadores Lato Sensu Cce Puc Rj, Nível: Especialização,Disciplinas ministradas, Construção de Algoritmos e Programas (professor e coordenador), Técnicas de Programação I (professor e coordenador)
-
03/1984 - 07/1988
Pesquisa e desenvolvimento, Centro Técnico-Científico, Departamento de Informática.,Linhas de pesquisa
-
03/1984 - 07/1988
Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico (professor e subcoordenador)
-
03/1984 - 07/1988
Extensão universitária , Centro Técnico-Científico, Departamento de Informática.,Atividade de extensão realizada, Professor de diversas disciplinas dos Cursos de Extensão "Análise de Sistemas" (pos-graduação Lato Sensu) e "Programação de Computadores".
2020 - Atual
Instituto Nacional de Metrologia, Qualidade e TecnologiaVínculo: Comissão Gestora do Pronametro, Enquadramento Funcional: Membro Comissão Gestora Inmetro-Pronametro
Outras informações:
DIÁRIO OFICIAL DA UNIÃO
Publicado em: 13/11/2020 | Edição: 217 | Seção: 2 | Página: 15
Órgão: Ministério da Economia/Instituto Nacional de Metrologia, Qualidade e Tecnologia
PORTARIA No 345, DE 3 DE NOVEMBRO DE 2020
O PRESIDENTE DO INSTITUTO NACIONAL DE METROLOGIA, QUALIDADE E TECNOLOGIA - INMETRO, no uso de suas atribuições que lhe confere o parágrafo 3o do art.4o da Lei no 5.966, de 11 de dezembro de 1973, e tendo em vista o disposto na Portaria n.o 174, de 28 de junho de 2017, publicada no DOU de 03/07/2017, Seção 1, página 40, que estabelece as normas gerais do Programa Nacional de Apoio ao Desenvolvimento da Metrologia, e conforme o processo SEI no 0052600.010529/2020-28, resolve:
Art. 1o Instituir a Comissão Gestora do Pronametro, com a seguinte composição:
Representantes do Inmetro
NOME
ATUAÇÃO
Luiz Fernando Rust da Costa Carmo
Especialista Sênior do Instituto Nacional de Metrologia, Qualidade e Tecnologia (Inmetro), Professor Permanente do PPGI/UFRJ e do Programa de Pós-Graduação em Metrologia e Qualidade (PPGMQ/Inmetro), Presidente do Conselho Acadêmico e Coordenador Geral do Centro de Capacitação (Cicma) do Inmetro.
Vanderléa de Souza
Pesquisador-tecnologista do Instituto Nacional de Metrologia, Qualidade e Tecnologia (Inmetro), atuando como Coordenadora da Rede de Metrologia Química do Inmetro (Remeq-I) e na assessoria da Diretoria de Metrologia Científica e Tecnologia em projetos de gestão. É Membro do Comitê Técnico da ABNT CIEE 150 - Materiais de Referência desde sua criação em 2010 e Coordenadora do referido Comitê, desde 2015. Representante do Brasil no Comitê da ISO para Materiais de Referência (ISO/REMCO -Committee on Reference Materials), por indicação da ABNT, atuando como avaliadora de produtores de materiais de referência nacionais e internacionais desde 2011.
Representantes de Instituições Públicas ou Privadas de C, T & I
Humberto Siqueira Brandi
Professor titular aposentado da Universidade Federal do Rio de Janeiro (UFRJ), com
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Josefino Cabral MELO LIMA e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?