Rede de Colaboração
Diretório de grupos de pesquisa
Univ Federal do Rio Grande do Sul|
Aline Brum Loreto Possui bacharelado em Matemática Aplicada e Computacional pela Universidade de Santa Cruz do Sul (1997), mestrado em Matemática Aplicada pela Universidade Federal do Rio Grande do Sul (1999) e doutorado em Computação pela Universidade Federal do Rio Grande do Sul (2005). Atualmente é professora adjunta da Universidade Federal de Pelotas/UFPel. Experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos e Complexidade, atuando principalmente nos seguintes temas: complexidade, intervalos, modelagem matemática e computacional. Ministra disciplinas da área de exatas nos cursos de Computação, Matemática, Agronomia, Química, etc.
Última
atualização do currículo em 27/01/2010
Endereço para acessar este CV: http://lattes.cnpq.br/5322246152490489 |
Dados pessoais
| Nome | Aline Brum Loreto |
| Nome em citações bibliográficas | LORETO, A. B. |
| Sexo | Feminino |
| Endereço profissional | Universidade Federal de Pelotas, Instituto de Física e Matemática - IFM. Rua Gomes Carneiro 1, Centro 96010-610 - Pelotas, RS - Brasil Telefone: (53) 32757346 Ramal: 7346 URL da Homepage: www.ufpel.tche.br |
Formação acadêmica/Titulação
| 2001 - 2005 | Doutorado em Computação
.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil. Título: Análise da Complexidade Computacional de Problemas de Estatística Descritiva com entradas intervalares, Ano de Obtenção: 2006. Orientador:  Leila Ribeiro.
Palavras-chave: Complexidade; Intervalos; Estatistica Descritiva; Problemas Intervalares; Problema NP-Dificil. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Teoria dos Intervalos. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Educação Superior; Informática. |
| 1998 - 1999 | Mestrado em Matemática Aplicada
.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil. Título: Cálculo da complexidade de algoritmos do tipo Divisão-e-conquista através das equações características, Ano de Obtenção: 2000. Orientador: Rudnei Dias da Cunha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, , . Palavras-chave: Matemática Aplicada; Complexidade de algoritmos recursivos; Divisão-e-Conquista. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Matemática Simbólica. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Análise Numérica. Setores de atividade: Informática. |
| 1993 - 1997 | Graduação em Bacharel Em Matemática
.
Universidade de Santa Cruz do Sul, UNISC, Brasil. |
Formação complementar
| 2007 - 2007 | Capacitação do Banco de Avaliadores do Sinaes.
(Carga horária: 24h). Instituto Nacional de Estudos e Pesquisas Anísio Teixeira. |
| 2007 - 2007 | Formação Docente para EAD: Planejamento e Orienta.
(Carga horária: 30h). Universidade de Santa Cruz do Sul, UNISC, Brasil. |
| 2007 - 2007 | Gestão de Processos de Avaliação Institucional.
(Carga horária: 40h). Universidade de Santa Cruz do Sul, UNISC, Brasil. |
| 2006 - 2006 | Formação Docente para EAD.
(Carga horária: 30h). Universidade de Santa Cruz do Sul, UNISC, Brasil. |
| 2004 - 2004 | Aprender a Empreender.
(Carga horária: 16h). Servico Brasileiro de Apoio as Micros e Pequenas Empresas. |
| 2003 - 2003 | Como Vender Mais e Melhor: as melhores ferramentas.
(Carga horária: 15h). Servico Brasileiro de Apoio as Micros e Pequenas Empresas. |
| 2001 - 2001 | Iniciando um Pequeno Grande Negocio.
(Carga horária: 30h). Serviço de Apoio às Micro e Pequenas Empresas do Distrito Federal. |
Atuação profissional
| Universidade Federal de Pelotas, UFPEL, Brasil. |
| Vínculo institucional |
| 2008 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva. |
| Outras informações | Professor Adjunto do Instituto de Física e Matemática - IFM |
| Atividades |
| 09/2009 - Atual | Ensino, Ciência da Computação, Engenharia Madereira, Nível: Graduação. |
| Disciplinas ministradas Introdução a Computação Programação de Microcomputadores Computação Numérica |
| 2009 - 2011 | Atividades de Participação em Projeto, Instituto de Física e Matemática - IFM, . |
|
Projetos de pesquisa Modelagem Matemática e Computacional da Neutralização do Carbono Modelos Matemáticos de Enchentes em Rios |
| 04/2009 - 08/2009 | Ensino, Agronomia, Química, Ciências Biológicas, Nível: Graduação. |
| Disciplinas ministradas Matemática para Agronomia Cálculo Diferencial e Integral Álgebra Linear e Geometria Analítica |
| 08/2008 - 12/2008 | Ensino, Agronomia, Química, Nível: Graduação. |
| Disciplinas ministradas Cálculo I Equações Diferenciais Matemática para Agronomia |
| Universidade de Santa Cruz do Sul, UNISC, Brasil. |
| Vínculo institucional |
| 2000 - 2008 | Vínculo: Contratado, Enquadramento Funcional: Professor Horista, Carga horária: 20 |
| Atividades |
| 03/2000 - 07/2008 | Ensino, Bacharel Em Matemática, Nível: Graduação. |
| Disciplinas ministradas Álgebra Linear, Algebra II, Geometria Analítica Análise Matemática I Cálculo Numérico Lógica Matemática Matematica Aplicada a Administracao I e II, Matematica Financeira Matematica Discreta, Teoria da Computação Matematica Fundamental, Cálculo Diferencial e Integral I, II, III e IV Projeto e Pesquisa em Matemática I e II, Estágio Supervisionado |
| Fundação Educacional Encosta Inferior do Nordeste, FACCAT, Brasil. |
| Vínculo institucional |
| 2003 - 2006 | Vínculo: Professor Horista, Enquadramento Funcional: Professor Horista, Carga horária: 8 |
| Atividades |
| 08/2003 - 03/2006 | Ensino, Matematica - Licenciatura, Nível: Graduação. |
| Disciplinas ministradas Calculo Diferencial e Integral I, II, III e IV |
| Universidade Federal do Rio Grande do Sul, UFRGS, Brasil. |
| Vínculo institucional |
| 2000 - 2000 | Vínculo: Professor Visitante, Enquadramento Funcional: Professor substituto, Carga horária: 20 |
| Outras informações | Substituta das disciplinas: Semântica Formal e Complexidade de Algoritmos |
| Atividades |
| 3/2000 - 12/2000 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Computação Simbólica e Numérica |
Projetos de Pesquisa
| 2009 - 2012 | Modelagem Matemática e Computacional da Neutralização do Carbono |
| Descrição: O presente projeto tem por finalidade construir um ambiente computacional, capaz de calcular o número de árvores (modelo matemático) a serem plantadas para neutralizar uma determinada quantidade de CO2, considerando a espécie e a quantidade de árvores mais indicada para cada região, levando em conta o crescimento da mesma e a adaptação da espécie ao ambiente.
No ambiente computacional, propomos, ainda, indicar/sugerir áreas verdes existente de preservação, utilizando as tecnologias da computação pervasiva para a multianálise estática e dinâmica de informações ambientais, com aplicação na seleção de áreas prioritárias à implantação de unidades de conservação.
Atualmente descobre-se a grande importância do desenvolvimento de ferramentas computacionais para auxílio à análise combinada de todos os aspectos que devem ser levados em consideração quando da realização dos estudos que visam a reversão da poluição ambiental, mais especificamente na poluição química.
. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) . Integrantes: Marilton Sanchotene de Aguiar - Integrante / Adamatti, Diana Francisca - Integrante / Flávia Tereza Giordani - Integrante / Luciana Foss - Integrante / Aline Brum Loreto - Coordenador. Número de produções C, T & A: 1. |
| 2009 - 2011 | Modelos Matemáticos de Enchentes em Rios |
| Descrição: O presente trabalho possui como objetivo explorar e realizar a análise numérica de modelos teóricos de enchentes em rios presentes na literatura. As enchentes na região sul do Estado do Rio Grande do Sul, ocorridas no início do ano, estimularam a realização de estudos em modelos matemáticos que estimem a variação do volume dos rios em função do tempo.
Primeiramente, pesquisa-se modelos matemáticos teóricos os quais visam determinar o dia em que os rios irão transbordar. Identificados os modelos teóricos, são utilizados métodos numéricos para determinar soluções aproximadas e para realizar a análise do erro cometido na aproximação da resolução numérica destes modelos teóricos.
Através desta análise pretende-se identificar quais métodos numéricos são mais precisos e mais indicados para cada modelo em estudo. Identificado vários modelos teóricos e analisado as respectivas soluções aproximadas, realiza-se simulações numéricas empregando situações práticas, com vistas a determinar qual deles é mais fidedigno à realidade das enchentes e que melhor se adapta as condições reais da região sul do RS.
Conhecendo o modelo mais adequado e o melhor método que proporciona a melhor resolução numérica do modelo, acredita-se que será possível fazer previsões e estimativas de futuras enchentes, auxiliando a defesa civil estadual a promover ações para impedir que as populações ribeirinhas sejam afetadas.
Salienta-se que o projeto proposto não prevê criação de novos métodos numéricos e sim aplicações dos métodos trabalhados e estudados nas disciplinas de Cálculo Numérico ou Métodos Numéricos, e ainda, não prevê formulação de novos modelos matemáticos para enchentes em rios e sim, realizar a validação e modificação (se for o caso) de modelos existentes na literatura. A validação de um modelo é a comparação entre a solução obtida via resolução do modelo matemático e dos dados reais. Na realidade, é um processo de decisão de aceitação ou não do modelo em estudo, onde o grau de aprox. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) . Integrantes: Stephanie Loi Brião - Integrante / Aline Brum Loreto - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa. Número de produções C, T & A: 1 / Número de orientações: 1. |
Revisor de periódico
| 2010 - Atual | Periódico: REnCiMa - Revista de Ensino de Ciências e Matemática |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Análise de Algoritmos e Complexidade de Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação /
Especialidade: Teoria dos Intervalos. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada /
Especialidade: Análise Numérica. |
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação /
Especialidade: Matemática Simbólica. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Espanhol | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Italiano | Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  LORETO, A. B. ; CAMPOS, M. A. ; CLAUDIO, D. M. ; TOSCANI, L. V. . Complexidade Computacional de Problemas de Computar Medidas de Tendência Central e Dispersão com Entradas Intervalares. TEMA. Tendências em Matemática Aplicada e Computacional , v. 7, p. 297-306, 2006. |
| 2. | LORETO, A. B. ; SILVA, R. ; TOSCANI, L. V. ; RIBEIRO, L. ; CLAUDIO, D. M. ; LEAL, L. S. . Amostragem por Importância para Estimar Valores Esperados: uma Abordagem com Heurísticas para Problemas Intervalares NP-Difíceis. TEMA. Tendências em Matemática Aplicada e Computacional, SBMAC, v. 6, p. 261-272, 2005. |
| 3. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Complexity of a Verification Problem in Object-Based Graph. Electronic Journal on Mathematics of Computation, Pelotas, v. 1, p. 1-17, 2003. |
| 4. | LORETO, A. B. ; TOSCANI, L. V. ; FACHIN, M. P. G. ; NEGRÓN, M. M. . Cálculo da Complexidade Exata de Algoritmos do tipo Divisão-e-conquista via Maple. TEMA. Tendências em Matemática Aplicada e Computacional, v. 2, p. 125-134, 2001. |
| 5. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Complexity of reactive Graph Grammars. Revista de Informática Teórica e Aplicada, Inst. de Informática-UFRGS, v. VII, p. 109-128, 2000. |
| Capítulos de livros publicados |
| 1. | Foss, Luciana ; COSTA, S. A. ; LORETO, A. B. ; RIBEIRO, L. . Especificação de Sistemas Baseados em Objetos com Gramática de Grafos. In: Júlio Mattos; Leomar Rosa Jr.; Maurício Lima Pilla. (Org.). Desafios e Avanços em Computação: o estado da arte. Pelotas: Editora e Gráfica Universitária, 2009, v. I, p. 15-31. |
| Textos em jornais de notícias/revistas |
| 1. | LORETO, A. B. ; SODER, R. A. L. . Integrando os ensinos médio e superior através do ensino da matemática no Vale do Paranhana. HORIZONTES- Boletim informativo das Faculdades de Taquara, p. 4 - 4, 20 nov. 2005. |
| Trabalhos completos publicados em anais de congressos |
| 1. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Decidability and Tractability of Problems in Object-Based Graph Grammars. In: IFIP 17th World Computer Congress - TC1 Stream /2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), 2002, Montrea, Quebec, Canada.
Foundations of Information Technology in the Era of Network and Mobile Computing. Massachusetts :
Kluwer Academic Publishers, 2002. p. 396-408. |
| 2. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Decibilidade e Tratabilidade de problemas em Gramática de Grafos Orientadas a Objetos. In: IV Workshop on Formal Methods, 2001, Rio de Janeiro. Anais-IV Workshop on Formal Methods. Rio de Janeiro : Sociedade Brasileira de Computação, 2001. |
| 3. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Complexity Analysis of Reactive Graph Grammars. In: 3rd Workshop on Formals Methods-WMF2000, 2000, João Pessoa.
3rd Workshop on Formals Methods. João Pessoa :
Sociedade Brasileira de Computação, 2000. p. 193-204. |
| Resumos expandidos publicados em anais de congressos |
| 1. | LORETO, A. B. ; CAMPOS, M. A. ; CLAUDIO, D. M. ; TOSCANI, L. V. . Analisando a complexidade computacional de Problemas de Medidas de Tendência Central e Dispersão. In: XXVIII CNMAC Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. XXVIII CNMAC Congresso Nacional de Matemática Aplicada e Computacional. Rio de Janeiro : SBMAC, 2005. p. 01-06. |
| Resumos publicados em anais de congressos |
| 1. | BRIAO, S. L. ; Ortiz, Tatiane do Amaral ; LORETO, A. B. . Análise Numérica do Modelo de Enchentes de Rios. In: XV EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul, 2009, Criciuma. XV EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul. Criciuba : UNESC, 2009. |
| 2. | Santos, Rosana ; Botelho, Liliane das Neves ; LORETO, A. B. . Software Livre de Matemática: explorando, utilizando e aperfeiçoando o Winplot. In: XV EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul, 2009, Criciuma. XV EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul. Criciuma : UNESC, 2009. |
| 3. | Retzlaff, Camila Krolow ; Moraes, Josiane P. ; LORETO, A. B. . Trabalhando com Software Livre na Matemática. In: XV EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul, 2009, Criciuma. XV EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul. Criciuma : UNESC, 2009. |
| 4. | BRIAO, S. L. ; LORETO, A. B. . Aplicação de métodos numéricos no modelo de enchente de rios. In: XVIII Congresso de Iniciação Científica, 2009, Pelotas/RS. XVIII CIC - Congresso de Iniciação Cientítica. Pelotas/RS : UFPel, 2009. |
| 5. | Franceschi, Émerson De ; LORETO, A. B. . Modelo Matemático para quantificação de Carbono na Biomassa Arbórea viva de nogueira Pecan. In: XVIII Congresso de Iniciação Científica, 2009, Pelotas/RS. XVIII CIC - Congresso de Iniciação Científica. UFPel : UFPel, 2009. |
| 6. | Santos, Rosana ; LORETO, A. B. . Softwares Livres de Matemática: Classificando e identificando para incentivar o seu uso. In: XVIII Congresso de Iniciação Científica, 2009, Pelotas/RS. XVIII CIC - Congresso de Iniciação Científica. UFPel : UFPel, 2009. |
| 7. | LORETO, A. B. ; Putzke, Jair ; Franceschi, Émerson De . Calculadora Neutralize: quantificando árvores para neutralização do Carbono. In: XXXI CNMAC- Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém/PA. XXXI - CNMAC. São Paulo : SBMAC, 2008. |
| 8. | LORETO, A. B. ; Aguiar, Marilton . Estudos de Modelos de Variação Climática: elevação do nível do mar. In: XXXI CNMAC- Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém/PA. XXXI - CNMAC. São Paulo : SBMAC, 2008. |
| 9. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. ; LEAL, L. S. ; CLAUDIO, D. M. ; KREINOVICH, V. ; LONGPRE, L. . If an Exact Interval Computation Problem is NP-Hard, Then the Approximate Problem is Also NP-Hard: A Meta-Result. In: Complexity Conference Research, 2005. Complexity Conference Research Abstracts 2005, 2005. v. XV. p. 11-11. |
| 10. | LORETO, A. B. ; CLAUDIO, D. M. ; TOSCANI, L. V. ; RIBEIRO, L. ; LEAL, L. S. ; SILVA, R. . Is to estimate the expected value of an interval function NP-Hard?. In: 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004, Kukuoka. 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics. Fukuoka/Japãp : Faculty of Mathematics, Kyushu University, 2004. |
| 11. | LORETO, A. B. ; SILVA, R. ; TOSCANI, L. V. ; RIBEIRO, L. ; CLAUDIO, D. M. ; LEAL, L. S. . Amostragem por importância em Problemas de Estatística Amostral Intervalar NP-Difíceis. In: XXVII Congresso Nacional de Matematica Aplicada e Computacional, 2004, Porto Alegre. XXVII Congresso Nacional de Matematica Aplicada e Computacional. São Paulo : SBMAC, 2004. p. 490-490. |
| 12. | LORETO, A. B. ; TOSCANI, L. V. ; LEAL, L. S. ; CLAUDIO, D. M. ; RIBEIRO, L. ; SILVA, R. . Complexidade de Problemas Intervalares. In: XXIIV CNMAC - Congrsoo Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. XXIIV CNMAC - Congrsoo Nacional de Matemática Aplicada e Computacional. São Paulo : SBMAC, 2004. |
| 13. | LORETO, A. B. ; CLAUDIO, D. M. ; TOSCANI, L. V. ; RIBEIRO, L. ; LEAL, L. S. . Analise da Complexidade do Problema de Calcular a Imagem de uma Funcao Polinomial Intervalar. In: XXVI CNMAC - Congresso Nacional de Matematica Aplicada e Computacional, 2003, Sao Jose do Rio Preto-SP. XXVI CNMAC - Congresso Nacional de Matematica Aplicada e Computacional. Sao Jose do Rio Preto-SP, 2003. p. 619-619. |
| 14. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. ; CLAUDIO, D. M. . Métodos Intervalares: Análise da Complexidade. In: XXV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo/RJ. XXV CNMAC- Congresso Nacional de Matemática Aplicada e Computacional. Rio de Janeiro : Sociedade Brasileira de Matemática Aplicada e Computacional, 2002. p. 237-237. |
| 15. | LORETO, A. B. ; TOSCANI, L. V. ; RIBEIRO, L. . Análise de Gramática de Grafos baseada em propriedades de Redes de Petri. In: XIV Congresso Nacional de Matemática Aplicada e Computacional-CNMAC2001, 2001, Belo Horizonte. Resumo das Comunicações do XIV Congresso Nacional de Matemática Aplicada e Computacional. Belo Horizonte-MG : Sociedade Brasileira de Matemática Aplicada e Computacional, 2001. p. 155-155. |
| 16. | LORETO, A. B. ; TOSCANI, L. V. ; NEGRÓN, M. M. . Resolução de Equações de Recorrências Lineares através do aplicativo Maple. In: VI Encontro Regional de Matemática Aplicada e Computacional, 2000, Santa Cruz do Sul. VI Encontro Regional de Matemática Aplicada e Computacional. Santa Cruz do Sul : Editora da Universidade de Santa Cruz do Sul, 2000. v. 1. p. 29-29. |
| 17. | LORETO, A. B. ; TOSCANI, L. V. ; FACHIN, M. P. ; NEGRÓN, M. M. . Cálculo da Complexidade exata de algoritmos do tipo divisão-e-conquista via Maple. In: XXIII Congresso Nacional de Matemática Aplicada e Computacional, 2000, Santos. XXIII congresso Nacional de Matemática Aplicada e Computacional. Santos : Sociedade Brasileira de Matemática Aplicada e Computacional, 2000. v. I. p. 336. |
| 18. | LORETO, A. B. ; TOSCANI, L. V. ; FACHIN, M. P. G. . O Maple no cálculo da Complexidade de Algoritmos. In: I Workshop: A computação como ferramenta de ensino e pesquisa, 2000, Porto Alegre. I Wokshop: A Computação como ferramenta de ensino e pesquisa - Caderno de Resumos. Porto Alegre : Editora da Universidade Federal do Rio Grande do Sul, 2000. |
| 19. | LORETO, A. B. ; TOSCANI, L. V. ; NEGRÓN, M. M. ; FACHIN, M. P. . Resolução de Equações de Recorrência e sua aplicação na Complexidade de Algoritmos. In: Congresso Nacional de Matemática Aplicada e Computacional, 1999, Santos-SP. XXII Congresso Nacional de Matemática Aplicada e Computacional, 1999. v. I. p. 01-400. |
| 20. | LORETO, A. B. . Elaboração de um software para nivelamento de terra para plantio. In: III Seminário de Iniciação Científica, 1997, Santa Cruz do Sul. III Seminário de Iniciação Científica. Santa Cruz do Sul : UNISC, 1997. v. 1. |
| Demais tipos de produção bibliográfica |
| 1. | LORETO, A. B. . Complexidade de Problemas com Funcoes Polinomiais Intervalares. Porto Alegre: PPGC - Instituto de Informatica/UFRGS, 2003 (Trabalho Individual - TI 1094). |
Bancas
| Participação em bancas examinadoras |
| Monografias de cursos de aperfeiçoamento/especialização |
| 1. | LORETO, A. B.. Participação em banca de Silvia Leticia Pozzebon. Professor de Matematica: Expectativas e Desafios. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| 2. | LORETO, A. B.. Participação em banca de Daniela Beatriz Henkes. Modelagem Matematica: uma Nova Perspectiva no Ensino e Aprendizagem no Meio Rural. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| 3. | LORETO, A. B.. Participação em banca de Marcia de Souza Rosa. Regras de Sinais x Computador. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| 4. | LORETO, A. B.. Participação em banca de Lucia Silvia da Silva. A Formacao do Professor de Matematica e sua Atuacao na Sala de Aula. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| 5. | LORETO, A. B.. Participação em banca de Cristiane Zuge Porto. A Formacao do Professor de Matematica para Trabalhar no EJA. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| 6. | LORETO, A. B.. Participação em banca de Cidicleiva Ogliari. Impressoes dos Alunos quanto ao Medo em Relacao a Matematica. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| 7. | LORETO, A. B.. Participação em banca de Alessandra da Cruz dos Santos. As dificuldades no Trabalho de Geometria nas Series Finais do Ensino Fundamental. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| 8. | LORETO, A. B.. Participação em banca de Nara Maria de Moura. O Uso da Realidade Virtual no Processo Ensino-Aprendizagem nas Teoria dos Conjuntos. 2004. Monografia (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | FURTADO, J. C.; LORETO, A. B.. Participação em banca de Fabio Legramanti. O Metodo MAH (Melhor Ajuste Hibrido) Uma Aplicacao Pratica na Industria Metalurgica. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 2. | KIPPER, C.; KHOTE, L. N.; NEGRÓN, M. M.; LORETO, A. B.. Participação em banca de Flavio Andre Schwengber. Software de Auxilio em Acionamento com Correias. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 3. | SHUCH, P.; BODINI, V. L.; LORETO, A. B.. Participação em banca de Alexandre Lindemann. Aplicativo para Calculo de Juros e Rendas atraves do uso de Tabelas Financeiras. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 4. | HALLOUCHE, B.; KHOTE, L. N.; BECKER, P.; LORETO, A. B.. Participação em banca de Gabriela Wehr. Geometria Fractal e Aplicacoes. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 5. | KHOTE, L. N.; BECKER, P.; LORETO, A. B.. Participação em banca de Iara Maria Konrad de Souza. Utilizando o Derive como ferramenta no ensino aprendizagem de Funcoes Matematicas. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 6. | FURTADO, J. C.; FERRAO, M. F.; KIPPER, C.; LORETO, A. B.. Participação em banca de Pedro Henrique Konzen. Metodologias Limpas para o Controle de Qualidade de Medicamentos e Alimentos Empregando Meta-Heuristica. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 7. | CAMARGO, M. E.; SANTOS, G. M.; LORETO, A. B.. Participação em banca de Aline Schaefer. L.E.R./D.O.R.T - Doencas Ocupacionais - Um estudo de caso envolvendo profissionais em odontologia da cidade de Santa Cruz do Sul/RS. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 8. | KIPPER, C.; BUSATTO, A. B.; NEGRÓN, M. M.; LORETO, A. B.. Participação em banca de Adriana Elisa Sundl. Modulo_edo: Software para resolucao numerica de EDO's Lineares de 1a. Ordem com a utilizacao do Matlab 6.1. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 9. | NEGRÓN, M. M.; KHOTE, L. N.; SHUCH, P.; LORETO, A. B.. Participação em banca de Carlos Alberto Schmidt. Otimizacao do Calculo de Custos de Impressos Graficos. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 10. | KIPPER, C.; NEGRÓN, M. M.; LORETO, A. B.. Participação em banca de Rodrigo da Rosa Szulczewski. Program de Calculo Estruturais de Trelicas. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 11. | NEGRÓN, M. M.; BECKER, P.; KIPPER, C.; LORETO, A. B.. Participação em banca de Nara Maria de Moura. Estudo de Cálculo Numérico com Maple. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 12. | CAMARGO, M. E.; BECKER, P.; SANTOS, G. M.; LORETO, A. B.. Participação em banca de Luis Carlos Schwingel. Utilização de Redes Neurais para predição Temporal. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 13. | CAMARGO, M. E.; BECKER, P.; SANTOS, G. M.; LORETO, A. B.. Participação em banca de Marcelo Luciano Vogt. Aplicação do Controle Estatístico de Qualidade no Ensino Fundamental. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 14. | NEGRÓN, M. M.; BECKER, P.; LORETO, A. B.. Participação em banca de Alexandre Wietzke. Software para Cálculos de Engrenagens. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 15. | NEGRÓN, M. M.; KIPPER, C.; LORETO, A. B.. Participação em banca de Ana Roberta Dattein. Software de Auxílio no ensino da Física. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 16. | NEGRÓN, M. M.; HALLOUCHE, B.; LORETO, A. B.. Participação em banca de Andrea Cristina Konrath. Modelo Teórico de obtenção de Freqüência de um Diapasão. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 17. | NEGRÓN, M. M.; KIPPER, C.; BECKER, P.; LORETO, A. B.. Participação em banca de Claudete Clair Reckeres. Aplicativo Matemático no estudo da Propagação de Agentes Poluidores do Ar. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 18. | NEGRÓN, M. M.; CAMARGO, M. E.; GASSEN, I.; LORETO, A. B.. Participação em banca de Débora Krug. Estudo do Método de Taguchi através do software Statistica. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 19. | CAMARGO, M. E.; NEGRÓN, M. M.; STULT, V. J.; LORETO, A. B.. Participação em banca de Márcia Daltoé. Maximização do Lucro dos produtos fabricados pelo Frigorífico Cosuel. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 20. | NEGRÓN, M. M.; KIPPER, C.; BUSATTO, A. B.; LORETO, A. B.. Participação em banca de Roberto Schultes Borges. Cálculo de Integrais de Linha usando o aplicativo Maple V. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| 21. | NEGRÓN, M. M.; BECKER, P.; MILBRADT, D. M.; LORETO, A. B.. Participação em banca de Taís Ruoso Calliero. Resolução de Equações Diferenciais Ordinárias explorando o aplicativo matemático Maple V. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. |
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | Simch, M. R.R.; Suazo, G. R. C.; Nunes, G. S.; LORETO, A. B.. Concurso Público para Professor Adjunto - UFPel Edital 001/2009. 2009. Universidade Federal de Pelotas. |
| 2. | KIPPER, C.; PANTA, R.; LORETO, A. B.. Concurso Publico para Docentes do Departamento de Matematica. 2004. Universidade de Santa Cruz do Sul. |
| Avaliação de cursos |
| 1. | Santos, Emmanuel; LORETO, A. B.. Avaliação/Autorização do Curso Engenharia Ambiental. 2007. Faculdade de Ciências Aplicadas de Cascavel. |
Eventos
| Participação em eventos |
| 1. | II Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais.Comite de Programa. 2010. (Congresso). |
| 2. | CLEI 2009 - Conferência Latinoamericana de Informática.Revisor de Trabalhos. 2009. (Congresso). |
| 3. | I Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais.Comite de Programa. 2009. (Congresso). |
| 4. | 3rd Southern Conference on Computational Modeling / 3MCSUL.Comitê de Programa. 2009. (Congresso). |
| 5. | XXXV Latin American Informatics Conference. 2009. (Congresso). |
| 6. | XXXII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC.Revisor dos trabalhos. 2009. (Congresso). |
| 7. | XVIII Congresso de Iniciação Científica.Revisor de trabalho. 2009. (Congresso). |
| 8. | XVIII Congresso de Iniciação Científica.Orientadora de três trabalhos de iniciação científica. 2009. (Congresso). |
| 9. | Simpósio de Computação Aplicada-SCA.Comite de Programa. 2009. (Simpósio). |
| 10. | ERAD - Escola Regional de Alto Desempenho. 2008. (Oficina). |
| 11. | VIII Encontro Regional de Matemática Aplicada e Computacional-ERMAC.Comitê de Programa. 2008. (Encontro). |
| 12. | I Workshop da Incubadora Tecnológica UNISC. 2006. (Outra). |
| 13. | XXVIII CNMAC Congresso Nacional de Matemática Aplicada e Computacional.Analisando a complexidade computacional de Problemas de Medidas de Tendência Central e Dispersão. 2005. (Congresso). |
| 14. | XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Complexidade de Problemas Intervalares. 2004. (Congresso). |
| 15. | XXVII Congresso Nacional de Matematica Aplicada e Computacional.Amostragem por importancia em Problemas de Estatistica Amostral Intervalar NP- Difíceis. 2004. (Congresso). |
| 16. | 8 EGEM-Encontro Gaucho de Educacao Matematica. 2003. (Encontro). |
| 17. | XXV CNMAC - Congresso Nacional de Matematica Aplicada e Computacional.Metodos Intervalares: Analise da Complexidade. 2002. (Congresso). |
| 18. | Encontro Regional de Matematica Aplicada e Computacional. 2002. (Encontro). |
| 19. | XIV Congresso Nacional de Matemática Aplicada e Computacional-CNMAC2001.Análise de Gramática de Grafos baseada em propriedades de Redes de Petri. 2001. (Congresso). |
| 20. | IV Workshop on Formal Methods-WMF2001.Decidabilidade e Tratabilidade de problemas em Gramáticas de Grafos Orientadas a Objetos. 2001. (Outra). |
| 21. | XXIII Congresso Nacional de Matemática Aplicada e Computacional-CNMAC2000.Cálculo da Complexidade Exata de Algoritmos do tipo Divisão-e-Conquista via Maple. 2000. (Congresso). |
| 22. | VI Encontro Regional de Matemática Aplicada e Computacional.Resolução de Equações de Recorrências Lineares através do aplicativo Maple. 2000. (Encontro). |
| 23. | III Workshop on Formal Methods-WMF2000.Complexity Analysis of Reactive Graph Grammars. 2000. (Outra). |
| 24. | I Workshop: A computação como ferramenta de ensino e pesquisa.O Maple no cálculo de Complexidade de Algoritmos. 2000. (Outra). |
| 25. | XXII Congresso Nacional de Matemática Aplicada e Computacional-CNMAC1999.Resolução de Equações de Recorrência e sua aplicação na Complexidade de Algoritmos. 1999. (Congresso). |
| 26. | III Seminário de Iniciação Científica.Elaboração de um software para nivelamento de terra para plantio. 1997. (Seminário). |
| Organização de eventos |
| 1. | Cavalheiro, Gerson H. ; Costa, A. C. da Rocha ; LORETO, A. B. . XXXV Latin American Informatics Conference. 2009. (Congresso). |
| 2. | LORETO, A. B. . 2 Workshop do CLMD - Curso de Licenciatura em Matemática a Distância. 2009. (Congresso). |
| 3. | LORETO, A. B. ; Aguiar, Marilton ; Costa, Camila ; Buske, Daneila ; Simch, Márcia . VIII ERMAC - Encontro Regional de Matemática Aplicada e Computacional. 2008. (Outro). |
Orientações
| Orientações em andamento |
| Iniciação científica |
| 1. | Stephanie Loi Brião. Análise Numérica do Modelo de Enchentes de Rios. Início: 2009. Iniciação científica (Graduando em Licenciatura em Matemática) - Universidade Federal de Pelotas, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. (Orientador). |
| 2. | Rosana dos Santos. Software Livre de Matemática: Identificação e Classificação. Início: 2009. Iniciação científica (Graduando em Licenciatura em Matemática) - Universidade Federal de Pelotas. (Orientador). |
| 3. | Émerson De Franceschi. Modelagem Matemática e Computacional da Neutralização do Carbono. Início: 2009. Iniciação científica (Graduando em Engenharia Agrícola) - Universidade Federal de Pelotas. (Orientador). |
| Supervisões e orientações concluídas |
| Monografia de conclusão de curso de aperfeiçoamento/especialização |
| 1. | Marcia de Souza Rosa. Regras de Sinais x Computador. 2004. Monografia. (Aperfeiçoamento/Especialização em Pos-graduacao em Educacao Matematica) - Universidade de Santa Cruz do Sul. Orientador: Aline Brum Loreto. |
| Trabalho de conclusão de curso de graduação |
| 1. | Flavio Andre Schwengber. Software de Auxilio em Acionamento com Correitas. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. Orientador: Aline Brum Loreto. |
| 2. | Carlos Alberto Schmidt. Otimizacao do Calculo de Custos de Impressos Graficos. 2002. Trabalho de Conclusão de Curso. (Graduação em Bacharel Em Matemática) - Universidade de Santa Cruz do Sul. Orientador: Aline Brum Loreto. |
| Iniciação Científica |
| 1. | Tatiane do Amaral Ortiz. Análise Numérica do Modelos de Enchentes de Rios. 2009. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Universidade Federal de Pelotas. Orientador: Aline Brum Loreto. |
| 2. | Camila Krolow Retzlaff. Trabalhando com Software Livre na Matemática. 2009. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Universidade Federal de Pelotas. Orientador: Aline Brum Loreto. |
| 3. | Josiane P. Moraes. Trabalhando com Software Livre na Matemática. 2009. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Universidade Federal de Pelotas. Orientador: Aline Brum Loreto. |
| 4. | Liliane das Neves Botelho. Software Livre de Matemática: explorando, utilizando e aperfeiçoando o Winplot. 2009. Iniciação Científica. (Graduando em Licenciatura em Matemática) - Universidade Federal de Pelotas. Orientador: Aline Brum Loreto. |
Outras informações relevantes
Projeto aprovado pelo Edital Universal CNPq 01/2002
Projeto: CPI - Complexidade de Problemas NP-Dificeis Envolvendo Computacoes Intervalares
Modalidade: APQ
Instituicao Executora: PUCRS-Pontificia Universidade Catolica do Rio Grande do Sul-RS
Equipe: Dalcidio Moraes Claudio Coordenador)
Liara Aparecida dos Santos Leal
Aline Brum Loreto
Mariana Luderitz Kolberg
Amalrik Bruno Maia de Oliveira
Guilherme Luis Roehe Vaccaro
Resumo: O principal objetivo deste trabalho e desenvolver uma teoria formal para algoritmos aproximativos, considerados como uma alternativa viavel para problemas intrataveis, de tal forma ue integre as concepcoes da Complexidade Estrutural aso fundamentos de estruturas semanticas adequadas. Duas principais questoes direcionam o desenvolvimento deste trabalho:- Como podem ser caracterizados qualitativamente aqueles algoritmos que, garantidamente, fornecem solucoes aproximadas para problemas de otimizacao NP-dificeis? - Como se modelam as relacoes entre problemas que apresentam diferenciados graus de aproximabilidade, com o objetivo de entender a rica hierarquia entre problemas aproximaveis? Propoe-se tambem utilizar a semantica de numero-intervalo para revisitar resultados classicamente conhecidos e compreender a influencia dessa semantica na definicao das operacoes e solucoes de equacoes intervalares.
.
|
| Página gerada pelo Sistema Currículo Lattes em 18/03/2010 às 2:19:43 |