Miracle-dz/UniFAR-FTUs huggingface dataset:
Putnam’s Indispensability Argument

Hilary Putnam (2012) boldly claimed that he never subscribed to the so-called Quine-Putnam indispensability argument for the existence of mathematical objects. All the same, he did not state exactly what his indispensability argument was. This paper presents an interpretation of Putnam’s indispensability argument that is consistent with both his recent and historical writings. Through the course of his argument, Putnam requires a view of ontological commitment that is of contemporary interest. I conclude with a brief defense of this view and an application of it to a metaphysical debate.
Measurement feedback control for a class of feedforward nonlinear systems

We propose a measurement feedback controller for a class of feedforward nonlinear systems under sensor noise. The sensor noise has unknown magnitude, frequency, and phase. Our proposed controller is coupled with a low‐pass filter in such a way that the sensor noise is attenuated. We show that the controlled system results in bounded states whose ultimate bounds are inversely proportional to the minimum frequency of the sensor noise. Our result is further generalized to work in a case where the sensor noise is only required to have a Fourier transform with finite energy. Moreover, if the sensor noise enters only at partial states, depending on the location of the sensor noise, the ultimate bounds of the particular states can be made arbitrarily small via the gain factor of the controller. Copyright © 2012 John Wiley & Sons, Ltd.
Quantifying chemical tagging: towards robust group finding in the Galaxy

The first generation of large-scale chemical tagging surveys, in particular the HERMES/GALAH million star survey, promises to vastly expand our understanding of the chemical and dynamical evolution of the Galaxy. This, however, is contingent on our ability to confidently perform chemical tagging on such a large data-set. Chemical homogeneity has been observed across a range of elements within several Galactic open clusters, yet the level to which this is the case globally, and particularly in comparison to the scatter across clusters themselves, is not well understood. The patterns of elements in coeval cluster members, occupying a complex chemical abundance space, are rooted in the evolution, ultimately the nature of the very late stages, of early generations of stars. The current astrophysical models of such stages are not yet sufficient to explain all observations, combining with our significant gaps in the understanding of star formation, makes this a difficult arena to tackle theoretically. Here, we describe a robust pair-wise metric used to gauge the chemical difference between two stellar components. This metric is then applied to a database of high-resolution literature abundance sources to derive a function describing the probability that two stars are of common evolutionary origin. With this cluster probability function, it will be possible to report a confidence, grounded in empirical observational evidence, with which clusters are detected, independent of the group finding methods. This formulation is also used to probe the role of chemical dimensionality, and that of individual chemical species, on the ability of chemical tagging to differentiate coeval groups of stars.
From delimited CPS to polarisation

The understanding of continuation-passing style (CPS) translations, an historical source of denotational semantics for programming languages, benefits from notions brought by linear logic, such as focalisation, polarities and the involutive negation. Here we aim to show how linear logic helps as well when continuations are delimited, i.e. return and can be composed, in the sense of Danvy and Filinski. First we provide a polarised calculus with delimited control (first-class delimited continuations) which is, at the level of computation, a variant of Girard's polarised classical logic LC. It contains variants of delimited control calculi which spawned as answers to the question "what order of evaluation can we consider with delimited control? ". Thus our polarised calculus is one answer which is unifying to some degree. Subsequently we decompose the calculus through polarised linear logic. The only difference with non-delimited continuations is the use of specific exponentials, that account for the specific semantics of the target of delimited CPS translation, as well as annotations of type-and-effect systems. As a by-product, we obtain an explanation of CPS translations through a factoring, each step of which accounts for distinct phenomena of CPS translations. Although the factoring also holds for non-delimited CPS translations, it did not appear in its entirety before.
The stellar mass function and star formation rate-stellar mass relation of galaxies at z ~ 4 - 7

We investigate the evolution of the star formation rate-stellar mass relation (SFR-M*) and Galaxy Stellar Mass Function (GSMF) of z ~ 4-7 galaxies, using cosmological simulations run with the smoothed particle hydrodynamics code P-GADGET3(XXL). We explore the effects of different feedback prescriptions (supernova driven galactic winds and AGN feedback), initial stellar mass functions and metal cooling. We show that our fiducial model, with strong energy-driven winds and early AGN feedback, is able to reproduce the observed stellar mass function obtained from Lyman-break selected samples of star forming galaxies at redshift 6 < z < 7. At z ~ 4, observed estimates of the GSMF vary according to how the sample was selected. Our simulations are more consistent with recent results from K-selected samples, which provide a better proxy of stellar masses and are more complete at the high mass end of the distribution. We find that in some cases simulated and observed SFR-M* relations are in tension, and this can lead to numerical predictions for the GSMF in excess of the GSMF observed. By combining the simulated SFR(M*) relationship with the observed star formation rate function at a given redshift, we argue that this disagreement may be the result of the uncertainty in the SFR-M* (Luv-M*) conversion. Our simulations predict a population of faint galaxies not seen by current observations.
Maximal Multivariable Coefﬁcient Analysis between Vibration Limits and Relevant Factors in General Buildings

