First-order queries on finite structures over the reals

We investigate properties of finite relational structures over the reals expressed by first-order sentences whose predicates are the relations of the structure plus arbitrary polynomial inequalities, and whose quantifiers can range over the whole set of reals. In constraint programming terminology, this corresponds to Boolean real polynomial constraint queries on finite structures. The fact that quantifiers range over all reals seems crucial; however, we observe that each sentence in the first-order theory of the reals can be evaluated by letting each quantifier range over only a finite set of real numbers without changing its truth value. Inspired by this observation, we then show that when all polynomials used are linear, each query can be expressed uniformly on all finite structures by a sentence of which the quantifiers range only over the finite domain of the structure. In other words, linear constraint programming on finite structures can be reduced to ordinary query evaluation as usual in finite model theory and databases. Moreover, if only "generic" queries are taken into consideration, we show that this can be reduced even further by proving that such queries can be expressed by sentences using as polynomial inequalities only those of the simple form x <y

A blended preconception lifestyle programme for couples undergoing IVF:lessons learned from a multicentre randomized controlled trial

Study question: What is the effect of a blended preconception lifestyle programme on reproductive and lifestyle outcomes of couples going through their first 12 months of IVF as compared to an attention control condition?Summery answer:This randomized controlled trial (RCT) was stopped prematurely because of the coronavirus disease 2019 (Covid-19) pandemic but the available data did not suggest that a blended preconception lifestyle programme could meaningfully affect time to ongoing pregnancy or other reproductive and lifestyle outcomes.What is know already:Increasing evidence shows associations between a healthy lifestyle and IVF success rates. Lifestyle programmes provided through a mobile phone application have yet to be evaluated by RCTs in couples undergoing IVF.Study design, size, duration:A multicentre RCT (1:1) was carried out. The RCT started in January 2019 and was prematurely stopped because of the Covid-19 pandemic, leading to a reduced sample size (211 couples initiating IVF) and change in primary outcome (cumulative ongoing pregnancy to time to ongoing pregnancy).Participants/materials, setting, methods:Heterosexual couples initiating IVF in five fertility clinics were randomized between an attention control arm and an intervention arm for 12 months. The attention control arm received treatment information by mobile phone in addition to standard care. The intervention arm received the blended preconception lifestyle (PreLiFe)-programme in addition to standard care. The PreLiFe-programme included a mobile application, offering tailored advice and skills training on diet, physical activity and mindfulness, in combination with motivational interviewing over the telephone. The primary outcome was 'time to ongoing pregnancy'. Secondary reproductive outcomes included the Core Outcome Measures for Infertility Trials and IVF discontinuation. Changes in the following secondary lifestyle outcomes over 3 and 6 months were studied in both partners: diet quality, fruit intake, vegetable intake, total moderate to vigorous physical activity, sedentary behaviour, emotional distress, quality of life, BMI, and waist circumference. Finally, in the intervention arm, acceptability of the programme was evaluated and actual use of the mobile application part of the programme was tracked. Analysis was according to intention to treat.Main results and the role of chance:A total of 211 couples were randomized (105 control arm, 106 intervention arm). The hazard ratio of the intervention for time to ongoing pregnancy was 0.94 (95% CI 0.63 to 1.4). Little to no effect on other reproductive or lifestyle outcomes was identified. Although acceptability of the programme was good (6/10), considerable proportions of men (38%) and 9% of women did not actively use all the modules of the mobile application (diet, physical activity, or mindfulness).Limitations, reasons for caution:The findings of this RCT should be considered exploratory, as the Covid-19 pandemic limited its power and the actual use of the mobile application was low.Wider implications of the findings:This is the first multicentre RCT evaluating the effect of a blended preconception lifestyle programme for women and their partners undergoing IVF on both reproductive and lifestyle outcomes. This exploratory RCT highlights the need for further studies into optimal intervention characteristics and actual use of preconception lifestyle programmes, as well as RCTs evaluating effectiveness.Study fonding/competing intrest(s):Supported by the Research foundation Flanders (Belgium) (FWO-TBM; reference: T005417N). No competing interests to declare.Trial registration number:ClinicalTrials.gov Identifier: NCT03790449TRIAL REGISTRATION DATE 31 December 2018DATE OF FIRST PATIENT'S ENROLMENT 2 January 201

