Undecidable properties of self-affine sets and multi-tape automata

We study the decidability of the topological properties of some objects coming from fractal geometry. We prove that having empty interior is undecidable for the sets defined by two-dimensional graph-directed iterated function systems. These results are obtained by studying a particular class of self-affine sets associated with multi-tape automata. We first establish the undecidability of some language-theoretical properties of such automata, which then translate into undecidability results about their associated self-affine sets.Comment: 10 pages, v2 includes some corrections to match the published versio

A serum-free media formulation for cultured meat production supports bovine satellite cell differentiation in the absence of serum starvation

Cultured meat production requires the robust differentiation of satellite cells into mature muscle fibres without the use of animal-derived components. Current protocols induce myogenic differentiation in vitro through serum starvation, that is, an abrupt reduction in serum concentration. Here we used RNA sequencing to investigate the transcriptomic remodelling of bovine satellite cells during myogenic differentiation induced by serum starvation. We characterized canonical myogenic gene expression, and identified surface receptors upregulated during the early phase of differentiation, including IGF1R, TFRC and LPAR1. Supplementation of ligands to these receptors enabled the formulation of a chemically defined media that induced differentiation in the absence of serum starvation and/or transgene expression. Serum-free myogenic differentiation was of similar extent to that induced by serum starvation, as evaluated by transcriptome analysis, protein expression and the presence of a functional contractile apparatus. Moreover, the serum-free differentiation media supported the fabrication of three-dimensional bioartificial muscle constructs, demonstrating its suitability for cultured beef production.Bovine satellite cells undergoing myogenic differentiation in a chemically defined, serum-free medium are comparable to those undergoing serum starvation-demonstrating the suitability of this formulation for cultured meat production

Digitisation and 3D reconstruction of 30 year old microscopic sections of human embryo, foetus and orbit

A collection of 2200 microscopic sections was recently recovered at the Netherlands Ophthalmic Research Institute and the Department of Anatomy and Embryology of the Academic Medical Centre in Amsterdam. The sections were created thirty years ago and constitute the largest and most detailed study of human orbital anatomy to date. In order to preserve the collection, it was digitised. This paper documents a practical approach to the automatic reconstruction of a 3- D representation of the original objects from the digitised sections. To illustrate the results of our approach, we show a multi-planar reconstruction and a 3-D direct volume rendering of a reconstructed foetal head

Quantum Theory in Accelerated Frames of Reference

The observational basis of quantum theory in accelerated systems is studied. The extension of Lorentz invariance to accelerated systems via the hypothesis of locality is discussed and the limitations of this hypothesis are pointed out. The nonlocal theory of accelerated observers is briefly described. Moreover, the main observational aspects of Dirac's equation in noninertial frames of reference are presented. The Galilean invariance of nonrelativistic quantum mechanics and the mass superselection rule are examined in the light of the invariance of physical laws under inhomogeneous Lorentz transformations.Comment: 25 pages, no figures, contribution to Springer Lecture Notes in Physics (Proc. SR 2005, Potsdam, Germany, February 13 - 18, 2005

How does the electromagnetic field couple to gravity, in particular to metric, nonmetricity, torsion, and curvature?

The coupling of the electromagnetic field to gravity is an age-old problem. Presently, there is a resurgence of interest in it, mainly for two reasons: (i) Experimental investigations are under way with ever increasing precision, be it in the laboratory or by observing outer space. (ii) One desires to test out alternatives to Einstein's gravitational theory, in particular those of a gauge-theoretical nature, like Einstein-Cartan theory or metric-affine gravity. A clean discussion requires a reflection on the foundations of electrodynamics. If one bases electrodynamics on the conservation laws of electric charge and magnetic flux, one finds Maxwell's equations expressed in terms of the excitation H=(D,H) and the field strength F=(E,B) without any intervention of the metric or the linear connection of spacetime. In other words, there is still no coupling to gravity. Only the constitutive law H= functional(F) mediates such a coupling. We discuss the different ways of how metric, nonmetricity, torsion, and curvature can come into play here. Along the way, we touch on non-local laws (Mashhoon), non-linear ones (Born-Infeld, Heisenberg-Euler, Plebanski), linear ones, including the Abelian axion (Ni), and find a method for deriving the metric from linear electrodynamics (Toupin, Schoenberg). Finally, we discuss possible non-minimal coupling schemes.Comment: Latex2e, 26 pages. Contribution to "Testing Relativistic Gravity in Space: Gyroscopes, Clocks, Interferometers ...", Proceedings of the 220th Heraeus-Seminar, 22 - 27 August 1999 in Bad Honnef, C. Laemmerzahl et al. (eds.). Springer, Berlin (2000) to be published (Revised version uses Springer Latex macros; Sec. 6 substantially rewritten; appendices removed; the list of references updated

Low dose aspirin in the prevention of recurrent spontaneous preterm labour - the APRIL study: A multicenter randomized placebo controlled trial

Background: Preterm birth (birth before 37 weeks of gestation) is a major problem in obstetrics and affects an estimated 15 million pregnancies worldwide annually. A history of previous preterm birth is the strongest risk factor for preterm birth, and recurrent spontaneous preterm birth affects more than 2.5 million pregnancies each year. A recent meta-analysis showed possible benefits of the use of low dose aspirin in the prevention of recurrent spontaneous preterm birth. We will assess the (cost-)effectiveness of low dose aspirin in comparison with placebo in the prevention of recurrent spontaneous preterm birth in a randomized clinical trial. Methods/design: Women with a singleton pregnancy and a history of spontaneous preterm birth in a singleton pregnancy (22-37 weeks of gestation) will be asked to participate in a multicenter, randomized, double blinded, placebo controlled trial. Women will be randomized to low dose aspirin (80 mg once daily) or placebo, initiated from 8 to 16 weeks up to maximal 36 weeks of gestation. The primary outcome measure will be preterm birth, defined as birth at a gestational age (GA) < 37 weeks. Secondary outcomes will be a composite of adverse neonatal outcome and maternal outcomes, including subgroups of prematurity, as well as intrauterine growth restriction (IUGR) and costs from a healthcare perspective. Preterm birth will be analyzed as a group, as well as separately for spontaneous or indicated onset. Analysis will be performed by intention to treat. In total, 406 pregnant women have to be randomized to show a reduction of 35% in preterm birth from 36 to 23%. If aspirin is effective in preventing preterm birth, we expect that there will be cost savings, because of the low costs of aspirin. To evaluate this, a cost-effectiveness analysis will be performed comparing preventive treatment with aspirin with placebo. Discussion: This trial will provide evidence as to whether or not low dose aspirin is (cost-) effective in reducing recurrence of spontaneous preterm birth. Trial registration: Clinical trial registration number of the Dutch Trial Register: NTR 5675. EudraCT-registration number: 2015-003220-31