A pearl on SAT solving in Prolog

A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant use of Prolog constructs is presented as a programming pearl

Registration Platform For Federations And Gymnastics Clubs

Trabalho de projeto de mestrado, Engenharia Informática, 2022, Universidade de Lisboa, Faculdade de CiênciasGymnastics clubs and federations need to register their members and teams in competitions and handle memberships in a more digitalized way. The goal of this project is to create a solution for this problem in Angular, following the reactive programming paradigm, and using a serverless architecture. This document will give a good comprehensive overview of the conceptual world of the organization of gymnastics events, and explain the architecture, and technologies used by the web application where the Membership and Registrations solution will be included. The solution will have to take into account functionality, security, and maintainability requirements. The solution’s development will be presented, from the planning phase, where the use cases were defined as well as the organization of the code, to the final implementation of those use cases. Finally a reflection on the impact of this new solution on gymnastics and what can still be improved will be presented

From Grade Schooler to Great Star: Childhood Development and the “Golden Age” in the World of Japanese Soccer

This chapter, by Elise Edwards, explores how, in its quest for success in the men’s FIFA World Cup, the Japan Football Association encourages parents to enroll preschoolers in its kids’ program to increase the number of children playing soccer and the quality of their training, emphasizes the importance of physical activity and play for children, and promotes the notion of a golden age between the ages of nine and twelve when the opportunity for physical development is said to peak. This popularizes a vision of a segmented childhood determined by age grades and developmental stages underpinned by a fear that Japanese children are in physical and psychological danger if they do not exercise correctly, with grave consequences for the Japanese state. Outdoor play and sport are essential for strengthening the national body, just as they were during World War II. The repetition and discipline required of soccer hopefuls mirrors the much-criticized educational system, which emphasizes excessive discipline and excessive competition and tethers childhood potential to adulthood success

A data-driven game theoretic strategy for developers in software crowdsourcing: a case study

Crowdsourcing has the advantages of being cost-effective and saving time, which is a typical embodiment of collective wisdom and community workers’ collaborative development. However, this development paradigm of software crowdsourcing has not been used widely. A very important reason is that requesters have limited knowledge about crowd workers’ professional skills and qualities. Another reason is that the crowd workers in the competition cannot get the appropriate reward, which affects their motivation. To solve this problem, this paper proposes a method of maximizing reward based on the crowdsourcing ability of workers, they can choose tasks according to their own abilities to obtain appropriate bonuses. Our method includes two steps: Firstly, it puts forward a method to evaluate the crowd workers’ ability, then it analyzes the intensity of competition for tasks at Topcoder.com—an open community crowdsourcing platform—on the basis of the workers’ crowdsourcing ability; secondly, it follows dynamic programming ideas and builds game models under complete information in different cases, offering a strategy of reward maximization for workers by solving a mixed-strategy Nash equilibrium. This paper employs crowdsourcing data from Topcoder.com to carry out experiments. The experimental results show that the distribution of workers’ crowdsourcing ability is uneven, and to some extent it can show the activity degree of crowdsourcing tasks. Meanwhile, according to the strategy of reward maximization, a crowd worker can get the theoretically maximum reward