Miracle-dz/UniFAR-FTUs huggingface dataset:
On the role of return to isotropy in wall-bounded turbulent flows with buoyancy

High Reynolds number wall-bounded turbulent flows subject to buoyancy forces are fraught with complex dynamics originating from the interplay between shear generation of turbulence ( $S$ ) and its production or destruction by density gradients ( $B$ ). For horizontal walls, $S$ augments the energy budget of the streamwise fluctuations, while $B$ influences the energy contained in the vertical fluctuations. Yet, return to isotropy remains a tendency of such flows where pressure–strain interaction redistributes turbulent energy among all three velocity components and thus limits, but cannot fully eliminate, the anisotropy of the velocity fluctuations. A reduced model of this energy redistribution in the inertial (logarithmic) sublayer, with no tuneable constants, is introduced and tested against large eddy and direct numerical simulations under both stable ( $B<0$ ) and unstable ( $B>0$ ) conditions. The model links key transitions in turbulence statistics with flux Richardson number (at $Ri_{f}=-B/S\approx$ $-2$ , $-1$ and $-0.5$ ) to shifts in the direction of energy redistribution. Furthermore, when coupled to a linear Rotta-type closure, an extended version of the model can predict individual variance components, as well as the degree of turbulence anisotropy. The extended model indicates a regime transition under stable conditions when $Ri_{f}$ approaches $Ri_{f,max}\approx +0.21$ . Buoyant destruction $B$ increases with increasing stabilizing density gradients when $Ri_{f}<Ri_{f,max}$ , while at $Ri_{f}\geqslant Ri_{f,max}$ limitations on the redistribution into the vertical component throttle the highest attainable rate of buoyant destruction, explaining the ‘self-preservation’ of turbulence at large positive gradient Richardson numbers. Despite adopting a ‘framework of maximum simplicity’, the model results in novel and insightful findings on how the interacting roles of energy redistribution and buoyancy modulate the variance budgets and the energy exchange among the components.
WFRFT modulation recognition based on HOC and optimal order searching algorithm

: A hybrid carrier (HC) scheme based on weighted-type fractional Fourier transform (WFRFT) has been proposed recently. While most of the works focus on HC scheme’s inherent characteristics, little attention is paid to the WFRFT modulation recognition. In this paper, a new theory is provided to recognize the WFRFT modulation based on higher order cumulants (HOC). First, it is deduced that the optimal WFRFT received order can be obtained through the minimization of 4th-order cumulants, C 42 . Then, a combinatorial searching algorithm is designed to minimize C 42 . Finally, simulation results show that the designed scheme has a high recognition rate and the combinatorial searching algorithm is effective and reliable.
Assignment 3 – Research Contest – Extending the $1 Recognizer

Although mobile, tablet, large display, and tabletop computers increasingly present opportunities for using pen, finger, and wand gestures in user interfaces, implementing gesture recognition largely has been the privilege of pattern matching experts, not user interface prototypers. Although some user interface libraries and toolkits offer gesture recognizers, such infrastructure is often unavailable in design-oriented environments like Flash, scripting environments like JavaScript, or brand new off-desktop prototyping environments. To enable novice programmers to incorporate gestures into their UI prototypes, we present a “$1 recognizer” that is easy, cheap, and usable almost anywhere in about 100 lines of code. In a study comparing our $1 recognizer, Dynamic Time Warping, and the Rubine classifier on user-supplied gestures, we found that $1 obtains over 97% accuracy with only 1 loaded template and 99% accuracy with 3+ loaded templates. These results were nearly identical to DTW and superior to Rubine. In addition, we found that medium-speed gestures, in which users balanced speed and accuracy, were recognized better than slow or fast gestures for all three recognizers. We also discuss the effect that the number of templates or training examples has on recognition, the score falloff along recognizers’ N -best lists, and results for individual gestures. We include detailed pseudocode of the $1 recognizer to aid development, inspection, extension, and testing.
Nonadiabatic ponderomotive effects in photoemission from nanotips in intense midinfrared laser fields