Enhancement of the Adhesive Properties by Optimizing the Water Content in PNIPAM-Functionalized Complex Coacervates

Most commercially available soft tissue glues offer poor performance in the human body. We have developed an injectable adhesive whose setting mechanism is activated by a change in environmental factors, i.e., temperature and/or ionic strength. The material and setting process are inspired by the adhesive processing mechanism observed in natural maritime glues. Complex coacervation, a liquid-liquid phase separation between oppositely charged polyelectrolytes, is thought to play an important role in the processing. Complex coacervates are characterized by a high water content, which inevitably weakens the glue. Here, we aim to increase the adhesive performance by systematically tuning the water content. Among the several strategies here explored, the most effective one is the mechanical removal of water using an extruder, resulting in an increase of work of adhesion by 1 order of magnitude compared to the original formulation

Prevalence of Toxoplasma gondii in Belgian wildlife

De Craeye, S., Speybroeck, N., Baert, K., Ajzenberg, D., Dardé, M.L., Collinet, F., Tavernier, P., Van Gucht, S., Dorny, P., Dierick, K

Body size and dispersal mode as key traits determining metacommunity structure of aquatic organisms

Relationships between traits of organisms and the structure of their metacommunities have so far mainly been explored with meta-analyses. We compared metacommunities of a wide variety of aquatic organism groups (12 groups, ranging from bacteria to fish) in the same set of 99 ponds to minimise biases inherent to meta-analyses. In the category of passive dispersers, large-bodied groups showed stronger spatial patterning than small-bodied groups suggesting an increasing impact of dispersal limitation with increasing body size. Metacommunities of organisms with the ability to fly (i.e. insect groups) showed a weaker imprint of dispersal limitation than passive dispersers with similar body size. In contrast, dispersal movements of vertebrate groups (fish and amphibians) seemed to be mainly confined to local connectivity patterns. Our results reveal that body size and dispersal mode are important drivers of metacommunity structure and these traits should therefore be considered when developing a predictive framework for metacommunity dynamics

Public transport policy in the Netherlands

Dutch public transport as a part of transport policy.Institute of Transport and Logistics Studies. Faculty of Economics and Business. The University of Sydne

Anemia in Patients With Resistance to Thyroid Hormone α: A Role for Thyroid Hormone Receptor α in Human Erythropoiesis

Context: Patients with resistance to thyroid hormone (TH) α (RTHα) are characterized by growth retardation, macrocephaly, constipation, and abnormal thyroid function tests. In addition, almost all RTHα patients have mild anemia, the pathogenesis of which is unknown. Animal studies suggest an important role for TH and TH receptor (TR)α in erythropoiesis.Objective: To investigate whether a defect in TRα affects the maturation of red blood cells in RTHα patients.Design, Setting, and Patients: Cultures of primary human erythroid progenitor cells (HEPs), from peripheral blood of RTHα patients (n = 11) harboring different inactivating mutations in TRα (P398R, F397fs406X, C392X, R384H, A382fs388X, A263V, A263S), were compared with healthy controls (n = 11). During differentiation, erythroid cells become smaller, accumulate hemoglobin, and express different cell surface markers. We assessed cell number and cell size, and used cell staining and fluorescence-activated cell sorter analysis to monitor maturation at different time points.Results: After ∼14 days of ex vivo expansion, both control and patient-derived progenitors differentiated spontaneously. However, RTHα-derived cells differentiated more slowly. During spontaneous differentiation, RTHα-derived HEPs were larger, more positive for c-Kit (a proliferation marker), and less positive for glycophorin A (a differentiation marker). The degree of abnormal spontaneous maturation of RTHα-derived progenitors did not correlate with severity of underlying TRα defect. Both control and RTHα-derived progenitors responded similarly when differentiation was induced. T3 exposure accelerated differentiation of both control- and RTHα patient-derived HEPs.Conclusions: Inactivating mutations in human TRα affect the balance between proliferation and differentiation of progenitor cells d