Miracle-dz/UniFAR-FTUs huggingface dataset:
BaRDa: A Belief and Reasoning Dataset that Separates Factual Accuracy and Reasoning Ability

While there are numerous benchmarks comparing the performance of modern language models (LMs), end-task evaluations often conflate notions of *factual accuracy* ("truth") and *reasoning ability* ("rationality", or"honesty"in the sense of correctly reporting implications of beliefs). Our goal is a dataset that clearly distinguishes these two notions. Our approach is to leverage and extend a collection of human-annotated *entailment trees*, engineered to express both good and bad chains of reasoning, and using a mixture of true and false facts, in particular including counterfactual examples, to avoid belief bias (also known as the"content effect"). The resulting dataset, called BaRDa, contains 3000 entailments (1787 valid, 1213 invalid), using 6681 true and 2319 false statements. Testing on four GPT-series models, GPT3(curie)/GPT3(davinici)/3.5/4, we find factual accuracy (truth) scores of 74.1/80.6/82.6/87.1 and reasoning accuracy scores of 63.1/78.0/71.8/79.2. This shows the clear progression of models towards improved factual accuracy and entailment reasoning, and the dataset provides a new benchmark that more cleanly separates and quantifies these two notions.
Nearly Equitable Allocations Beyond Additivity and Monotonicity

Equitability (EQ) in fair division requires that items be allocated such that all agents value the bundle they receive equally. With indivisible items, an equitable allocation may not exist, and hence we instead consider a meaningful analog, EQx, that requires equitability up to any item. EQx allocations exist for monotone, additive valuations. However, if (1) the agents' valuations are not additive or (2) the set of indivisible items includes both goods and chores (positively and negatively valued items), then prior to the current work it was not known whether EQx allocations exist or not. We study both the existence and efficient computation of EQx allocations. (1) For monotone valuations (not necessarily additive), we show that EQx allocations always exist. Also, for the large class of weakly well-layered valuations, EQx allocations can be found in polynomial time. Further, we prove that approximately EQx allocations can be computed efficiently under general monotone valuations. (2) For non-monotone valuations, we show that an EQx allocation may not exist, even for two agents with additive valuations. Under some special cases, however, we show existence and efficient computability of EQx allocations. This includes the case of two agents with additive valuations where each item is either a good or a chore, and there are no mixed items.
Attention Based Encoder Decoder Model for Video Captioning in Nepali (2023)

Video captioning in Nepali, a language written in the Devanagari script, presents a unique challenge due to the lack of existing academic work in this domain. This work develops a novel encoder-decoder paradigm for Nepali video captioning to tackle this difficulty. LSTM and GRU sequence-to-sequence models are used in the model to produce related textual descriptions based on features retrieved from video frames using CNNs. Using Google Translate and manual post-editing, a Nepali video captioning dataset is generated from the Microsoft Research Video Description Corpus (MSVD) dataset created using Google Translate, and manual post-editing work. The efficacy of the model for Devanagari-scripted video captioning is demonstrated by BLEU, METOR, and ROUGE measures, which are used to assess its performance.
Pre-training strategy using real particle collision data for event classification in collider physics

This study aims to improve the performance of event classification in collider physics by introducing a pre-training strategy. Event classification is a typical problem in collider physics, where the goal is to distinguish the signal events of interest from background events as much as possible to search for new phenomena in nature. A pre-training strategy with feasibility to efficiently train the target event classification using a small amount of training data has been proposed. Real particle collision data were used in the pre-training phase as a novelty, where a self-supervised learning technique to handle the unlabeled data was employed. The ability to use real data in the pre-training phase eliminates the need to generate a large amount of training data by simulation and mitigates bias in the choice of physics processes in the training data. Our experiments using CMS open data confirmed that high event classification performance can be achieved by introducing a pre-trained model. This pre-training strategy provides a potential approach to save computational resources for future collider experiments and introduces a foundation model for event classification.
Ergodic Secrecy Rate Analysis for LEO Satellite Downlink Networks

