92 research outputs found
Computer Aided Verification
Get PDFThe open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic
XSEDE: The Extreme Science and Engineering Discovery Environment (OAC 15-48562) Interim Project Report 13: Report Year 5, Reporting Period 2 August 1, 2020 – October 31, 2020
Get PDFThis is the Interim Project Report 13 (IPR13) for the NSF XSEDE project. It includes Key Performance Indicator data and project highlights for Reporting Year 5, Report Period 2 (August 1-October 31, 2020).NSF OAC 15-48562Ope
Online learning of physics during a pandemic: A report from an academic experience in Italy
Get PDFThe arrival of the Sars-Cov II has opened a new window on teaching physics in academia.
Frontal lectures have left space for online teaching, teachers have been faced with a new way
of spreading knowledge, adapting contents and modalities of their courses. Students have
faced up with a new way of learning physics, which relies on free access to materials and
their informatics knowledge. We decided to investigate how online didactics has influenced
students’ assessments, motivation, and satisfaction in learning physics during the pandemic
in 2020. The research has involved bachelor (n = 53) and master (n = 27) students of
the Physics Department at the University of Cagliari (N = 80, 47 male; 33 female). The
MANOVA supported significant mean differences about gender and university level with
higher values for girls and master students in almost all variables investigated. The path
analysis showed that student-student, student-teacher interaction, and the organization of
the courses significantly influenced satisfaction and motivation in learning physics. The
results of this study can be used to improve the standards of teaching in physics at the
University of Cagliar
Safety and Reliability - Safe Societies in a Changing World
Get PDFThe contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management
- mathematical methods in reliability and safety
- risk assessment
- risk management
- system reliability
- uncertainty analysis
- digitalization and big data
- prognostics and system health management
- occupational safety
- accident and incident modeling
- maintenance modeling and applications
- simulation for safety and reliability analysis
- dynamic risk and barrier management
- organizational factors and safety culture
- human factors and human reliability
- resilience engineering
- structural reliability
- natural hazards
- security
- economic analysis in risk managemen
- …
