Miracle-dz/UniFAR-FTUs huggingface dataset:
CLUSTERING PROPERTIES OF BzK-SELECTED GALAXIES IN GOODS-N: ENVIRONMENTAL QUENCHING AND TRIGGERING OF STAR FORMATION AT z ∼ 2

Using a sample of BzK-selected galaxies at z ∼ 2 identified from the CFHT/WIRCAM near-infrared survey of GOODS-North, we discuss the relation between star formation rate (SFR), specific star formation rate (SSFR), and stellar mass (M*), and the clustering of galaxies as a function of these parameters. For star-forming galaxies (sBzKs), the UV-based SFR, corrected for extinction, scales with the stellar mass as SFR∝Mα* with α = 0.74 ± 0.20 down to M* ∼ 109 M☉, indicating a weak dependence on the stellar mass of the SFR efficiency, namely, SSFR. We also measure the angular correlation function and hence infer the correlation length for sBzK galaxies as a function of M*, SFR, and SSFR, as well as K-band apparent magnitude. We show that passive galaxies (pBzKs) are more strongly clustered than sBzK galaxies at a given stellar mass, mirroring the color–density relation seen at lower redshifts. We also find that the correlation length of sBzK galaxies ranges from 4 to 20 h−1 Mpc, being a strong function of MK, M*, and SFR. On the other hand, the clustering dependence on SSFR changes abruptly at 2 × 10−9 yr−1, which is the typical value for “main-sequence” star-forming galaxies at z ∼ 2. We show that the correlation length reaches a minimum at this characteristic value, and is larger for galaxies with both smaller and larger SSFRs; a dichotomy that is only marginally implied from the predictions of the semi-analytical models. Our results suggest that there are two types of environmental effects at work at z ∼ 2. Stronger clustering for relatively quiescent galaxies implies that the environment has started to play a role in quenching star formation. At the same time, stronger clustering for galaxies with elevated SSFRs (“starbursts”) might be attributed to an increased efficiency for galaxy interactions and mergers in dense environments.
Theoretical and Empirical Analysis of Parameter Control Mechanisms in the (1 + (λ, λ)) Genetic Algorithm

The self-adjusting (1 + (λ, λ)) GA is the best known genetic algorithm for problems with a good fitness-distance correlation as in OneMax. It uses a parameter control mechanism for the parameter λ that governs the mutation strength and the number of offspring. However, on multimodal problems, the parameter control mechanism tends to increase λ uncontrollably. We study this problem for the standard Jumpk benchmark problem class using runtime analysis. The self-adjusting (1 + (λ, λ)) GA behaves like a (1 + n) EA whenever the maximum value for λ is reached. This is ineffective for problems where large jumps are required. Capping λ at smaller values is beneficial for such problems. Finally, resetting λ to 1 allows the parameter to cycle through the parameter space. We show that resets are effective for all Jumpk problems: the self-adjusting (1 + (λ, λ)) GA performs as well as the (1 + 1) EA with the optimal mutation rate and evolutionary algorithms with heavy-tailed mutation, apart from a small polynomial overhead. Along the way, we present new general methods for translating existing runtime bounds from the (1 + 1) EA to the self-adjusting (1 + (λ, λ)) GA. We also show that the algorithm presents a bimodal parameter landscape with respect to λ on Jumpk. For appropriate n and k, the landscape features a local optimum in a wide basin of attraction and a global optimum in a narrow basin of attraction. To our knowledge this is the first proof of a bimodal parameter landscape for the runtime of an evolutionary algorithm on a multimodal problem.
Research on meat quality of Qianhua Mutton Merino sheep and Small-tail Han sheep

