169 research outputs found

    Board games as a teaching tool for technology classes in Compulsory Secondary Education

    Get PDF
    Aquest treball estudia la tècnica coneguda com game-based learning, és a dir, l’ús dels jocs com a eina didàctica. Primer que res, es fa recerca sobre els treballs ja existents i es veu que, tot i haver-hi articles sobre game-based learning, és difícil trobar-ne de relacionats amb la tecnologia, més enllà d’ensenyar a programar. A continuació, es revisen els continguts curriculars i les competències de secundària i es relacionen amb alguns jocs de taula ja existents, dels quals es detallen breument les regles de joc. Es veu que hi ha continguts curriculars, pels quals es difícil trobar un joc que hi encaixi. A més a més, es desenvolupa la idea d’un nou joc de taula, basat en el ja existent Party & Co., per treballar alguns dels continguts curriculars pels quals no s’ha trobat cap joc existent que s’hi escaigui. Finalment, s’explica una experiència duta a terme durant el període de pràctiques en el centre escolar al curs de 3r d’ESO. Es disposava de tres grups i en tots tres es va seguir la mateixa programació: classe introductòria expositiva, una sessió de muntatge de robots LEGO, 4 sessions de programació i un petit test. En un dels tres grups, però, es va fer una classe prèvia extra on es va jugar a un joc de taula anomenat RoboRally. Els objectius eren dobles: que aprenguessin la importància de l’algorísmica i que s’ho passessin bé. Els resultats mostren que aquest grup va treballar més i millor. En el treball s’analitzen els resultats obtinguts

    Grounding Size Predictions for Answer Set Programs

    Get PDF
    Answer set programming is a declarative programming paradigm geared towards solving difficult combinatorial search problems. Logic programs under answer set semantics can typically be written in many different ways while still encoding the same problem. These different versions of the program may result in diverse performances. Unfortunately, it is not always easy to identify which version of the program performs the best, requiring expert knowledge on both answer set processing and the problem domain. More so, the best version to use may even vary depending on the problem instance. One measure that has been shown to correlate with performance is the programs grounding size, a measure of the number of ground rules in the grounded program (Gebser et al. 2011). Computing a grounded program is an expensive task by itself, thus computing multiple ground programs to assess their sizes to distinguish between these programs is unrealistic. In this research, we present a new system called PREDICTOR to estimate the grounding size of programs without the need to actually ground/instantiate these rules. We utilize a simplified form of the grounding algorithms implemented by answer set programming grounder DLV while borrowing techniques from join-order size estimations in relational databases. The PREDICTOR system can be used independent of the chosen answer set programming grounder and solver system. We assess the accuracy of the predictions produced by PREDICTOR, while also evaluating its impact when used as a guide for rewritings produced by the automated answer set programming rewriting system called PROJECTOR. In particular, system PREDICTOR helps to boost the performance of PROJECTOR

    The Design of the Fifth Answer Set Programming Competition

    Full text link
    Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely-related problem-solving technologies like SAT/SMT, QBF, Planning and Scheduling. ASP Competitions are (usually) biennial events; however, the Fifth ASP Competition departs from tradition, in order to join the FLoC Olympic Games at the Vienna Summer of Logic 2014, which is expected to be the largest event in the history of logic. This edition of the ASP Competition series is jointly organized by the University of Calabria (Italy), the Aalto University (Finland), and the University of Genova (Italy), and is affiliated with the 30th International Conference on Logic Programming (ICLP 2014). It features a completely re-designed setup, with novelties involving the design of tracks, the scoring schema, and the adherence to a fixed modeling language in order to push the adoption of the ASP-Core-2 standard. Benchmark domains are taken from past editions, and best system packages submitted in 2013 are compared with new versions and solvers. To appear in Theory and Practice of Logic Programming (TPLP).Comment: 10 page

    Water Surface Impact and Ricochet of Deformable Elastomeric Spheres

    Get PDF
    Soft and deformable silicone rubber spheres ricochet from a water surface when rigid spheres and disks (or skipping stones) cannot. This dissertation investigates why these objects are able to skip so successfully. High speed cameras allow us to see that these unique spheres deform significantly as they impact the water surface, flattening into pancake-like shapes with greater area. Though the water entry behavior of deformable spheres deviates from that of rigid spheres, our research shows that if this deformation is accounted for, their behavior can be predicted from previously established methods. Soft spheres skip more easily because they deform significantly when impacting the water surface. We present a diagram which enables the prediction of a ricochet from sphere impact conditions such as speed and angle. Experiments and mathematical representations of the sphere skipping both show that these deformable spheres skip more readily because deformation momentarily increases sphere area and produces an attack angle with the water which is favorable to skipping. Predictions from our mathematical representation of sphere skipping agree strongly with observations from experiments. Even when a sphere was allowed to skip multiple times in the laboratory, the mathematical predictions show good agreement with measured impact conditions through subsequent skipping events. While studying multiple impact events in an outdoor setting, we discovered a previously unidentified means of skipping, which is unique to deformable spheres. This new skipping occurs when a relatively soft sphere first hits the water at a high speed and low impact angle and the sphere begins to rotate very quickly. This quick rotation causes the sphere to stretch into a shape similar to an American football and maintain this shape while it spins. The sphere is observed to move nearly parallel with the water surface with the tips of this “football” dipping into the water as it rotates and the sides passing just over the surface. This sequence of rapid impact events give the impression that the sphere is walking across the water surface

    Automatic Program Rewriting for Non-Ground Answer Set Programs

    Get PDF

    https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/system-predictor-grounding-size-estimator-for-logic-programs-under-answer-set-semantics/9EE3D47F0DCDA77E39328E53B0816CD9#:~:text=System%20Predictor%3A%20Grounding%20Size%20Estimator%20for%20Logic%20Programs%20under%20Answer%20Set%20Semantics

    Get PDF
    Answer set programming is a declarative logic programming paradigm geared towards solving difficult combinatorial search problems. While different logic programs can encode the same problem, their performance may vary significantly. It is not always easy to identify which version of the program performs the best. We present the system PREDICTOR (and its algorithmic backend) for estimating the grounding size of programs, a metric that can influence a performance of a system processing a program. We evaluate the impact of PREDICTOR when used as a guide for rewritings produced by the answer set programming rewriting tools PROJECTOR and LPOPT. The results demonstrate potential to this approach
    • …
    corecore