Listar por autor "Toscani, Laira Vieira"
Mostrando ítems 1-13 de 13
-
ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos
Barbosa, Marco Antonio de Castro (2001) [Tesis de maestría]A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade ... -
Análise da complexidade computacional de problemas de estatística descritiva com entradas intervalares
Loreto, Aline Brum (2006) [Tesis]A Estatística é uma ferramenta indispensável em todos os campos científicos. A Estatística descritiva é usada para sintetizar dados. O principal problema desta área está relacionado aos valores de uma amostra, os quais ... -
Análise formal da complexidade de algoritmos genéticos
Aguiar, Marilton Sanchotene de (1998) [Tesis de maestría]O objetivo do trabalho é estudar a viabilidade de tratar problemas de otimização, considerados intratáveis, através de Algoritmos Genéticos, desenvolvendo critérios para a avaliação qualitativa de um Algoritmo Genético. ... -
Cálculo da complexidade exata de algoritmos do tipo Divisão-e-Conquista via Maple
Loreto, Aline Brum; Toscani, Laira Vieira; Fachin, Maria Paula Goncalves; Malasquez Negron, Manuel Jose (2001) [Artículo de periódico]A equação de complexidade de um algoritmo recursivo pode ser expressa em termos de uma equação de recorrência. A partir destas equações obtém-se uma expressão assintótica para a complexidade, provada por indução. Neste ... -
Complexity analysis of reactive graph grammars
Loreto, Aline Brum; Toscani, Laira Vieira; Ribeiro, Leila (2000) [Artículo de periódico]The aim of this paper is to present a way to calculate a complexity measurement of graph grammar specifications of reactive systems. The basic operation that describe the behavior of a graph grammar is a rule application. ... -
Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Sulzbach, Sirlei Ines (2005) [Tesis de maestría]No presente trabalho serão apresentadas questões usuais em jogos diferenciais, nos quais os jogadores envolvidos têm objetivos diferentes; ou seja, enquanto um dos jogadores tenta fugir, o outro tenta pegar. Além disso, ... -
Definição formal de tipos abstratos de dados através de um exemplo
Specialski, Elizabeth Sueli (1981) [Tesis de maestría]Este trabalho contém os conceitos básicos da área da abstração de dados e descrição de várias técnicas para especificação de tipos abstratos, sendo que um enfoque especial dado para a técnica algébrica-axiomática. Um exemplo ... -
Uma Ferramenta para auxiliar o professor no ensino a distância
Castro, Andréa Pereira de (2002) [Tesis de maestría]Com a proliferação de computadores pessoais e a popularização da Internet, as novas tecnologias da comunicação começam a provocar impactos no setor educacional, com a promessa de construção de cenários inovadores, apoiados ... -
Uma fundamentação teórica para a complexidade estrutural de problemas de otimização
Leal, Liara Aparecida dos Santos (2002) [Tesis]Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, ... -
Uma metodologia para computação com DNA
Isaia Filho, Eduardo (2004) [Tesis de maestría]A computação com DNA é um campo da Bioinformática que, através da manipulação de seqüências de DNA, busca a solução de problemas. Em 1994, o matemático Leonard Adleman, utilizando operações biológicas e manipulação de ... -
A programacao dinamica : um caso particular da divisao e conquista
Toscani, Laira Vieira; Veloso, Paulo Augusto Silva (1990) [Artículo de periódico]A Programação Dinâmica e a Divisão e Conquista são dois métodos de desenvolvimento de algoritmos. Todo problema que pode ser resolvido por 11malgoritmo desenvolvido por Programação Dinâmica pode também ser resolvido por ... -
Uma Proposta de especificação formal e fundamentação teórica para simulated annealing
Izquierdo, Vaneci Brusch (2000) [Tesis de maestría]Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente ... -
Resolução de equações de recorrência e sua aplicação na complexidade de algoritmos
Loreto, Aline Brum; Toscani, Laira Vieira; Negrón, Manuel José Malásquez; Fachin, Maria Paula Goncalves (1999) [Resumen publicado en evento]