Abstract In this study, we analyzed the meat quality of Qianhua Mutton Merino sheep (QHMM). QHMM and Small-tail Han sheep (STH) were selected as the test animals. After slaughtering, the longissimus dorsi muscles were tested to determine the nutrient composition, content of amino acid, fatty acid, and muscle fiber diameter. According to the nutrient test result, the protein content of QHMM was higher than that of STH. However, the fat content was significantly lower (P < 0.05) than STH. Additionally, total amino acid content, total essential amino acid content, total half-essential amino acid content, total non-essential amino acid content, and flavor amino acid content of QHMM were significantly higher (P < 0.05) than those of STH. Moreover, the contents of C22:1 n9, C18:2 n6, C18:3 n6, C22:6 n6, and C10:0 of the muscle in QHMM were significantly higher (P < 0.05) than those of STH. Furthermore, the essential amino acid score, the total unsaturated-to-saturated fatty acid ratio, and the polyunsaturated-to-saturated fatty acid ratio of QHMM were greater than those of STH. Additionally, the muscle fiber diameter of QHMM was considerably lower (P < 0.01) than that of STH. In conclusion, the meat quality of QHMM was better than that of STH.
A Solicitous Approach to Smart Contract Verification

Smart contracts are tempting targets of attacks, as they often hold and manipulate significant financial assets, are immutable after deployment, and have publicly available source code, with assets estimated in the order of millions of dollars being lost in the past due to vulnerabilities. Formal verification is thus a necessity, but smart contracts challenge the existing highly efficient techniques routinely applied in the symbolic verification of software, due to specificities not present in general programming languages. A common feature of existing works in this area is the attempt to reuse off-the-shelf verification tools designed for general programming languages. This reuse can lead to inefficiency and potentially unsound results, as domain translation is required. In this article, we describe a carefully crafted approach that directly models the central aspects of smart contracts natively, going from the contract to its logical representation without intermediary steps. We use the expressive and highly automatable logic of constrained Horn clauses for modeling and instantiate our approach to the Solidity language. A tool implementing our approach, called Solicitous, was developed and integrated into the SMTChecker module of the Solidity compiler solc. We evaluated our approach on an extensive benchmark set containing 22,446 real-world smart contracts deployed on the Ethereum blockchain over a 27-month period. The results show that our approach is able to establish safety of significantly more contracts than comparable, publicly available verification tools, with an order of magnitude increase in the percentage of formally verified contracts.
Understanding Deep Neural Function Approximation in Reinforcement Learning via ε-Greedy Exploration

This paper provides a theoretical study of deep neural function approximation in reinforcement learning (RL) with the $\epsilon$-greedy exploration under the online setting. This problem setting is motivated by the successful deep Q-networks (DQN) framework that falls in this regime. In this work, we provide an initial attempt on theoretical understanding deep RL from the perspective of function class and neural networks architectures (e.g., width and depth) beyond the ``linear'' regime. To be specific, we focus on the value based algorithm with the $\epsilon$-greedy exploration via deep (and two-layer) neural networks endowed by Besov (and Barron) function spaces, respectively, which aims at approximating an $\alpha$-smooth Q-function in a $d$-dimensional feature space. We prove that, with $T$ episodes, scaling the width $m = \widetilde{\mathcal{O}}(T^{\frac{d}{2\alpha + d}})$ and the depth $L=\mathcal{O}(\log T)$ of the neural network for deep RL is sufficient for learning with sublinear regret in Besov spaces. Moreover, for a two layer neural network endowed by the Barron space, scaling the width $\Omega(\sqrt{T})$ is sufficient. To achieve this, the key issue in our analysis is how to estimate the temporal difference error under deep neural function approximation as the $\epsilon$-greedy exploration is not enough to ensure ``optimism''. Our analysis reformulates the temporal difference error in an $L^2(\mathrm{d}\mu)$-integrable space over a certain averaged measure $\mu$, and transforms it to a generalization problem under the non-iid setting. This might have its own interest in RL theory for better understanding $\epsilon$-greedy exploration in deep RL.
Estimating and testing linear models with multiple structural changes

This paper develops the statistical theory for testing and estimating multiple change points in regression models. The rate of convergence and limiting distribution for the estimated parameters are obtained. Several test statistics are proposed to determine the existence as well as the number of change points. A partial structural change model is considered. The authors study both fixed and shrinking magnitudes of shifts. In addition, the models allow for serially correlated disturbances (mixingales). An estimation strategy for which the location of the breaks need not be simultaneously determined is discussed. Instead, the authors' method successively estimates each break point.
Pressure-induced C23–C37 transition and compression behavior of orthorhombic Fe2S to Earth’s core pressures and high temperatures

