Title: Modelling and verification of in-game setplay behaviours module for RoboCup soccer simulation 2D Authors: SOUZA, Gabriel Lopes de Abstract: In the RoboCup Soccer Simulation 2D (SS2D) league, a team consists of independent programs that must decide how to act at every simulation cycle under noisy and partial information. These behaviours are implemented directly as imperative C++ code, which…
Title: Uso de modelos de linguagem de grande escala (LLMs) como suporte à modelagem de processos de negócio em BPMN Authors: SILVA, David Mateus Leite Abstract: Com o avanço recente da inteligência artificial generativa, especialmente dos Modelos de Linguagem de Grande Escala (LLMs), impulsionados por arquiteturas como o Generative Pré-trained Transformer (GPT), novas possibilidades têm surgido…
Title: O violino como instrumento da música nordestina : relato de uma apresentação didática no contexto escolar Authors: SILVA, Pedro Henrique Martins da Abstract: No Brasil, a música nordestina representa uma importante expressão cultural, sendo composta por diversos gêneros, como baião, forró, xote e frevo, que refletem aspectos históricos, sociais e culturais da região. Conforme destaca José…