: The vibration limit is an essential prerequisite for building vibration serviceability assess-ment, and various biological/environmental factors affect it deeply. Yet quantitative relationships between vibration limits and these factors in general buildings, such as the human weight, height and number of stories, stay unknown. Based on data collected by an investigation conducted on a cell phone application, this paper proposed a novel approach for quantifying correlations between common relevant factors in general buildings and limits by maximal information coefﬁcient (MIC). Vibration serviceability was thoroughly proved to be a multivariable system and crest factor/BMI had a higher correlation than other factors. A functional relationship and 95% conﬁdence intervals between vibration limits and crest factor/BMI were proposed, respectively. Lilliefors test and normal probability plot show that residuals between ﬁtted values of limits and measured ones follow a normal distribution. Finally, estimation of vibration serviceability based on probability was suggested when the crest factor/BMI and vibration magnitude were known.
Probing the molecular interstellar medium of M82 with Herschel-SPIRE spectroscopy ?

We present the observations of the starburst galaxy M82 taken with the Herschel SPIRE Fourier-transform spectrometer. The spectrum (194-671 mu m) shows a prominent CO rotational ladder from J = 4-3 to 13-12 emitted by the central region of M82. The fundamental properties of the gas are well constrained by the high J lines observed for the first time. Radiative transfer modeling of these high-S/N (CO)-C-12 and (CO)-C-13 lines strongly indicates a very warm molecular gas component at similar to 500 K and pressure of similar to 3 x 10(6) K cm(-3), in good agreement with the H-2 rotational lines measurements from Spitzer and ISO. We suggest that this warm gas is heated by dissipation of turbulence in the interstellar medium (ISM) rather than X-rays or UV flux from the straburst. This paper illustrates the promise of the SPIRE FTS for the study of the ISM of nearby galaxies.
Certification of Gaussian Boson Sampling via graphs feature vectors and kernels

Gaussian Boson Sampling (GBS) is a non-universal model for quantum computing inspired by the original formulation of the Boson Sampling (BS) problem. Nowadays, it represents a paradigmatic quantum platform to reach the quantum advantage regime in a specific computational model. Indeed, thanks to the implementation in photonics-based processors, the latest GBS experiments have reached a level of complexity where the quantum apparatus has solved the task faster than currently up-to-date classical strategies. In addition, recent studies have identified possible applications beyond the inherent sampling task. In particular, a direct connection between photon counting of a genuine GBS device and the number of perfect matchings in a graph has been established. In this work, we propose to exploit such a connection to benchmark GBS experiments. We interpret the properties of the feature vectors of the graph encoded in the device as a signature of correct sampling from the true input state. Within this framework, two approaches are presented. The first method exploits the distributions of graph feature vectors and classification via neural networks. The second approach investigates the distributions of graph kernels. Our results provide a novel approach to the actual need for tailored algorithms to benchmark large-scale Gaussian Boson Samplers.
Effect of Long-Term Embryo Cryopreservation on Subsequent Frozen Embryo Transfer Outcomes: A Retrospective Cohort Study

Background: The duration of cryopreservation of embryos and its effect on the subsequent pregnancy outcomes, when they have been frozen for a longer duration remains a matter of concern. There is a continuous debate among studies comparing different durations of embryo cryopreservation as the results are contradictory. Aims: This study aims to find out if long-term cryopreservation of embryos has any effect on pregnancy and perinatal outcomes. Settings and Design: Retrospective cohort study was conducted in the department of reproductive medicine and surgery in a university-level teaching hospital. Materials and Methods: The study included women who underwent frozen embryo transfer (FET) from autologous in vitro fertilisation between January 2012 and December 2020 with the duration of cryopreservation of more than 5 years as one group and 3–5 years as another group. Pregnancy and perinatal outcomes were analysed. Statistical Analysis Used: Regression analysis was performed using logistic regression by entering clinically important variables associated with pregnancy outcome, and the results were expressed as odds ratio with a 95% confidence interval (CI). All statistical analysis was performed with SPSS (version 21.0, IBM, USA). Results: A total of 1680 FET cycles were carried out during the study period. Among these, 75 cycles with a duration of 3–5 years and 20 cycles with a duration of more than 5 years were included. Live birth rate (LBR) was 40.8% in the 3–5 years group and 35% in the more than 5 years group. After adjusting for important confounders, the LBR has no significant association in the more than 5 years group (adjusted odds ratio 1.07; 95% CI 0.34–3.32; P = 0.913) compared to the 3–5 years group. Conclusion: The duration of cryopreservation of embryos has no statistically significant effect on the pregnancy and perinatal outcomes.
THE RELATIONSHIP BETWEEN JUMP PERFORMANCE, SPEED AND COD SPEED IN ELITE FEMALE SOCCER PLAYERS