Abstract The phase stability of orthorhombic Fe2S was explored to 194 GPa and 2500 K using powder and multigrain synchrotron X‑ray diffraction techniques. Between 30 and 120 GPa, a C23-like (Co2P, Pnma, Z = 4) Fe2S structure is observed and determined to exhibit a highly compressible a axis. A softening of the a axis occurs between 120 and 150 GPa and a relative stiffening of the b and c axes accompanies this compressibility change. Above 150 GPa, the a axis stifens as the b and c axes soften, and a C37-like (Co2Si, Pnma, Z = 4) Fe2S unit cell is measured. On the basis of these changes in unit cell geometry, a pressure-induced C23–C37 Fe2S phase transition is inferred between 120–150 GPa. The C23 and C37 (Pnma, Z = 4) structures are closely related and share the same site symmetries. Forming the C37 structure from the C23 structure requires a shortening of the a axis and lengthening of the b and c axes accompanied by a four- to fivefold coordination change. The softening of the a axis above 120 GPa may therefore indicate the onset of a coordination change, and the final compressibility change above 150 GPa may mark the completion of this phase transition. The presented pressure-temperature (P-T) stabilities of C23 and C37 structures of Fe2S are in agreement with and resolve the differing observations of two previous studies (Tateno et al. 2019; Zurkowski et al. 2022). As C37 Fe2S is observed to core-mantle boundary pressures and high temperatures, the C37 Fe2S density profile through Earth’s outer core was determined by fitting the C23 Fe2S equation of state (<120 GPa) and applying a 1.6% volume reduction based on the C37 Fe2S volume residuals to this fit. Comparing the density of liquid C37 Fe2S with that of liquid hcp-Fe (Dewaele et al. 2006) and the seismologically determined density deficit of Earth’s core (Irving et al. 2018), 13.9 ± 1.5 wt% and 8.6 ± 0.8 wt% sulfur are required to match the densities at the CMB and ICB, respectively, for a purely Fe-S core.
Parametrizing the stellar haloes of galaxies

We study the stellar haloes of galaxies out to 70-100 kpc as a function of stellar mass and galaxy type by stacking aligned r and g band images from a sample of 45508 galaxies from SDSS DR9 in the redshift range 0:06 6 z 6 0:1 and in the mass range 10 10:0 M 2:6) galaxies are more elliptical than those of low concentration (C < 2:6) galaxies. The g-r colour prole of high concentration galaxies reveals that the g-r colour of the stellar population in the stellar halo is bluer than in the main galaxy, and the colour of the stellar halo is redder for higher mass galaxies. We further demonstrate that the full two-dimensional surface intensity distribution of our galaxy stacks can only be t through multi-component S ersic models. Double-S
Sedation with Midazolam - Ketamine Versus Propofol In Children Undergoing Magnetic Resonance Imaging: A Randomized Comparative Study

Objective: To evaluate the sedative effect, hemodynamics, respiratory effects, and incidence of complications of Propofol compared with Ketamine-Midazolam in children undergoing MRI examination. Study design: In this prospective single-blinded randomized comparative study, conducted at the Department of Pediatrics, Artemis Hospital, Gurugram 100 children admitted for MRI on a daycare basis were included. Children were assigned in two groups randomly; 50 children in each group. One group was given Midazolam – Ketamine (Group A) while other was given Propofol (Group B) for sedation
Jointly Reinforced User Simulator and Task-oriented Dialog System with Simplified Generative Architecture

