Browsing Theses and Dissertations by Author "Toscani, Laira Vieira"
Now showing items 1-9 of 9
-
ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos
Barbosa, Marco Antonio de Castro (2001) [Dissertation]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) [Thesis]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) [Dissertation]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. ... -
Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Sulzbach, Sirlei Ines (2005) [Dissertation]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) [Dissertation]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) [Dissertation]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) [Thesis]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) [Dissertation]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 ... -
Uma Proposta de especificação formal e fundamentação teórica para simulated annealing
Izquierdo, Vaneci Brusch (2000) [Dissertation]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 ...