Zobrazeno 1 - 10
of 6 152
pro vyhledávání: '"P. Ekström"'
Autor:
Hansen, Thomas Ekström, Brady, Edwin
We present an automated framework for solidifying the cohesion between software specifications, their dependently typed models, and implementation at compile time. Model Checking and type checking are currently separate techniques for automatically v
Externí odkaz:
http://arxiv.org/abs/2407.12726
Autor:
Sibony, Yves, Shepherd, Kendall G., Yusof, Norhasliza, Hirschi, Raphael, Chambers, Caitlan, Tsiatsiou, Sophie, Nandal, Devesh, Sciarini, Luca, Moyano, Facundo D., Bétrisey, Jérôme, Buldgen, Gaël, Georgy, Cyril, Ekström, Sylvia, Eggenberger, Patrick, Meynet, Georges
Grids of stellar evolution models with rotation using the Geneva stellar evolution code (Genec) have been published for a wide range of metallicities. We introduce the last remaining grid of Genec models, with a metallicity of $Z=10^{-5}$. We study t
Externí odkaz:
http://arxiv.org/abs/2407.06739
Autor:
Nandal, Devesh, Zwick, Lorenz, Whalen, Daniel J., Mayer, Lucio, Ekström, Sylvia, Meynet, Georges
The first stars formed over five orders of magnitude in mass by accretion in primordial dark matter halos. We study the evolution of massive, very massive and supermassive primordial (Pop III) stars over nine orders of magnitude in accretion rate. We
Externí odkaz:
http://arxiv.org/abs/2407.06994
We study a signaling game between an employer and a potential employee, where the employee has private information regarding their production capacity. At the initial stage, the employee communicates a salary claim, after which the true production ca
Externí odkaz:
http://arxiv.org/abs/2406.17380
Accreting supermassive stars of $\gtrsim 10^{5}\,M_\odot$ will eventually collapse directly to a black hole via the general relativistic (GR) instability. Such direct collapses of supermassive stars are thought to be a possible formation channel for
Externí odkaz:
http://arxiv.org/abs/2406.18040
We study a model of irreversible investment for a decision-maker who has the possibility to gradually invest in a project with unknown value. In this setting, we introduce and explore a feature of "learning-by-doing", where the learning rate of the u
Externí odkaz:
http://arxiv.org/abs/2406.16493
In a world where more decisions are made using artificial intelligence, it is of utmost importance to ensure these decisions are well-grounded. Neural networks are the modern building blocks for artificial intelligence. Modern neural network-based co
Externí odkaz:
http://arxiv.org/abs/2406.13008
Autor:
Dumont, T., Monpribat, E., Courtin, S., Choplin, A., Bonhomme, A., Ekström, S., Heine, M., Curien, D., Nippert, J., Meynet, G.
Publikováno v:
A&A 688, A115 (2024)
Nuclear reactions drive the stellar evolution and contribute to the stellar and galactic chemicals abundances. New determinations of the nuclear reaction rates for key fusion reactions of stellar evolution are now available, paving the way to improve
Externí odkaz:
http://arxiv.org/abs/2404.18662
Autor:
Ekström, Henrik
We study the Coulomb chain where particles are restricted to one dimension and experience three-dimensional Coulomb interactions with their nearest and next-to-nearest neighbours. The distances between consecutive particles are treated as random vari
Externí odkaz:
http://arxiv.org/abs/2404.14884
Publikováno v:
A&A 688, A71 (2024)
Stellar winds are one of the most important drivers of massive star evolution and a vital source of chemical, mechanical, and radiative feedback. Despite its significance, mass loss remains a major uncertainty in stellar evolution models. Particularl
Externí odkaz:
http://arxiv.org/abs/2404.14488