1,570 research outputs found

    Undergraduate Catalog of Studies, 2023-2024

    Get PDF

    Exploring the Relationship Between Staffing and Long-Term Care Worker Mental Health

    Get PDF
    This research delves into the relationship between staffing levels during a crisis in the healthcare workforce and the mental well-being of long-term care workers, with a specific focus on variables such as burnout, compassion fatigue, and compassion satisfaction. With increasing workforce shortages, the attention to providing quality care during this tumultuous period has become increasingly urgent. There has been scarce empirical research that has explicitly sought to comprehend the connection between staffing levels and the mental health of long-term care professionals. This study was designed as a non-experimental, quantitative correlational investigation, aiming to understand the intricate dynamics between patient-to-staff ratios in long-term care and the mental well-being of direct care healthcare workers. 86 participants completed an online survey via SurveyMonkey with the use of the assessment, the ProQOL V. A Spearman Correlation was utilized to analyze the data. This study found no significant relationship between patient-to-staff ratios and healthcare worker burnout. Additionally, no significant relationship was identified between patient-to-staff ratios and compassion satisfaction nor patient-to-staff ratios and compassion fatigue. While no significant outcomes can be drawn from the data, this study underscores the need for further research to gain a deeper understanding of how the ongoing staffing crisis in long-term care affects the mental health and overall well-being of healthcare workers. It is hoped that this research will serve as a foundation for future investigations, offering valuable insights and support for addressing the challenges faced in long-term care settings

    Undergraduate Catalog of Studies, 2023-2024

    Get PDF

    Proceedings of the 10th International congress on architectural technology (ICAT 2024): architectural technology transformation.

    Get PDF
    The profession of architectural technology is influential in the transformation of the built environment regionally, nationally, and internationally. The congress provides a platform for industry, educators, researchers, and the next generation of built environment students and professionals to showcase where their influence is transforming the built environment through novel ideas, businesses, leadership, innovation, digital transformation, research and development, and sustainable forward-thinking technological and construction assembly design

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

    Get PDF
    Modern SAT solvers can emit independently-checkable proof certificates to validate their results. The state-of-the-art proof system that allows for compact proof certificates is propagation redundancy (PR). However, the only existing method to validate proofs in this system with a formally verified tool requires a transformation to a weaker proof system, which can result in a significant blowup in the size of the proof and increased proof validation time. This article describes the first approach to formally verify PR proofs on a succinct representation. We present (i) a new Linear PR (LPR) proof format, (ii) an extension of the DPR-trim tool to efficiently convert PR proofs into LPR format, and (iii) cake_lpr, a verified LPR proof checker developed in CakeML. We also enhance these tools with (iv) a new compositional proof format designed to enable separate (parallel) proof checking. The LPR format is backwards compatible with the existing LRAT format, but extends LRAT with support for the addition of PR clauses. Moreover, cake_lpr is verified using CakeML ’s binary code extraction toolchain, which yields correctness guarantees for its machine code (binary) implementation. This further distinguishes our clausal proof checker from existing checkers because unverified extraction and compilation tools are removed from its trusted computing base. We experimentally show that: LPR provides efficiency gains over existing proof formats; cake_lpr ’s strong correctness guarantees are obtained without significant sacrifice in its performance; and the compositional proof format enables scalable parallel proof checking for large proofs

    Undergraduate Catalog of Studies, 2022-2023

    Get PDF

    University bulletin 2023-2024

    Get PDF
    This catalog for the University of South Carolina at Beaufort lists information about the college, the academic calendar, admission policies, degree programs, faculty and course descriptions

    Tradition and Innovation in Construction Project Management

    Get PDF
    This book is a reprint of the Special Issue 'Tradition and Innovation in Construction Project Management' that was published in the journal Buildings

    Current issues of the management of socio-economic systems in terms of globalization challenges

    Get PDF
    The authors of the scientific monograph have come to the conclusion that the management of socio-economic systems in the terms of global challenges requires the use of mechanisms to ensure security, optimise the use of resource potential, increase competitiveness, and provide state support to economic entities. Basic research focuses on assessment of economic entities in the terms of global challenges, analysis of the financial system, migration flows, logistics and product exports, territorial development. The research results have been implemented in the different decision-making models in the context of global challenges, strategic planning, financial and food security, education management, information technology and innovation. The results of the study can be used in the developing of directions, programmes and strategies for sustainable development of economic entities and regions, increasing the competitiveness of products and services, decision-making at the level of ministries and agencies that regulate the processes of managing socio-economic systems. The results can also be used by students and young scientists in the educational process and conducting scientific research on the management of socio-economic systems in the terms of global challenges
    • …
    corecore