Silent Transitions in Automata with Storage

We consider the computational power of silent transitions in one-way automata with storage. Specifically, we ask which storage mechanisms admit a transformation of a given automaton into one that accepts the same language and reads at least one input symbol in each step. We study this question using the model of valence automata. Here, a finite automaton is equipped with a storage mechanism that is given by a monoid. This work presents generalizations of known results on silent transitions. For two classes of monoids, it provides characterizations of those monoids that allow the removal of \lambda-transitions. Both classes are defined by graph products of copies of the bicyclic monoid and the group of integers. The first class contains pushdown storages as well as the blind counters while the second class contains the blind and the partially blind counters.Comment: 32 pages, submitte

Changing knowledge, attitudes and behaviours towards cytomegalovirus in pregnancy through film-based antenatal education: a feasibility randomised controlled trial of a digital educational intervention

Background Congenital cytomegalovirus (CMV) is the most common congenital infection globally, however information about CMV is not routinely included in antenatal education in the United Kingdom. This feasibility study aimed to gather the essential data needed to design and power a large randomised controlled trial (RCT) to investigate the efficacy of a digital intervention in reducing the risk of CMV acquisition in pregnancy. In order to do this, we carried out a single-centre RCT, which explored the knowledge, attitudes and risk reduction behaviours in women in the intervention and treatment as usual groups, pre- and post-intervention. Methods CMV seronegative women living with a child less than four years old, receiving antenatal care at a single UK tertiary centre, were randomised to the digital intervention or ‘treatment as usual’ groups. Participants completed questionnaires before the digital intervention and after and at 34 gestational weeks, and responses within groups and between groups were compared using tailored randomisation tests. CMV serology was tested in the first trimester and at the end of pregnancy. Results Of the 878 women screened, 865 samples were analysed with 43% (n = 372) being CMV seronegative and therefore eligible to take part in the RCT; of these, 103 (27.7%) women were enrolled and 87 (84%) of these completed the study. Most participants (n = 66; 64%) were unfamiliar with CMV at enrolment, however at 34 gestational weeks, women in the intervention group (n = 51) were more knowledgeable about CMV compared to the treatment as usual group (n = 52) and reported engaging in activities that may increase the risk of CMV transmission less frequently. The digital intervention was highly acceptable to pregnant women. Overall, four participants seroconverted over the course of the study: two from each study group. Conclusions A large multi-centre RCT investigating the efficacy of a CMV digital intervention is feasible in the United Kingdom; this study has generated essential data upon which to power such a study. This single-centre feasibility RCT demonstrates that a digital educational intervention is associated with increase in knowledge about CMV and can result in behaviour change which may reduce the risk of CMV acquisition in pregnancy

Ball on a beam: stabilization under saturated input control with large basin of attraction

This article is devoted to the stabilization of two underactuated planar systems, the well-known straight beam-and-ball system and an original circular beam-and-ball system. The feedback control for each system is designed, using the Jordan form of its model, linearized near the unstable equilibrium. The limits on the voltage, fed to the motor, are taken into account explicitly. The straight beam-and-ball system has one unstable mode in the motion near the equilibrium point. The proposed control law ensures that the basin of attraction coincides with the controllability domain. The circular beam-and-ball system has two unstable modes near the equilibrium point. Therefore, this device, never considered in the past, is much more difficult to control than the straight beam-and-ball system. The main contribution is to propose a simple new control law, which ensures by adjusting its gain parameters that the basin of attraction arbitrarily can approach the controllability domain for the linear case. For both nonlinear systems, simulation results are presented to illustrate the efficiency of the designed nonlinear control laws and to determine the basin of attraction

Production of deuterium, tritium, and 3^3He in central Pb+Pb collisions at 20A, 30A, 40A, 80A, and 158A GeV at the CERN SPS

Production of $d$, $t$, and $^3$He nuclei in central Pb+Pb interactions was studied at five collision energies ($\sqrt{s_{NN}}=$ 6.3, 7.6, 8.8, 12.3, and 17.3 GeV) with the NA49 detector at the CERN SPS. Transverse momentum spectra, rapidity distributions, and particle ratios were measured. Yields are compared to predictions of statistical models. Phase-space distributions of light nuclei are discussed and compared to those of protons in the context of a coalescence approach. The coalescence parameters $B_2$ and $B_3$, as well as coalescence radii for $d$ and $^3$He were determined as a function of transverse mass at all energies.Comment: 22 pages, 29 figures, 8 tables, for submission to Phys. Rev.

First Evidence of Genetic Association Between AKT2 and Polycystic Ovary Syndrome

OBJECTIVE—Insulin resistance has been reported in up to 70% of women with polycystic ovary syndrome (PCOS). Physiologic and genetic data currently implicate post–insulin receptor signaling defects in substrates such as glycogen synthase kinase 3β (GSK3β). The AKT2 gene was chosen as a candidate for PCOS because its product affects glucose metabolism and mitogenic signaling, interacts with GSK3β, and mediates cell survival in the ovary

Proton -- Lambda Correlations in Central Pb+Pb Collisions at sqrt(s_{NN}) = 17.3 GeV

