Rede de Colaboração
Diretório de grupos de pesquisa|
Márcia Häfele Islabão Franco Bacharel em Ciência da Computação pela Universidade Católica de Pelotas (UCPel 2001), mestre em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE 2004), e doutora em Computação pela Universidade Federal do Rio Grande do Sul (UFRGS 2008). Realizou estágio de doutoramento na Faculdade de Ciências da Universidade de Lisboa (FCUL 2007). Atualmente é professora do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul (Campus Porto Alegre).
Última
atualização do currículo em 25/05/2011
Endereço para acessar este CV: http://lattes.cnpq.br/2551214616925074 |
Dados pessoais
| Nome | Márcia Häfele Islabão Franco |
| Nome em citações bibliográficas | Franco, M. H. I. |
| Sexo | Feminino |
| Endereço profissional | Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul. Rua Ramiro Barcelos, 2777 Santana 90035-007 - Porto Alegre, RS - Brasil Telefone: (51) 33085110 URL da Homepage: http://www.poa.ifrs.edu.br/ |
Formação acadêmica/Titulação
| 2004 - 2008 | Doutorado em Computação
.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil. com período sanduíche em Faculdade de Ciências da Universidade de Lisboa(Orientador:Helder Coelho ). Título: Mecanismo de Interação entre Agentes: Construção e Avaliação de Trocas Sociais, Ano de Obtenção: 2008. Orientador:  Antônio Carlos da Rocha Costa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico . Palavras-chave: Negociação e Argumentação entre Agentes; Sistemas Multiagentes; Trocas Sociais. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial. |
| 2002 - 2004 | Mestrado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. Título: Virtual.Prob - Ambiente Virtual para Auxílio e Verificação do Aprendizado, Ano de Obtenção: 2004. Orientador: Marcília Andrade Campos. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico . Palavras-chave: Redes Bayesianas; Ambientes de Aprendizagem. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática Computacional. |
| 1997 - 2001 | Graduação em Ciência da Computação
.
Universidade Católica de Pelotas, UCPEL, Brasil. Título: Definição de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. Orientador: Antônio Carlos da Rocha Costa. |
Formação complementar
| 2010 - 2010 | Oficina: Programação de Sistemas Multiagentes.
(Carga horária: 4h). Universidade Federal do Rio Grande. |
| 2009 - 2009 | Capacitação para docentes em EAD - Moodle.
(Carga horária: 4h). Faculdade de Tecnologia TECBrasil, FTEC, Brasil. |
| 2008 - 2008 | Capacitação para docentes em EAD - Moodle.
(Carga horária: 16h). Faculdade de Tecnologia TECBrasil, FTEC, Brasil. |
Atuação profissional
| Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul, IFRS, Brasil. |
| Vínculo institucional |
| 2011 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Efetivo, Regime: Dedicação exclusiva. |
| Instituto Federal de Educação, Ciência e Tecnologia Farroupilha, IFFARROUPILHA, Brasil. |
| Vínculo institucional |
| 2010 - 2011 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Efetivo, Regime: Dedicação exclusiva. |
| Atividades |
| 02/2010 - 05/2011 | Ensino, Licenciatura em Computação, Nível: Graduação. |
| Disciplinas ministradas Engenharia de Software Estrutura de Dados Lógica Computacional Programação II Programação III Programação Web |
| 02/2010 - 05/2011 | Ensino, Nível: Ensino Médio. |
| Disciplinas ministradas Engenharia de Software Programação I |
| 06/2010 - 11/2010 | Atividades de Participação em Projeto, Campus Santo Augusto, . |
|
Projetos de pesquisa A Inclusão Digital e o Uso da Informática em Benefício da Educação Básica |
| Faculdade de Tecnologia TECBrasil, FTEC, Brasil. |
| Vínculo institucional |
| 2008 - 2010 | Vínculo: Celetista, Enquadramento Funcional: Professor Titular, Carga horária: 16 |
| Atividades |
| 02/2009 - 01/2010 | Direção e administração, Núcleo Docente Estruturante, . |
| Cargo ou função Coordenador de Projeto Integrador. |
| 07/2008 - 01/2010 | Ensino, Tecnologia em Análise e Desenvolvimento Sistemas, Nível: Graduação. |
| Disciplinas ministradas Programação Web Projeto de Banco de Dados Projeto de Sistemas para Web Sistemas de Informação Sistemas de Informação Inteligentes |
| Instituto Federal de Educação, Ciência e Tecnologia Sul-Rio-Grandense, IF-SUL, Brasil. |
| Vínculo institucional |
| 2008 - 2008 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40 |
| Atividades |
| 02/2008 - 07/2008 | Ensino, Nível: Ensino Médio. |
| Disciplinas ministradas Informática Informática Básica |
| 02/2008 - 07/2008 | Ensino, Tecnologia em Gestão da Produção Industrial, Nível: Graduação. |
| Disciplinas ministradas Introdução a Banco de Dados |
| Faculdade de Ciências da Universidade de Lisboa, FCUL, Portugal. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Bolsista, Enquadramento Funcional: Bolsista SWE - CNPq, Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | Estágio de Doutoramento sob orientação do Prof. Helder Coelho. |
| Atividades |
| 03/2007 - 09/2007 | Pesquisa e desenvolvimento , Departamento de Informática, . |
|
Linhas de pesquisa Inteligência Artificial |
| Centro Universitário La Salle, UNILASALLE, Brasil. |
| Vínculo institucional |
| 2006 - 2010 | Vínculo: Celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 16 |
| Outras informações | Afastamento temporário no período entre 03/2007 a 02/2009. |
| Atividades |
| 02/2009 - 01/2010 | Ensino, Licenciatura em Computação, Nível: Graduação. |
| Disciplinas ministradas Estrutura de Dados II Fundamentos de Engenharia de Software Inteligência Artificial II |
| 05/2006 - 01/2010 | Ensino, Bacharel em Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Complexidade de Algoritmos Estrutura de Dados II Fundamentos de Engenharia de Software Inteligência Artificial II |
| Universidade Federal do Rio Grande do Sul, UFRGS, Brasil. |
| Vínculo institucional |
| 2004 - 2008 | Vínculo: Aluna de doutorado, Enquadramento Funcional: Bolsista GD - CNPq, Carga horária: 40 |
| Atividades |
| 03/2004 - 12/2008 | Pesquisa e desenvolvimento , Instituto de Informática, . |
|
Linhas de pesquisa Inteligência Artificial |
| 08/2005 - 12/2005 | Estágios , Instituto de Informática, . |
|
Estágio realizado Estágio Docência: Atividade Didática II na disciplina de Lógica para Computação. |
| 03/2005 - 07/2005 | Estágios , Instituto de Informática, . |
|
Estágio realizado Estágio Docência: Atividade Didática I na disciplina de Inteligência Artificial. |
| Universidade Federal de Pernambuco, UFPE, Brasil. |
| Vínculo institucional |
| 2002 - 2004 | Vínculo: Aluna de mestrado, Enquadramento Funcional: Bolsista GM - CNPq, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 3/2002 - 2/2004 | Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática. |
|
Linhas de pesquisa Inteligência Artificial Matemática Computacional |
| Universidade Católica de Pelotas, UCPEL, Brasil. |
| Vínculo institucional |
| 2001 - 2002 | Vínculo: Bolsista, Enquadramento Funcional: Bolsista DTI - CNPq, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 2000 - 2001 | Vínculo: Colaborador, Enquadramento Funcional: Aluno Tutor, Carga horária: 6 |
| Vínculo institucional |
| 2000 - 2001 | Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica BIC - FAPERG, Carga horária: 20 |
| Vínculo institucional |
| 1998 - 2000 | Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica BIC - UCPEL, Carga horária: 20 |
| Atividades |
| 9/2001 - 2/2002 | Pesquisa e desenvolvimento , Escola de Informática, Núcleo de Apoio a Projetos de Informática. |
|
Linhas de pesquisa Ensino de Informática Informática na Educação |
| 3/2001 - 8/2001 | Outras atividades técnico-científicas , Escola de Informática, Núcleo de Apoio a Projetos de Informática. |
|
Atividade realizada Tutoria da Disciplina de Sistemas Discretos II. |
| 3/1998 - 8/2001 | Pesquisa e desenvolvimento , Escola de Informática, Núcleo de Apoio a Projetos de Informática. |
|
Linhas de pesquisa Informática na Educação Matemática Computacional |
| 3/2000 - 12/2000 | Outras atividades técnico-científicas , Escola de Informática, Núcleo de Apoio a Projetos de Informática. |
|
Atividade realizada Tutoria da Disciplina de Sistemas Discretos I. |
Linhas de Pesquisa
| 1. | Ensino de Informática |
| 2. | Informática na Educação |
| 3. | Informática na Educação |
| 4. | Matemática Computacional |
| 5. | Inteligência Artificial |
| 6. | Matemática Computacional |
| 7. | Inteligência Artificial |
| 8. | Inteligência Artificial |
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial. |
Projetos de Pesquisa
| 2010 - 2010 | A Inclusão Digital e o Uso da Informática em Benefício da Educação Básica |
| Descrição: Programa Institucional de Bolsa de Iniciação à Docência. Situação: Em andamento; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 15) . Integrantes: Nídia Heringer - Integrante / Cristiane Siqueira Santi Martins - Integrante / Fernanda Sperotto - Integrante / Marcia Maria Brisch Schneider - Integrante / Adriane Dorneles dos Santos - Integrante / Crisleane Bairros Scheifer - Integrante / Eliana da Silva Pereira - Integrante / Elisete Godinho - Integrante / Fábio Novaski - Integrante / Fábio Júnior Portolan - Integrante / Gabriela Cristina Ferri - Integrante / Laís Falcade - Integrante / Matheus Felipe de Lucca - Integrante / Natieli Padilha Pipper - Integrante / Paola Cavalheiro Ponciano - Integrante / Francieli da Veiga dos Santos - Integrante / Maricely Ferreira dos Santos - Integrante / Glederson Nacir Schmatz - Integrante / Márcia Häfele Islabão Franco - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.. |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial /
Especialidade: Sistemas Multiagentes. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial /
Especialidade: Simulação Social. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Informática na Educação. |
Idiomas
| Inglês | Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Razoavelmente. |
| Espanhol | Compreende Bem, Fala Pouco, Lê Bem, Escreve Razoavelmente. |
| Português | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 2010 | Primeiro Lugar na Mostra da Educação Profissional e Tecnológica - Prêmio Destaque na Área do Ensino (Orientadora), Instituto Federal de Educação, Ciência e Tecnologia Farroupilha. |
| 2010 | Segundo Lugar na II Mostra Técnica - Área Licenciatura (Orientadora), Instituto Federal de Educação, Ciência e Tecnologia Farroupilha - Campus Santo Augusto. |
| 2010 | Primeiro Lugar na II Mostra Técnica - Área Licenciatura (Orientadora), Instituto Federal de Educação, Ciência e Tecnologia Farroupilha - Campus Santo Augusto. |
| 2009 | Primeiro Lugar no Concurso para Professor Efetivo. Instituto Federal de Educação, Ciência e Tecnologia Farroupilha, Publicado no DOU (Seção 3 - 13/11/2009). |
| 2008 | Primeiro Lugar no Concurso para Professor Substituto. Instituto Federal de Educação, Ciência e Tecnologia Sul Rio Grandense, Publicado no DOU (Seção 3 - 06/02/2008). |
| 2001 | Primeiro Lugar no 10º Congresso de Iniciação Científica - Prêmio Jovem Pesquisador da Área de Ciência Exatas e da Terra, Universidade Católica de Pelotas (UCPel) e Universidade Federal de Pelotas (UFPel). |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  Franco, M. H. I. ; COSTA, A. C. R. ; COELHO, H. M. . Exchange Values and Social Power Supporting the Choice of Partners. Pueblos y Fronteras Digital , v. 6, p. 43-67, 2010. |
| 2. | Franco, M. H. I. ; COSTA, A. C. R. . Dialogue Protocols for Argumentation about Exchange Values in Multiagent Systems. Scientia (Unisinos), v. 17, p. 36-44, 2006. |
| 3. | MIRANDA, R. M. ; Franco, M. H. I. ; SILVA, J. P. M. ; BASTOS, E. N. ; COSTA, A. C. R. ; DIMURO, G. P. . Idéias iniciais para inclusão de Módulos de Monitoração e Avaliação do Sistema ENSINET. Cadernos de Informática (UFRGS), v. 2, p. 33-38, 2002. |
| Trabalhos completos publicados em anais de congressos |
| 1. | Franco, M. H. I. ; COSTA, A. C. R. ; COELHO, H. M. . Simulating Argumentation about Exchange Values in Multi-Agents Interactions. In: 19th Brazilian Symposium on Artificial Intelligence - Workshop on Social Simulation (SBIA - BWSS 2008), 2008, Salvador.
Proceedings of SBIA - BWSS, 2008. v. 1. p. 97-108. |
| 2. | Franco, M. H. I. ; COSTA, A. C. R. . Argumentation about Exchanges Values in Multiagent Systems and Collaborative Environments. In: Workshop - Escola de Sistemas de Agentes para Ambientes Colaborativos (WESAAC 2007), 2007, Pelotas. Anais do WESAAC, 2007. |
| 3. | Franco, M. H. I. ; COSTA, A. C. R. . A Model for Negotiations about Exchanges Values in Multiagents Systems. In: 27th Brazilian Computer Society Conference Brazilin Meeting on Artificial Intelligence (SBC - ENIA 2007), 2007, Rio de Janeiro. Anais do XXVII SBC: ENIA 2007, 2007. p. 1131-1140. |
| 4. | Franco, M. H. I. ; Campos, M. A ; Tedesco, P. C. A. R ; CARVALHO, G. H. P. . Ambiente de Auxílio e Verificação do Aprendizado. In: 7TH IberoAmerican Congress on Computers in Education, 2004, Monterrey - México. Proceedings 7TH IberoAmerican Congress on Computers in Education. Monterrey - México, 2004. |
| 5. | Franco, M. H. I. ; Campos, M. A ; Tedesco, P. C. A. R . Utilizando Redes Bayesianas no Desenvolvimento de um Ambiente Virtual de Aprendizagem. In: VI Oficina de Inteligëncia Artificial, 2002, Pelotas - RS. Anais: VI OIA. Pelotas - RS : EDUCAT, 2002. p. 93-100. |
| 6. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Definição de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. In: XVI Congresso Regional de Iniciação Científica e Tecnologica em Engenharia, 2001, Ijuí - RS. Anais: XVI CRICTE. Ijuí - RS : UNIJUÍ, 2001. p. 1-10. |
| 7. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Definição de uma Linguagem de Programação baseada no modelo de Espaços Coerentes para Processos Concorrentes. In: V Oficina de Inteligência Artificial, 2001, Pelotas - RS. Anais: V OIA. Pelotas - RS : EDUCAT, 2001. p. 239-244. |
| 8. | ALVES, G. V. ; MIRANDA, R. M. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação. In: Conferência Latino Americana de Informática - CLEI 2000, 2000, TEC de Monterrey - MX. Memórias. México - MX, 2000. p. 1-12. |
| 9. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Material Didático Interativo para o Ensino de Estruturas Ordenadas. In: XV Congresso Regional de Iniciação Científica e Tecnológica, 2000, Rio Grande - RS. Anais: XV CRICTE. Rio Grande - RS : FURG, 2000. |
| 10. | RODRIGUES, D. L. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . O Estudo de Espaços Coerentes para o Desenvolvimento de uma Linguagem de Programação Funcional. In: XV Congresso Regional de Iniciação Científica e Tecnológica, 2000, Rio Grande - RS. Anais: XV CRICTE. Rio Grande - RS : FURG, 2000. |
| 11. | Franco, M. H. I. ; WOTTER, R. G. ; DIMURO, G. P. ; COSTA, A. C. R. . Implementando os Operadores da Lógica Linear em Haskell. In: XIV CONGRESSO DE INICIAÇÃO CIENTÍFICA E TECNOLÓGICA, 1999, Santa Maria - RS. Anais: XIV CRICTE. Santa Maria - RS : UFSM - CT, 1999. p. 113-117. |
| Resumos expandidos publicados em anais de congressos |
| 1. | Franco, M. H. I. ; COSTA, A. C. R. . Towards a Protocol for Negotiations about Exchange Values Involved in Multiagent Interactions. In: Twentieth International Joint Conference on Artificial Intelligence (IJCAI): Workshop on Computational Models of Natural Argument (CMNA VII), 2007, Hyderabad.
Proceedings of the IJCAI-07 Workshop on (CMNA'07), 2007. v. 7. p. 01-05. |
| Resumos publicados em anais de congressos |
| 1. | SCHEIFER, C. B. ; SANTOS, F. V. ; PIPPER, N. P. ; SPEROTTO, F. ; Franco, M. H. I. . Ações e Práticas de Ensino Auxiliadas pela Informática. In: Mostra da Educação Profissional e Tecnológica do Instituto Federal de Educação Ciência e Tecnologia Farroupilha, 2010, Santa Maria. Mostra da Educação Profissional e Tecnológica, 2010. |
| 2. | SCHEIFER, C. B. ; SANTOS, F. V. ; PIPPER, N. P. ; SPEROTTO, F. ; Franco, M. H. I. . Os Benefícios da Utilização dos Softwares Educacionais no Ensino Fundamental. In: II Mostra Técnica - Instituto Federal de Educação, Ciência e Tecnologia Farroupilha - Campus Santo Augusto, 2010, Santo Augusto. II Mostra Técnica, 2010. |
| 3. | FALCADE, L. ; SANTOS, A. D. ; FERRI, G. C. ; LUCCA, M. F. ; SCHNEIDER, M. M. B. ; Franco, M. H. I. . A Inclusão da Informática no Ensino Básico: Um relato de experiência docente. In: II Mostra Técnica - Instituto Federal de Educação, Ciência e Tecnologia Farroupilha - Campus Santo Augusto, 2010, Santo Augusto. II Mostra Técnica, 2010. |
| 4. | PEREIRA, E. S. ; PONCIANO, P. C. ; GODINHO, E. ; MARTINS, C. S. S. ; Franco, M. H. I. . A Informática no Processo de Ensino-Aprendizagem. In: Mostra da Educação Profissional e Tecnológica do Instituto Federal de Educação Ciência e Tecnologia Farroupilha, 2010, Santa Maria. Mostra da Educação Profissional e Tecnológica, 2010. |
| 5. | PEREIRA, E. S. ; PONCIANO, P. C. ; GODINHO, E. ; MARTINS, C. S. S. ; Franco, M. H. I. . A Informática no Processo de Ensino-Aprendizagem. In: II Mostra Técnica - Instituto Federal de Educação, Ciência e Tecnologia Farroupilha - Campus Santo Augusto, 2010. II Mostra Técnica, 2010. |
| 6. | NOVASKI, F. ; PORTOLAN, F. J. ; MARTINS, C. S. S. ; Franco, M. H. I. . O Uso da Informática nos anos finais do Ensino Fundamental: Um relato de experiência pedagógica. In: II Mostra Técnica - Instituto Federal de Educação, Ciência e Tecnologia Farroupilha - Campus Santo Augusto, 2010, Santo Augusto. II Mostra Técnica, 2010. |
| 7. | Franco, M. H. I. ; Campos, M. A ; Tedesco, P. C. A. R . Construindo uma Rede Bayesiana para Auxiliar o Aprendizado. In: III Encontro Regional de Matemática Aplicada e Computacional, 2003, João Pessoa - PB. III Encontro Regional de Matemática Aplicada e Computacional - III Encontro Paraibano de Educação Matemática. João Pessoa - PB, 2003. p. 1-1. |
| 8. | Franco, M. H. I. ; Campos, M. A ; Tedesco, P. C. A. R . Uma Rede Bayesiana para o Aprendizado de Probabilidade. In: XXVI Congresso Nacional de Matemática Aplicada e Computacional, 2003, São José do Rio Preto - SP. Resumos das Comunicações: XXVI CNMAC. São José do Rio Preto - SP, 2003. p. 492-492. |
| 9. | Franco, M. H. I. ; Campos, M. A ; Tedesco, P. C. A. R . Desenvolvimento de um Ambiente Virtual para Auxiliar no Aprendizado de Probabilidade e Estatística. In: II Encontro Regional de Matemática Aplicada e Computacional, 2002, Natal - RN. Anais: II ERMAC. Natal - RN, 2002. p. 33-33. |
| 10. | Franco, M. H. I. ; Campos, M. A ; Tedesco, P. C. A. R . Desenvolvimento de um Ambiente Virtual de Aprendizagem para Probabilidade e Estatística. In: XXV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo - RJ. Resumos das Comunicações: XXV CNMAC. Nova Friburgo - RJ, 2002. p. 201-201. |
| 11. | Franco, M. H. I. ; RODRIGUES, D. L. ; DIMURO, G. P. ; COSTA, A. C. R. . Definição de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. In: XXIV Congresso Nacional de Matemática Aplicada e Computacional, 2001, Belo Horizonte - MG. Resumo das Comunicações. Belo Horizonte - MG : BH, 2001. p. 197-197. |
| 12. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Desenvolvimento de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. In: XIII Salão de Iniciação Científica da UFRGS, 2001, Porto Alegre - RS. CD ROM do XIII SIC. Porto Alegre - RS, 2001. p. 1-1. |
| 13. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Desenvolvimento de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. In: X Congresso de Iniciação Científica UFPel / UCPel, 2001, Pelotas - RS. Resumos. Pelotas - RS : EDUCAT, 2001. p. 96-96. |
| 14. | MIRANDA, R. M. ; Franco, M. H. I. . Utilização e Avaliação do Sistema ENSINET. In: XI Seminário Regional de Informática, 2001, Santo Ângelo - RS. Anais. Santo Ângelo - RS, 2001. p. 1-1. |
| 15. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Maple no Ensino de Estruturas ordenadas. In: VI Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2000, Santa Cruz do Sul - RS. Anais. Santa Cruz do Sul - RS : Editora da Universidade de Santa Cruz do Sul (Edunisc), 2000. p. 62-62. |
| 16. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . O Ensino de Estruturas Ordenadas com a Utilização do Maple. In: XXIII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2000, Santos - SP. Resumo das Comunicações. Santos - SP, 2000. |
| 17. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . A Utilização do Software Maple no Ensino de Estruturas Ordenadas. In: XII SALÃO DE INICIAÇÃO CIENTIFICA DA UFRGS, 2000, Porto Alegre - RS. CD ROM do XII SIC. Porto Alegre - RS : UFRGS, 2000. p. 16-16. |
| 18. | RODRIGUES, D. L. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Um estudo para o Desenvolvimento de uma Linguagem de Programação Funcional Linear. In: XII SALÃO DE INICIAÇÃO CIENTIFICA DA UFRGS, 2000, Porto Alegre - RS. CD ROM do XII SIC. Porto Alegre - RS : UFRGS, 2000. p. 42-42. |
| 19. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . A Utilização do software Maple no Desenvolvimento de um Material Didático Interativo. In: VIII laboratório de Pesquisa da UCPel, 2000, Pelotas - RS. Anais 2000. Pelotas - RS : EDUCAT, 2000. p. 195-196. |
| 20. | RODRIGUES, D. L. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Desenvolvimento de uma Linguagem de Programação Funcional Linear a partir do Estudo de Espaços Coerentes. In: VIII Laboratório de Pesquisa da UCPel, 2000, Pelotas - RS. Anais 2000. Pelotas - RS : EDUCAT, 2000. p. 187-187. |
| 21. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Desenvolvimento de Material Didático Interativo com Auxilio do Maple. In: VII SIMPOSIO INTERNACIONAL DA USP, 2000, São Paulo - SP. Anais. São Paulo - SP, 2000. p. 1-1. |
| 22. | RODRIGUES, D. L. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Desenvolvimento de uma Linguagem de Programação Funcional Linear para Computação com Matrizes a partir de um Modelo de Espaço Coerente. In: VII SIMPOSIO INTERNACIONAL DA USP, 2000, São Paulo - SP. Resumo das Comunicações. São Paulo - SP : USP, 2000. p. 366-366. |
| 23. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . A Utilização do Software Maple no Ensino de Estruturas Ordenadas. In: IX Congresso de Iniciação Científica UFPel / FURG / UCPel, 2000, Pelotas - RS. Resumos. Pelotas - RS : UFPel, 2000. p. 121-121. |
| 24. | RODRIGUES, D. L. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Um Estudo para o Desenvolvimento de uma Linguagem de Programação Funcional Linear. In: IX Congresso de Iniciação Científica UFPel / FURG / UCPel, 2000, Pelotas - RS. Resumos. Pelotas - RS : UFPel, 2000. p. 119-119. |
| 25. | MIRANDA, R. M. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Ensino Interativo de Estruturas Algébricas e Ordenadas com a Utilização do software Maple. In: XXII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1999, Santos - SP. Resumo das Comunicações. Santos - SP : SBMAC, 1999. p. 365-365. |
| 26. | Franco, M. H. I. ; WOTTER, R. G. ; DIMURO, G. P. ; COSTA, A. C. R. . Implementações em Espaços Coerentes. In: XI SALÃO DE INICIAÇÃO CIENTÍFICA, 1999, Porto Alegre - RS. Resumo das Comunicações. Porto Alegre - RS : UFRGS, 1999. p. 64-64. |
| 27. | MIRANDA, R. M. ; Franco, M. H. I. ; ALVES, G. V. ; DIMURO, G. P. ; COSTA, A. C. R. . Desenvolvimento de Material Didático Interativo com o Uso do Software Maple. In: XI SALÃO DE INICIAÇÃO CIENTÍFICA, 1999, Porto Alegre - RS. Resumo das Comunicações. Porto Alegre - RS : UFRGS, 1999. p. 53-53. |
| 28. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Utilizando o Software Maple no Ensino de Relações Binárias. In: VIII CONGRESSO DE INICIAÇÃO CIENTÍFICA FURG/UCPel/UFPel, 1999, Rio Grande - RS. Resumo das Comunicações. Rio Grande - RS : FURG, 1999. p. 60-60. |
| 29. | Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Relações Binárias com a Utilização do Software Maple. In: 7º LABORATÓRIO DE PESQUISA DA UCPEL, 1999, Pelotas - RS. Anais. Pelotas - RS : EDUCAT, 1999. p. 128-128. |
| 30. | MIRANDA, R. M. ; PEREIRA JUNIOR, J. H. P. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Estudo das Técnicas de Demonstração de Teoremas, com Aplicações no Maple. In: XXI CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1998, Caxambú - MG. Resumo das Comunicações. Caxambú - MG : SBMAC, 1998. p. 134-134. |
| 31. | Franco, M. H. I. ; WOTTER, R. G. ; DIMURO, G. P. ; COSTA, A. C. R. . Um Estudo para a Implementação de Construções em Espaços Coerentes. In: XXI CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1998, Caxambú - MG. Resumo das Comunicações. Caxambú - MG : SBMAC, 1998. p. 217-217. |
| 32. | WOTTER, R. G. ; Franco, M. H. I. ; DIMURO, G. P. ; COSTA, A. C. R. . Implementação de Construções em Espaços Coerentes. In: X SALÃO DE INICIAÇÃO CIENTÍFICA, 1998, Porto Alegre - RS. Livro de Resumos. Porto Alegre - RS : UFRGS, 1998. p. 45-45. |
| 33. | Franco, M. H. I. ; WOTTER, R. G. ; DIMURO, G. P. ; COSTA, A. C. R. . A Programação Funcional na Implementação de Construtores de Espaços Coerentes. In: 8º MOSTRA DE INICIAÇÃO CIENTÍFICA, 1998, Passo Fundo - RS. Anais. Passo Fundo - RS : Impressão Gráfica UPF, 1998. p. 62-62. |
| 34. | Franco, M. H. I. ; WOTTER, R. G. ; DIMURO, G. P. ; COSTA, A. C. R. . Implementação de Construtores de Espaços Coerentes Utilizando a Programação Funcional. In: VII CONGRESSO DE INICIAÇÃO CIENTÍFICA UFPEL/FURG/UCPEL, 1998, Pelotas - RS. Resumo das Comunicações. Pelotas - RS : Editora e Gráfica Universitária UFPEL, 1998. p. 139-139. |
| 35. | PEREIRA JUNIOR, J. H. P. ; Franco, M. H. I. ; MIRANDA, R. M. ; DIMURO, G. P. ; COSTA, A. C. R. . Estudo das Técnicas de Demonstração de Teoremas. In: V ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1998, Santa Maria - RS. Anais. Santa Maria - RS : FAFRA, 1998. p. 19-21. |
| Apresentações de Trabalho |
| 1. | Franco, M. H. I. . Model of Negotiation based in Social Exchanges for Multiagents Systems. 2006. (Apresentação de Trabalho/Seminário). |
| 2. | Franco, M. H. I. . Estudo Preliminar para a Definição de um Modelo de Negociação sobre Trocas Sociais. 2005. (Apresentação de Trabalho/Seminário). |
| 3. | Franco, M. H. I. . Argumentação em Sistemas Multiagentes. 2005. (Apresentação de Trabalho/Outra). |
| Demais tipos de produção bibliográfica |
| 1. | Franco, M. H. I. . Mecanismo de Interação baseado em Valores de Troca: Construção e Avaliação de Trocas Sociais. Porto Alegre: UFRGS, 2008 (Proposta de Tese (Qualificação de Doutorado)). |
| 2. | Franco, M. H. I. . Mecanismo de Interação entre Agentes: Construção e Avaliação de Trocas Sociais.
Porto Alegre:
UFRGS, 2008 (Tese de Doutorado). |
| 3. | Franco, M. H. I. . Negociação em Sistemas Multiagentes. Porto Alegre: UFRGS - PPGC, 2005 (Trabalho Individual). |
| 4. | Franco, M. H. I. . Virtual.Prob - Ambiente Virtual para Auxílio e Verificação do Aprendizado. Recife: Universidade Federal de Pernambuco, 2004 (Dissertação de Mestrado). |
| 5. | Franco, M. H. I. . Definição de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. Pelotas: ESIN - UCPel, 2001 (Monografia de Diplomação). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | Franco, M. H. I. ; DIMURO, G. P. . Pacote OrdEstr para o software Maple. 1999. |
| Trabalhos técnicos |
| 1. | Franco, M. H. I. . Membro do Comitê de Programa do ENIA - VIII Encontro Nacional de Inteligência Artificial (XXXI Congresso da Sociedade Brasileira de Computação). 2011. |
| 2. | Franco, M. H. I. . Avaliador (Área Informática - Pesquisa) - Mostra da Educação Profissional e Tecnológica do Instituto Federal de Educação, Ciência e Tecnologia Farroupilha. 2010. |
| 3. | Franco, M. H. I. . Revisor do WCAMA - I Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais (XXIX Congresso da Sociedade Brasileira de Computação). 2009. |
| 4. | Franco, M. H. I. . Revisor do SCA - I Simpósio de Computação Aplicada. 2009. |
| 5. | Franco, M. H. I. . Revisor do CLEI - XXXV Conferencia Latinoamericana de Informática. 2009. |
| 6. | Franco, M. H. I. . Membro do Comitê de Programa do SEMINFO - VIII Seminário de Informática. 2009. |
| Demais tipos de produção técnica |
| 1. | Franco, M. H. I. . Inteligência Artificial - aplicações e técnicas. 2009. (Curso de curta duração ministrado/Extensão). |
| 2. | Franco, M. H. I. . Currículo Lattes. 2008. (Curso de curta duração ministrado/Outra). |
| 3. | Franco, M. H. I. . Relatório SWE - CNPq. 2007. (Relatório de pesquisa). |
| 4. | Franco, M. H. I. . Relatório DTI - CNPq. 2002. (Relatório de pesquisa). |
| 5. | Franco, M. H. I. ; DIMURO, G. P. . Conjuntos, Relações e Funções no Maple. 2000. (Desenvolvimento de material didático ou instrucional - Material Didático Interativo). |
Bancas
| Participação em bancas examinadoras |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | Franco, M. H. I.; SIQUEIRA, M. L.; ÂNGELO, N. P.. Participação em banca de Jonas Friedrich. Um Método de Compactação de Imagens através de Busca por Blocos Semelhantes. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário La Salle. |
| 2. | Franco, M. H. I.; SOUSA, A. L. R.; DAHMER, A.. Participação em banca de Thiago Oliveira Ribeiro. Um Modelo de Apoio a Decisão na Área Jurídica. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário La Salle. |
| 3. | Franco, M. H. I.; SOUSA, A. L. R.. Participação em banca de Jefferson Francischetto Neves. Utilizando EVM e Análise Gráfica no Acompanhamento de Projetos. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário La Salle. |
| 4. | Franco, M. H. I.; VARGAS, P. K.; SOUSA, A. L. R.. Participação em banca de Bráulio Roberto Schuster. Avaliação da Qualidade de Diagramas UML em Projetos de Desenvolvimento de Software utilizando Métricas. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário La Salle. |
| 5. | Franco, M. H. I.; TOURINHO, G. P.; SOUSA, A. L. R.. Participação em banca de Luís Henrique da Silva Silveira. Simulação no Apoio a Tomada de Decisão a Gerentes de Desenvolvimento de Software. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário La Salle. |
| 6. | Franco, M. H. I.; ÂNGELO, N. P.; SIQUEIRA, M. L.. Participação em banca de Osmar Rodrigues Soares. Determinação da Presença de Biorremediadores de Hidrocarbonetos de Petróleo através de Processamento e Análise de Imagens Digital. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário La Salle. |
| 7. | Franco, M. H. I.; BARBOSA, D. N. F.; VIANNA, P.. Participação em banca de Ronaldo dos Santos Motola. Módulo Corpo do Agente Pedagógico Animado Maga Vitta. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário La Salle. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | Franco, M. H. I.; Brandolt, J. F.; Boas, R. R. V.. Concurso Público para o Cargo de Professor de Ensino Básico, Técnico e Tecnológico (Área Informática Geral). 2010. Instituto Federal de Educação, Ciência e Tecnologia Farroupilha. |
Eventos
| Participação em eventos |
| 1. | IV Workshop Escola de Sistemas de Agentes, seus Ambientes e Aplicações. 2010. (Outra). |
| 2. | Mostra da Educação Profissional e Tecnológica do Instituto Federal de Educação Ciência e Tecnologia Farroupilha. 2010. (Outra). |
| 3. | XXIX Congresso da Sociedade Brasileira de Computação. 2009. (Congresso). |
| 4. | II Jornada da Produção Científica da Educação Profissional e Tecnológico da Região Sul.Mini Curso Currículo Lattes. 2008. (Encontro). |
| 5. | Brazil Agents School. 2005. (Seminário). |
| 6. | 5º Fórum Internacional de Software Livre. 2004. (Outra). |
| 7. | VI Oficina de Inteligência Artificial.Utilizando Redes Bayesianas no Desenvolvimento de um Ambiente Virtual de Aprendizagem. 2002. (Oficina). |
| 8. | XXIV Congresso Nacional de Matemática Aplicada e Computacional.Definição de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. 2001. (Congresso). |
| 9. | X Congresso de Iniciação Científica (UFPel/UCPel).Desenvolvimento de uma Linguagem de Programação Baseada no Modelo de Espaços Coerentes para Processos Concorrentes. 2001. (Congresso). |
| 10. | XVI Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.Definição de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. 2001. (Congresso). |
| 11. | V Oficina de Inteligência Artificial.Definição de uma Linguagem de Programação baseada no Modelo de Espaços Coerentes para Processos Concorrentes. 2001. (Oficina). |
| 12. | IX Congresso de Iniciação Científica. 2000. (Congresso). |
| 13. | XV Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.Material Didático Interativo para Ensino de Estruturas Ordenadas. 2000. (Congresso). |
| 14. | IV Oficina de Inteligência Artificial. 2000. (Oficina). |
| 15. | VI Escola de Informática da SBC. 2000. (Encontro). |
| 16. | VI Encontro Regional de Matemática Aplicada e Computacional.Maple no Ensino de Estruturas Ordenadas. 2000. (Encontro). |
| 17. | XII Salão de Iniciação Científica.A Utilização do Software Maple no Ensino de Estruturas Ordenadas. 2000. (Outra). |
| 18. | VIII Congresso de Iniciação Científica.Utilizando o Software Maple no Ensino de Relações Binárias. 1999. (Congresso). |
| 19. | XIV Congresso de Iniciação Científica e Tecnológica.Implementando os Operadores da Lógica Linear em Haskell. 1999. (Congresso). |
| 20. | XI Salão de Iniciação Científica.Implementações em Espaços Coerentes. 1999. (Outra). |
| 21. | XXI Congresso Nacional de Matemática Aplicada e Computacional.Um Estudo para a Implementação de Construções em Espaços Coerentes. 1998. (Congresso). |
| 22. | V Encontro Regional de Matemática Aplicada e Computacional.Estudo das Técnicas de Demostração de Teoremas. 1998. (Congresso). |
| 23. | 8a Mostra de Iniciação Científica.A programação funcional na implementação de construtores de espaços coerentes. 1998. (Congresso). |
| 24. | VII Congresso de Iniciação Científica (UFPel/FURG/UCPel).Implementação de Construtores de Espaços Coerentes utilizando a Programação Funcional. 1998. (Congresso). |
| 25. | Semana Acadêmica da Escola de Informática - UCPel. 1997. (Outra). |
Orientações
| Supervisões e orientações concluídas |
| Trabalho de conclusão de curso de graduação |
| 1. | Ulisses Nairne de Almeida. Reconhecimento de estilos musicais por análise de sinais de áudio de amplitude e freqüência. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro Universitário La Salle. Orientador: Márcia Häfele Islabão Franco. |
| Orientações de outra natureza |
| 1. | Lilian Baungratz de Oliveira. Estágio Curricular Obrigatório. 2010. Orientação de outra natureza. (Licenciatura em Computação) - Instituto Federal de Educação, Ciência e Tecnologia Farroupilha. Orientador: Márcia Häfele Islabão Franco. |
| 2. | Kleison Rafael Eichoff dos Reis. Estágio Curricular Obrigatório. 2010. Orientação de outra natureza. (Licenciatura em Computação) - Instituto Federal de Educação, Ciência e Tecnologia Farroupilha. Orientador: Márcia Häfele Islabão Franco. |
| Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 5:25:35 |