The purpose of this study was to present the physical performance of elite female soccer players and to analyze the relationship between jump performance, speed and COD ability. Sixteen elite female soccer players (age: 20.05±2.85; height: 166.47±4.83cm; body weight: 60.52±8.30kg, BMI 21.88±2.86) from a women's club who played the highest rank of the competition took part in this study. The jump, speed and COD abilities of each player were determined using: (1) the Squat jump (SJ), (2) Countermovement Jump (CMJ), countermovement jump with arm swing (CMJA), (2) running speed at 30-m with passing time at 10m and 20m, (3) the pro agility test (pro), (4) zig-zag test (zig-zag), (5) 9-6-3-6-3 sprint (9-6-3-6-9). The results of Pearson’s correlation indicated moderate significant relationships between the 10m running speed and pro agility test (r=0.59; p<0.01), as well as the zig-zag test (r=0.55; p<0.01), and also between the 30m and all COD tests (pro agility r=0.66; p<0.01, zig-zag r=0.59; p<0.01 and 9-6-3-6-9 r=0.58; p<0.05). A small correlation (r=0.49; p<0.03) was noticed between the 10m running test and 9-6-3-6-9 agility test, and also between the CMJA (r=0.45; p<0.05) and the 9-6-3-6-9 agility test. The findings of the present study indicated a significant correlation between speed and all of the COD tests, additionally between the CMJA and 9-6-3-6-9 COD test. Therefore, elite female soccer players with higher maximum acceleration rates and speed tend to perform better in change of direction tests. On the other hand, jump performance does not significantly correlate with COD ability.
Effect of Gypsum Application on the Behavior of Some Rice Varieties under Salt
Affected Soil Conditions

Rice cultivation in the salt-affected soil in northern Delta regions is an important issue to confront soil deterioration. Therefore, adopting rice varieties of lower water demand and maintaining optimum productivity is becoming one of the national issues coincident with the current circumstances and expected water shortage. For this purpose, the behavior of some rice genotypes during the two summer seasons of 2018 and 2019 under gypsum amended salt-affected soil conditions and their relations is of interest. However, gypsum application positively enhanced rice varieties' growth parameters, photosynthetic pigments, relative water content, leaves potassium content, yield, yield attributes and crop water productivity (WP), meanwhile leaves sodium content, proline content, and Na + /K + ratio influenced negatively. In addition, relative reduction in the soil layer's salt content and sodium adsorption ratio (SAR), whose recorded values seemed to be affected predominantly by the crop duration period. On the other hand, Egyptian hybrid one (EHR1) rated the highest grain yield, followed by Giza 178 with the corresponding values of 4.66 and 4.26 t fed. -1 , respectively. Despite that, Sakha 107 followed by Giza 177 rated the highest water productivity varieties with the corresponding values of 0.86 and 0.80 kg m -3 , respectively.
RESISTIVE SOLUTIONS FOR PULSAR MAGNETOSPHERES

The current state of the art in the modeling of pulsar magnetospheres invokes either the vacuum or force-free limits for the magnetospheric plasma. Neither of these limits can simultaneously account for both the plasma currents and the accelerating electric fields that are needed to explain the morphology and spectra of high-energy emission from pulsars. To better understand the structure of such magnetospheres, we combine accelerating fields and force-free solutions by considering models of magnetospheres filled with resistive plasma. We formulate Ohm's law in the minimal velocity fluid frame and construct a family of resistive solutions that smoothly bridges the gap between the vacuum and the force-free magnetosphere solutions. The spin-down luminosity, open field line potential drop, and the fraction of open field lines all transition between the vacuum and force-free values as the plasma conductivity varies from zero to infinity. For fixed inclination angle, we find that the spin-down luminosity depends linearly on the open field line potential drop. We consider the implications of our resistive solutions for the spin-down of intermittent pulsars and sub-pulse drift phenomena in radio pulsars.
THE SINFONI BLACK HOLE SURVEY: THE BLACK HOLE FUNDAMENTAL PLANE REVISITED AND THE PATHS OF (CO)EVOLUTION OF SUPERMASSIVE BLACK HOLES AND BULGES

