A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the fact that Edalat’s domain-theoretic L-derivative coincides with Clarke’s generalized gradient, the framework is extended for attack-agnostic local robustness analysis. The proposed framework is ideal for designing algorithms which are correct by construction. This claim is exemplified by developing a validated algorithm for estimation of Lipschitz constant of feedforward regressors. The completeness of the algorithm is proved over differentiable networks and also over general position ${\mathrm{ReLU}}$ networks. Computability results are obtained within the framework of effectively given domains. Using the proposed domain model, differentiable and non-differentiable networks can be analyzed uniformly. The validated algorithm is implemented using arbitrary-precision interval arithmetic, and the results of some experiments are presented. The software implementation is truly validated, as it handles floating-point errors as well.

The Moral Foreign Language Effect (MFLE) is characterized by increased utilitarian decision-making when bilinguals respond to moral dilemmas in their foreign language. While previous research has given us a better understanding of this phenomenon, few studies have investigated how foreign language experience influences the MFLE. The present study investigated whether differences in foreign language proficiency, immersion, or dominance modulated the emergence of the MFLE. Mandarin–English bilingual young adults responded to a series of moral dilemmas in either their native or foreign language. Participants also provided ratings of permissibility and distress after reading each dilemma. We report a dilemma-specific MFLE that was modulated by differences in foreign language experience. Most significant was the observation that separable dimensions of foreign language experience interact when modulating the MFLE in a manner that is dilemma-specific. These findings emphasize the importance of considering differences in foreign language experience across multiple dimensions when investigating the MFLE.

Iodine is an essential nutrient that may change the occurrence of autoimmune thyroiditis (AIT). Apoptosis and DNA methylation participate in the pathogenesis and destructive mechanism of AIT. We detected the methylation and the expression of mRNA of intrinsic apoptosis-associated genes (YWHAG, ING4, BRSK2 and GJA1) to identify the potential interactions between the levels of methylation in these genes and different levels of iodine. 176 adult patients with AIT in Shandong Province, China, were included. The MethylTargetTM assay was used to verify the levels of methylation. We used PCR to detect the mRNA levels of the candidate genes. Interactions between methylation levels of the candidate genes and iodine levels were evaluated with multiplicative and addictive interaction models and GMDR. In the AIT group, YWHAG_1 and six CpG sites and BRSK2_1 and eight CpG sites were hypermethylated, whereas ING4_1 and one CpG site were hypomethylated. A negative correlation was found between methylation levels of YWHAG and mRNA expression. The combination of iodine fortification, YWHAG_1 hypermethylation and BRSK2_1 hypermethylation was significantly associated with elevated AIT risk. A four-locus model (YWHAG_1 × ING4_1 × BRSK2_1 × iodine level) was found to be the best model of the gene–environment interactions. We identified abnormal changes in the methylation status of YWHAG, ING4 and BRSK2 in patients with AIT in different iodine levels. Iodine fortification not only affected the methylation levels of YWHAG and BRSK2 but also interacted with the methylation levels of these genes and may ultimately increase the risk of AIT.

In this study, the length scaling for the boundary layer separation induced by two incident shock waves is experimentally and analytically investigated. The experiments are performed in a Mach 2.73 flow. A double-wedge shock generator with two deflection angles ($\alpha _1$ and $\alpha _2$) is employed to generate two incident shock waves. Two deflection angle combinations with an identical total deflection angle are adopted: ($\alpha _1 = 7^\circ$, $\alpha _2 = 5^\circ$) and ($\alpha _1 = 5^\circ$, $\alpha _2 = 7^\circ$). For each deflection angle combination, the flow features of the dual-incident shock wave–turbulent boundary layer interactions (dual-ISWTBLIs) under five shock wave distance conditions are examined via schlieren photography, wall-pressure measurements and surface oil-flow visualisation. The experimental results show that the separation point moves downstream with increasing shock wave distance ($d$). For the dual-ISWTBLIs exhibiting a coupling separation state, the upstream interaction length ($L_{int}$) of the separation region approximately linearly decreases with increasing $d$, and the decrease rate of $L_{int}$ with $d$ increases with the second deflection angle under the condition of an identical total deflection angle. Based on control volume analysis of mass and momentum conservations, the relation between $L_{int}$ and $d$ is analytically determined to be approximately linear for the dual-ISWTBLIs with a coupling separation region, and the slope of the linear relation obtained analytically agrees well with that obtained experimentally. Furthermore, a prediction method for $L_{int}$ of the dual-ISWTBLIs with a coupling separation region is proposed, and the relative error of the predicted $L_{int}$ in comparison with the experimental result is $\sim$10 %.