Transient near fields around metallic nanotips drive many applications, including the generation of ultrafast electron pulses and their use in electronmicroscopy. We have investigated the electron emission from a gold nanotip driven by midinfrared few-cycle laser pulses. We identify a low-energy peak in the kinetic energy spectrum and study its shift to higher energies with increasing laser intensities from 1.7 to 8.9 x 10(11) W/cm(2). The experimental observation of the upshift of the low-energy peak is compared to a simple model and numerical simulations, which show that the decay of the near field on a nanometer scale results in nonadiabatic transfer of the ponderomotive potential to the kinetic energy of emitted electrons and in turn to a shift of the peak. We derive an analytic expression for the nonadiabatic ponderomotive shift, which, after the previously found quenching of the quiver motion, completes the understanding of the role of inhomogeneous fields in strong-field photoemission from nanostructures.
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic

Abduction can be defined as the process of inferring plausible explanations (or hypotheses) from observed facts (conclusions). This form of reasoning has the potential of playing a central role in system verification, particularly for identifying bugs and providing hints to correct them. We describe an approach to perform abductive reasoning that is based on the superposition calculus. The formulas we consider are sets of first-order clauses with equality, and the explanations that are allowed to be inferred are boolean combinations of equations constructed over a given finite set of ground terms. By duality, abduction can be reduced to a consequence-finding problem. We show how the inference rules of the superposition calculus can be adapted to obtain a calculus that is deductive complete for ground clauses built on the considered sets of ground terms, thus guaranteeing that all required explanations can be generated. This calculus enjoys the same termination properties as the superposition calculus: in particular, it is terminating on ground extensions of decidable theories of interest in software verification. The number of implicates of a given equational formula is usually huge. We describe techniques for storing sets of abduced clauses efficiently, and show how usual trie-based approaches for representing sets of propositional clauses in a compact way can be adapted and extended in order to denote equational clauses up to equivalence (modulo the axioms of equality). We provide algorithms for performing redundancy pruning in an efficient way on such representations. We also identify hints for improvements and provide lines of on-going and future research.
Model surgery: joining and splitting models with Markov melding

Analysing multiple evidence sources is often feasible only via a modular approach, with separate submodels specified for smaller components of the available evidence. Here we introduce a generic framework that enables fully Bayesian analysis in this setting. This requires joining the submodels together into a full, joint model, so that all uncertainty can be fully propagated between all components. We propose a generic method for forming a suitable joint model from submodels, and a convenient computational algorithm for fitting this joint model in stages, rather than as a single, monolithic model. The approach also enables splitting of large joint models into smaller submodels, allowing inference for the original joint model to be conducted via our multi-stage algorithm. We motivate and demonstrate our approach through two examples: joining components of an evidence synthesis of A/H1N1 influenza, and splitting a large ecology model.
Edinburgh Research Explorer The social media balancing act

Politicians’ clear separation between their professional and private lives has been challenged by a growing need to be seen as personable, especially on social media where this is the norm. Little, however, is known about the effect on a political party when its politicians reveal aspects of their private lives on social media. The present study addresses this question. Through the lens of self-presentation theory, we are the first to test the effect of a balanced presentation strategy on Twitter (i.e., tweets that involve both professional and private aspects of their lives) as opposed to a strictly professional one. A longitudinal design was adopted with 265 Twitter users as participants. The results showed that a balanced strategy increased both interest in the politician’s party and intention to vote for that party, irrespective of a user’s political interest, social media usage intensity, or age, or the gender of either the user or the communicating politician. Furthermore, liking the tweets emerged as a crucial mediator. This study contributes valuable knowledge on self-presentation strategies of politicians specifically, and more broadly regarding self-presentation in the face of context collapse. However we call for future research to validate our experimental findings in a real-life setting. Implications are provided for political parties and others.
Deformations of Noncompact Calabi-Yau threefolds