Satellite networks are recognized as an effective solution to ensure seamless connectivity worldwide, catering to a diverse range of applications. However, the broad coverage and broadcasting nature of satellite networks also expose them to security challenges. Despite these challenges, there is a lack of analytical understanding addressing the secrecy performance of these networks. This paper presents a secrecy rate analysis for downlink low Earth orbit (LEO) satellite networks by modeling the spatial distribution of satellites, users, and potential eavesdroppers as homogeneous Poisson point processes on concentric spheres. Specifically, we provide an analytical expression for the ergodic secrecy rate of a typical downlink user in terms of the satellite network parameters, fading parameters, and path-loss exponent. Simulation results show the exactness of the provided expressions and we find that optimal satellite altitude increases with eavesdropper density.
System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models

The Neural Network (NN), as a black-box function approximator, has been considered in many control and robotics applications. However, difficulties in verifying the overall system safety in the presence of uncertainties hinder the modular deployment of NN in safety-critical systems. In this paper, we leverage the NNs as predictive models for trajectory tracking of unknown dynamical systems. We consider controller design in the presence of both intrinsic uncertainty and uncertainties from other system modules. In this setting, we formulate the constrained trajectory tracking problem and show that it can be solved using Mixed-integer Linear Programming (MILP). The proposed MILP-based solution enjoys a provable safety guarantee for the overall system, and the approach is empirically demonstrated in robot navigation and obstacle avoidance through simulations. The demonstration videos are available at https://xiaolisean.github. io/publication/2023-11-01-L4DC2024.
MammoFL: Mammographic Breast Density Estimation using Federated Learning

In this study, we automate quantitative mammographic breast density estimation with neural networks and show that this tool is a strong use case for federated learning on multi-institutional datasets. Our dataset included bilateral CC-view and MLO-view mammographic images from two separate institutions. Two U-Nets were separately trained on algorithm-generated labels to perform segmentation of the breast and dense tissue from these images and subsequently calculate breast percent density (PD). The networks were trained with federated learning and compared to three non-federated baselines, one trained on each single-institution dataset and one trained on the aggregated multi-institution dataset. We demonstrate that training on multi-institution datasets is critical to algorithm generalizability. We further show that federated learning on multi-institutional datasets improves model generalization to unseen data at nearly the same level as centralized training on multi-institutional datasets, indicating that federated learning can be applied to our method to improve algorithm generalizability while maintaining patient privacy.
Physiological response after translocation differs between source populations in a threatened mammal

Conservation translocations are an important tool in the prevention of species loss, but the translocation process is associated with numerous stressors. Non-invasively monitoring stress physiology via faecal glucocorticoid metabolites (FGMs) can provide valuable insights into factors impacting translocation success and how to mitigate negative impacts. After validating an assay to measure FGMs in greater stick-nest rats (Leporillus conditor), we examined whether translocation caused a predictable change in physiology. We compared longer-term (one to five months post-translocation) physiological responses across three source populations (remnant-wild, reintroduced-wild, captive-bred), and investigated effects of body condition and sex on FGMs. Notably, FGMs of the remnant-wild population did not significantly change post-translocation, while the reintroduced-wild population exhibited a significant decrease and the captive-bred population a significant increase. Individuals in lower body condition had the highest FGMs in both wild-type populations, whereas the captive-bred population showed the opposite relationship. There was no difference in FGMs between the sexes. Our work highlights that physiological responses after translocation may not be uniform and source population history is an important factor to be considered, emphasizing the need for novel ideas that facilitate successful adaptation. By better understanding how species and individuals respond to translocation, we can improve translocation outcomes.
Going round the bend: reflection and transmission of long waves by waveguide corners and labyrinths