Recently, there has been progress in supervised funetuning pretrained GPT-2 to build end-to-end task-oriented dialog (TOD) systems. However, online reinforcement learning of a GPT-2 based dialog system (DS), together with a end-to-end user simulator (US), has not ever been explored. Moreover, a drawback with existing GPT-2 based TOD systems is that they mostly employ the whole dialog history as input, which brings inefficiencies in memory and compute. In this paper, we first propose Simplified Generative Architectures (SGA) for DS and US respectively, both based on GPT-2 but using shortened history. Then, we successfully develop Jointly Reinforced US and DS, called SGA-JRUD. Our DS with the proposed SGA, when only supervised trained, achieves state-of-the-art performance on MultiWOZ2.1 and is more compute-efficient in both training and generation. Extensive experiments on MultiWOZ2.1 further show the superiority of SGA-JRUD in both offline and online evaluations.
Mueller Navelet jets, jet gap jets and anomalous $WW\gamma \gamma$ couplings in $\gamma$-induced processes at the LHC

We describe two different important measurements to be performed at the LHC. The Mueller Navelet jet and jet gap jet cross section represent a test of BFKL dynamics and we perform a NLL calculation of these processes and compare it with recent Tevatron measurements. The study of the $WW\gamma \gamma$ couplings at the LHC using the forward detectors proposed in the ATLAS Forward Physics project as an example allows to probe higgsless and extradimension models via anomalous quartic couplings since the reach is improved by four orders of magnitude with respect to the LEP results.
Non－LTE Analysis of the Sodium Abundance of Metal－Poor Stars in the Galactic Disk and Halo

We performed an extensive non-LTE analysis of the neutral sodiumlines of Na I 5683/5688, 5890/5896, 6154/6161, and 8183/8195 in disk/halo starsof types F-K covering a wide metallicity range (-4 [Fe/H] +0.4), using ourown data as well as data collected from the literature. For comparatively metal-rich disk stars (-1 [Fe/H] +0.4) where the weaker 6154/6161 lines are thebest abundance indicators, we confirmed [Na/Fe] ～ 0 with an "upturn" (i.e., ashallow/broad dip around -0.5 [Fe/H] 0) as already reported in previousstudies. For the metal-deficient halo stars, where the much stronger 5890/5896 or8183/8195 lines subject to considerable (negative) non-LTE corrections amountingto 0.5 dex have to be used, our analysis suggests mildly "subsolar" [Na/Fe] valuesdown to ～ -0.4 (with a somewhat large scatter of ～±0.2 dex) on the average at thetypical halo metallicity of [Fe/H] ～ -2, followed by a rise again to a near-solar ratioof [Na/Fe] ～ 0 at the very metal-poor regime [Fe/H] ～ -3 to -4. These resultsare discussed in comparison with the previous observational studies along with thetheoretical predictions from the available chemical evolution models.
Sex hormones, intestinal inflammation, and the gut microbiome: Major influencers of the sexual dimorphisms in obesity

Obesity is defined as the excessive accumulation of body fat and is associated with an increased risk of developing major health problems such as cardiovascular disease, diabetes and stroke. There are clear sexual dimorphisms in the epidemiology, pathophysiology and sequelae of obesity and its accompanying metabolic disorders, with females often better protected compared to males. This protection has predominantly been attributed to the female sex hormone estrogen and differences in fat distribution. More recently, the sexual dimorphisms of obesity have also been attributed to the differences in the composition and function of the gut microbiota, and the intestinal immune system. This review will comprehensively summarize the pre-clinical and clinical evidence for these sexual dimorphisms and discuss the interplay between sex hormones, intestinal inflammation and the gut microbiome in obesity. Major gaps and limitations of this rapidly growing area of research will also be highlighted in this review.
A new partially hydrolyzed whey-based follow-on formula with age-adapted protein content supports healthy growth during the first year of life

