https://repositorio.ufms.br/handle/123456789/6784 2026-06-09T10:19:27Z https://repositorio.ufms.br/handle/123456789/14413 Título: Modelos notacionais de máquina aplicados ao ensino de programação. Abstract: A teaching-oriented activity focused on developing teaching materials that use notional machine models as a pedagogical support for the introductory teaching of algorithms and programming. Tipo: Outros 2026-01-01T00:00:00Z https://repositorio.ufms.br/handle/123456789/14100 Título: Elaboração de documentação do projeto Sistema de Patrimônios FACOM Abstract: O Sistema de Gestão Patrimonial FACOM/UFMS é uma aplicação web completa desenvolvida para o registro, controle e gerenciamento de bens patrimoniais da Faculdade de Computação da Universidade Federal de Mato Grosso do Sul (FACOM/UFMS). Tipo: Manual 2025-01-01T00:00:00Z https://repositorio.ufms.br/handle/123456789/14060 Título: Porcentagens de particionamento do relax and fix e nova proposta de PLI para o problema da filogenia viva com politomia Abstract: A living phylogenetic tree with polytomy is a tree in which its internal nodes can include living objects and an internal node can generate two or more descendants. The objective of this work is to test the implementation of relax and fix with two matheuristics: sequential (stores the variables in the parts of the partition set in the sequence of the ordered set of the variables themselves), and random (stores the variables randomly in the parts of the partition set) with three different percentages (3%, 5%, and 10%) for the size of the parts of the partition set. The optimization libraries SCIP and Cplex were used to execute the problem, and the matheuristics were incorporated into a branch-and-bound algorithm. The results obtained with the proposed matheuristics did not achieve good bounded values. The higher the percentage, the fewer instances had solutions found, with the sequential matheuristic with 3% in the part size finding a solution in 5 instances. A new integer linear programming model for the living phylogeny problem was also proposed; however, the model was not implemented. Tipo: Artigo de Evento 2025-01-01T00:00:00Z https://repositorio.ufms.br/handle/123456789/14029 Título: Heurísticas para Calculo de Grandes Cliques em Grafos ´ Abstract: This paper documents an Atividade Orientada de Ensino (AOE), a supervised academic work registered as a non-disciplinary curricular activity within the UFMS program. The study focuses on the implementation and experimental evaluation of heuristics for computing large cliques in graphs and their effect on pruning during Zykov tree branching for graph coloring. Experiments are performed using timetabling instances from FACOM-UFMS, allowing performance measurement and analysis of search reduction in practical scenarios. Tipo: Outros 2025-01-01T00:00:00Z