With the increasing utilization of machine learning (ML) to enhance products’ capabilities, the design research community has begun to explore how to support the conceptual design of ML-enhanced products. However, UX value creation of ML-enhanced products is still challenging because of ML's unique characteristics and numerous complex factors in conceptual design. To help designers create UX value for ML-enhanced products, we developed the UX value framework and the CoMLUX design process. The proposed framework describes how ML, stakeholders, and context co-create the UX value of ML-enhanced products, and identifies the growability and opacity of ML, helping designers systematically understand the co-creators while avoiding cognitive overload. The CoMLUX design process provides practical guidance for designing ML-enhanced products with growability and transparency. At last, we demonstrate the usage methods of the framework and process in an actual project and summarize the inspirations and limitations of our work.

In recent years, obesity is a growing pandemic in the world and has likely contributed to increasing the incidence of obesity-related diseases. Fat mass and obesity-associated gene (FTO) is the first gene discovered which has a close connection with fat. Recent studies suggested that FTO gene has played an important role in the molecular mechanisms of many diseases. Obesity is considered to be a hereditary disease and can evoke many kinds of diseases, including polycystic ovary syndrome (PCOS), type 2 diabetes mellitus (T2DM), cancer, etc., whose exact possible molecular mechanisms responsible for the effect of FTO on obesity and obesity-related diseases remain largely unknown. In this review, we comprehensively discuss the correlation between FTO gene and obesity, cancer, PCOS, T2DM, as well as the molecular mechanism involved in these diseases.

We report a compact, tunable, self-starting, all-fiber laser-based asynchronous optical sampling (ASOPS) system. Two Er-doped fiber oscillators were used as the pulsed-laser source, whose repetition rate could be set at 100 MHz with a tuning range of 1.25 MHz through a fiber delay line. By employing phase-locked and temperature control loops, the repetition rate offset of the two lasers was stabilized with 7.13 × 10−11 fractional instability at an average time of 1 s. Its capabilities in the terahertz regime were demonstrated by terahertz time-domain spectroscopy, achieving a spectral bandwidth of 3 THz with a dynamic range of 30 dB. The large range of repetition rate adjustment in our ASOPS system has the potential to be a powerful tool in the terahertz regime.

We developed a mechanism model which allows for simulating the novel coronavirus (COVID-19) transmission dynamics with the combined effects of human adaptive behaviours and vaccination, aiming at predicting the end time of COVID-19 infection in global scale. Based on the surveillance information (reported cases and vaccination data) between 22 January 2020 and 18 July 2022, we validated the model by Markov Chain Monte Carlo (MCMC) fitting method. We found that (1) if without adaptive behaviours, the epidemic could sweep the world in 2022 and 2023, causing 3.098 billion of human infections, which is 5.39 times of current number; (2) 645 million people could be avoided from infection due to vaccination; and (3) in current scenarios of protective behaviours and vaccination, infection cases would increase slowly, levelling off around 2023, and it would end completely in June 2025, causing 1.024 billion infections, with 12.5 million death. Our findings suggest that vaccination and the collective protection behaviour remain the key determinants against the global process of COVID-19 transmission.

The purpose of this study was to analyse the clinical characteristics of patients with severe acute respiratory syndrome coronavirus 2 (SARS-COV-2) PCR re-positivity after recovering from coronavirus disease 2019 (COVID-19). Patients (n = 1391) from Guangzhou, China, who had recovered from COVID-19 were recruited between 7 September 2021 and 11 March 2022. Data on epidemiology, symptoms, laboratory test results and treatment were analysed. In this study, 42.7% of recovered patients had re-positive result. Most re-positive patients were asymptomatic, did not have severe comorbidities, and were not contagious. The re-positivity rate was 39%, 46%, 11% and 25% in patients who had received inactivated, mRNA, adenovirus vector and recombinant subunit vaccines, respectively. Seven independent risk factors for testing re-positive were identified, and a predictive model was constructed using these variables. The predictors of re-positivity were COVID-19 vaccination status, previous SARs-CoV-12 infection prior to the most recent episode, renal function, SARS-CoV-2 IgG and IgM antibody levels and white blood cell count. The predictive model could benefit the control of the spread of COVID-19.

An all-fiber high-power linearly polarized chirped pulse amplification (CPA) system is experimentally demonstrated. Through stretching the pulse duration to a full width of approximately 2 ns with two cascaded chirped fiber Bragg gratings (CFBGs), a maximum average output power of 612 W is achieved from a high-gain Yb-doped fiber that has a core diameter of 20 μm with a slope efficiency of approximately 68% at the repetition rate of 80 MHz. At the maximum output power, the polarization degree is 92.5% and the M2 factor of the output beam quality is approximately 1.29; the slight performance degradations are attributed to the thermal effects in the main amplifier. By optimizing the B-integral of the amplifier and finely adjusting the higher-order dispersion of one of the CFBGs, the pulse width is compressed to 863 fs at the highest power with a compression efficiency of 72%, corresponding to a maximum compressed average power of 440.6 W, single pulse energy of 5.5 μJ and peak power of about 4.67 MW. To the best of our knowledge, this is the highest average power of a femtosecond laser directly generated from an all-fiber linearly polarized CPA system.

