Compositional Programming (Artifact)

Our main paper presents CP, a Compositional Programming language in a statically typed modular programming style. This artifact includes its Haskell implementation, together with several examples and three case studies written in CP. All code snippets in our main paper can be type-checked and run using our CP interpreter

Dense Teacher: Dense Pseudo-Labels for Semi-supervised Object Detection

To date, the most powerful semi-supervised object detectors (SS-OD) are based on pseudo-boxes, which need a sequence of post-processing with fine-tuned hyper-parameters. In this work, we propose replacing the sparse pseudo-boxes with the dense prediction as a united and straightforward form of pseudo-label. Compared to the pseudo-boxes, our Dense Pseudo-Label (DPL) does not involve any post-processing method, thus retaining richer information. We also introduce a region selection technique to highlight the key information while suppressing the noise carried by dense labels. We name our proposed SS-OD algorithm that leverages the DPL as Dense Teacher. On COCO and VOC, Dense Teacher shows superior performance under various settings compared with the pseudo-box-based methods.Comment: ECCV202

The relationship between fear of missing out and mobile phone addiction among college students: the mediating role of depression and the moderating role of loneliness

BackgroundMobile phone addiction has adverse influences on the physical and mental health of college students. However, few studies shed light on the effect of fear of missing out on mobile phone addiction and the underlying mechanisms among college students.MethodsTo explore their associations, the present study used the Fear of Missing Out Scales (FoMOS), Loneliness Scale (USL-8), Mobile Phone Addiction Index Scale (MPAI), and Depression-Anxiety-Stress Questionnaire (DASS-21) to investigate 750 college students.ResultsThe results suggested that fear of missing out significantly positively predicted mobile phone addiction. This direct effect could be mediated by depression, and the indirect effect of fear of missing out on mobile phone addiction could be moderated by loneliness. Specifically, the indirect effect was stronger for students with high levels of loneliness.ConclusionThis study provides a theoretical basis for developing future interventions for mobile phone addiction in higher education students

Chemical probing of thiotetronate bio-assembly

Chemical ‘chain termination’ probes were utilised for the investigation of thiotetronate antibiotic biosynthesis in the filamentous bacteria Lentzea sp. and Streptomyces thiolactonus NRRL 15439. The use of these tools led to the capture of biosynthetic intermediates involved in the thiotetronate polyketide backbone assembly, providing first insights into substrate specificity and in vivo intermediate processing by unusual iterative synthases

PdCu nanoalloy decorated photocatalysts for efficient and selective oxidative coupling of methane in flow reactors

Methane activation by photocatalysis is one of the promising sustainable technologies for chemical synthesis. However, the current efficiency and stability of the process are moderate. Herein, a PdCu nanoalloy (~2.3 nm) was decorated on TiO2, which works for the efficient, stable, and selective photocatalytic oxidative coupling of methane at room temperature. A high methane conversion rate of 2480 μmol g-1 h-1 to C2 with an apparent quantum efficiency of ~8.4% has been achieved. More importantly, the photocatalyst exhibits the turnover frequency and turnover number of 116 h-1 and 12,642 with respect to PdCu, representing a record among all the photocatalytic processes (λ > 300 nm) operated at room temperature, together with a long stability of over 112 hours. The nanoalloy works as a hole acceptor, in which Pd softens and weakens C-H bond in methane and Cu decreases the adsorption energy of C2 products, leading to the high efficiency and long-time stability