We describe deformations of the noncompact Calabi-Yau threefolds $W_k = \mbox{Tot}(\mathcal{O}_{\mathbb{P}^1}(-k) \oplus \mathcal{O}_{\mathbb{P}^1}(k-2))$ for $k=1,2,3$, as well as their moduli of holomorphic vector bundles of rank $2$. Deformations are computed concretely by calculations of $H^1(W_k, TW_k)$. Information about the moduli of vector bundles is obtained by analysing bundles that are extensions of line bundles. We show that for each $k=1,2,3$ the associated structures are qualitatively different, and we also comment on their difference from the analogous structures for the simpler noncompact twofolds $\mbox{Tot}(\mathcal{O}_{\mathbb{P}^1}(-k))$ which had been studied previously by the authors. We describe deformations of the noncompact Calabi-Yau threefolds $W_k = \textrm{Tot}(\mathcal{O}_{\mathbb{P}^1}(-k) \oplus \mathcal{O}_{\mathbb{P}^1}(k-2))$ for $k=1,2,3$. We compute deformations concretely by calculations of $\textrm{H}^1(W_k, TW_k)$ via \v{C}ech cohomology. We show that for each $k=1,2,3$ the associated structures are qualitatively different, and we also comment on their difference from the analogous structures of simpler noncompact twofolds $\textrm{Tot}(\mathcal{O}_{\mathbb{P}^1}(-k))$.
A Factuality Proﬁler for Eventualities in Text Dissertation Preview

Basic tasks of Information Extraction, such as named entity recognition, event extraction, or even semantic role labeling, are at the core of a variety of NLP applications, ranging from those strictly oriented to building lexical resources, to others which require some degree of text understanding, such as Question Answering or Summarization. Current results in those IE tasks suggest that we are close to achieving a stage where the fundamental units for text understanding are put together; namely, predicates and their arguments. However, other layers of information, such as the factuality status of events, are essential as well. Having access to mentions of events in a document is of no use if we do not know whether they refer to situations that happened or hold in the real world. In other words, the inferences derivable from factual eventualities are diﬀerent from those judged as possible or as non-existent. This dissertation aims at designing and developing a factuality proﬁler , namely a tool devoted to identifying the factuality degree associated with each eventuality mentioned in text. Such a tool will be grounded on linguistic expressions we as speakers use to signal factuality information; for instance: polarity and modality particles, lexical triggers of non-existential presuppositions, and certain syntactic constructions. In that sense, it will disregard external factors, like event source trustworthiness or reader’s beliefs, and instead it will adopt a neutral position, extracting factuality values assigned to events based on how they are presented in text. We will see that this approach confers a central role to sources. Diﬀerent sources may introduce divergent, even contradictory, factuality values to the same event. Hence, event factuality degrees is always relative to a source.
The Mitogenic Function of Hepatitis B Virus X Protein Resides within Amino Acids 51 to 140 and Is Modulated by Nand C-Terminal Regulatory Regions

The mitogenic function of hepatitis B virus X protein resides within amino acids 51 to 140 and is modulated by N-and C-terminal regulatory regionsThe mitogenic function of hepatitis B virus X protein resides within amino acids 51 to 140 and is modulated by N-and C-terminal regulatory regions" (2006). Oncological Sciences Center Publications. Paper 2.
Australian & New Zealand Journal of Criminology

Abstract The possibility of racial bias in the criminal justice system is a recurring concern in Australia, as it is in other countries with high rates of minority overrepresentation in prison. In this country, however, very little research has been conducted on racial bias in sentencing. This article reports the results of a logistic regression analysis designed to test for racial bias in the sentencing of Indigenous adult offenders. Our results show that the unadjusted risk of imprisonment is much higher for Indigenous than for non-Indigenous offenders but this effect progressively diminishes as more sentence-relevant factors are taken into account. Indigenous status remains a significant predictor of imprisonment when all measured legal factors have been taken into account but in the median case the difference between Indigenous and non-Indigenous offenders in the risk of imprisonment is less than one percentage point. Sentencing courts were found to place less weight on the prior criminal record of an Indigenous offender than on the prior criminal record of a non-Indigenous offender. The implications of the study for future research and policy are discussed.
Ecological indicators for qualitative assessment of Ojarud River: A case study

