AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System

A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [Stefanescu, G. Interactive systems with registers and voices. Fundamenta Informaticae 73 (2006), 285–306. (Early draft, School of Computing, National University of Singapore, July 2004.)]. After that, Dragoi and Stefanescu have developed structured programming techniques for rv-systems and their verification, see, e.g., [Dragoi, C., and G. Stefanescu. Structured programming for interactive rv-systems. Institute of Mathematics of the Romanian Academy, IMAR Preprint 9/2006, Bucharest 2006. Dragoi, C., and G. Stefanescu. Towards a Hoare-like logic for structured rv-programs. Institute of Mathematics of the Romanian Academy, IMAR Preprint 10/2006, Bucharest, 2006. Dragoi, C., and G. Stefanescu. Implementation and verification of ring termination detection protocols using structured rv-programs. Annals of University of Bucharest, Mathematics-Informatics Series, 55 (2006), 129–138. Dragoi, C., and G. Stefanescu. Structured interactive programs with registers and voices and their verification. Draft, Bucharest, January 2007. Dragoi, C., and G. Stefanescu. On compiling structured interactive programs with registers and voices. In: “Proc. SOFSEM 2008,” 259–270. LNCS 4910, Springer, 2008.].In the present paper a kernel programming language AGAPIA v0.1 for interactive systems is introduced. The language contains definitions for complex spatial and temporal data, arithmetic and boolean expressions, modules, and while-programming statements with their temporal, spatial, and spatio-temporal versions. In AGAPIA v0.1 one can write programs for open processes located at various sites and having their temporal windows of adequate reaction to the environment. The main technical part of the paper describes a typing system for AGAPIA v0.1 programs.     

Magnesia supported Au and Ag catalysts for the preparation of few-layer graphene–metal nanocomposites: relationship between catalyst structure and the properties of graphene composites

Magnesia supported Au, Ag, and Au–Ag nanostructured catalysts were prepared, characterized, and used to synthesize few-layer graphene–metal nanoparticle (Gr–MeNP) composites. The catalysts have a mezoporous structure and a mixture of MgO and MgO·H₂O as support. The gold nanoparticles (AuNPs) are uniformly dispersed on the surface of the Au/MgO catalysts, and have a uniform round shape with a medium size of ~8 nm. On the other hand, the silver nanoparticles (AgNPs) present on the Ag/MgO catalyst have an irregular shape, larger diameters, and less uniform dispersion. The Au–Ag/MgO catalyst contains large Au–Ag bimetallic particles of ~20–30 nm surrounded by small (5 nm) AuNPs. Following the RF-CCVD process and the dissolution of the magnesia support, relative large, few-layer, wrinkled graphene sheets decorated with metal nanoparticles (MeNPs) are observed. Graphene–gold (Gr–Au) and graphene–silver (Gr–Ag) composites had 4–7 graphitic layers with a relatively large area and similar crystallinity for samples prepared in similar experimental conditions. Graphene–gold–silver composites (Gr–Au–Ag) presented graphitic rectangles with round, bent edges, higher crystallinity, and a higher number of layers (8–14). The MeNPs are encased in the graphitic layers of all the different samples. Their size, shape, and distribution depend on the nature of the catalyst. The AuNPs were uniformly distributed, had a size of about 15 nm, and a round shape similar to those from Au/MgO catalyst. In Gr–Ag, the AgNPs have a round shape, very different from that of the Ag/MgO catalyst, large size distribution and are not uniformly distributed on the surface. Agglomerations of AgNPs together with large areas of pristine few-layer graphene were observed. In Gr–Au–Ag composites, almost exclusively large bimetallic particles of about 25–30 nm, situated at the edge of graphene rectangles have been found.     

Analysing the Combined Health,Social and Economic Impacts of the Corovanvirus Pandemic Using Agent-Based Social Simulation

Minds and Machines - During the COVID-19 crisis there have been many difficult decisions governments and other decision makers had to make. E.g. do we go for a total lock down or keep schools open?...     

Increased heart rate in depressed subjects in spite of unchanged autonomic balance?

A clinical study was conducted to examine the effects of depression on cardiac autonomic control. Cardiac autonomic control was measured in 26 nonmedicated patients (19 females) suffering from Major Depression, melancholic type, and in 26 age- and sex-matched normal controls. We measured heart rate and high frequency heart rate variability (respiratory sinus arrhythmia), pulsewave velocity and blood pressure, during 10 min of supine rest under controlled conditions. Using a log transformed time domain measure of respiratory sinus arrhythmia (logRSA), we found an inverse linear dependence between cardiac vagal tone and age in the healthy subjects as well as the depressed patients. logRSA was 0.22+/-0.25 in the patients and 0.25+/-0.16 in the control group. While this difference was not significant (P > 0.1), the deviations from the regression line were significantly (P < 0.0005) greater in the patients (0.21+/-0.12) than in the control group (0.09+/-0.07), indicating a more heterogeneous vagal tone in the depressed patients. Heart rate was also significantly (P < 0.03) greater in the depressed patients (76.6+/-12.4) than in the control group (69.5+/-6.9). No between-group differences were found in pulsewave velocity or systolic blood pressure, but diastolic blood pressure was lower in depressed patients (73.5+/-8.7 vs. 80.8+/-9.1). We discuss the possibility that the increased heart rate seen in the absence of vagal tone changes may not be due to altered vagal or sympathetic tone, as measured in this study. Other factors, including altered autonomous heart rate, may be responsible for the higher heart rate in the depressed group.     

Pregnancy-Related Extracellular Vesicles Revisited

Extracellular vesicles (EVs) are small vesicles ranging from 20–200 nm to 10 μm in diameter that are discharged and taken in by many different types of cells. Depending on the nature and quantity of their content—which generally includes proteins, lipids as well as microRNAs (miRNAs), messenger-RNA (mRNA), and DNA—these particles can bring about functional modifications in the receiving cells. During pregnancy, placenta and/or fetal-derived EVs have recently been isolated, eliciting interest in discovering their clinical significance. To date, various studies have associated variations in the circulating levels of maternal and fetal EVs and their contents, with complications including gestational diabetes and preeclampsia, ultimately leading to adverse pregnancy outcomes. Furthermore, EVs have also been identified as messengers and important players in viral infections during pregnancy, as well as in various congenital malformations. Their presence can be detected in the maternal blood from the first trimester and their level increases towards term, thus acting as liquid biopsies that give invaluable insight into the status of the feto-placental unit. However, their exact roles in the metabolic and vascular adaptations associated with physiological and pathological pregnancy is still under investigation. Analyzing peer-reviewed journal articles available in online databases, the purpose of this review is to synthesize current knowledge regarding the utility of quantification of pregnancy related EVs in general and placental EVs in particular as non-invasive evidence of placental dysfunction and adverse pregnancy outcomes, and to develop the current understanding of these particles and their applicability in clinical practice.