Abstract Study question Is follitropin delta cost-effective compared with follitropin alfa for controlled ovarian stimulation (COS) for IVF/ICSI in China? Summary answer Follotropin delta leads to higher live birth rates at lower costs compared with follitropin alfa, making it a dominant treatment option (higher effect, lower cost). What is known already Follitropin delta for injection (REKOVELLE) was approved by Chinese authorities in April 2024. Follitropin delta is associated with higher serum levels of FSH and…

Version 2.0 of the Agda Standard Library - uploaded for publication in the Journal of Open Source Software

Version 2.0 of the Agda Standard Library - uploaded for publication in the Journal of Open Source Software

Rig groupoids provide a semantic model of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"> <mml:mo>Π</mml:mo> </mml:math> , a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps and three equations about them results in a model of quantum computing that is computationally universal and equationally sound and complete for a variety of gate sets. The first map corresponds to an 8th root of the identity morphism on t…

We construct a computationally universal quantum programming language Quantum Π from two copies of Π, the internal language of rig groupoids. The first step constructs a pure (measurement-free) term language by interpreting each copy of Π in a generalisation of the category Unitary in which every morphism is “rotated” by a particular angle, and the two copies are amalgamated using a free categorical construction expressed as a computational effect. The amalgamated language only exhibits quantum behaviour for speci…