Collection's Items (Sorted by Submit Date in Descending order): 61 to 80 of 691
| Issue Date | Title | Author(s) |
| 25-Nov-2019 | Automação de feedback para melhorar a nomeação de identificadores de alunos. | NASCIMENTO, Marcos Antônio Silva. |
| 28-Feb-2020 | Fusão-solidificação de um material de mudança de fase aplicado em um sistema de armazenamento de energia térmica: modelagem e simulação. | PORTO, Túlio Rafael Nascimento. |
| 9-Dec-2019 | Uma abordagem para classificar bugs sob a perspectiva de máquina de estados. | LIMA, Melquisedec Albert Einstein de Andrade. |
| 22-Dec-1987 | Um simulador para avaliação de desempenho de redes locais. | CAUPER FILHO, Antonio. |
| Sep-2013 | Sistema semiautomático de reconhecimento de identidade vocal forense. | MOREIRA, Danilo Coura. |
| 1-Mar-2013 | Uma abordagem para análise estática automática de procedimentos armazenados em bancos de dados. | NASCIMENTO FILHO, Dimas Cassimiro do. |
| 2-Feb-2005 | Especificação e implementação de componentes para modelar redes locais sem fio ad hoc padrão IEEE 802.11. | SOUTO, Leidjane Matos de. |
| 2-Sep-2009 | Uma heurística de escalonamento adaptativa à disponibilidade da informação para aplicações bag-of-tasks data-intensive em grids computacionais. | ASSIS, Leonardo de. |
| 27-Feb-2008 | Análise probabilística de impacto de mudanças baseada em históricos de mudanças do software. | HATTORI, Lile Palma. |
| 19-Feb-2004 | Aprendizagem e recuperação de imagens utilizando mapas auto-organizáveis e representação log-polar. | BATISTA, Luana Bezerra. |
| 30-Aug-2000 | Um sistema tutor multiagentes no domínio de redes de petri. | GÓIS, Gustavo Meneses. |
| 21-Jul-2004 | Uma ferramenta para projeto e simulação de circuitos quânticos. | CABRAL, Gustavo Eulálio Miranda. |
| 20-Feb-1990 | Uma ferramenta para a definição e verificação de regras de integridade em banco de dados. | DRUMOND, Gabriela Ferreira. |
| Dec-2005 | Convertendo recursos compartilhados no espaço em recursos intermitentes. | COSTA, Lauro Beltrão. |
| 17-Jun-2010 | Modelagem e descrição formal das fontes do direito como infraestrutura de um sistema de gerenciamento de conhecimento legal. | FREITAS, Halley Ferreira Solano de. |
| 29-Aug-2008 | Análise de mutação aplicada à verificação funcional de IP core. | CUNHA, Henrique do Nascimento. |
| 27-Feb-2002 | Análise, projeto e implementação de um esquema MOLAP de data warehouse utilizando o SGBD-OR Oracle 8i. | NERI, Hilmer Rodrigues. |
| 16-Aug-2002 | MediWeb: um integrador semântico de dados na web baseado em mediador. | ARRUDA, Ladjane Silva de. |
| Mar-1988 | Estudo e implementação do método mult-grid. | FRANÇA, Kátia Mara. |
| 28-Aug-2000 | Um sistema de controle de integridade para um modelo de dados aberto. | SILVA, Marinaldo Nunes da. |
Collection's Items (Sorted by Submit Date in Descending order): 61 to 80 of 691
