We present an EOS-driven extension of the NSCool thermal evolution code that enables complete tabulated equations of state to be treated within a single composition-based input structure. The generalized NEW interface includes additional baryonic fractions, a bosonic composition variable, the hadronic volume fraction, and quark fractions, allowing nucleonic, hyperonic, resonant-baryonic and hybrid hadron-quark configurations to be handled within the same workflow. The neutrino sector is extended accordingly, including updated nucleonic modified Urca and bremsstrahlung rates, additional baryonic direct Urca channels, hyperonic processes, baryonic pair breaking and formation and quark direct Urca, modified Urca, bremsstrahlung and PBF contributions. In mixed phases, emissivities and the corresponding core heat capacity contributions are evaluated from phase-local quantities and combined using the hadronic volume fraction. The implementation is validated against the original NSCool calculation for a controlled nucleonic benchmark and demonstrated with representative hadronic and quark-containing EOSs. These calculations are intended as software validation tests of the generalized workflow rather than as observational fits or statistical EOS inference.
In this paper we compute several structural properties of static and rotating neutron stars, considering both rigid and differential rotation. To this end, we use a finite-temperature beta-stable equation of state (EOS) extending the zero-temperature hadronic EOS derived by Fortin et al. (2017). We account for the form...
D. Logoteta, Francesco Zeno Constanzo, I. Bombaci et al.· 0 citations
We investigate the effects of axions on the properties of hybrid stars and the possible hadron-quark phase transition in their cores within the Maxwell construction. The hadronic phase is described by the improved isospin- and momentum-dependent interaction (ImMDI) model, while the quark phase is modeled by a three-fla...
Yu-Heng Liu, He Liu, Hong-Ming Liu et al.· 0 citations
In this conference proceeding we review an extension of the Chiral Mean Field (CMF) model that consistently incorporates interacting thermal mesons with self-consistent in-medium masses. In this approach, the in-medium masses of pseudoscalar and vector mesons are evaluated through the explicit chiral symmetry-breaking...
Micheal Kahangirwe, Rajesh Kumar, Joaquin Grefa et al.· 0 citations
We extend the quark mean-field (QMF) model to finite temperature and systematically investigate the thermodynamic properties of uniform nuclear matter, using the relativistic mean-field (RMF) model as a reference. For each model, we consider two parameter sets calibrated to the same selected nuclear-matter saturation p...
Shuo-Chong Han, Xiang-Dong Sun, Zhen-Yu Zhu et al.· 0 citations
We present a density-dependent generalization of the van der Waals hadron resonance gas model (DD-HRG) for describing both the hot hadronic matter created in heavy-ion collisions and the cold, dense matter inside neutron stars. Non-resonant interactions are incorporated through a generalized excluded-volume prescriptio...
V. Vovchenko, V. Kuznietsov, Tripp Moss· 1 citation
This work investigates the thermal deconfining phase transition from a hadronic gas composed of massive pions to a quark–gluon plasma (QGP) described by the Polyakov– Nambu–Jona-Lasinio (PNJL) model with two light quark flavors. The PNJL model extends the Nambu–Jona-Lasinio (NJL) approach, including chiral symmetry dyn...
M. Lakehal, Amal Ait El Djoudi, Bachir Moussaoui· The 3rd International Online...· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