The momentum correlation between protons and lambda particles emitted from central Pb+Pb collisions at sqrt(s_{NN}) = 17.3 GeV was studied by the NA49 experiment at the CERN SPS. A clear enhancement is observed for small relative momenta (q_{inv} < 0.2 GeV). By fitting a theoretical model, which uses the strong interaction between the proton and the lambda in a given pair, to the measured data a value for the effective source size is deduced. Assuming a static Gaussian source distribution we derive an effective radius parameter of R_G = 3.02 \pm 0.20$(stat.)^{+0.44}_{-0.16}(syst.) fm.Comment: 14 pages, 9 figures, submitted to Phys. Rev.

System-size and centrality dependence of charged kaon and pion production in nucleus-nucleus collisions at 40A GeV and158A GeV beam energy

Measurements of charged pion and kaon production are presented in centrality selected Pb+Pb collisions at 40A GeV and 158A GeV beam energy as well as in semi-central C+C and Si+Si interactions at 40A GeV. Transverse mass spectra, rapidity spectra and total yields are determined as a function of centrality. The system-size and centrality dependence of relative strangeness production in nucleus-nucleus collisions at 40A GeV and 158A GeV beam energy are derived from the data presented here and published data for C+C and Si+Si collisions at 158A GeV beam energy. At both energies a steep increase with centrality is observed for small systems followed by a weak rise or even saturation for higher centralities. This behavior is compared to calculations using transport models (UrQMD and HSD), a percolation model and the core-corona approach.Comment: 32 pages, 14 figures, 4 tables, typo table II correcte

Centrality dependence of proton and antiproton spectra in Pb+Pb collisions at 40A GeV and 158A GeV measured at the CERN SPS

The yields of (anti-)protons were measured by the NA49 Collaboration in centrality selected Pb+Pb collisions at 40A GeV and 158A GeV. Particle identification was obtained in the laboratory momentum range from 5 to 63 GeV/c by the measurement of the energy loss dE/dx in the TPC detector gas. The corresponding rapidity coverage extends 1.6 units from mid-rapidity into the forward hemisphere. Transverse mass spectra, the rapidity dependences of the average transverse mass, and rapidity density distributions were studied as a function of collision centrality. The values of the average transverse mass as well as the midrapidity yields of protons when normalized to the number of wounded nucleons show only modest centrality dependences. In contrast, the shape of the rapidity distribution changes significantly with collision centrality, especially at 40A GeV. The experimental results are compared to calculations of the HSD and UrQMD transport models.Comment: 25 pages, 12 figures, submitted to PR

Energy dependence of kaon-to-proton ratio fluctuations in central Pb+Pb collisions from sNN\sqrt{s_{NN}} = 6.3 to 17.3 GeV

Kaons and protons carry large parts of two conserved quantities, strangeness and baryon number. It is argued that their correlation and thus also fluctuations are sensitive to conditions prevailing at the anticipated parton-hadron phase boundary. Fluctuations of the $(\mathrm{K}^+ + \mathrm{K}^-)/(\mathrm{p}+\bar{\mathrm{p}})$ and $\mathrm{K}^+/\mathrm{p}$ ratios have been measured for the first time by NA49 in central Pb+Pb collisions at 5 SPS energies between $\sqrt{s_{NN}}$= 6.3 GeV and 17.3 GeV. Both ratios exhibit a change of sign in $\sigma_{\mathrm{dyn}}$, a measure of non-statistical fluctuations, around $\sqrt{s_{NN}}$ = 8 GeV. Below this energy, $\sigma_{\mathrm{dyn}}$ is positive, indicating higher fluctuation compared to a mixed event background sample, while for higher energies, $\sigma_{\mathrm{dyn}}$ is negative, indicating correlated emission of kaons and protons. The results are compared to UrQMD calculations which which give a good description at the higher SPS energies, but fail to reproduce the transition to positive values.Comment: 5 pages, 4 figure

Challenges in QCD matter physics --The scientific programme of the Compressed Baryonic Matter experiment at FAIR

Substantial experimental and theoretical efforts worldwide are devoted to explore the phase diagram of strongly interacting matter. At LHC and top RHIC energies, QCD matter is studied at very high temperatures and nearly vanishing net-baryon densities. There is evidence that a Quark-Gluon-Plasma (QGP) was created at experiments at RHIC and LHC. The transition from the QGP back to the hadron gas is found to be a smooth cross over. For larger net-baryon densities and lower temperatures, it is expected that the QCD phase diagram exhibits a rich structure, such as a first-order phase transition between hadronic and partonic matter which terminates in a critical point, or exotic phases like quarkyonic matter. The discovery of these landmarks would be a breakthrough in our understanding of the strong interaction and is therefore in the focus of various high-energy heavy-ion research programs. The Compressed Baryonic Matter (CBM) experiment at FAIR will play a unique role in the exploration of the QCD phase diagram in the region of high net-baryon densities, because it is designed to run at unprecedented interaction rates. High-rate operation is the key prerequisite for high-precision measurements of multi-differential observables and of rare diagnostic probes which are sensitive to the dense phase of the nuclear fireball. The goal of the CBM experiment at SIS100 (sNN= 2.7--4.9 GeV) is to discover fundamental properties of QCD matter: the phase structure at large baryon-chemical potentials (μB&gt; 500 MeV), effects of chiral symmetry, and the equation of state at high density as it is expected to occur in the core of neutron stars. In this article, we review the motivation for and the physics programme of CBM, including activities before the start of data taking in 2024, in the context of the worldwide efforts to explore high-density QCD matter