Abstract Today, the application of ecological indicators based on organisms has replaced traditional saprobic approaches for assessment of the quality of rivers impaired due to organic pollution and some other environmental disturbances. This study aimed to weigh the quality of the Ojarud River in Ardabil, Iran, applying biological and physiological indices of macro‐invertebrates. A total of 12,524 samplings were fulfilled at four stations (S1, S2, S3, S4) from the headstream to downstream by a Surber sampler (30 × 30 cm2) from June/2020 to April/2021. All year round, the highest frequent families were Chironomidae (2658), Simuliidae (1025) from Diptera and Caenidae (1855), and Baetidae (724) from Ephemeroptera. The diversity pattern was analyzed by PAST software, and Primer 7 (BIO‐ENV analysis) was utilized to understand what factor has the most impact on the distribution of macro‐invertebrates. The least similarity of S4 to other stations was recognized by Cluster analysis. As per the ANOSIM (analysis of similarities), a statistically significant difference in the macroinvertebrates' frequency was established between S3 and other stations (p = .0001, r = .63). Moreover, the relationship between heavy metals and macro‐invertebrate showed that the three families of Simuliidae, Gomphidae, and Caenidae had a positive correlation with the concentrations of heavy metals in the sediment. As per the Ephemeroptera, Plecoptera and Trichoptera index, the water quality was placed in the “excellent” class, but the Biological Monitoring Working Party and Hilsenhoff Family Biotic Index indices scored the water quality “good” class at S1 and the “poor” class at S3. Based on the results of this study, the use of physicochemical and hydro‐morphological indicators can support the biological indicators but cannot replace them. In addition, careful evaluation of biological indicators is required to develop conservation strategies.
Impact of airway challenges on cardiovascular risk in asthma – a randomized controlled trial