We investigate the correlations between the black hole (BH) mass MBH, the velocity dispersion σ, the bulge mass MBu, the bulge average spherical density &rgr; h ? > , and its spherical half-mass radius rh, constructing a database of 97 galaxies (31 core ellipticals, 17 power-law ellipticals, 30 classical bulges, and 19 pseudobulges) by joining 72 galaxies from the literature to 25 galaxies observed during our recent SINFONI BH survey. For the first time we discuss the full error covariance matrix. We analyze the well-known MBH–σ and MBH–MBu relations and establish the existence of statistically significant correlations between MBu and rh and anticorrelations between MBu and &rgr; h ? > . We establish five significant bivariate correlations (MBH–σ–ρh, MBH–σ–rh, MBH–MBu–σ, MBH–MBu–ρh, MBH–MBu–rh) that predict MBH of 77 core and power-law ellipticals and classical bulges with measured and intrinsic scatter as small as ≈ 0.36 ? > dex and ≈ 0.33 ? > dex, respectively, or 0.26 dex when the subsample of 45 galaxies defined by Kormendy & Ho is considered. In contrast, pseudobulges have systematically lower MBH but approach the predictions of all of the above relations at spherical densities &rgr; h ≥ 10 10 M ⊙ kpc − 3 ? > or scale lengths r h ≤ 1 kpc ? > . These findings fit in a scenario of coevolution of BH and classical-bulge masses, where core ellipticals are the product of dry mergers of power-law bulges and power-law ellipticals and bulges the result of (early) gas-rich mergers and of disk galaxies. In contrast, the (secular) growth of BHs is decoupled from the growth of their pseudobulge hosts, except when (gas) densities are high enough to trigger the feedback mechanism responsible for the existence of the correlations between MBH and galaxy structural parameters.
ABUNDANCE DIFFERENCES BETWEEN EXOPLANET BINARY HOST STARS XO-2N AND XO-2S—DEPENDENCE ON STELLAR PARAMETERS

The chemical composition of exoplanet host stars is an important factor in understanding the formation and characteristics of their orbiting planets. The best example of this to date is the planet–metallicity correlation. Other proposed correlations are thus far less robust, in part due to uncertainty in the chemical history of stars pre- and post-planet formation. Binary host stars of similar type present an opportunity to isolate the effects of planets on host star abundances. Here we present a differential elemental abundance analysis of the XO-2 stellar binary, in which both G9 stars host giant planets, one of which is transiting. Building on our previous work, we report 16 elemental abundances and compare the Δ(XO-2N–XO-S) values to elemental condensation temperatures. The Δ ( N − S ) ? > values and slopes with condensation temperature resulting from four different pairs of stellar parameters are compared to explore the effects of changing the relative temperature and gravity of the stars. We find that most of the abundance differences between the stars depend on the chosen stellar parameters, but that Fe, Si, and potentially Ni are consistently enhanced in XO-2N regardless of the chosen stellar parameters. This study emphasizes the power of binary host star abundance analysis for probing the effects of giant planet formation, but also illustrates the potentially large uncertainties in abundance differences and slopes induced by changes in stellar temperature and gravity.
Drag reduction in turbulent channel flow laden with finite-size oblate spheroids

We study suspensions of oblate rigid particles in a viscous fluid for different values of the particle volume fractions. Direct numerical simulations have been performed using a direct-forcing immersed boundary method to account for the dispersed phase, combined with a soft-sphere collision model and lubrication corrections for short-range particle–particle and particle–wall interactions. With respect to the single-phase flow, we show that in flows laden with oblate spheroids the drag is reduced and the turbulent fluctuations attenuated. In particular, the turbulence activity decreases to lower values than those obtained by accounting only for the effective suspension viscosity. To explain the observed drag reduction, we consider the particle dynamics and the interactions of the particles with the turbulent velocity field and show that the particle–wall layer, previously observed and found to be responsible for the increased dissipation in suspensions of spheres, disappears in the case of oblate particles. These rotate significantly slower than spheres near the wall and tend to stay with their major axes parallel to the wall, which leads to a decrease of the Reynolds stresses and turbulence production and so to the overall drag reduction.
Sperm DNA Fragmentation in Reproductive Medicine: A Review

Approximately 15% of the world's couples suffer from infertility during their reproductive period of which the male factor is responsible for 50% of cases. Male factor infertility is multifactorial in origin, and sperm DNA fragmentation (SDF) has also been linked to male infertility including idiopathic male infertility. Some degree of controlled DNA nicking is essential for adequate DNA compaction, but excessive SDF is usually associated with reduced male fertility potential, reduced fertilisation, poor embryo quality, recurrent pregnancy loss and poor assisted reproductive techniques (ARTs) outcomes. Although semen analysis remains the gold standard for diagnosis of male factor infertility worldwide, its limitations motivated the search and the development of complementary tests of sperm function and integrity. SDF assay is an emerging diagnostic tool in infertile men, and several indications for SDF testing in infertile couples have also been proposed. The use of SDF in routine male infertility assessment is, however, still controversial. Furthermore, both direct and indirect SDF tests are now available. Hence, the present review was conducted to summarise the recent evidence of SDF, underlying mechanisms, clinical indications, diagnostic tests, as well as the role of SDF in male factor infertility, pregnancy and ART outcomes.