A CSP-Based Trajectory for Designing Formally Verified Embedded Control Software

This paper presents in a nutshell a procedure for producing formally verified concurrent software. The design paradigm provides means for translating block-diagrammed models of systems from various problem domains in a graphical notation for process-oriented architectures. Briefly presented CASE tool allows code generation both for formal analysis of the models of software and code generation in a target implementation language. For formal analysis a highquality commercial formal checker is used

gCSP: A Graphical Tool for Designing CSP systems

For broad acceptance of an engineering paradigm, a graphical notation and a supporting design tool seem necessary. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview

A distinct single-stranded DNA-binding protein encoded by the Lactococcus lactis bacteriophage bIL67

Single-stranded binding proteins (SSBs) are found to participate in various processes of DNA metabolism in all known organisms. We describe here a SSB protein encoded by the Lactococcus lactis phage bIL67 orf14 gene. It is the first noted attempt at characterizing a SSB protein from a lactococcal phage. The purified Orf14bIL67 binds unspecifically to ssDNA with the same high affinity as the canonical Bacillus subtilis SSB. Electrophoretic mobility-shift assays performed with mutagenized Orf14bIL67 protein derivatives suggest that ssDNA-binding occurs via a putative OB-fold structure predicted by three-dimensional modeling. The native Orf14bIL67 forms homotetramers as determined by gel filtration studies. These results allow distinguishing the first lactococcal phage protein with single-strand binding affinity, which defines a novel cluster of phage SSBs proteins. The possible role of Orf14bIL67 in phage multiplication cycle is also discussed

Differential regulation of cell motility and invasion by FAK

Cell migration and invasion are fundamental components of tumor cell metastasis. Increased focal adhesion kinase (FAK) expression and tyrosine phosphorylation are connected with elevated tumorigenesis. Null mutation of FAK results in embryonic lethality, and FAK−/− fibroblasts exhibit cell migration defects in culture. Here we show that viral Src (v-Src) transformation of FAK−/− cells promotes integrin-stimulated motility equal to stable FAK reexpression. However, FAK−/− v-Src cells were not invasive, and FAK reexpression, Tyr-397 phosphorylation, and FAK kinase activity were required for the generation of an invasive cell phenotype. Cell invasion was linked to transient FAK accumulation at lamellipodia, formation of a FAK–Src-p130Cas–Dock180 signaling complex, elevated Rac and c-Jun NH2-terminal kinase activation, and increased matrix metalloproteinase expression and activity. Our studies support a dual role for FAK in promoting cell motility and invasion through the activation of distinct signaling pathways

Extent of Height Variability Explained by Known Height-Associated Genetic Variants in an Isolated Population of the Adriatic Coast of Croatia

BACKGROUND: Human height is a classical example of a polygenic quantitative trait. Recent large-scale genome-wide association studies (GWAS) have identified more than 200 height-associated loci, though these variants explain only 2∼10% of overall variability of normal height. The objective of this study was to investigate the variance explained by these loci in a relatively isolated population of European descent with limited admixture and homogeneous genetic background from the Adriatic coast of Croatia. METHODOLOGY/PRINCIPAL FINDINGS: In a sample of 1304 individuals from the island population of Hvar, Croatia, we performed genome-wide SNP typing and assessed the variance explained by genetic scores constructed from different panels of height-associated SNPs extracted from five published studies. The combined information of the 180 SNPs reported by Lango Allen el al. explained 7.94% of phenotypic variation in our sample. Genetic scores based on 20~50 SNPs reported by the remaining individual GWA studies explained 3~5% of height variance. These percentages of variance explained were within ranges comparable to the original studies and heterogeneity tests did not detect significant differences in effect size estimates between our study and the original reports, if the estimates were obtained from populations of European descent. CONCLUSIONS/SIGNIFICANCE: We have evaluated the portability of height-associated loci and the overall fitting of estimated effect sizes reported in large cohorts to an isolated population. We found proportions of explained height variability were comparable to multiple reference GWAS in cohorts of European descent. These results indicate similar genetic architecture and comparable effect sizes of height loci among populations of European descent

Behavioral responses of terrestrial mammals to COVID-19 lockdowns

COVID-19 lockdowns in early 2020 reduced human mobility, providing an opportunity to disentangle its effects on animals from those of landscape modifications. Using GPS data, we compared movements and road avoidance of 2300 terrestrial mammals (43 species) during the lockdowns to the same period in 2019. Individual responses were variable with no change in average movements or road avoidance behavior, likely due to variable lockdown conditions. However, under strict lockdowns 10-day 95th percentile displacements increased by 73%, suggesting increased landscape permeability. Animals' 1-hour 95th percentile displacements declined by 12% and animals were 36% closer to roads in areas of high human footprint, indicating reduced avoidance during lockdowns. Overall, lockdowns rapidly altered some spatial behaviors, highlighting variable but substantial impacts of human mobility on wildlife worldwide.acceptedVersio

Imidazole propionate is increased in diabetes and associated with dietary patterns and altered microbial ecology

Microbiota-host-diet interactions contribute to the development of metabolic diseases. Imidazole propionate is a novel microbially produced metabolite from histidine, which impairs glucose metabolism. Here, we show that subjects with prediabetes and diabetes in the MetaCardis cohort from three European countries have elevated serum imidazole propionate levels. Furthermore, imidazole propionate levels were increased in subjects with low bacterial gene richness and Bacteroides 2 enterotype, which have previously been associated with obesity. The Bacteroides 2 enterotype was also associated with increased abundance of the genes involved in imidazole propionate biosynthesis from dietary histidine. Since patients and controls did not differ in their histidine dietary intake, the elevated levels of imidazole propionate in type 2 diabetes likely reflects altered microbial metabolism of histidine, rather than histidine intake per se. Thus the microbiota may contribute to type 2 diabetes by generating imidazole propionate that can modulate host inflammation and metabolism