This study aimed to examine the same-sex matching effect of posttraumatic stress disorder (PTSD) symptoms from parents to children and the mediating role of children’ sense of security and catastrophization. Longitudinal data from 447 parent–child dyads were acquired using self-report scales. Parents (77.0% mothers; M age = 40.15 years old) reported their PTSD symptoms 3 months after Super Typhoon Lekima, and children (55.9% girls; M age = 13.40 years old) reported their PTSD symptoms, sense of security, and catastrophization 3 months and 15 months after the typhoon. Results showed that intrusion in mothers predicated intrusion, avoidance, and hyperarousal symptoms in daughters, while avoidance and hyperarousal in mothers predicted the same symptoms in daughters. This was not observed in any other parent–child dyads. Moreover, mothers’ intrusion positively predicted daughters’ PTSD symptoms via daughters’ sense of security and then catastrophization, while mothers’ hyperarousal showed the opposite prediction. These findings suggest that a same-sex matching effect occurs from mothers to daughters in terms of intrusion, avoidance, and hyperarousal symptoms of PTSD. Thus, clinical interventions that target daughters’ PTSD symptoms should also consider mothers’ intrusion and avoidance symptoms. Moreover, it may be possible to develop interventions to improve daughters’ sense of security.

In this paper, we consider a mixed dividend strategy in a dual risk model. The mixed dividend strategy is the combination of a threshold dividend and a Parisian implementation delays dividend under periodic observation. Given a series of discrete observation points, when the surplus level is larger than the predetermined bonus barrier at observation point, the Parisian implementation delays dividend is immediately carried out, and the threshold dividend is performed continuously during the delayed period. We study the Gerber-Shiu expected discounted penalty function and the expected discounted dividend payments before ruin in such a dual risk model. Numerical illustrations are given to study the influence of relevant parameters on the ruin-related quantities and the selection of the optimal dividend barrier for a given initial surplus level.

In “Risky choice framing: Task versions and a comparison of prospect theory and fuzzy-trace theory”, Kühberger and Tanner (2010) examined the impacts of removing stated zero/non-zero complements of risky options on the gain/loss framing effect. They also tested two rival theoretical explanations for this effect: prospect theory and fuzzy-trace theory. The present study aimed to examine the reliability and robustness of the evidence provided by Kühberger and Tanner by precise replication in Study 1. The original findings were reported for conditions in which the probability of the risky option was fixed, and the expected value of the two alternatives was approximately equivalent. The present study also aimed to examine the generality of their findings under additional conditions in which large, medium and small probabilities of the risky option were assigned, and the expected value of the certain or risky options differed. The main findings of Kühberger and Tanner (2010) were successfully replicated and confirmed under the original and additional conditions. The implications of these findings are discussed.

According to the positive time-discounting assumption of intertemporal decision-making, people prefer to undergo negative events in the future rather than in the present. However, negative discounting has been identified in the intertemporal choice and loss domains, which refers to people’s preference to experience negative events earlier rather than later. Studies have validated and supported the "anticipated dread" as an explanation for negative discounting. This study again explored the effect of anticipated dread on intertemporal choice using content analysis; that is, having participants identify anticipated dread among reasons for negative discounting. This study also validated the effect of anticipated dread on negative discounting by manipulating anticipated dread. This study adds empirical and direct evidence for the role of anticipated dread in negative discounting.

Intertemporal choices involve tradeoffs between outcomes that occur at different times. Most of the research has used pure gains tasks and the discount rates yielding from those tasks to explain and predict real-world behaviors and consequences. However, real decisions are often more complex and involve mixed outcomes (e.g., sooner-gain and later-loss or sooner-loss and later-gain). No study has used mixed gain-loss intertemporal tradeoff tasks to explain and predict real-world behaviors and consequences, and studies involving such tasks are also scarce. Considering that tasks involving a combination of gains and losses may yield different discount rates and that existing pure gains tasks do not explain or predict real-world outcomes well, this study conducted two experiments to compare the discount rates of mixed gain-loss intertemporal tradeoffs with those of pure gains or pure losses (Experiment 1) and to examine whether these tasks predicted different real-world behaviors and consequences (Experiment 2). Experiment 1 suggests that the discount rate ordering of the four tasks was, from highest to lowest, pure gains, sooner-loss and later-gain, pure losses, and sooner-gain and later-loss. Experiment 2 indicates that the evidence supporting the claim that the discount rates of the four tasks were related to different real-world behaviors and consequences was insufficient.