Learning in Game Jams: A Case Study of the GLASS Summer School

Game jams provide exciting opportunities for education and research. In this session we describe the GLASS Summer School, sharing videos where students talk about their experiences, and sharing results from our learning survey. We discuss questions such as what are optimal conditions for game jams? How can we measure learning

Turning students into citizen scientists

Citizen science, the active participation of the public in scientific research projects, is a rapidly expanding field in open science and open innovation. It provides an integrated model of public knowledge production and engagement with science. As a growing worldwide phenomenon, it is invigorated by evolving new technologies that connect people easily and effectively with the scientific community. Catalysed by citizens’ wishes to be actively involved in scientific processes, as a result of recent societal trends, it also offers contributions to the rise in tertiary education. In addition, citizen science provides a valuable tool for citizens to play a more active role in sustainable development. This book identifies and explains the role of citizen science within innovation in science and society, and as a vibrant and productive science-policy interface. The scope of this volume is global, geared towards identifying solutions and lessons to be applied across science, practice and policy. The chapters consider the role of citizen science in the context of the wider agenda of open science and open innovation, and discuss progress towards responsible research and innovation, two of the most critical aspects of science today

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

Abstract. This paper proposes a design method for discrete abstrac-tions of nonlinear systems using multi-resolution quantizer, which is ca-pable of handling state dependent approximation precision requirements. To this aim, we extend the notion of quantizer embedding, which has been proposed by the authors ’ previous works as a transformation from continuous-state systems to discrete-state systems, to a multi-resolution setting. Then, we propose a computational method that analyzes how a locally generated quantization error is propagated through the state space. Based on this method, we present an algorithm that generates a multi-resolution quantizer with a specified error precision by finite refine-ments. Discrete abstractions produced by the proposed method exhibit non-uniform distribution of discrete states and inputs.

Learning outcomes in online citizen science communities designed for inquiry

The purpose of most citizen science projects is engaging citizens in providing data to scientists, not supporting citizen learning about science. Any citizen learning that does occur in most projects is normally a by-product of the project rather than a stated aim. This study examines learning outcomes of citizens participating in online citizen science communities purposely designed for inquiry learning. The ‘Citizen inquiry’ approach adopted in this study prioritises and scaffolds learning and engages people in all stages of the scientific process by involving them in inquiry-based learning while participating in citizen science activities. The exploratory research involved an intervention with two design studies of adult volunteer participants engaging in citizen-led inquiries, employing a mixed-methods approach. The findings indicated that, in both design studies, participants engaged in an inquiry process, and practised inquiry skills alongside other kinds of knowledge and skills not directly related to science. Differences between the outcomes of each study highlighted the importance of the design on learning impact. In particular, participant understanding of research processes and methods, and developing more experimental studies were more evident with the support of a dynamic representation of the inquiry process. Furthermore, in the second study, which was hosted in a more engaging and interactive learning environment, participants perceived science as fun, were involved in inquiry discussions, and showed progress in scientific vocabulary. The paper concludes with some considerations for science educators and citizen science facilitators to enhance the learning outcomes of citizen inquiry and similar online communities for science inquiries

BioDiVinE: A Framework for Parallel Analysis of Biological Models

In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. In the paper, the key tool features are described and their application is demonstrated by means of a case study

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

In this paper, a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study.Comment: In Proceedings CompMod 2011, arXiv:1109.104

Constructive Hybrid Games

Hybrid games are models which combine discrete, continuous, and adversarial dynamics. Game logic enables proving (classical) existence of winning strategies. We introduce constructive differential game logic (CdGL) for hybrid games, where proofs that a player can win the game correspond to computable winning strategies. This is the logical foundation for synthesis of correct control and monitoring code for safety-critical cyber-physical systems. Our contributions include novel static and dynamic semantics as well as soundness and consistency.Comment: 60 pages, preprint, under revie

Health Status and Health Care Use Among Adolescents Identified With and Without Autism in Early Childhood — Four U.S. Sites, 2018–2020

Persons identified in early childhood as having autism spectrum disorder (autism) often have co-occurring health problems that extend into adolescence (1–3). Although only limited data exist on their health and use of health care services as they transition to adolescence, emerging data suggest that a minority of these persons receive recommended guidance* from their primary care providers (PCPs) starting at age 12 years to ensure a planned transition from pediatric to adult health care (4,5). To address this gap in data, researchers analyzed preliminary data from a follow-up survey of parents and guardians of adolescents aged 12–16 years who previously participated in the Study to Explore Early Development (https://www.cdc.gov/ncbddd/autism/seed.html). The adolescents were originally studied at ages 2–5 years and identified at that age as having autism (autism group) or as general population controls (control group). Adjusted prevalence ratios (aPRs) that accounted for differences in demographic characteristics were used to compare outcomes between groups. Adolescents in the autism group were more likely than were those in the control group to have physical difficulties (21.2% versus 1.6%;aPR = 11.6;95% confidence interval [CI] = 4.2–31.9), and to have additional mental health or other condition