Background Standard infant formulae often have higher protein content than breastmilk in order to compensate for potentially lower digestibility; excess protein intake may promote adverse effects later in life. A new partially hydrolyzed whey-based (pHF-W) follow-on formula (FoF) with age-adapted protein content was evaluated for growth and gastrointestinal (GI) tolerance in healthy infants. Methods Formula-fed (FF) infants (n = 108) received standard pHF-W formula (1.9 g protein/100 kcal) from enrollment (age ≤ 30 days) until age 120 days followed by new pHF-W FoF (1.6 g protein/100 kcal) until 360 days. Weight gain velocity (WGV) (mean daily WG from enrollment to age 180 days) was compared to WHO growth standards and a breastfed (BF) reference group (n = 86) (non-inferiority margin –3 g/day). GI tolerance was assessed using a validated questionnaire (scale range 13−65). Results WGV in FF infants (mean ± SD 24.0 ± 4.4 g/day) was non-inferior to BF (23.7 ± 3.9 g/day) and WHO standards (all p ≤ 0.013). Weight-for-age, length-for-age, weight-for-length, and head circumference-for-age z-scores of FF infants were not significantly different from BF at any timepoint. Symptoms of GI intolerance were low (≤23) at all timepoints and similar between groups. Conclusion A new pHF-W FoF with age-adapted protein content fed sequentially after standard pHF-W infant formula is safe, well-tolerated, and promotes a healthy growth pattern consistent with BF infants and WHO standards during the first year of life. Clinical trial registration [https://clinicaltrials.gov/], identifier [NCT03276663].
Quantitative downhill skiing technique analysis according to ski instruction curricula: A proof-of-concept study applying principal component analysis on wearable sensor data

Downhill skiing technique represents the complex coordinative movement patterns needed to control skiing motion. While scientific understanding of skiing technique is still incomplete, not least due to challenges in objectively measuring it, practitioners such as ski instructors have developed sophisticated and comprehensive descriptions of skiing technique. The current paper describes a 3-step proof-of-concept study introducing a technology platform for quantifying skiing technique that utilizes the practitioners’ expert knowledge. The approach utilizes an inertial measurement unit system (Xsens™) and presents a motion analysis algorithm based on the Principal Movement (PM) concept. In step 1, certified ski instructors skied specified technique elements according to technique variations described in ski instruction curricula. The obtained data was used to establish a PM-coordinate system for skiing movements. In step 2, the techniques parallel and carving turns were compared. Step 3 presents a case study where the technique analysis methodology is applied to advise an individual skier on potential technique improvements. All objectives of the study were met, proving the suitability of the proposed technology for scientific and applied technique evaluations of downhill skiing. The underlying conceptual approach - utilizing expert knowledge and skills to generate tailored variability in motion data (step 1) that then dominate the orientation of the PMs, which, in turn, can serve as measures for technique elements of interest - could be applied in many other sports or for other applications in human movement analyses.
Comparison of inhibitory effects and mechanisms of lactonic sophorolipid on different pathogenic bacteria

Crude sophorolipids (SLs) have been proven to perform varying degrees of inhibitory effects on different pathogenic bacteria. However, systematic comparative studies of pure lactonic sophorolipid (LSL) among different types of bacteria are few. In this study, the antibacterial effects and mechanisms of LSL on pathogenic bacteria of Staphylococcus aureus, Lactobacillus sp. , Pseudomonas aeruginosa, and Escherichia coli were investigated. Bacteriostatic circle, antibacterial rate, minimum inhibitory concentration (MIC), and minimum bactericidal concentration (MBC) of LSL on different pathogenic bacteria were measured. Then, the antibacterial mechanisms of LSL on S. aureus and P. aeruginosa were explored using ultrastructural observation, cell membrane permeability analysis, intracellular ATP content determination, and extracellular UV absorption detection. With the minimum MIC and MBC values of 0.05 and 0.20 mg/ml, LSL exhibited the best inhibitory effect against S. aureus, followed by P. aeruginosa. LSL showed no significant inhibitory effect on E. coli and Lactobacillus sp. For both S. aureus and P. aeruginosa, LSL achieved bacteriostatic and bactericidal effects by destroying the cell wall, increasing the permeability of the cell membrane and leading to the flow out of intracellular contents. However, the action mode and action intensity of LSL on the cell wall and membrane of these two bacteria were significantly different. LSL had a greater influence on the cell membrane of S. aureus by “leaking,” while it exhibited a stronger effect on the cell wall of P. aeruginosa by “blasting. ” These results contributed to a better understanding of the relationship between LSL and different bacterial cell structures, further suggesting the conclusion that LSL might be used for the targeted treatment of special pathogenic bacteria.