Formal Approach Based on Petri Nets for Modeling and Verification of Video Games

Video games are complex systems that combine technical and artistic processes. The specification of this type of system is not a trivial task, making it necessary to use diagrams and charts to visually specify sets of requirements. Therefore, the underlying proposal of this work is to present an approach based on the formalism of Petri nets for aiding in the design process of video games. The activities of the game are represented by a specific type of Petri net called WorkFlow net. The definition of a topological map can be represented by state graphs. Using Colored Petri nets, it is possible to define formal communication mechanisms between the model of activity and the model of the map. The simulation of the timed models allows then to produce an estimated time that corresponds to the effective duration a player will need to complete a level of a game. Furthermore, a kind of Soundness property related to gameplay in a game Quest can be verified through state space analysis. For a better understanding of the approach, the video game Silent Hill II is used

Incidencia de los juegos como estrategia pedagógica en el desarrollo personal y social de las niñas y niños de 4 a 5 años

Al aplicar este trabajo de investigación conocimos el origen del problema lo cual está dirigido al desarrollo personal social de las niñas y niños de 4 a 5 años de educación inicial. Se presenció que estos niños necesitan apoyo para trabajar potencialidades y habilidades que mejoren la convivencia y la socialización. En primera instancia se puso en práctica una ficha de observación que sirvió como fuente para descubrir el problema, en base a estos datos se realizó un árbol de problemas que fue de gran ayuda para obtener el título del proyecto como es: Incidencia de los juegos como estrategia pedagógica en el desarrollo personal social de las niñas y niños de 4 a 5 años. Después se creyó oportuno ejecutar un test pedagógico a los niños en donde se pudo palpar en qué punto se encontraban sus capacidades. Así también se realizó una encuesta a las docentes para captar el grado de apreciación que tenían acerca del juego y el desarrollo personal social de los niños. En base a todo este estudio se elaboró la propuesta cuyo tema fue una guía didáctica que ayudara a fomentar el desarrollo personal social de las niñas y niños de 4 a 5 años del Centro de Educación Inicial San Miguel, en el Cantón Naranjal, en la provincia del Guayas

Tecer saberes outros: resistências fronteiriças

This work aims to reflect on the knowledge of the subjects belonging to a specific locus, Latin America, more specifically Bolivia. The narratives told from / at the border seek to rescue what was repressed by the colonizer 's discourse. If we were thrown to the margins, whose local history is unique, rescuing these knowledges, that is, border epistemologies, they become an act of epistemic disobedience necessary to detach ourselves from the standards imposed by hegemonic power. Local experiences / memories / resistances are sewn within the lines of this work, such as the testimony / life of Domitila Barrios de Chungara, a Bolivian woman, from mine and a female leader. To instigate this proposed discussion, we used studies by theorists such as Walter Mignolo (2014), Edward W. Said (2003, 2005), Zulma Palermo (2008, 2010,2015), among others. Key words: Latin America; Bolivia; Domitila Chungara; Border Epistemologies.Este trabajo tiene como objetivo reflexionar acerca del conocimiento de los sujetos pertenecientes a un locus específico, América Latina, más específicamente Bolivia. Los relatos contados desde/en la frontera buscan rescatar lo reprimido por el discurso del colonizador. Si fuéramos arrojados a los márgenes, cuya historia local es única, rescatar estos saberes, es decir, las epistemologías fronterizas, se convierte en un acto de desobediencia epistémica necesario para desprendernos de los estándares impuestos por el poder hegemónico. Y eso cose entre las líneas de este trabajo experiencias/recuerdos/resistencias locales, como el testimonio/vida de Domitila Barrios de Chungara, una mujer boliviana, minera y líder femenina. Para fomentar esta propuesta de discusión, se utilizaron estudios de teóricos como Walter Mignolo (2014), Edward W. Said (2003, 2005), Zulma Palermo (2008, 2010,2015), entre otros. Palabras clave: América Latina;  Bolivia; Domitila Chungara; Epistemologias fronterizas.Este trabalho tem como objetivo uma reflexão acerca de saberes dos sujeitos pertencentes a um lócus específico, a América Latina, mais especificamente a Bolívia. As narrativas contadas a partir da/na fronteira buscam resgatar o que foi reprimido pelo discurso do colonizador. Se fomos lançados às margens, cuja história local é singular, resgatar esses saberes, ou seja, as epistemologias fronteiriças, tornam-se um ato de desobediência epistêmica necessário para desvincular-nos dos padrões impostos pelo poder hegemônico. Costura-se dentre as linhas deste trabalho experiências/memórias/resistências locais como por exemplo o testemunho/vida de Domitila Barrios de Chungara uma mulher boliviana, mineira e líder feminina. Para fomentar essa discussão proposta valemo-nos de estudos de teóricos como Walter Mignolo (2014), Edward W. Said (2003, 2005), Zulma Palermo (2008, 2010,2015), entre outros. Palavras-Chave: América Latina; Bolívia; Domitila Chungara; Epistemologias fronteiriças. &nbsp

