发布求助
文献互助 智能选刊 最新文献

Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)最新文献

筛选
英文 中文
Gramers: Agentes Pedagógicos para uma plataforma de jogos baseada em Gramática de Grafos 语法:基于图语法的游戏平台的教学代理
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18926
J. Silva, Braz Araujo da Silva Junior, Luciana Foss, S. Cavalheiro
{"title":"Gramers: Agentes Pedagógicos para uma plataforma de jogos baseada em Gramática de Grafos","authors":"J. Silva, Braz Araujo da Silva Junior, Luciana Foss, S. Cavalheiro","doi":"10.5753/weit.2021.18926","DOIUrl":"https://doi.org/10.5753/weit.2021.18926","url":null,"abstract":"Este artigo apresenta a proposta de agentes pedagógicos para o GrameStation, um motor de jogos baseado em Gramática de Grafos. No GrameStation, a criação de um jogo corresponde à especificação de uma gramática. Ainda que intuitiva, a especificação de uma Gramática de Grafos pode não ser trivial àqueles que não possuem conhecimento prévio. Isto torna necessária a presença de agentes pedagógicos, com o objetivo de auxiliar os usuários durante sua experiência. Neste sentido, quatro agentes, denominados gramers, são propostos. Exemplos da interação dos gramers na plataforma são ilustrados.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125306737","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
On the problem of compensatory mating in animal breeding 动物育种中的补偿性交配问题
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18928
Ana Paula Lüdtke Ferreira
{"title":"On the problem of compensatory mating in animal breeding","authors":"Ana Paula Lüdtke Ferreira","doi":"10.5753/weit.2021.18928","DOIUrl":"https://doi.org/10.5753/weit.2021.18928","url":null,"abstract":"Animal breeding relies on two processes to achieve its objectives: the selection and the mating systems. Mating systems devise a particular plan to perform one or more breeding goals, which often encompass improving the herd's health and maximising financial gains in animal production systems. Compensatory mating is a strategy to produce animals with more homogeneous selection trait characteristics, discarding the production of exceptional animals in favour of a more balanced herd. This paper defines and investigates the complexity class of the optimal compensatory mating problem, proving that a polynomial-time algorithm can solve it.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130630712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Testando Mecanismos de Refatoração Utilizando Programas Gerados Aleatoriamente 使用随机生成的程序测试重构机制
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18932
Luiz Felipe Kraus, Bruno Coelho, S. Feitosa
{"title":"Testando Mecanismos de Refatoração Utilizando Programas Gerados Aleatoriamente","authors":"Luiz Felipe Kraus, Bruno Coelho, S. Feitosa","doi":"10.5753/weit.2021.18932","DOIUrl":"https://doi.org/10.5753/weit.2021.18932","url":null,"abstract":"Com o avanço na computação, o uso de geradores de programas aleatórios para testes de ferramentas tem se mostrado promissor, uma vez que os casos de testes definidos manualmente dependem da imaginação do programador, onde dificilmente são testadas todas as possibilidades. Neste sentido, este trabalho tem como objetivo utilizar o gerador de códigos aleatórios para testar as principais ferramentas de refatoração da linguagem Java, para encontrar possíveis bugs de refatoração em IDEs como Netbeans, Eclipse e IntelliJ.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122930440","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sintaxe baseada em gramáticas de grafos para uma linguagem funcional visual voltada ao aprendizado de programação 面向编程学习的可视化函数式语言的基于图语法语法
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18931
M. Silva, A. Ferreira
{"title":"Sintaxe baseada em gramáticas de grafos para uma linguagem funcional visual voltada ao aprendizado de programação","authors":"M. Silva, A. Ferreira","doi":"10.5753/weit.2021.18931","DOIUrl":"https://doi.org/10.5753/weit.2021.18931","url":null,"abstract":"Linguagens baseadas no paradigma imperativo tendem a enfatizar aspectos sintáticos em detrimento do processo de resolução de problemas. Este trabalho apresenta a sintaxe da linguagem visual funcional Pandora, construída a partir de uma gramática de grafos equipada com uma álgebra, cujas regras enfatizam a construção de um programa com ênfase em composição e reúso de especificações.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"136 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131435388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
An approach for consensual analysis on Typical Hesitant Fuzzy Sets via extended aggregations and fuzzy implications based on admissible orders 基于可容许阶的扩展聚集和模糊暗示的典型犹豫模糊集共识分析方法
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18937
Mônica Matzenauer, R. Reiser, H. Santos
{"title":"An approach for consensual analysis on Typical Hesitant Fuzzy Sets via extended aggregations and fuzzy implications based on admissible orders","authors":"Mônica Matzenauer, R. Reiser, H. Santos","doi":"10.5753/weit.2021.18937","DOIUrl":"https://doi.org/10.5753/weit.2021.18937","url":null,"abstract":"Typical Hesitant Fuzzy Logic (THFL) is founded on the theory of Hesitant Fuzzy Sets, which consider as membership degrees the finite and non-empty subsets of the unit interval, called Typical Hesitant Fuzzy Elements (THFE). THFL provides the modelling for situations where there exists not only data uncertainty, but also indecision or hesitation among experts about the possible values for preferences regarding collections of objects. In order to reduce the information collapse for comparison and/or ranking of alternatives in the preference relationships, this thesis develops new ideas on THFL connectives, investigated under the scope of three admissible orders. In particular, properties of negations and aggregations are studied, as t-norms and OWA operators, with special interest in the axiomatic structures defining the implications and preserving their algebraic properties and representability. As the main contribution, we present a model that formally builds consensus measures on THFE through extended aggregation functions and fuzzy negation, using admissible orders for comparison and further, differentiating an analysis of consistency over preference matrices. Main theoretical results are submitted to multiple expert and mutiple criteria decision making problems.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115792268","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Theoretical Computer Science in Basic Education: A Systematic Review 基础教育中的理论计算机科学:系统回顾
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18933
Braz A. S. Junior, S. Cavalheiro, Luciana Foss
{"title":"Theoretical Computer Science in Basic Education: A Systematic Review","authors":"Braz A. S. Junior, S. Cavalheiro, Luciana Foss","doi":"10.5753/weit.2021.18933","DOIUrl":"https://doi.org/10.5753/weit.2021.18933","url":null,"abstract":"This paper presents a systematic literature review on theoretical computer science in basic education. Computing education has been reignited with the new computational thinking wave, calling out for the importance of problemsolving skills. Yet, it has been focusing its efforts in programming with visual languages, games and robotics. Meanwhile, theoretical computer science has rarely been touched in education. Therefore this work investigates 17 journal and conference paper that present solutions including this topic on basic education in the last 20 years. To conclude, a discussion about what topics of theoretical computer science were used takes place and a need for further research is identified.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130069603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Proposta de Atividades Lúdicas no Minecraft Educacional para a Promoção do Pensamento Computacional 建议在教育Minecraft中进行有趣的活动，以促进计算思维
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18929
Jonnhy M. Marques, Luciana Foss, S. Cavalheiro
{"title":"Proposta de Atividades Lúdicas no Minecraft Educacional para a Promoção do Pensamento Computacional","authors":"Jonnhy M. Marques, Luciana Foss, S. Cavalheiro","doi":"10.5753/weit.2021.18929","DOIUrl":"https://doi.org/10.5753/weit.2021.18929","url":null,"abstract":"O Pensamento Computacional é uma metodologia de resolução de problemas baseada em conceitos da Ciência da Computação que pode ser aplicada em diferentes áreas, não somente na computação. Esse trabalho apresenta um conjunto de atividades para crianças que visam abordar de forma intencional as habilidades e conceitos do Pensamento Computacional, tais como abstração, decomposição, reconhecimento de padrões e pensamento algorítmico, fazendo uso do Minecraft Educacional.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125105132","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A-Games: using game-like representation for representing finite automata A-Games:使用游戏式表示法来表示有限自动机
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18918
Cleyton Slaviero, E. Haeusler
{"title":"A-Games: using game-like representation for representing finite automata","authors":"Cleyton Slaviero, E. Haeusler","doi":"10.5753/weit.2021.18918","DOIUrl":"https://doi.org/10.5753/weit.2021.18918","url":null,"abstract":"Non-determinism in automata theory allows us to model situations where given an input, one or more outputs are possible. Although this decision regarding which state to chose could be random, there are contexts where this decision is not random, for instance when modeling real life situations. Using game theory, we propose the representation of automata as a game of two players. This game is defined for languages of finite size. We characterize that this representation is suited for both deterministic and non-deterministic automata, and relate the former with perfect information games, and the latter with imperfect information games. We argue that this could help us in explaining concurrency in programming, for instance in novice programming environments.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131933719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI 查看和扩展Verigraph-GUI工具的模板检查器
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18936
Arthur L. Fuchs, Rodrigo Machado, Leila Ribeiro
{"title":"Visualização e Extensão de um Verificador de Modelos para a ferramenta Verigraph-GUI","authors":"Arthur L. Fuchs, Rodrigo Machado, Leila Ribeiro","doi":"10.5753/weit.2021.18936","DOIUrl":"https://doi.org/10.5753/weit.2021.18936","url":null,"abstract":"Verigraph-GUI é um editor gráfico desenvolvido para a ferramenta Verigraph, uma ferramenta de transformação de grafos. Esse trabalho relata sobre a construção de uma GUI para o módulo de verificação de modelos da ferramenta Verigraph, assim como extensões e outras melhorias planejadas.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122575707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Implicações Representáveis por Funções Overlap e Grouping 可以用重叠和分组函数表示的含义
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18927
C. Botelho, A. Galvão, Adenauer C. Yamin, Helida Santos, R. Reiser
{"title":"Implicações Representáveis por Funções Overlap e Grouping","authors":"C. Botelho, A. Galvão, Adenauer C. Yamin, Helida Santos, R. Reiser","doi":"10.5753/weit.2021.18927","DOIUrl":"https://doi.org/10.5753/weit.2021.18927","url":null,"abstract":"As implicações de QL e D são geralmente geradas por negações fortes e t-normas e t-conormas, agregadores que exigem propriedades como associatividade e elemento neutro. A fim de simplificar e dar mais flexibilidade nas condições que definem os métodos construtivos para gerar tais implicações, consideramos a negação fuzzy máxima e as construções duais de funções overlap e grouping. Alguns exemplos ilustram os métodos propostos.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126185461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信