2,572 research outputs found

    Examining the Impact of Game-Based Learning on Student Engagement and Performance in an Introductory Computer Programming Course at the University of the Southern Caribbean (USC)

    Get PDF
    At the University of the Southern Caribbean (USC) students often struggle with learning programming. Because of this struggle, they often become disengaged with the programming courses, with some transferring to other degree programmes or withdrawing from the programme. While several strategies have been used to ensure that students can problem- solve, design, and develop coded solutions, it has not been enough to alleviate the issues. Game- based learning (GBL) emerged as a possible strategy that can potentially help students develop these skills while keeping them engaged with the course content. Implementing such a strategy within the department requires evidence that it can be an effective technique for teaching and learning programming. Therefore, the aim of this study is to evaluate the impact of GBL on student engagement and overall performance in an introductory programming course. The research was designed as a deductive exploratory single case study research strategy and method. It approaches the aims and objectives from a pragmatic perspective, and as a result, uses a mixed methodological approach to data collection and analysis. The findings show that while GBL does not alleviate the common negative reactions to learning programming, it does provide a learning environment engaging enough for students to overlook these. This results in students having an enhanced perception of the knowledge and improved performance. In implementing GBL in other programming courses, some features that are potentially the most impactful on students learning are immediate feedback, freedom to fail, user interface, code without limitations, and a visual representation of progress

    2023-2024 Catalog

    Get PDF
    The 2023-2024 Governors State University Undergraduate and Graduate Catalog is a comprehensive listing of current information regarding:Degree RequirementsCourse OfferingsUndergraduate and Graduate Rules and Regulation

    Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

    Get PDF
    Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. This is due to its enhanced expressivity and modularity, allowing for a higher-level programming approach, resulting in easy and efficient development.The aim of this thesis is to explore the design and implementation of control-flow and dataflow analyses using the declarative Reference Attribute Grammars formalism. Specifically, we focus on the construction of analyses directly on the source code rather than on an intermediate representation.The main result of this thesis is our language-agnostic framework, called IntraCFG. IntraCFG enables efficient and effective dataflow analysis by allowing the construction of precise and source-level control-flow graphs. The framework superimposes control-flow graphs on top of the abstract syntax tree of the program. The effectiveness of IntraCFG is demonstrated through two case studies, IntraJ and IntraTeal. These case studies showcase the potential and flexibility of IntraCFG in diverse contexts, such as bug detection and education. IntraJ supports the Java programming language, while IntraTeal is a tool designed for teaching program analysis for an educational language, Teal.IntraJ has proven to be faster than and as precise as well-known industrial tools. The combination of precision, performance, and on-demand evaluation in IntraJ leads to low latency in querying the analysis results. This makes IntraJ a suitable tool for use in interactive tools. Preliminary experiments have also been conducted to demonstrate how IntraJ can be used to support interactive bug detection and fixing.Additionally, this thesis presents JFeature, a tool for automatically extracting and summarising the features of a Java corpus, including the use of different Java features (e.g., use of Lambda Expressions) across different Java versions. JFeature provides researchers and developers with a deeper understanding of the characteristics of corpora, enabling them to identify suitable benchmarks for the evaluation of their tools and methodologies

    Essays on Innovations in Public Sector Auditing

    Get PDF
    The current antecedents of innovation in the public sector, that is, the adoption of SDGs and the unprecedented technological advancements exert pressures on the Supreme audit institutions’(SAIs) current socio-technical system. This has led SAIs to adopt different strategies to maintain their relevance and improve the quality of their work and operations. This thesis investigated the different types of innovations currently happening in the SAIs environment and how SAIs are reacting to the demands of these changes. This exploratory work captured public sector audit innovation through the following three essays: The first essay focused on Digital Transformation (DT), investigated how SAIs approach, and interpret DT. In this regard, DT was investigated from a SAIs perspective. Due to it being a novel topic in public sector auditing research, a qualitative research method was adopted, this method was supported with expert interviews and archival and or document data. Key findings revealed that the definition of DT varies from SAI to SAI, and this variation resulted from the differences in the level of digital development in each country. SAIs applied reactive and, in some situations proactive change strategies were applied. In the reactive strategy, SAIs reacted to change induced by a situational demand while in the proactive strategy, they experiment with technologies in advance. Most of the SAIs applying proactive change strategy operates an innovation lab or an experimentation space(see Bojovic, Sabatier, and Coblence 2020; Bucher and Langley 2016; Cartel, Boxenbaum, and Aggeri 2019; Wulf 2000). As an impact on public sector auditing profession, the research addresses the popular narrative of SAI’s equating digitization or the use of digital technologies to Digital transformation. It reiterated the holistic nature of DT, by pointing at the risk involved when DT is tied solely to technology adoption strategy ignoring other aspects such as people, organizational structure, strategy, culture, etc.La trasformazione in corso dell'ambiente esterno delle Istituzioni Superiori di Controllo (ISC, Corte dei conti) sta modificando le esigenze di controllo e le aspettative dei vari stakeholders coinvolti. Infatti, questa trasformazione, innescato dai progressi tecnologici, dall'adozione degli Obiettivi di Sviluppo Sostenibile (OSS) e dalla trasparenza sta modificando il modo e gli strumenti con cui viene esercitata l’attività di controllo. Ciò ha portato le ISC a adottare diverse strategie ed a introdurre diverse innovazioni per mantenere la loro rilevanza e migliorare la qualità del loro servizio. Vari autori hanno evidenziato la necessità di indagare circa le implicazioni del cambio della strategia di controllo e dell’adozione delle varie innovazioni tecnologiche nelle ISC. Il lavoro di tesi contribuisce in questa direzione e indaga sulle varie innovazioni tecnologiche adottate dalle ISC e come questi Istituzioni hanno reagito alle pressioni esterne di cambiamento. La tesi adotta un approccio esplorativo e sviluppa tre diverse ricerche per rispondere alla domanda principale di ricerca. La prima ricerca si concentra sulla trasformazione digitale (TD), e indaga su come le ISC hanno affrontato e interpretato la TD. La metodologia utilizzata è di tipo qualitativo. Sono state effettuate varie interviste a esperti del settore a livello internazionale oltre all’analisi documentale degli archivi delle varie istituzioni analizzate. I risultati hanno mostrato una diversa interpretazione e percezione, tra le istituzioni oggetto dello studio, del concetto della TD, dovuta alle differenze di sviluppo digitale nei vari paesi analizzati. Inoltre, i risultati mostrano che le ISC hanno adottato strategie reattive di cambiamento e, in alcune situazioni, hanno adottato strategie proattive. Nel primo caso, che rappresenta la maggioranza dei casi analizzati, le ISC hanno reagito al bisogno ovvero quando si presenta una necessità di cambiamento. Mentre nel secondo caso, ovvero di strategia di cambiamento proattivo, le ISC hanno sperimentato le tecnologie in anticipo. La maggior parte delle Istituzioni che ha adottato strategie proattive di cambiamento gestisce un laboratorio di innovazione o uno spazio di sperimentazione (vedi Bojovic, Sabatier e Coblence 2020; Bucher e Langley 2016; Cartel, Boxenbaum e Aggeri 2019; Wulf 2000). Inoltre, la ricerca mostra come la digitalizzazione o l'uso delle tecnologie digitali vengono equiparati alla TD nelle ISC. Questo rischio di interpretazione del concetto si concretizza soprattutto, come mostrano i risultati, quando la TD viene legata esclusivamente alla strategia di adozione della tecnologia ignorando altri aspetti come le persone, la struttura organizzativa, la strategia, la cultura, ecc

    Digital agriculture: research, development and innovation in production chains.

    Get PDF
    Digital transformation in the field towards sustainable and smart agriculture. Digital agriculture: definitions and technologies. Agroenvironmental modeling and the digital transformation of agriculture. Geotechnologies in digital agriculture. Scientific computing in agriculture. Computer vision applied to agriculture. Technologies developed in precision agriculture. Information engineering: contributions to digital agriculture. DIPN: a dictionary of the internal proteins nanoenvironments and their potential for transformation into agricultural assets. Applications of bioinformatics in agriculture. Genomics applied to climate change: biotechnology for digital agriculture. Innovation ecosystem in agriculture: Embrapa?s evolution and contributions. The law related to the digitization of agriculture. Innovating communication in the age of digital agriculture. Driving forces for Brazilian agriculture in the next decade: implications for digital agriculture. Challenges, trends and opportunities in digital agriculture in Brazil

    Erasure in dependently typed programming

    Get PDF
    It is important to reduce the cost of correctness in programming. Dependent types and related techniques, such as type-driven programming, offer ways to do so. Some parts of dependently typed programs constitute evidence of their typecorrectness and, once checked, are unnecessary for execution. These parts can easily become asymptotically larger than the remaining runtime-useful computation, which can cause linear-time algorithms run in exponential time, or worse. It would be unnacceptable, and contradict our goal of reducing the cost of correctness, to make programs run slower by only describing them more precisely. Current systems cannot erase such computation satisfactorily. By modelling erasure indirectly through type universes or irrelevance, they impose the limitations of these means to erasure. Some useless computation then cannot be erased and idiomatic programs remain asymptotically sub-optimal. This dissertation explains why we need erasure, that it is different from other concepts like irrelevance, and proposes two ways of erasing non-computational data. One is an untyped flow-based useless variable elimination, adapted for dependently typed languages, currently implemented in the Idris 1 compiler. The other is the main contribution of the dissertation: a dependently typed core calculus with erasure annotations, full dependent pattern matching, and an algorithm that infers erasure annotations from unannotated (or partially annotated) programs. I show that erasure in well-typed programs is sound in that it commutes with single-step reduction. Assuming the Church-Rosser property of reduction, I show that properties such as Subject Reduction hold, which extends the soundness result to multi-step reduction. I also show that the presented erasure inference is sound and complete with respect to the typing rules; that this approach can be extended with various forms of erasure polymorphism; that it works well with monadic I/O and foreign functions; and that it is effective in that it not only removes the runtime overhead caused by dependent typing in the presented examples, but can also shorten compilation times."This work was supported by the University of St Andrews (School of Computer Science)." -- Acknowledgement

    A CASE STUDY OF A SKILLED BIRTH ATTENDANT TRAINING PROGRAM IN A RURAL HOSPITAL: WHAT ARE THE BARRIERS AND FACILITATORS TO INCREASING SKILLED BIRTH ATTENDANTS IN HAITI?

    Get PDF
    Background Every day more than 800 women die from complications related to pregnancy and childbirth.1 Many, if not most, maternal deaths would be preventable by ensuring women have quality, respectful, and equitable care. The shortage of midwives in the global healthcare workforce is believed to be one of the biggest impediments to women’s access to care.2SignificanceIntensive interventions in most of the world have significantly lowered maternal mortality rates (MMR), yet in low-and-middle income countries (LMICs), where 99% of maternal mortality occurs, the proportion of MMR remains unchanged.3,4 Haiti, among the poorest countries in the world, has the highest maternal mortality rate in the Western Hemisphere at 521 per 100,000.5 The U.N. identified Haiti as one of the nine countries facing the most severe midwifery workforce shortage.6Research QuestionA case study of a skilled birth attendant training program in a rural hospital: What are the barriers and facilitators to increasing skilled birth attendants in Haiti? MethodsThis study used an explanatory mixed-methods methodology to examine the Midwives for Haiti skilled birth attendant training program and the impact of increasing skilled birth attendance at St. Therese Hospital. Qualitative analysis used a case study design based on key informant interviews (KIIs) to understand the barriers and facilitators to increasing skilled birth attendants. FindingsThe organizational history provided context in which MFH operates and allowed for recognition of patterns that may influence organizational change within the lifecycle of nonprofits. The qualitative analysis of MFH datasets revealed that as the MFH SBA training program grew, there was an increase in skilled birth attendants at STH and improved maternal and infant mortality rates. By 2021, MFH had trained 223 SBAs, which represented 33% of all trained birth attendants then working in Haiti, including midwives, gynecologists, maternal-fetal medicine specialists. The key informant interviews exploring the barriers and facilitators to increasing skilled birth attendants in a rural hospital in Haiti identified critical factors. The primary barrier identified was the fragile context of Haiti and strongest facilitator was engagement of partner organizations.Doctor of Public Healt

    Examining the Relationships Between Distance Education Students’ Self-Efficacy and Their Achievement

    Get PDF
    This study aimed to examine the relationships between students’ self-efficacy (SSE) and students’ achievement (SA) in distance education. The instruments were administered to 100 undergraduate students in a distance university who work as migrant workers in Taiwan to gather data, while their SA scores were obtained from the university. The semi-structured interviews for 8 participants consisted of questions that showed the specific conditions of SSE and SA. The findings of this study were reported as follows: There was a significantly positive correlation between targeted SSE (overall scales and general self-efficacy) and SA. Targeted students' self-efficacy effectively predicted their achievement; besides, general self- efficacy had the most significant influence. In the qualitative findings, four themes were extracted for those students with lower self-efficacy but higher achievement—physical and emotional condition, teaching and learning strategy, positive social interaction, and intrinsic motivation. Moreover, three themes were extracted for those students with moderate or higher self-efficacy but lower achievement—more time for leisure (not hard-working), less social interaction, and external excuses. Providing effective learning environments, social interactions, and teaching and learning strategies are suggested in distance education
    • …
    corecore