Long-wave asymptotic approximations are developed for two-dimensional acoustic waves along rigid ducts. The waves are scattered by obstacles, constrictions, bulges and/or bends. Matched asymptotic expansions are used, requiring the calculation of blockage coefficients, which are defined in terms of the solution of related potential-flow problems. The emphasis is on estimating reflection and transmission coefficients, correct to first order in the ratio of the waveguide width to the wavelength. Detailed results are given for sharp bends of arbitrary angle, including right-angled bends and hairpin bends. Applications to multiple scattering by labyrinthine structures are also made.
Behavioural responses of fin whales to military mid-frequency active sonar

The effect of active sonars on marine mammal behaviour is a topic of considerable interest and scientific investigation. Some whales, including the largest species (blue whales, Balaenoptera musculus), can be impacted by mid-frequency (1–10 kHz) military sonars. Here we apply complementary experimental methods to provide the first experimentally controlled measurements of behavioural responses to military sonar and similar stimuli for a related endangered species, fin whales (Balaenoptera physalus). Analytical methods include: (i) principal component analysis paired with generalized additive mixed models; (ii) hidden Markov models; and (iii) structured expert elicitation using response severity metrics. These approaches provide complementary perspectives on the nature of potential changes within and across individuals. Behavioural changes were detected in five of 15 whales during controlled exposure experiments using mid-frequency active sonar or pseudorandom noise of similar frequency, duration and source and received level. No changes were detected during six control (no noise) sequences. Overall responses were more limited in occurrence, severity and duration than in blue whales and were less dependent upon contextual aspects of exposure and more contingent upon exposure received level. Quantifying the factors influencing marine mammal responses to sonar is critical in assessing and mitigating future impacts.
Meltwater Pulse 1a drowned fringing reefs around Tahiti 15 000 years ago

Reconstruction of postglacial sea-level rise using reef cores recovered from Tahiti during IODP Expedition 310 showed that the first major acceleration, known as Meltwater Pulse 1a (MWP-1a), was a 12–22 m rise in 340 years starting at 14.65 ka BP. Although it was reported that the pulse did not drown Tahitian reefs, the subsequent discovery of a fringing reef at the base of several cores implies that its timing, magnitude and impact require revision. Here, we report facies and paleodepth data from this reef, revise sea level, and revisit reef response. We find its reef crest is dominated by surf-adapted corals to a depth of 2.5 m and show that it retreated upslope over an approximately 1000-year interval from 16 ka. Reef development then apparently ceased at 15 ka at −106 m and remained absent for approximately 600 years, before resuming at 14.4 ka further upslope at −93 m. This absence is consistent with reef drowning and requires that MWP-1a had a smaller magnitude of 13.8 ± 1.3 m, and may have started 300 years earlier than previously reported. It confirms MWP-1a was a global event, drowning reefs on Tahiti as well as those in other oceans.
A drug target for erectile dysfunction to help improve fertility, sexual activity, and wellbeing: mendelian randomisation study

Abstract Objective To investigate the association of genetically proxied (using a surrogate biomarker) inhibition of phosphodiesterase 5 (PDE5), an established drug target for erectile dysfunction, with fertility, sexual behaviour, and subjective wellbeing. Design Two sample cis-mendelian randomisation study. Setting Summary data on genetic associations obtained from the International Consortium for Blood Pressure and UK Biobank. Participants Individuals of European ancestry from the International Consortium for Blood Pressure (n=757 601) for estimating PDE5 inhibition (using the surrogate biomarker of diastolic blood pressure reduction), and UK Biobank (n=211 840) for estimating the fertility, sexual behaviour, and subjective wellbeing outcomes in male participants. Intervention Genetically proxied PDE5 inhibition. Main outcome measures Number of children fathered, number of sexual partners, probability of never having had sexual intercourse, and subjective wellbeing. Results Genetically proxied PDE5 inhibition was associated with male participants having 0.28 (95% confidence interval 0.16 to 0.39) more children (false discovery rate corrected P<0.001). This association was not identified in female participants. No evidence was found of an association between genetically proxied PDE5 inhibition and number of sexual partners, probability of never having had sexual intercourse, or self-reported wellbeing in male participants. Conclusions The findings of this study provide genetic support for PDE5 inhibition potentially increasing the number of children fathered by male individuals. Absence of this association in female participants supports increased propensity for sustained and robust penile erections as a potential underlying mechanism. Further studies are required to confirm this, however, and these findings should not promote indiscriminate use of PDE5 inhibitors, which can also have harmful adverse effects.
Supplemental feedings affect diet seasonality and niche width in urban Eurasian red squirrels