Cultura tributaria y la recaudación del impuesto predial en la Municipalidad Distrital de San Sebastián, Cusco, año 2020

En la presente investigación se tiene como objetivo principal determinar la relación de la cultura tributaria con la recaudación del impuesto predial en la Municipalidad Distrital de San Sebastián, Cusco, año 2020. A partir de la formación del contribuyente, conciencia tributaria y responsabilidad del contribuyente. Para lo cual, el estudio es básico, no experimental, cuantitativo y correlacional; se utilizó como población y muestra a 24 trabajadores de la gerencia de asesoría tributaria de la municipalidad distrital de San Sebastián, provincia Cusco, Cusco; aplicándose un cuestionario de 19 preguntas. A partir ello, se concluye que la cultura tributaria se relaciona con la recaudación del impuesto predial en la Municipalidad Distrital de San Sebastián; la formación del contribuyente, conciencia tributaria y la responsabilidad del contribuyente se relaciona con la recaudación del impuesto predial en la Municipalidad Distrital de San Sebastián

Incidencia del delito de usurpación y su afectación al derecho de posesión en los pobladores del distrito de Puno-2021

En la investigación se planteó como objetivo analizar la incidencia del delito de usurpación y la afectación al derecho posesorio en los pobladores del distrito de Puno – 2021. Se desarrolló una investigación de tipo básico con enfoque cualitativo de nivel exploratorio, con diseño no experimental – transversal, basándose en dos categorías de estudio: Delito de usurpación y derecho de posesión. Se utilizó la técnica de entrevista, observación y el análisis de datos se realizó mediante la categorización y triangulación de información. Se logró como resultado que en el distrito de Puno-2021 hubo la incidencia del delito de usurpación en las modalidades de: despojo, turbación de posesión, destrucción o alteración de linderos y mixtas, en terrenos rústicos, viviendas y local comercial. Asimismo, los factores que influyeron son: informalidad, socioeconómico, educación y la pandemia-covid 19. Y las zonas con mayor incidencia de usurpación fueron en los centros poblados: Salcedo, Jallihuaya, Alto Puno y barrios urbanos. Finalmente, se concluye que la incidencia del delito de usurpación en el distrito de Puno – 2021 se dio en inmuebles de propiedad privada en centros poblados y barrios urbanos; hecho que afectó el derecho de posesión de los pobladores del distrito de Puno

Coping with loneliness at University: a qualitative interview study with students in the UK

Leaving home to attend University constitutes a transition that is often characterized by an increased risk of loneliness, a psychological state that predicts poor mental health outcomes. Informed by a comprehensive conceptual framework of coping with stress, this study sought to examine the coping strategies young adults deploy to manage experiences of loneliness whilst studying at University. A qualitative, cross-sectional study was designed. Semi-structured interviews were conducted with 15 University students who had moved away from home to study, and who self-identified experiencing loneliness. We used directed qualitative content analysis to analyse the data both between and within participants. The results demonstrate that participants used a variety of coping strategies to manage the distressing experience of loneliness. Accommodation, mainly in the form of distraction, support-seeking, social isolation, self-reliance, and problem-solving behaviours were the most prevalent coping strategies mentioned. Coping reflecting helplessness, escape, submission, and more rarely, opposition, were also found, albeit less often. Students showed evidence of a wide-ranging coping repertoire, with the deployment of specific coping strategies presenting as highly selective and contextual. Strategies for coping with loneliness take into account constraints and opportunities in the environment, the availability and appropriateness of social resources, as well as individual resources and needs

Vendas no varejo eletrônico (via internet) no Brasil antes e depois da popularização dos smartphones / Sales in electronic retail (via internet) in Brazil before and after the popularization of smartphones

