The Experience of Two Independent Schools with In-Person Learning During the COVID-19 Pandemic

ABSTRACTBACKGROUNDIn 2020, U.S schools closed due to SARS-CoV-2 but their role in transmission was unknown. In fall 2020, national guidance for reopening omitted testing or screening recommendations. We report the experience of 2 large independent K-12 schools (School-A and School-B) that implemented an array of SARS-CoV-2 mitigation strategies that included periodic universal testing.METHODSSARS-CoV-2 was identified through periodic universal PCR testing, self-reporting of tests conducted outside school, and contact tracing. Schools implemented behavioral and structural mitigation measures, including mandatory masks, classroom disinfecting, and social distancing.RESULTSOver the fall semester, School-A identified 112 cases in 2320 students and staff; School-B identified 25 cases (2.0%) in 1200 students and staff. Most cases were asymptomatic and none required hospitalization. Of 69 traceable introductions, 63(91%) were not associated with school-based transmission, 59 cases (54%) occurred in the 2 weeks post-Thanksgiving. In 6/7 clusters, clear noncompliance with mitigation protocols was found. The largest outbreak had 28 identified cases and was traced to an off-campus party. There was no transmission from students to staff.CONCLUSIONSAlthough school-age children can contract and transmit SARS-CoV-2, rates of COVID-19 infection related to in-person education were significantly lower than those in the surrounding community. However, social activities among students outside of school undermined those measures and should be discouraged, perhaps with behavioral contracts, to ensure the safety of school communities. In addition, introduction risks were highest following extended school breaks. These risks may be mitigated with voluntary quarantines and surveillance testing prior to re-opening.

Strategi Analisis Displin Siswa dengan Konseling Individu Teknik Behavioral Contract

In order for students to improve their discipline, the Behavioral Contract technique provides individual counseling services. The research aims to find out how it is implemented, the obstacles and the factors causing the late students of SMAN 4 Banjarmasin. Method using qualitative. With the background of students with the initials SNA, R, MI and SR. The results of the research after being provided with student services were not late for school to become disciplined. Research is expected to add insight into the field of counseling guidance, enrich the theory, especially with regard to discipline late entering school. Keywords: Discipline; Late School Entry; Individual Counseling; Behavioral Contracts

Higher order symbolic execution for contract verification and refutation

We present a new approach to automated reasoning about higher-order programs by endowing symbolic execution with a notion of higher-order, symbolic values. To validate our approach, we use it to develop and evaluate a system for verifying and refuting behavioral software contracts of components in a functional language, which we call soft contract verification. In doing so, we discover a mutually beneficial relation between behavioral contracts and higher-order symbolic execution. Contracts aid symbolic execution by providing a rich language of specifications serving as a basis of symbolic higher-order values; the theory of blame enables modular verification and leads to the theorem that verified components can't be blamed; and the run-time monitoring of contracts enables soft verification whereby verified and unverified components can safely interact. Conversely, symbolic execution aids contracts by providing compile-time verification and automated test case generation from counter-examples to verification. This relation between symbolic exuection and contracts engenders a virtuous cycle encouraging the gradual use of contracts.Our approach is able to analyze first-class contracts, recursive data structures, unknown functions, and control-flow-sensitive refinements of values, which are all idiomatic in dynamic languages. It makes effective use of off-the-shelf solvers to decide problems without heavy encodings. Counterexample search is sound and relatively complete with respect to a first-order solver for base type values and counter-examples are reported as concrete values, including functions. Therefore, it can form the basis of automated verification and bug-finding tools for higher-order programs. The approach is competitive with a range of existing tools—including type systems, flow analyzers, and model checkers—on their own benchmarks. We have built a prototype to analyze programs written in Racket and report on its effectiveness in verifying and refuting contracts.