Background People experiencing asthma exacerbations are at increased risk of cardiovascular events. To better understand the relationship between asthma exacerbations and cardiovascular risk, this randomized case-control, cross-over controlled trial assessed the immediate systemic inflammatory and vascular responses to acutely induced pulmonary inflammation and bronchoconstriction in people with asthma and controls. Methods Twenty-six people with asthma and 25 controls underwent three airway challenges (placebo, mannitol, and methacholine) in random order. Markers of cardiovascular risk, including serum C-reactive protein, interleukin-6, and tumor necrosis factor, endothelial function (flow-mediated dilation), microvascular function (blood-flow following reactive hyperemia), and arterial stiffness (pulse wave velocity) were evaluated at baseline and within one hour following each challenge. The systemic responses in a) asthma/control and b) positive airway challenges were analyzed. (ClinicalTrials.gov reg# NCT02630511) Results Both the mannitol and methacholine challenges resulted in clinically significant reductions in forced expiratory volume in 1 second (FEV1) in asthma (-7.6% and -17.9%, respectively). Following positive challenges, reduction in FEV1 was -27.6% for methacholine and -14.2% for mannitol. No meaningful differences in predictors of cardiovascular risk were observed between airway challenges regardless of bronchoconstrictor response. Conclusion Neither acutely induced bronchoconstriction nor pulmonary inflammation and bronchoconstriction resulted in meaningful changes in systemic inflammatory or vascular function. These findings question whether the increased cardiovascular risk associated with asthma exacerbations is secondary to acute bronchoconstriction or inflammation, and suggest that other factors need to be further evaluated such as the cardiovascular impacts of short-acting inhaled beta-agonists.
Exploring the double burden of malnutrition at the household level in the Philippines: Analysis of National Nutrition Survey data

Background In the Philippines, the rising prevalence of obesity and related chronic diseases alongside persistent undernutrition presents a complex public health challenge. Understanding the patterns and dynamics of this ‘double burden of malnutrition’ (DBM) is crucial for developing effective intervention strategies. However, evidence of the occurrence of undernutrition and overnutrition within the same household is currently lacking. Methods Using cross-sectional data from the 2013 Philippines National Nutrition Survey this study examined the prevalence of different typologies of household-level DBM from an analytical sample of 5,837 households and 25,417 individuals. Multivariable logistic regression was performed to identify factors associated with overall occurrence of intrahousehold DBM. Results The overall prevalence of double burden households was 56% based on a comprehensive definition. The most common typology of intrahousehold DBM characterized in this study (% of all households) comprised households with at least one adult with overnutrition and at least one separate adult with undernutrition. Household size, wealth quintile, food insecurity, and household dietary diversity were all associated with household-level DBM. Double burden households were also influenced by head of household characteristics, including sex, level of education, employment status, and age. Conclusions The findings from this study reveal that the coexistence of overnutrition and undernutrition at the household level is a major public health concern in the Philippines. Further comprehensive assessments of household-level manifestations of the DBM are needed to improve our understanding of the trends and drivers of this phenomenon in order to develop better targeted interventions.
Combined genome-wide association study of 136 quantitative ear morphology traits in multiple populations reveal 8 novel loci

Human ear morphology, a complex anatomical structure represented by a multidimensional set of correlated and heritable phenotypes, has a poorly understood genetic architecture. In this study, we quantitatively assessed 136 ear morphology traits using deep learning analysis of digital face images in 14,921 individuals from five different cohorts in Europe, Asia, and Latin America. Through GWAS meta-analysis and C-GWASs, a recently introduced method to effectively combine GWASs of many traits, we identified 16 genetic loci involved in various ear phenotypes, eight of which have not been previously associated with human ear features. Our findings suggest that ear morphology shares genetic determinants with other surface ectoderm-derived traits such as facial variation, mono eyebrow, and male pattern baldness. Our results enhance the genetic understanding of human ear morphology and shed light on the shared genetic contributors of different surface ectoderm-derived phenotypes. Additionally, gene editing experiments in mice have demonstrated that knocking out the newly ear-associated gene (Intu) and a previously ear-associated gene (Tbx15) causes deviating mouse ear morphology.
Repeat sprint fatigue and altered neuromuscular performance in recreationally trained basketball players

The primary aim of the present study was to investigate how the fatigue induced through a repeat sprint protocol acutely affected different measures of neuromuscular performance. Recreationally trained basketball players (n = 25) volunteered to participate in the study, and performed three countermovement jumps (CMJ), as well as three drop jumps (DJ) prior to a fatiguing repeat sprint protocol. These procedures were repeated two minutes, and 15 minutes, following the protocol. Various force-time metrics were extracted from the jump tasks, and linear mixed models with subject ID as the random factor, and time as the fixed factor were used to investigate changes across the three time points. To account for the performance during the repeat sprint protocol, a second, two factor model was performed with time and repeat sprint ability (RSA) as the fixed factors. Study results indicated that the sample as a whole merely experienced fatigue-induced decreases in jump height from pre-repeat sprint ability protocol (pre-RSA) within the CMJ compared to two minutes post-repeat sprint ability protocol (post-RSA1) and 15 minutes post-repeat sprint ability protocol (post-RSA2), while jump height within the DJ was only significantly different from pre-RSA at post-RSA1. Further, despite the implementation of the fatiguing RSA protocol, over the course of the three time-points, participants seemed to perform the two jump tasks more efficiently, seen through significantly lower contraction times, greater eccentric (ECC) peak power, and greater ECC mean deceleration force within the CMJ following the RSA task. The two-factor model revealed that several significant time*RSA interactions were found for metrics such as ECC peak velocity and peak power in the CMJ, as well as reactive strength index in the DJ. This suggests that the level of RSA influenced changes across CMJ and DJ characteristics and should be accounted for when interpreting fatigue-induced changes in neuromuscular performance.