DSpace Coleção:https://repositorio.ufms.br/handle/123456789/67842026-04-13T06:40:08Z2026-04-13T06:40:08ZElaboração de documentação do projeto Sistema de Patrimônios FACOMhttps://repositorio.ufms.br/handle/123456789/141002025-12-10T12:48:34Z2025-01-01T00:00:00ZTí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: Manual2025-01-01T00:00:00ZPorcentagens de particionamento do relax and fix e nova proposta de PLI para o problema da filogenia viva com politomiahttps://repositorio.ufms.br/handle/123456789/140602025-12-09T16:45:00Z2025-01-01T00:00:00ZTí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 Evento2025-01-01T00:00:00ZHeurísticas para Calculo de Grandes Cliques em Grafos ´https://repositorio.ufms.br/handle/123456789/140292025-12-08T21:33:48Z2025-01-01T00:00:00ZTí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: Outros2025-01-01T00:00:00ZChain-of-Thought Prompting para classificação de questões da OBIhttps://repositorio.ufms.br/handle/123456789/133422025-11-27T19:03:13Z2025-01-01T00:00:00ZTítulo: Chain-of-Thought Prompting para classificação de questões da OBI
Abstract: This paper focuses on an analysis of the structure of questions in the OBI (Brazilian Informatics Olympiad) initiation category and explores how Chain-of-Thought prompting can be used for question classification, particularly to assess whether the currently available study materials are compatible with the most recent exams.
Tipo: Outros2025-01-01T00:00:00Z