Related papers: $\star$-translation for Varsovian models
The redshift distribution of galaxy lenses in known gravitational lens systems provides a powerful test that can potentially discriminate amongst cosmological models. However, applications of this elegant test have been curtailed by two…
Stars play a key role in the evolution of the Universe, as sources of radiation, as dynamical engines, and as chemical factories. Outputs of stellar models are then central to various studies in astrophysics. Stellar physics links…
Keisler proved that if $\theta$ is a strong limit cardinal and $\lambda$ is a singular cardinal, then the transfer relation $\theta\longrightarrow\lambda$ holds. In a previous paper, we studied initial elementary submodels of the…
Scalar-tensor~(ST) theories of gravity are natural phenomenological extensions to general relativity. Although these theories are severely constrained both by solar system experiments and by binary pulsar observations, a large set of ST…
Stellar evolution computations provide the foundation of several methods applied to study the evolutionary properties of stars and stellar populations, both Galactic and extragalactic. The accuracy of the results obtained with these…
Suppose that there is a measurable cardinal. If \aleph_\omega is a strong limit cardinal, but the power of \aleph_\omega is bigger than \aleph_{\omega_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the…
Owing to their inherently interpretable structure, decision trees are commonly used in applications where interpretability is essential. Recent work has focused on improving various aspects of decision trees, including their predictive…
We present Spanning Tree Autoregressive (STAR) modeling, which can incorporate prior knowledge of images, such as center bias and locality, to maintain sampling performance while also providing sufficiently flexible sequence orders to…
We introduce and study the notion of $\star$-stability with respect to a semistar operation $\star$ defined on a domain $R$; in particular we consider the case where $\star$ is the $w$-operation. This notion allows us to generalize and…
End-to-end deep learning models fed with multi-band galaxy images are powerful data-driven tools used to estimate galaxy physical properties in the absence of spectroscopy. However, due to a lack of interpretability and the associational…
Mass loss due to line-driven winds is central to our understanding of the evolution of massive stars. We extend the evolution models introduced in Paper I, where the mass loss recipe is based on the simultaneous calculation of the wind…
Recent advancements have shown tensions between observations and our current understanding of the Universe. Such observations may include the $H_o$ tension and massive galaxies at high redshifts that are older than what traditional galaxy…
While deep learning has achieved remarkable success across many domains, it has historically underperformed on tabular learning tasks, which remain dominated by gradient boosting decision trees. However, recent advancements are paving the…
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
Two-dimensional models of rapidly rotating stars are already unavoidable for the interpretation of interferometric or asteroseismic data of this kind of stars. When combined with time evolution, they will allow the including of a more…
Master-field simulations offer an approach to lattice QCD in which calculations are performed on a small number of large-volume gauge-field configurations. The latter is advantageous for simulations in which the global topological charge is…
We identify a premouse inner model $L[\mathbb{E}]$, such that for any coarsely iterable background universe $R$ modelling $\mathrm{ZFC}$, $L[\mathbb{E}]^R$ is a proper class premouse of $R$ inheriting all strong and Woodin cardinals from…
The similarity theory of stellar structure is used to study the properties of very massive stars when one can neglect all the sources of opacity except for the Thomson scattering. The dimensionless internal structure of such stars is…
The stable core, an inner model of the form $\langle L[S],\in, S\rangle$ for a simply definable predicate $S$, was introduced by the first author in [Fri12], where he showed that $V$ is a class forcing extension of its stable core. We study…
Context-dependent semantic parsing has proven to be an important yet challenging task. To leverage the advances in context-independent semantic parsing, we propose to perform follow-up query analysis, aiming to restate context-dependent…