Urban environments are novel alternative habitats for wildlife. Anthropogenic food resources such as supplemental feeding (SF) are usually abundant, stable across seasons, and sometimes rich in calories. Although anthropogenic food resources could modify the seasonality and composition of the diets of urban animals, previous studies have been limited to qualitative assessments based on stomach content and food remains. Our study compared diet seasonality and niche width between rural and urban populations of Eurasian red squirrels (Sciurus vulgaris) in Hokkaido, Japan, using direct observation and stable isotope analysis. We found that dietary seasonality was lower in urban populations than in rural populations. The frequency of seed use was higher throughout the year in urban populations than in rural populations, possibly because of excessive seeds by SF in urban squirrels. Additionally, female body weights of the urban population were higher than those of the rural population. However, this was not true for males. Because high body weight can increase reproductive success in females, it is feasible that diet modification could contribute to population growth in urban squirrels. However, no differences in male body weight were observed, possibly due to energy loss caused by intense male–male competition at feeding sites. Our study highlights the importance of studying the multidimensional effects of anthropogenic foods on wildlife.
Integrative taxonomy of Serrasentis gibsoni n. sp. (Acanthocephala: Isthmosacanthidae) from flatfishes in the Gulf of Mexico

Abstract The Isthmosacanthidae acanthocephalan species of the genus Serrasentis are parasites of marine teleosts and an elasmobranch. In this study, Serrasentis gibsoni n. sp. is described from the intestines of four flatfish species (Paralichthyidae), namely Ancyclopsetta quadrocellata, Cyclopsetta chittendeni, Syacium gunteri, and S. papillosum from 10 oceanic sites in the Gulf of Mexico (GoM). Twenty sequences of the ‘barcoding’ region of cytochrome C oxidase subunit I gene were obtained from 20 adults of Serrasentis gibsoni n. sp. Additionally, five sequences of the barcoding region were obtained from five adults of rhadinorhynchid Gorgorhynchus lepidus from C. chittendeni, S. papillosum and one species of Haemulidae, Haemulom aurolineatum, from five oceanic sites from the GoM. Two phylogenetic approaches were followed: Bayesian inference and maximum likelihood. In both phylogenetic reconstructions, the sequences of Serrasentis gibsoni n. sp. were recovered as a monophyletic group within the genus Serrasentis and placed as a sister group to G. lepidus. However, due to the lack of molecular data for species of the Isthmosacanthidae and Rhadinorhynchidea, these phylogenetic inferences must be taken with caution. Serrasentis gibsoni n. sp. is the first species of Serrasentis described from Paralichthyidae flatfish species from marine waters of the Americas and from the GoM. Based on the barcoding data set analyzed, Serrasentis gibsoni n. sp. appears to have high intraspecific genetic variation; thus, it is necessary to continue exploring the genetic diversity of this species to infer its intraspecific evolutionary patterns.
The flow around a stepped cylinder with turbulent wake and stable shear layer

Abstract The turbulent external flow around a three-dimensional stepped cylinder is studied by means of direct numerical simulations with the adaptive mesh refinement technique. We give a broad perspective of the flow regimes from laminar to turbulent wake at $Re_D=5000$, which is the highest ever considered for this flow case. In particular, we focus on the intermediate Reynolds number $Re_D=1000$ that reveals a turbulent wake coupled with a stable cylinder shear layer (subcritical regime). This flow shows a junction dynamics similar to the laminar $Re_D=150$, where no hairpin vortex appears around the edges, and just two horseshoe vortices are visible. A new stable vortex in the form of a ring, which coils around the rear area, is also identified. In the turbulent wake, the presence of three wake cells is pointed out: the large and small cylinder cells together with the modulation region. However, the modulation dynamics varies between the subcritical and turbulent regimes. A time-averaged, three-dimensional set of statistics is computed, and spatially coherent structures are extracted via proper orthogonal decomposition (POD). The POD identifies the (long-debated) connection between the N-cell and the downwash behind the junction. Furthermore, as the Reynolds number increases, the downwash phenomenon becomes less prominent. Eventually, a reduced-order reconstruction with the most energetically relevant modes is defined to explain the wake vortex interactions. This also serves as a valuable starting point for simulating the stepped cylinder wake behaviour within complex frameworks, e.g. fluid–structure interaction.
Aesthetic Motivation Impacts Judgments of Others’ Prosociality and Mental Life

