A detailed description of two controlled experiments concerning the usefulness of assertions as a means for programming

Assertions or more generally "Programming by contract" have gained widespread acceptance in the computer science community as a means for correct program development. However, the literature lacks an empirically evaluation of the benefits a programmer gains by using assertions in his software development. This paper reports about two controlled experiments to close this gap. Both experiments compared "Programming by contract" to the traditional programming style without assertions. The evaluation suggests that assertions tend to decrease the programming effort and that assertions lead to more reliable programs compared to those programs written without using them

Potential of Core-Collapse Supernova Neutrino Detection at JUNO

JUNO is an underground neutrino observatory under construction in Jiangmen, China. It uses 20kton liquid scintillator as target, which enables it to detect supernova burst neutrinos of a large statistics for the next galactic core-collapse supernova (CCSN) and also pre-supernova neutrinos from the nearby CCSN progenitors. All flavors of supernova burst neutrinos can be detected by JUNO via several interaction channels, including inverse beta decay, elastic scattering on electron and proton, interactions on C12 nuclei, etc. This retains the possibility for JUNO to reconstruct the energy spectra of supernova burst neutrinos of all flavors. The real time monitoring systems based on FPGA and DAQ are under development in JUNO, which allow prompt alert and trigger-less data acquisition of CCSN events. The alert performances of both monitoring systems have been thoroughly studied using simulations. Moreover, once a CCSN is tagged, the system can give fast characterizations, such as directionality and light curve

Detection of the Diffuse Supernova Neutrino Background with JUNO

As an underground multi-purpose neutrino detector with 20 kton liquid scintillator, Jiangmen Underground Neutrino Observatory (JUNO) is competitive with and complementary to the water-Cherenkov detectors on the search for the diffuse supernova neutrino background (DSNB). Typical supernova models predict 2-4 events per year within the optimal observation window in the JUNO detector. The dominant background is from the neutral-current (NC) interaction of atmospheric neutrinos with 12C nuclei, which surpasses the DSNB by more than one order of magnitude. We evaluated the systematic uncertainty of NC background from the spread of a variety of data-driven models and further developed a method to determine NC background within 15\% with {\it{in}} {\it{situ}} measurements after ten years of running. Besides, the NC-like backgrounds can be effectively suppressed by the intrinsic pulse-shape discrimination (PSD) capabilities of liquid scintillators. In this talk, I will present in detail the improvements on NC background uncertainty evaluation, PSD discriminator development, and finally, the potential of DSNB sensitivity in JUNO

Real-time Monitoring for the Next Core-Collapse Supernova in JUNO

Core-collapse supernova (CCSN) is one of the most energetic astrophysical events in the Universe. The early and prompt detection of neutrinos before (pre-SN) and during the SN burst is a unique opportunity to realize the multi-messenger observation of the CCSN events. In this work, we describe the monitoring concept and present the sensitivity of the system to the pre-SN and SN neutrinos at the Jiangmen Underground Neutrino Observatory (JUNO), which is a 20 kton liquid scintillator detector under construction in South China. The real-time monitoring system is designed with both the prompt monitors on the electronic board and online monitors at the data acquisition stage, in order to ensure both the alert speed and alert coverage of progenitor stars. By assuming a false alert rate of 1 per year, this monitoring system can be sensitive to the pre-SN neutrinos up to the distance of about 1.6 (0.9) kpc and SN neutrinos up to about 370 (360) kpc for a progenitor mass of 30$M_{\odot}$ for the case of normal (inverted) mass ordering. The pointing ability of the CCSN is evaluated by using the accumulated event anisotropy of the inverse beta decay interactions from pre-SN or SN neutrinos, which, along with the early alert, can play important roles for the followup multi-messenger observations of the next Galactic or nearby extragalactic CCSN.Comment: 24 pages, 9 figure

Technologies of contraception and abortion

Soon to turn 60, the oral contraceptive pill still dominates histories of technology in the ‘sexual revolution’ and after. ‘The pill’ was revolutionary for many, though by no means all, women in the west, but there have always been alternatives, and looking globally yields a different picture. The condom, intrauterine device (IUD), surgical sterilization (male and female) and abortion were all transformed in the twentieth century, some more than once. Today, female sterilization (tubal ligation) and IUDs are the world's most commonly used technologies of contraception. The pill is in third place, followed closely by the condom. Long-acting hormonal injections are most frequently used in parts of Africa, male sterilization by vasectomy is unusually prevalent in Britain, and about one in five pregnancies worldwide ends in induced abortion. Though contraceptive use has generally increased in recent decades, the disparity between rich and poor countries is striking: the former tend to use condoms and pills, the latter sterilization and IUDs. Contraception, a term dating from the late nineteenth century and since then often conflated with abortion, has existed in many forms, and techniques have changed and proliferated over time. Diverse local cultures have embraced new technologies while maintaining older practices. Focusing on Britain and the United States, with excursions to India, China and France, this chapter shows how the patterns observed today were established and stabilized, often despite persistent criticism and reform efforts. By examining past innovation, and the distribution and use of a variety of tools and techniques, it reconsiders some widely held assumptions about what counts as revolutionary and for whom. Analytically, it takes up and reflects on one of the main issues raised by feminists and social historians: the agency of users as patients and consumers faced with choice and coercion. By examining practices of contraception alongside those of abortion, it revisits the knotty question of technology in the sexual revolution and the related themes of medical, legal, religious and political forms of control

Experiment about Test-first programming

Test-first programming is one of the central techniques of Extreme Programming. Programming test-first means..

Two controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming

Assertions, or more generally "Programming by contract", have gained widespread acceptance in the computer science community as a means for correct program development. However, the literature lacks an empirical evaluation of the benefits a programmer gains by using assertions in his software development. This paper reports two controlled experiments that close this gap. Both experiments compare "Programming by contract" to the traditional programming style without assertions