Behavioral responses of terrestrial mammals to COVID-19 lockdowns

COVID-19 lockdowns in early 2020 reduced human mobility, providing an opportunity to disentangle its effects on animals from those of landscape modifications. Using GPS data, we compared movements and road avoidance of 2300 terrestrial mammals (43 species) during the lockdowns to the same period in 2019. Individual responses were variable with no change in average movements or road avoidance behavior, likely due to variable lockdown conditions. However, under strict lockdowns 10-day 95th percentile displacements increased by 73%, suggesting increased landscape permeability. Animals' 1-hour 95th percentile displacements declined by 12% and animals were 36% closer to roads in areas of high human footprint, indicating reduced avoidance during lockdowns. Overall, lockdowns rapidly altered some spatial behaviors, highlighting variable but substantial impacts of human mobility on wildlife worldwide.acceptedVersio

Self-organization of the human embryo in the absence of maternal tissues.

Remodelling of the human embryo at implantation is indispensable for successful pregnancy. Yet it has remained mysterious because of the experimental hurdles that beset the study of this developmental phase. Here, we establish an in vitro system to culture human embryos through implantation stages in the absence of maternal tissues and reveal the key events of early human morphogenesis. These include segregation of the pluripotent embryonic and extra-embryonic lineages, and morphogenetic rearrangements leading to generation of a bilaminar disc, formation of a pro-amniotic cavity within the embryonic lineage, appearance of the prospective yolk sac, and trophoblast differentiation. Using human embryos and human pluripotent stem cells, we show that the reorganization of the embryonic lineage is mediated by cellular polarization leading to cavity formation. Together, our results indicate that the critical remodelling events at this stage of human development are embryo-autonomous, highlighting the remarkable and unanticipated self-organizing properties of human embryos.This work was supported by the Wellcome Trust grant to M.Z- G. Work in Dr. K.K.N lab was supported by The Francis Crick Institute, which receives its core funding from Cancer Research UK, the Medical Research Council and the Wellcome Trust. Dr. M.N.S. was initially supported by a Ramon Areces Spanish Foundation Fellowship, and subsequently by an EMBO Postdoctoral Fellowship. Dr. S.V was supported by a Post Doc Pool Grant from the Finnish Cultural Foundation. Dr. GR was supported by a Newton Fellowship.This is the author accepted manuscript. It is currently under an indefinite embargo pending publication by Nature Publishing Group

Height and body-mass index trajectories of school-aged children and adolescents from 1985 to 2019 in 200 countries and territories: a pooled analysis of 2181 population-based studies with 65 million participants

Summary Background Comparable global data on health and nutrition of school-aged children and adolescents are scarce. We aimed to estimate age trajectories and time trends in mean height and mean body-mass index (BMI), which measures weight gain beyond what is expected from height gain, for school-aged children and adolescents. Methods For this pooled analysis, we used a database of cardiometabolic risk factors collated by the Non-Communicable Disease Risk Factor Collaboration. We applied a Bayesian hierarchical model to estimate trends from 1985 to 2019 in mean height and mean BMI in 1-year age groups for ages 5–19 years. The model allowed for non-linear changes over time in mean height and mean BMI and for non-linear changes with age of children and adolescents, including periods of rapid growth during adolescence. Findings We pooled data from 2181 population-based studies, with measurements of height and weight in 65 million participants in 200 countries and territories. In 2019, we estimated a difference of 20 cm or higher in mean height of 19-year-old adolescents between countries with the tallest populations (the Netherlands, Montenegro, Estonia, and Bosnia and Herzegovina for boys; and the Netherlands, Montenegro, Denmark, and Iceland for girls) and those with the shortest populations (Timor-Leste, Laos, Solomon Islands, and Papua New Guinea for boys; and Guatemala, Bangladesh, Nepal, and Timor-Leste for girls). In the same year, the difference between the highest mean BMI (in Pacific island countries, Kuwait, Bahrain, The Bahamas, Chile, the USA, and New Zealand for both boys and girls and in South Africa for girls) and lowest mean BMI (in India, Bangladesh, Timor-Leste, Ethiopia, and Chad for boys and girls; and in Japan and Romania for girls) was approximately 9–10 kg/m2. In some countries, children aged 5 years started with healthier height or BMI than the global median and, in some cases, as healthy as the best performing countries, but they became progressively less healthy compared with their comparators as they grew older by not growing as tall (eg, boys in Austria and Barbados, and girls in Belgium and Puerto Rico) or gaining too much weight for their height (eg, girls and boys in Kuwait, Bahrain, Fiji, Jamaica, and Mexico; and girls in South Africa and New Zealand). In other countries, growing children overtook the height of their comparators (eg, Latvia, Czech Republic, Morocco, and Iran) or curbed their weight gain (eg, Italy, France, and Croatia) in late childhood and adolescence. When changes in both height and BMI were considered, girls in South Korea, Vietnam, Saudi Arabia, Turkey, and some central Asian countries (eg, Armenia and Azerbaijan), and boys in central and western Europe (eg, Portugal, Denmark, Poland, and Montenegro) had the healthiest changes in anthropometric status over the past 3·5 decades because, compared with children and adolescents in other countries, they had a much larger gain in height than they did in BMI. The unhealthiest changes—gaining too little height, too much weight for their height compared with children in other countries, or both—occurred in many countries in sub-Saharan Africa, New Zealand, and the USA for boys and girls; in Malaysia and some Pacific island nations for boys; and in Mexico for girls. Interpretation The height and BMI trajectories over age and time of school-aged children and adolescents are highly variable across countries, which indicates heterogeneous nutritional quality and lifelong health advantages and risks