Para que o e-commerce ganhasse espaço considerável nas decisões dos consumidores e vendedores brasileiros, o desenvolvimento dos smartphones foi de extrema importância. Para as empresas, o e-commerce proporciona custos reduzidos associados ao alcance de novos clientes, enquanto que para os consumidores, as maiores vantagens estão na comodidade, na possibilidade de comparação de preços e redução de custos. Dessa forma, o e-commerce beneficia todas as partes envolvidas. O objetivo deste artigo é verificar, utilizando o teste de Toda e Yamamoto (1995), se o avanço no acesso à internet via celular e a popularização dos smartphones contribuíram para que o e-commerce se tornasse uma nova prática de negócios. O artigo também analisou se houve mudança no padrão das vendas no comércio eletrônico brasileiro no período em que os smartphones tornaram-se populares no mundo todo. Para tal avaliação utilizamos o teste de quebra estrutural elaborado por Zeileis et al. (2003). Os resultados dos testes sugerem que as variáveis podem estar relacionadas e que houve quebras estruturais sequenciais nas séries analisadas. Portanto, o advento do smartphone, em conjunto com o aprimoramento das tecnologias e o aumento no volume de acesso à internet via aparelhos móveis, podem ter contribuído para a mudança no volume do e-commerce brasileiro nos últimos anos

Trajetos e Trajetórias na Horta Comunitária Lomba do Pinheiro

Um monge renunciante, uma cozinheira de mão cheia e duas líderes comunitárias: Radhanti Maharaj, Dona Tetê, Lurdes e Ana são algumas das trajetórias que compõem nossa etnofotografia rumo aos caminhos da Horta. As personagens, entretanto, são muitas, assim como são diversas as motivações que as levam ao espaço rururbano de agricultura comunitária e agroecológica. Os retratos aqui trazidos são uma forma de representar essa quantidade de histórias e de vidas perpassadas por saberes e fazeres como plantar, cultivar e colher. Ao sabor de um sopão ou um de chá de hibisco, o lugar serve para discutir a alimentação e a vida na comunidade, organizar eventos, fazer yoga. Mas mais que compartilhar mudas e sementes, o importante é compartilhar sorrisos e abraços, encontros e afetos. São tantas hortas na mesma horta, tantas facetas evocadas: um saber-fazer que é político, econômico, terapêutico, ecológico e afetivo. Nosso trabalho tem esse olhar: o olhar das pessoas da horta, suas histórias, trajetos e trajetórias

CIDACS-RL: a novel indexing search and scoring-based record linkage system for huge datasets with high accuracy and scalability

Background: Record linkage is the process of identifying and combining records about the same individual from two or more different datasets. While there are many open source and commercial data linkage tools, the volume and complexity of currently available datasets for linkage pose a huge challenge; hence, designing an efficient linkage tool with reasonable accuracy and scalability is required. Methods: We developed CIDACS-RL (Centre for Data and Knowledge Integration for Health – Record Linkage), a novel iterative deterministic record linkage algorithm based on a combination of indexing search and scoring algorithms (provided by Apache Lucene). We described how the algorithm works and compared its performance with four open source linkage tools (AtyImo, Febrl, FRIL and RecLink) in terms of sensitivity and positive predictive value using gold standard dataset. We also evaluated its accuracy and scalability using a case-study and its scalability and execution time using a simulated cohort in serial (single core) and multi-core (eight core) computation settings. Results: Overall, CIDACS-RL algorithm had a superior performance: positive predictive value (99.93% versus AtyImo 99.30%, RecLink 99.5%, Febrl 98.86%, and FRIL 96.17%) and sensitivity (99.87% versus AtyImo 98.91%, RecLink 73.75%, Febrl 90.58%, and FRIL 74.66%). In the case study, using a ROC curve to choose the most appropriate cut-off value (0.896), the obtained metrics were: sensitivity = 92.5% (95% CI 92.07–92.99), specificity = 93.5% (95% CI 93.08–93.8) and area under the curve (AUC) = 97% (95% CI 96.97–97.35). The multi-core computation was about four times faster (150 seconds) than the serial setting (550 seconds) when using a dataset of 20 million records. Conclusion: CIDACS-RL algorithm is an innovative linkage tool for huge datasets, with higher accuracy, improved scalability, and substantially shorter execution time compared to other existing linkage tools. In addition, CIDACS-RL can be deployed on standard computers without the need for high-speed processors and distributed infrastructures