The game semantics of game theory

We use a reformulation of compositional game theory to reunite game theory with game semantics, by viewing an open game as the System and its choice of contexts as the Environment. Specifically, the system is jointly controlled by n≥0 noncooperative players, each independently optimising a real-valued payoff. The goal of the system is to play a Nash equilibrium, and the goal of the environment is to prevent it. The key to this is the realisation that lenses (from functional programming) form a dialectica category, which have an existing game-semantic interpretation. In the second half of this paper, we apply these ideas to build a compact closed category of 'computable open games' by replacing the underlying dialectica category with a wave-style geometry of interaction category, specifically the Int-construction applied to the cartesian monoidal category of directed-complete partial orders

Towards foundations of categorical cybernetics

We propose a categorical framework for processes which interact bidirectionally with both an environment and a ‘controller’. Examples include open learners, in which the controller is an optimiser such as gradient descent, and an approach to compositional game theory closely related to open games, in which the controller is a composite of game-theoretic agents. We believe that ‘cybernetic’ is an appropriate name for the processes that can be described in this framework

Microscopic evidence for liquid-liquid separation in supersaturated CaCO3 solutions

Recent experimental observations of the onset of calcium carbonate (CaCO3) mineralization suggest the emergence of a population of clusters that are stable rather than unstable as predicted by classical nucleation theory. This study uses molecular dynamics simulations to probe the structure, dynamics, and energetics of hydrated CaCO3 clusters and lattice gas simulations to explore the behavior of cluster populations before nucleation. Our results predict formation of a dense liquid phase through liquid-liquid separation within the concentration range in which clusters are observed. Coalescence and solidification of nanoscale droplets results in formation of a solid phase, the structure of which is consistent with amorphous CaCO3. The presence of a liquid-liquid binodal enables a diverse set of experimental observations to be reconciled within the context of established phase-separation mechanisms

A basic introduction to fixed-effect and random-effects models for meta-analysis

There are two popular statistical models for meta-analysis, the fixed-effect model and the random-effects model. The fact that these two models employ similar sets of formulas to compute statistics, and sometimes yield similar estimates for the various parameters, may lead people to believe that the models are interchangeable. In fact, though, the models represent fundamentally different assumptions about the data. The selection of the appropriate model is important to ensure that the various statistics are estimated correctly. Additionally, and more fundamentally, the model serves to place the analysis in context. It provides a framework for the goals of the analysis as well as for the interpretation of the statistics. In this paper we explain the key assumptions of each model, and then outline the differences between the models. We conclude with a discussion of factors to consider when choosing between the two models

Bax Function in the Absence of Mitochondria in the Primitive Protozoan Giardia lamblia

Bax-induced permeabilization of the mitochondrial outer membrane and release of cytochrome c are key events in apoptosis. Although Bax can compromise mitochondria in primitive unicellular organisms that lack a classical apoptotic machinery, it is still unclear if Bax alone is sufficient for this, or whether additional mitochondrial components are required. The protozoan parasite Giardia lamblia is one of the earliest branching eukaryotes and harbors highly degenerated mitochondrial remnant organelles (mitosomes) that lack a genome. Here we tested whether human Bax expressed in Giardia can be used to ablate mitosomes. We demonstrate that these organelles are neither targeted, nor compromised, by Bax. However, specialized compartments of the regulated secretory pathway are completely ablated by Bax. As a consequence, maturing cyst wall proteins that are sorted into these organelles are released into the cytoplasm, causing a developmental arrest and cell death. Interestingly, this ectopic cargo release is dependent on the carboxy-terminal 22 amino acids of Bax, and can be prevented by the Bax-inhibiting peptide Ku70. A C-terminally truncated Bax variant still localizes to secretory organelles, but is unable to permeabilize these membranes, uncoupling membrane targeting and cargo release. Even though mitosomes are too diverged to be recognized by Bax, off-target membrane permeabilization appears to be conserved and leads to cell death completely independently of mitochondria

The status of the world's land and marine mammals: diversity, threat, and knowledge

Knowledge of mammalian diversity is still surprisingly disparate, both regionally and taxonomically. Here, we present a comprehensive assessment of the conservation status and distribution of the world's mammals. Data, compiled by 1700+ experts, cover all 5487 species, including marine mammals. Global macroecological patterns are very different for land and marine species but suggest common mechanisms driving diversity and endemism across systems. Compared with land species, threat levels are higher among marine mammals, driven by different processes (accidental mortality and pollution, rather than habitat loss), and are spatially distinct (peaking in northern oceans, rather than in Southeast Asia). Marine mammals are also disproportionately poorly known. These data are made freely available to support further scientific developments and conservation action

Menstrual cycle effects on exercise-induced fatigability

Estrogen and progesterone have distinct concentrations across the menstrual cycle, each one promoting several physiological alterations other than preparing the uterus for pregnancy. Whether these physiological alterations can influence motor output during a fatiguing contraction is the goal of this review, with an emphasis on the obtained effect sizes. Studies on the topic frequently attempt to report if there is a statistical significant difference in fatigability between the follicular and luteal phases of the menstrual cycle. Although the significant difference (P value) can inform the probability of the event, it does not indicate the magnitude of it. We also investigated whether type of task performed (e.g., isometric vs. dynamic) can further influence the magnitude by which exercise-induced fatigue changes with fluctuations in the concentration of ovarian hormones. We retrieved experimental studies in eumenorrheic women published between 1975 and 2019. The initial search yielded 920 studies and after manual refinement, 46 experimental studies that reported metrics of motor output in both the follicular and luteal phases of the menstrual cycle were included. From these retrieved studies, 15 showed a statistical difference between the luteal and follicular phases (7 showing less fatigability during the luteal phase and 8 during the follicular phase). The effect size was not consistent across studies and with a large range (-6.77; 1.61, favoring the luteal and follicular phase respectively). The inconsistencies across studies may be a consequence of the differences in the limb used during the fatiguing contraction (upper vs. lower extremity), type of contraction (isometric vs. dynamic), the muscle mass engaged (single limb vs. full body), and the techniques used to define menstrual cycle phase (e.g. serum concentration vs. reported day of menses). Further studies are required to determine the effects of regular menstrual cycle phase on the exercise-induced fatigability.Financial support was provided from the Office of the Vice President for Research and Partnerships and the Office of the Provost, the University of Oklahoma – Norman Campus. Open Access fees paid for in whole or in part by the University of Oklahoma Libraries.Ye