Abstract The ability to infer others’ prosocial vs. antisocial behavioral tendencies from minimal information is core to social reasoning. Aesthetic motivation (the value or appreciation of aesthetic beauty) is linked with prosocial tendencies, raising the question of whether this factor is used in interpersonal reasoning and in the attribution of mental capacities. We propose and test a model of this reasoning, predicting that evidence of others’ aesthetic motivations should impact judgments of others’ prosocial (and antisocial) tendencies by signaling a heightened capacity for emotional experience. In a series of four pre-registered experiments (total N = 1440), participants saw pairs of characters (as photos/vignettes), and judged which in each pair showed more of a mental capacity of interest. Distractor items prevented participants from guessing the hypothesis. For one critical pair of characters, both characters performed the same activity (music listening, painting, cooking, exercising, being in nature, doing math), but one was motivated by the activities’ aesthetic value, and the other by its functional value. Across all activities, participants robustly chose aesthetically-motivated characters as more likely to behave compassionately (Exp. 1; 3), less likely to behave selfishly/manipulatively (Exp. 1; 3), and as more emotionally sensitive, but not more intelligent (Exp. 2; 3; 4). Emotional sensitivity best predicted compassionate behavior judgements (Exp. 3). Aesthetically-motivated characters were not reliably chosen as more helpful; intelligence best predicted helpfulness judgements (Exp. 4). Evidence of aesthetic motivation conveys important social information about others, impacting fundamental interpersonal judgments about others’ mental life and social behavior.
Quality assessment of non-mydriatic fundus photographs for glaucoma screening in primary healthcare centres: a real-world study

Background This study assessed the quality distribution of non-mydriatic fundus photographs (NMFPs) in real-world glaucoma screening and analysed its influencing factors. Methods This cross-sectional study was conducted in primary healthcare centres in the Yinzhou District, China, from 17 March to 3 December 2021. The quality distribution of bilateral NMFPs was assessed by the Digital Reading Department of the Eye Hospital of Wenzhou Medical University. Generalised estimating equations and logistic regression models identified factors affecting image quality. Results A total of 17 232 photographs of 8616 subjects were assessed. Of these, 11.9% of images were reliable for the right eyes, while only 4.6% were reliable for the left eyes; 93.6% of images were readable in the right eyes, while 90.3% were readable in the left eyes. In adjusted models, older age was associated with decreased odds of image readability (adjusted OR (aOR)=1.07, 95% CI 1.06~1.08, p<0.001). A larger absolute value of spherical equivalent significantly decreased the odds of image readability (all p<0.001). Media opacity and worse visual acuity had a significantly lower likelihood of achieving readable NMFPs (aOR=1.52, 95% CI 1.31~1.75; aOR=1.70, 95% CI 1.42~2.02, respectively, all p<0.001). Astigmatism axes within 31°~60° and 121°~150° had lower odds of image readability (aOR=1.35, 95% CI 1.11~1.63, p<0.01) than astigmatism axes within 180°±30°. Conclusions The image readability of NMFPs in large-scale glaucoma screening for individuals 50 years and older is comparable with relevant studies, but image reliability is unsatisfactory. Addressing the associated factors may be vital when implementing ophthalmological telemedicine in underserviced areas. Trial registration number ChiCTR2200059277.