-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
Marlon Carvalho MARIANO; Bruno Vivian CARVALHO; Márcia Häfele Islabão FRANCO; Fabio Yoshimitsu OKUYAMA; Silvia De Castro BERTAGNOLLI.
2022.
Ferramenta educacional para auxiliar no acompanhamento do desempenho de alunos em processo e alfabetização.
In:
22ª edição da mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Social Sciences & Humanities
Education
Bruno Vivian CARVALHO; Márcia Häfele Islabão FRANCO; Lais FREITAS; FABIO; Silvia De Castro BERTAGNOLLI et al.
2021.
Relatos iniciais do desenvolvimento de uma ferramenta educacional para auxiliar no processo de alfabetização.
In:
I mostra metropolitana do ifrs.
Brasil.
-
Social Sciences & Humanities
Education
Paula Adriana Ramos Da SILVA; Josiane LADELFO; Márcia Häfele Islabão FRANCO; FABIO.
2021.
Promovendo o uso dos jogos de tabuleiro em sala de aula.
In:
I mostra metropolitana do ifrs.
Brasil.
-
Social Sciences & Humanities
Education
Marlon Carvalho MARIANO; Lilian STAVIZKI; Márcia Häfele Islabão FRANCO; Fernanda Nunes DEITOS; Peres ANDRÉ et al.
2021.
Jogo digital educacional no apoio ao processo de aquisição da escrita.
In:
I mostra metropolitana do ifrs.
Brasil.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
Dafne MAKRAKIS; Silvia De Castro BERTAGNOLLI; FABIO; Bruna Poletto SALTON; Anderson Dal AGNOL et al.
2021.
Produção de jogos para estudantes com deficiência visual no contexto do ensino de programação.
In:
10º seminário de iniciação científica e tecnológica.
Brasil.
-
Social Sciences & Humanities
Education
Tiago EVANGELISTA; Márcia Häfele Islabão FRANCO; Fernanda Nunes DEITOS; André PERES; Silvia De Castro BERTAGNOLLI et al.
2021.
Relatos do desenvolvimento de um jogo digital para a atividade do ditado.
In:
Vi salão de pesquisa; extensão e ensino do ifrs.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Paz Daiane PADULA; Márcia Häfele Islabão FRANCO; Bertagnolli Silvia De CASTRO.
2020.
El mochilero: jogo digital educacional para o desenvolvimento da competência intercultural de aprendizes de língua espanhola.
In:
I webinar de pesquisas do mestrado profissional em informática na educação.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Cristina Almeida Da SILVA; Márcia Häfele Islabão FRANCO; Okuyama Fábio YOSHIMITSU.
2020.
Salabil: plataforma educacional para criação de aulas para surdos com uso da l1 e l2.
In:
I webinar de pesquisas do mestrado profissional em informática na educação.
Brasil.
-
Social Sciences & Humanities
Arts and Humanities (miscellaneous)
Calebe Da Silva BORGES; Evandro Manara MILETTO; Márcia Häfele Islabão FRANCO.
2020.
Design para educação: um curso de formação de docentes para melhoria do design de objetos de aprendizagem.
In:
I webinar de pesquisas do mestrado profissional em informática na educação.
Brasil.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
T R KUCNER; L ADAMS; Camila PERES; Willian Da Costa CHIMURA; Bertagnolli Silvia De CASTRO et al.
2019.
Um jogo mobile para complementar as estratégias pedagógicas de alfabetização na educação básica.
In:
Mostra de pesquisa; ensino e extensão - mostra poa.
Brasil.
-
Social Sciences & Humanities
Education
Cristina Almeida Da SILVA; Márcia Häfele Islabão FRANCO; FABIO.
2018.
Plataforma de ensino bilíngue salabil.
In:
International symposium on computers in education (siie).
Espanha.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
Fernando PAIM; Fernanda DEITOS; Márcia Häfele Islabão FRANCO; Peres ANDRÉ.
2018.
Um novo olhar para a atividade do ditado.
In:
19ª mostra de pesquisa; ensino e extensão (ifrs/campus porto alegre).
Brasil.
-
Social Sciences & Humanities
Education
Henrique KALIFE; Silvia De Castro BERTAGNOLLI; Márcia Häfele Islabão FRANCO.
2018.
Alfabetiz@r: um jogo digital para contribuir com o processo de alfabetização.
In:
19ª mostra de pesquisa; ensino e extensão (ifrs/campus porto alegre).
Brasil.
-
Social Sciences & Humanities
Education
Leander Fernandes Da SILVEIRA; Cristina Almeida Da SILVA; Márcia Häfele Islabão FRANCO; Fabio Yoshimitsu OKUYAMA.
2018.
Desenvolvimento de ambiente educacional para surdos.
In:
19ª mostra de pesquisa; ensino e extensão (ifrs/campus porto alegre).
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
-
Social Sciences & Humanities
Education
Rafael Humann PETRY; Luis Felipe TORMES; Silvia De Castro BERTAGNOLLI; Patricia Nogueira HÜBLER; Márcia Häfele Islabão FRANCO et al.
2018.
Codinome: jogo para contribuir com o processo de alfabetização.
In:
Mostra nacional de robótica.
Brasil.
-
Social Sciences & Humanities
Education
Henrique KALIFE; Silvia De Castro BERTAGNOLLI; Márcia Häfele Islabão FRANCO.
2018.
Jogo digital alfabetiz@r: promovendo o processo de alfabetização.
In:
19ª mostra de pesquisa; ensino e extensão (ifrs/campus porto alegre).
Brasil.
-
Physical Sciences
Artificial Intelligence
Rafael Humann PETRY; Silvia De Castro BERTAGNOLLI; Patricia Nogueira HÜBLER; Regina Da Silva LIMA; Márcia Häfele Islabão FRANCO et al.
2018.
Codinome: jogo de palavras.
In:
Ii salão de ensino; pesquisa e extensão do ifrs - campus canoas.
Brasil.
-
Social Sciences & Humanities
Education
Rafael Humann PETRY; Bertagnolli Silvia De CASTRO; Patricia Nogueira HÜBLER; Márcia Häfele Islabão FRANCO; André PERES et al.
2018.
Jogo lúdico para auxiliar no processo de alfabetização de crianças em idade de letramento.
In:
3º salão de pesquisa; extensão e ensino do ifrs.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Cristina Almeida Da SILVA; Márcia Häfele Islabão FRANCO; Josiane Carolina Soares Ramos Do AMARAL.
2017.
Políticas surdas: análise documental e reflexões sobre as políticas linguísticas voltadas a educação dos surdos.
In:
Ii jornada ibero-americana de pesquisas em políticas educacionais e experiências interdisciplinares na educação.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Daiane Padula PAZ; Márcia Häfele Islabão FRANCO; Silvia De Castro BERTAGNOLLI.
2017.
Uso das tecnologias da informação e comunicação no ensino de línguas: conectando saberes.
In:
Xix international symposium on computers in education.
Portugal.
-
Social Sciences & Humanities
Education
Daiane Padula PAZ; Márcia Häfele Islabão FRANCO; Silvia De Castro BERTAGNOLLI; Humberto Jorge COSTA.
2017.
Jogo digital educacional para o desenvolvimento da competência intercultural de aprendizes de língua espanhola.
In:
Sbgames.
Brasil.
-
Social Sciences & Humanities
Education
Viviani Andrade MACHADO; Gabriel Alves De LIMA; Marcos Henrique Zotti De SÁ; Graciela BIKOSKI; Márcia Häfele Islabão FRANCO et al.
2017.
Capacitação para professores em construção de jogos educacionais com o scratch.
In:
18 mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Social Sciences & Humanities
Education
Viviani Andrade MACHADO; Vanessa Ramires LEAL; Regina Da Silva LIMA; Márcia Häfele Islabão FRANCO; Silvia De Castro BERTAGNOLLI.
2017.
A utilização do jogo digital educacional no processo de alfabetização.
In:
18 mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
-
Social Sciences & Humanities
Education
Fausto Armando BISCHOFF; Márcia Häfele Islabão FRANCO.
2016.
Jogo educacional para auxiliar no processo de alfabetização.
In:
17 mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Physical Sciences
Computer Science Applications
Vander Luís Silveira COSTA; Márcia Häfele Islabão FRANCO.
2016.
Sistema de crowdfunding para auxiliar causas relacionadas a saúde.
In:
17 mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Social Sciences & Humanities
Education
Vanessa Ramires LEAL; Márcia Häfele Islabão FRANCO; Fabio Yoshimitsu OKUYAMA.
2016.
Proposta de desenvolvimento de um jogo educacional para auxiliar no processo de alfabetização.
In:
17 mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Social Sciences & Humanities
Education
Gabriel Alves De LIMA; Matheus LINO; Marcos Henrique Zotti De SÁ; Graciela BIKOSKI; Cristiano Lopes LIMA et al.
2016.
Capacitação para professores em construção de jogos educacionais: relatos iniciais.
In:
17 mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Henrique Dutra Fagundes MACEDO; Tanisi Pereira De CARVALHO; Márcia Häfele Islabão FRANCO.
2016.
Criação de um mmorpg para navegadores.
In:
17 mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Daiane Padula PAZ; Márcia Häfele Islabão FRANCO; Silvia De Castro BERTAGNOLLI.
2016.
Gamificação para abordar aspectos socioculturais de países hispanofalantes.
In:
Salão de pesquisa; extensão e ensino do ifrs.
Brasil.
-
Social Sciences & Humanities
Education
Cristina Almeida Da SILVA; Márcia Häfele Islabão FRANCO.
2016.
Inclusão escolar de verdade: proposta de uma ferramenta para auxiliar crianças no processo de alfabetização bilíngue.
In:
Salão de pesquisa; extensão e ensino do ifrs.
Brasil.
-
Social Sciences & Humanities
Education
Mara Rosane Noble TAVARE; Josiane Carolina Soares Ramos Do AMARAL; Márcia Häfele Islabão FRANCO.
2016.
Estado do uso das tic na rede estadual gaúcha de educação.
In:
Salão de pesquisa; extensão e ensino do ifrs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vander Luís Silveira COSTA; Márcia Häfele Islabão FRANCO.
2016.
Proposta de um sistema de crowdfunding para a área da saúde.
In:
Xv congresso brasileiro de informática em saúde.
Brasil.
-
Social Sciences & Humanities
Education
Rosana Da Silva WASZAK; Márcia Häfele Islabão FRANCO; Fabio Yoshimitsu OKUYAMA.
2015.
Sistema para monitoramento e auxílio do processo de ensino-aprendizagem.
In:
Mostra de pesquisa; ensino e extensão do ifrs - campus porto alegre.
Brasil.
-
Social Sciences & Humanities
Education
Rosana Da Silva WASZAK; Márcia Häfele Islabão FRANCO; FABIO.
2015.
O processo de ensino-aprendizagem apoiado por grupos colaborativos e cooperativos.
In:
4o seminário de iniciação científica e tecnológica.
Brasil.
-
Social Sciences & Humanities
Education
Marcelo Augusto Rauh SCHMITT; FABIO; Márcia Häfele Islabão FRANCO; Felipe Dias Costa ZIELINSKI; Liane Margarida Rockenbach TAROUCO.
2015.
Uma ferramenta de learning analytics para o moodle.
In:
Tise.
Chile.
-
Social Sciences & Humanities
Education
Crisleane Bairros SCHEIFER; Francieli Da Veiga Dos SANTOS; Natieli Padilha PIPPER; Fernanda SPEROTTO; Márcia Häfele Islabão FRANCO.
2010.
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.
Brasil.
-
Social Sciences & Humanities
Education
Crisleane Bairros SCHEIFER; Francieli Da Veiga Dos SANTOS; Natieli Padilha PIPPER; Márcia Häfele Islabão FRANCO; Fernanda SPEROTTO.
2010.
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.
Brasil.
-
Physical Sciences
Computer Science Applications
Adriane DORNELES; Gabriela Cristina FERRI; Laís FALCADE; Matheus Felipe De LUCCA; Márcia Häfele Islabão FRANCO et al.
2010.
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.
Brasil.
-
Social Sciences & Humanities
Education
Eliana Da Silva PEREIRA; Paola Cavalheiro PONCIANO; Elisete GODINHO; Cristiane Siqueira Santi MARTINS; Márcia Häfele Islabão FRANCO.
2010.
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.
Brasil.
-
Social Sciences & Humanities
Education
Eliana Da Silva PEREIRA; Elisete GODINHO; Paola Cavalheiro PONCIANO; Márcia Häfele Islabão FRANCO; Cristiane Siqueira Santi MARTINS.
2010.
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.
Brasil.
-
Social Sciences & Humanities
Education
Fábio NOVASKI; Fábio Júnior PORTOLAN; Márcia Häfele Islabão FRANCO; Cristiane Siqueira Santi MARTINS.
2010.
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.
Brasil.
-
Social Sciences & Humanities
Education
Lilian Baungratz De OLIVEIRA; Márcia Häfele Islabão FRANCO.
2010.
Vantagens do uso do software educativo.
In:
Ii mostra técnica - instituto federal de educação; ciência e tecnologia farroupilha - campus santo augusto.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele Islabão FRANCO; Antônio Carlos Da Rocha COSTA; Helder Manoel COELHO.
2008.
Simulating argumentation about exchange values in multi-agents interactions.
In:
19th brazilian symposium on artificial intelligence - workshop on social simulation (sbia - bwss 2008).
Brasil.
-
Social Sciences & Humanities
Education
Márcia Häfele Islabão FRANCO; Antônio Carlos Da Rocha COSTA.
2007.
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).
Índia.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Antônio Carlos Da Rocha COSTA.
2007.
Argumentation about exchanges values in multiagent systems and collaborative environments.
In:
Workshop - escola de sistemas de agentes para ambientes colaborativos (wesaac 2007).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Antônio Carlos Da Rocha COSTA.
2007.
A model for negotiations about exchanges values in multiagents systems.
In:
27th brazilian computer society conference ? brazilin meeting on artificial intelligence (sbc - enia 2007).
Brasil.
-
Physical Sciences
Computer Science Applications
Márcia Häfele Islabão FRANCO; Marcilia Andrade CAMPOS; Patrícia Cabral De Azevedo Restelli TEDESCO; Gustavo Henrique Porto De CARVALHO.
2004.
Ambiente de auxílio e verificação do aprendizado.
In:
7th iberoamerican congress on computers in education.
México.
-
Social Sciences & Humanities
Education
Márcia Häfele Islabão FRANCO; Marcilia Andrade CAMPOS; Patrícia Cabral De Azevedo Restelli TEDESCO.
2003.
Construindo uma rede bayesiana para auxiliar o aprendizado.
In:
Iii encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele Islabão FRANCO; Marcilia Andrade CAMPOS; Patrícia Cabral De Azevedo Restelli TEDESCO.
2003.
Uma rede bayesiana para o aprendizado de probabilidade.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Márcia Häfele Islabão FRANCO; Marcilia Andrade CAMPOS; Patrícia Cabral De Azevedo Restelli TEDESCO.
2002.
Desenvolvimento de um ambiente virtual para auxiliar no aprendizado de probabilidade e estatística.
In:
Ii encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Márcia Häfele Islabão FRANCO; Marcilia Andrade CAMPOS; Patrícia Cabral De Azevedo Restelli TEDESCO.
2002.
Desenvolvimento de um ambiente virtual de aprendizagem para probabilidade e estatística.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Márcia Häfele Islabão FRANCO; Marcilia Andrade CAMPOS; Patrícia Cabral De Azevedo Restelli TEDESCO.
2002.
Utilizando redes bayesianas no desenvolvimento de um ambiente virtual de aprendizagem.
In:
Vi oficina de inteligëncia artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele Islabão FRANCO; Daniel Lopes RODRIGUES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2001.
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.
Brasil.
-
Social Sciences & Humanities
Education
Raquel Mello De MIRANDA; Márcia Häfele Islabão FRANCO.
2001.
Utilização e avaliação do sistema ensinet.
In:
Xi seminário regional de informática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
Maple no ensino de estruturas ordenadas.
In:
Vi encontro regional de matemática aplicada e computacional - ermac.
Brasil.
-
Physical Sciences
Artificial Intelligence
Gleifer Vaz ALVES; Raquel Mello De MIRANDA; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
Materiais didáticos interativos para o ensino integrado dos fundamentos da computação.
In:
Conferência latino americana de informática - clei 2000.
México.
-
Social Sciences & Humanities
Education
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
O ensino de estruturas ordenadas com a utilização do maple.
In:
Xxiii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
A utilização do software maple no ensino de estruturas ordenadas.
In:
Xii salão de iniciação cientifica da ufrgs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel Lopes RODRIGUES; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
Um estudo para o desenvolvimento de uma linguagem de programação funcional linear.
In:
Xii salão de iniciação cientifica da ufrgs.
Brasil.
-
Social Sciences & Humanities
Education
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
A utilização do software maple no desenvolvimento de um material didático interativo.
In:
Viii laboratório de pesquisa da ucpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel Lopes RODRIGUES; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
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.
Brasil.
-
Social Sciences & Humanities
Education
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
Desenvolvimento de material didático interativo com auxilio do maple.
In:
Vii simposio internacional da usp.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel Lopes RODRIGUES; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
A utilização do software maple no ensino de estruturas ordenadas.
In:
Ix congresso de iniciação científica ufpel / furg / ucpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel Lopes RODRIGUES; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
Um estudo para o desenvolvimento de uma linguagem de programação funcional linear.
In:
Ix congresso de iniciação científica ufpel / furg / ucpel.
Brasil.
-
Social Sciences & Humanities
Education
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
Material didático interativo para o ensino de estruturas ordenadas.
In:
Xv congresso regional de iniciação científica e tecnológica.
Brasil.
-
Social Sciences & Humanities
Education
Daniel Lopes RODRIGUES; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2000.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Renata Gomes WOTTER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
Implementando os operadores da lógica linear em haskell.
In:
Xiv congresso de iniciação científica e tecnológica.
Brasil.
-
Physical Sciences
Computer Science Applications
Raquel Mello De MIRANDA; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele Islabão FRANCO; Renata Gomes WOTTER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
Implementações em espaços coerentes.
In:
Xi salão de iniciação científica.
Brasil.
-
Social Sciences & Humanities
Education
Raquel Mello De MIRANDA; Márcia Häfele Islabão FRANCO; Gleifer Vaz ALVES; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
Desenvolvimento de material didático interativo com o uso do software maple.
In:
Xi salão de iniciação científica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
Utilizando o software maple no ensino de relações binárias.
In:
Viii congresso de iniciação científica furg/ucpel/ufpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1999.
Relações binárias com a utilização do software maple.
In:
7º laboratório de pesquisa da ucpel.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Raquel Mello De MIRANDA; Jorge Hosni Pereira De Pereira JUNIOR; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Estudo das técnicas de demonstração de teoremas; com aplicações no maple.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Renata Gomes WOTTER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Um estudo para a implementação de construções em espaços coerentes.
In:
Xxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Gomes WOTTER; Márcia Häfele Islabão FRANCO; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Implementação de construções em espaços coerentes.
In:
X salão de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Renata Gomes WOTTER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
A programação funcional na implementação de construtores de espaços coerentes.
In:
8º mostra de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Márcia Häfele Islabão FRANCO; Renata Gomes WOTTER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Implementação de construtores de espaços coerentes utilizando a programação funcional.
In:
Vii congresso de iniciação científica ufpel/furg/ucpel.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Jorge Hosni Pereira De Pereira JUNIOR; Márcia Häfele Islabão FRANCO; Raquel Mello De MIRANDA; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
1998.
Estudo das técnicas de demonstração de teoremas.
In:
V encontro regional de matemática aplicada e computacional.
Brasil.