We collected marathon performance data from a systematic sample of elite and sub-elite athletes over the period 2015 to 2019, then searched the internet for publicly-available photographs of these performances, identifying whether the Nike Vaporfly shoes were worn or not in each performance. Controlling for athlete ability and race difficulty, we estimated the effect on marathon times of wearing the Vaporfly shoes. Assuming that the effect of Vaporfly shoes is additive, we estimate that the Vaporfly shoes improve men's times between 2.0 and 3.9 minutes, while they improve women's times between 0.8 and 3.5 minutes. Assuming that the effect of Vaporfly shoes is multiplicative, we estimate that they improve men's times between 1.4 and 2.8 percent and women's performances between 0.6 and 2.2 percent. The improvements are in comparison to the shoe the athlete was wearing before switching to Vaporfly shoes, and represents an expected improvement rather than a guaranteed improvement.
The European Space Agency is set to launch PLATO, the third medium-class mission of its Cosmic Vision programme, in early 2027. Using the transit method, PLATO is expected to detect thousands of exoplanets orbiting bright, nearby stars of spectral types F5-K7. Although the mission is primarily designed to enable mass measurements via radial velocities, its precise photometry and long observational baselines may also permit the detection of transit timing variations (TTVs), which can provide complementary dynamical constraints in multi-planet systems. One possible PLATO observing scenario involves a two-year-long observation of a Northern field that may partially or fully overlap with the original Kepler field, creating an opportunity to revisit known multi-planet systems with a photometric baseline exceeding 20 years. We simulate PLATO observations of 152 Kepler host stars containing at least one planet with previously detected TTVs, yielding a sample of 361 transiting planets. Our CCD-level simulations incorporate realistic stellar variability and employ both aperture and point spread function (PSF)-fitting photometry, accounting for each target's real photometric contaminants. Wh
We present the discovery of TIC-65910228 b / NGTS-38 b, a giant exoplanet with a radius of $1.081\pm0.047$ R$_\text{J}$ and a mass of $4.78_{-0.37}^{+0.39}$ M$_\text{J}$ on a long-period ($180.52797\pm0.00036$ day), moderately eccentric ($e=0.3086\pm0.010$) orbit transiting a bright (V=$10.230\pm0.020$ mag) metal rich ([Fe/H]=$0.33\pm0.09$, 'dex') F6V-F7V type host star. The planet was initially detected from a single transit in TESS Sector 33. A photometric monitoring campaign of 228 nights with NGTS detected a transit egress of the planet, which together with spectroscopic radial velocity monitoring with CORALIE and HARPS identified an orbital period of ~180.5,d. These radial velocity measurements also showed the mass of the companion to be planetary. Additional transit observations coordinated by the TESS follow-up observing program allowed further confirmation and refinement of this period. With its relatively cool equilibrium temperature of $457\pm11$ K, NGTS-38 b joins a small but growing population of well characterised transiting warm-Jupiters and has one of the longest periods of any discovered to date. The target is situated in the LOPS2 field of the upcoming PLATO missio
Over the past decade, the Python-based Simulations of Chemistry Framework (PySCF) has developed into a widely used open-source platform for electronic structure theory and quantum chemical method development. This article reviews the major advances since the previous overview in 2020, covering new modules and methodology, infrastructure changes, and performance benchmarks.
The PLATO mission is scheduled for launch early 2027. In this paper we present an overview of the performance drivers for the mission at the time where all flight models of the cameras have been tested and integrated on the optical bench. The PLATO consortium needs an estimate of the planet detection yield to dimension the ground-based radial velocity follow-up resources. We provide updated estimates on the yield of planet detections that can be expected from the mission under certain assumptions. As of today, large uncertainties remain on the planet occurrence rates, especially for small planets in long-period orbits, and on our ability to detect these planets in the presence of stellar variability and instrumental noise. To partially overcome these limitations, we compare results using different planet occurrence rates, detectability rates, and we include an estimate on the expected contribution of stellar variability to the noise budget. The final detection yield of PLATO will provide constraints to planet occurrence rates which in turn will help constraining planet formation models.
Non-interactive key exchange (NIKE) enables two or multiple parties (just knowing the public system parameters and each other's public key) to derive a (group) session key without the need for interaction. Recently, NIKE in multi-party settings has been attached importance. However, we note that most existing multi-party NIKE protocols, underlying costly cryptographic techniques (i.e., multilinear maps and indistinguishability obfuscation), lead to high computational costs once employed in practice. Therefore, it is a challenging task to achieve multi-party NIKE protocols by using more practical cryptographic primitives. In this paper, we propose a secure and efficient NIKE protocol for secure communications in dynamic groups, whose construction only bases on bilinear maps. This protocol allows multiple parties to negotiate asymmetric group keys (a public group encryption key and each party's decryption key) without any interaction among one another. Additionally, the protocol supports updating of group keys in an efficient and non-interactive way once any party outside a group or any group member joins or leaves the group. Further, any party called a sender (even outside a group)
Accurate mass and radius measurements of small transiting exoplanets are essential for probing their compositions, formation histories, and potential habitability. We present a uniform analysis of six planetary systems (each hosting at least one small transiting planet): K2-79, K2-106, K2-111, K2-222, K2-263, and TOI-1634. Our study combines new CHEOPS transit observations with archival photometry from K2, TESS, and ground-based facilities, alongside new and archival radial velocity data from HARPS-N, HIRES, ESPRESSO, and others. For each system, we perform joint transit and RV modelling, achieving typical precisions better than 15% and 5% for mass and radius, respectively, and thus enabling precise bulk density determinations. These reveal a range of compositions, including rocky planets near the radius valley (e.g. K2-106 b, TOI-1634 b), intermediate-density planets requiring steam-rich or mixed volatile envelopes (e.g. K2-111 b, K2-263 b), and low-density regimes, consistent with gas dwarfs or water-worlds (e.g. K2-79 b, K2-222 b). Several systems show evidence of additional companions detectable via RVs but not seen in transit. The results highlight the value of coordinated CHE
As systems grow more complex and incorporate AI, testing becomes more critical. Yet testing education in academia remains misaligned with both professional practice and the empirical nature of testing. Current curricula predominantly adopt a rationalist paradigm, emphasizing prescriptive methods and confirmation of expected outcomes. This limits students' ability to reason critically under uncertainty. In this position paper, we argue that testing should instead be taught as an empirical, inquiry-driven professional skill. We propose an instructional design based on the Four-Component Instructional Design (4C/ID) model to support whole-task learning. We introduce P4TEST, a pedagogical framework that makes explicit the core competencies, epistemic moves, and habits of mind involved in testing, while avoiding prescriptive processes. The paper outlines how P4TEST can guide curriculum design, scaffolding, and assessment in software testing education.
The PLAnetary Transits and Oscillations of stars (PLATO) mission is expected to launch in January 2027. A total of 8\% of its data rate will be dedicated to complementary science targets selected from approved Guest Observer proposals. We seek to provide an open-source catalogue of variable stars in PLATO's first long-term observing field, LOPS2. We want to use existing observations from the Transiting Exoplanet Survey Satellite (TESS), which has observed many stars in LOPS2. We classified 38 million calibrated aperture light curves from the TESS-Gaia Light Curve pipeline (TGLC, $G\lesssim17$) for 6 million unique sources in LOPS2 with two machine learning frameworks -- a deep neural network and a feature-based gradient-boosted decision-tree ensemble. We combined their predictions to create this first version of the LOPS2 variability catalogue, performed manual vetting of a sub-sample classified light curves, and a statistical analysis of the results to validate our methodology and to assess the variability properties and parameters of the stars in the catalogue. Our classification resulted in the identification of approximately 72% of the light curves having dominant instrument- o
A crucial chemical link between stars and their orbiting exoplanets is thought to exist. If universal, this connection could affect the formation and evolution of all planets. Therefore, this potential vital link needs testing by characterising exoplanets around chemically-diverse stars. We present the discovery of two planets orbiting the metal-poor, kinematic thick-disk K-dwarf TOI-2345. TOI-2345 b is a super-Earth with a period of 1.05 days and TOI-2345 c is a sub-Neptune with a period of 21 days. In addition to the target being observed in 4 TESS sectors, we obtained 5 CHEOPS visits and 26 radial velocities from HARPS. By conducting a joint analysis of all the data, we find TOI-2345 b to have a radius of $1.504\substack{+0.047\\-0.044}$ R$_\oplus$ and a mass of $3.49\pm0.85$ M$_\oplus$; and TOI-2345 c to have a radius of $2.451\substack{+0.045\\-0.046}$ R$_\oplus$ and a mass of $7.27\substack{+2.27\\-2.45}$ M$_\oplus$. To explore chemical links between these planets and their host star, we model their interior structures newly accounting for devolatised stellar abundances. TOI-2345 adds to the limited sample of well characterised planetary systems around thick disk stars. This
Small temperate planets are prime targets for exoplanet studies due to their possible similarities with the rocky planets in the Solar System. M dwarfs are promising hosts since the planetary signals are within our current detection capabilities. Gliese 12 b is a Venus-sized temperate planet orbiting a quiet M dwarf. We present here the first precise mass measurement of this small exoplanet. We performed a detailed analysis using HARPS-N, ESPRESSO, and CARMENES radial velocities, along with new and archival \tess, \cheops, and MuSCAT2/3 photometry data. From fitting the available data, we find that the planet has a radius of $R_\mathrm{p} = 0.93\pm0.06 \,\mathrm{R_\oplus}$ and a mass of $M_\mathrm{p} = 0.95^{+0.29}_{-0.30} \,\mathrm{M_\oplus}$ (a $3.2σ$ measurement of the semi-amplitude $K=0.67\pm0.21\,\mathrm{m\,s^{-1}}$), and is on an orbit with a period of $12.761418^{+0.000060}_{-0.000055}\,\mathrm{d}$. A variety of techniques were utilised to attenuate stellar activity signals. Gliese 12 b has an equilibrium temperature of $T_\mathrm{eq}=317 \pm 8\,\mathrm{K}$, assuming an albedo of zero, and a density consistent with that of Earth and Venus ($ρ_\mathrm{p}=6.4\pm2.4\,\mathrm{g
Despite being the most common types of stars in the Galaxy, the physical properties of late M dwarfs are often poorly constrained. A trend of radius inflation compared to evolutionary models has been observed for earlier type M dwarfs in eclipsing binaries, possibly caused by magnetic activity. It is currently unclear whether this trend also extends to later type M dwarfs below the convective boundary. This makes the discovery of lower-mass, fully convective, M dwarfs in eclipsing binaries valuable for testing evolutionary models especially in longer-period binaries where tidal interaction between the primary and secondary is negligible. With this context, we present the discovery of the NGTS-EB-7 AB system, an eclipsing binary containing a late M dwarf secondary and an evolved G-type primary star. The secondary star has a radius of $0.125 \pm 0.006 R_\odot$ , a mass of $0.096 \pm 0.004 M_\odot$ and follows a highly eccentric $(e=0.71436 \pm 0.00085)$ orbit every $193.35875 \pm 0.00034$ days. This makes NGTS-EB-7 AB the third longest-period eclipsing binary system with a secondary smaller than $200 M_J$ with the mass and radius constrained to better than $5 \%$. In addition, NGTS-E
Observations over the past few decades have found that planets are common around nearby stars in our Galaxy, but little is known about planets that formed outside the Milky Way. We describe the design and early implementation of a survey to test whether planets also exist orbiting the remnant stars of ancient dwarf galaxies that merged with the Milky Way, and if so, how they differ from their Milky Way counterparts. VOYAGERS (Views Of Yore - Ancient Gaia-enceladus Exoplanet Revealing Survey) is a radial velocity (RV) search using precision spectrographs to discover exoplanets orbiting very low metallicity ($-2.8 < [\mathrm{Fe/H}] \leq -0.8$) stars born in the dwarf galaxy Enceladus, which merged with the Milky Way galaxy about 10 Gyr ago. A sample of 22 candidates have been screened from a catalog of Gaia-Enceladus-Sausage (GES) members using a combination of stellar properties and reconnaissance observations from the TRES spectrograph. Precision RV measurements have been initiated using the NEID, HARPS-N, and CARMENES spectrographs. We plan to focus most upcoming observations on 10 main sequence targets. Data collection is well underway, with 778 observations on 22 candidates (
The Transiting Exoplanet Survey Satellite (TESS) has identified several thousand planet candidates orbiting a wide variety of stars, and has provided an exciting opportunity for demographic studies. However, current TESS planet searches require significant manual inspection efforts to identify planets among the enormous number of detected transit-like signatures, which limits the scope of such searches. Demographic studies also require a detailed understanding of the relationship between observed and true exoplanet populations; a task for which current TESS planet catalogs are rendered unsuitable by the subjectivity of vetting by eye. We present LEO-Vetter, a publicly available and fully automated exoplanet vetting system designed after the Kepler Robovetter, which is capable of efficiently producing catalogs of promising planet candidates and making statistically robust TESS demographic studies possible. LEO-Vetter implements flux- and pixel-level tests against noise/systematic false positives and astrophysical false positives. The vetter achieves high completeness (91%) and high reliability against noise/systematic false alarms (97%) based on its performance on simulated data. We
PLATO will begin observing stars in its Southern Field (LOPS2) after its launch in late 2026. By this time, TESS will have observed the stars in LOPS2 for at least four years. We find that by 2025, on average each star in the PLATO field will have been monitored for 330 days by TESS, with a subset of stars in the TESS continuous viewing zone having over 1000 days of monitoring. There are currently 101 known transiting exoplanets in the LOPS2 field, with 36 of these residing in multiplanet systems. The LOPS2 field also contains more than 500 TESS planet candidate systems, 64 exoplanets discovered by radial velocity only, over 1000 bright (V$<$13) eclipsing binary systems, 7 transiting brown dwarf systems, and 2 bright white dwarfs (G$<$13). We calculate TESS and PLATO sensitivities to detecting transits for the bright FGK stars that make up the PLATO LOPS2 P1 sample. We find that TESS should have discovered almost all transiting giant planets out to approximately 30 d within the LOPS2 field, and out to approximately 100 d for the regions of the LOPS2 field within the TESS CVZ ($\sim20$ per cent of the LOPS2 field). However, we find that for smaller radius planets in the range
We present the detection of 9 new planet candidates orbiting M dwarfs, identified using an independent search and vetting pipeline applied to TESS Full-Frame Image (FFI) data from Sectors 1 to 63. Our candidates include planets as small as 1.4 $R_{\oplus}$, with orbital periods up to 20 days. Among the 9 new candidates, we identified 5 gas giants, which represent a rare and unexpected outcome of planet formation. Our findings add to the growing sample of giant planets around M dwarfs found by TESS. We discuss their follow-up potential for mass measurements through radial velocity observations and atmospheric characterization through transmission spectroscopy. We highlight TIC 12999193.01 as a particularly unique gas giant candidate in an eccentric orbit and excellent potential for atmospheric characterisation.
This paper proposes a new AND-OR graph search framework for synthesis of Linear Temporal Logic on finite traces (\LTLf), that overcomes some limitations of previous approaches. Within such framework, we devise a procedure inspired by the Davis-Putnam-Logemann-Loveland (DPLL) algorithm to generate the next available agent-environment moves in a truly depth-first fashion, possibly avoiding exhaustive enumeration or costly compilations. We also propose a novel equivalence check for search nodes based on syntactic equivalence of state formulas. Since the resulting procedure is not guaranteed to terminate, we identify a stopping condition to abort execution and restart the search with state-equivalence checking based on Binary Decision Diagrams (BDD), which we show to be correct. The experimental results show that in many cases the proposed techniques outperform other state-of-the-art approaches. Our implementation Nike competed in the LTLf Realizability Track in the 2023 edition of SYNTCOMP, and won the competition.
Understanding user intentions is essential for improving product recommendations, navigation suggestions, and query reformulations. However, user intentions can be intricate, involving multiple sessions and attribute requirements connected by logical operators such as And, Or, and Not. For instance, a user may search for Nike or Adidas running shoes across various sessions, with a preference for purple. In another example, a user may have purchased a mattress in a previous session and is now looking for a matching bed frame without intending to buy another mattress. Existing research on session understanding has not adequately addressed making product or attribute recommendations for such complex intentions. In this paper, we present the task of logical session complex query answering (LS-CQA), where sessions are treated as hyperedges of items, and we frame the problem of complex intention understanding as an LS-CQA task on an aggregated hypergraph of sessions, items, and attributes. This is a unique complex query answering task with sessions as ordered hyperedges. We also introduce a new model, the Logical Session Graph Transformer (LSGT), which captures interactions among items a
After children were pictured sewing its running shoes in the early 1990s, Nike at first disavowed the "working conditions in its suppliers' factories", before public pressure led them to take responsibility for ethics in their upstream supply chain. In 2023, OpenAI responded to criticism that Kenyan workers were paid less than $2 per hour to filter traumatic content from its ChatGPT model by stating in part that it had outsourced the work to a subcontractor, who managed workers' payment and mental health concerns. In this position paper, we argue that policy interventions for AI Ethics must consider AI as a supply chain problem, given how the political economy and intra-firm relations structure AI production, in particular examining opportunities upstream.
Molecules containing short-lived, radioactive nuclei are uniquely positioned to enable a wide range of scientific discoveries in the areas of fundamental symmetries, astrophysics, nuclear structure, and chemistry. Recent advances in the ability to create, cool, and control complex molecules down to the quantum level, along with recent and upcoming advances in radioactive species production at several facilities around the world, create a compelling opportunity to coordinate and combine these efforts to bring precision measurement and control to molecules containing extreme nuclei. In this manuscript, we review the scientific case for studying radioactive molecules, discuss recent atomic, molecular, nuclear, astrophysical, and chemical advances which provide the foundation for their study, describe the facilities where these species are and will be produced, and provide an outlook for the future of this nascent field.