Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify and analyse a prominent example of adaptive system: robot swarms equipped with obstacle-avoidance self-assembly strategies. The analysis exploits the statistical model checker PVesta

On the new very early table varieties obtained by crossing different varieties of grapevine

In order to obtain new table grape varieties which ripen before or at the same time as variety Pearl of Csaba, we performed many intervarietal crossings at our experimental station, using the following parents: Pearl of Csaba, Chasselas Bouvier, Muscat Ottonel, Queen of Vineyard, Cardinal, Dattier de Beyrouth, Ribier.The Government Commission acknowledged five very early varieties, three of which have also better agrobiological and technological characteristics than the variety Pearl of Csaba.The new variety Demir Door ripens on average 6 d, the new variety Early of Belgrade 3-5 d earlier, and the new variety Grochanka ripens at the same time or 1-3 d later as the control variety Pearl of Csaba.Due to multiple regression analysis, biological characteristics as yield, cluster and berry weights and sugar content strongly depend on meteorological conditions (temperature, rainfall and solar radiation); this is valid for all the new varieties and the variety Pearl of Csaba at all locations investigated.Analysis of variance (level of 0.05 and 0.01) shows that compared to the control variety we obtained with new varieties significantly greater yields, very significant large cluster and berry weights and very significantly better uvological characteristics of berry. The average yields for all investigated locations were increased in comparison to the control variety Pearl of Csaba: Demir Door +3.004 kg/ha, Early of Belgrade +6.259 kg/ha, Grochanka +7.065 kg/ha.Organoleptic characteristics are much improved with all new varieties which is illustrated by increased indexes.All investigated varieties are acknowledged genotypes of Vitis vinifera L, and all of these new varieties exhibited better biological and technological parameters than Pearl of Csaba

Electric generation of vortices in an exciton-polariton superfluid

We have theoretically demonstrated the on demand electric generation of vortices in an exciton-polariton superfluid. Electric pulses applied to a horseshoe-shaped metallic mesa, deposited on top of the microcavity, generate a non-cylindrically symmetric solitonic wave in the system. Breakdown of its wavefront at focal points leads to the formation of vortex-antivortex pairs which subsequently propagate in the superfluid. The trajectory of these vortex dipoles can be controlled by applying a voltage to additional electrodes. They can be confined within channels formed by metallic stripes and unbound by a wedged mesa giving birth to grey solitons. Finally single static vortices can be generated using a single metallic plate configuration.Comment: 7 pages and 7 figure

Fit and Tipsy? The Interrelationship between Cardiorespiratory Fitness and Alcohol Consumption and Dependence

Purpose To examine whether higher levels of cardiorespiratory fitness are related to increased alcohol consumption and dependence among a large sample of adults attending a preventive medicine clinic.Methods A cross-sectional study of 38,653 apparently healthy patients who visited the Cooper Clinic (Dallas, TX) for preventive medical examinations (1988–2019) and enrolled in the Cooper Center Longitudinal Study. The primary independent variable was cardiorespiratory fitness, based on a maximal treadmill test, and the dependent variables were alcohol consumption and dependence (self-reported). The relations between fitness category (low, moderate, high) and alcohol consumption (low, moderate, heavy) and suggested alcohol dependence (Cut down, Annoyed, Guilty, Eye opener score ≥2) among women and men were estimated via multivariable regression while adjusting for covariates (e.g., age, birth year cohort, marital status, and body mass index).Results Women within the moderate and high fitness categories had 1.58 (95% confidence interval [CI], 1.32–1.91) and 2.14 (95% CI, 1.77–2.58) greater odds of moderate/heavy alcohol consumption, respectively, in comparison to their low fitness counterparts. Similarly, moderate and high fit men had 1.42 (95% CI, 1.30–1.55) and 1.63 (95% CI, 1.49–1.80) times greater odds of moderate-to-heavy alcohol consumption, respectively, in comparison to the low fitness group. In addition, among men who were heavy drinkers (but not women), higher fitness levels were related to lower rates of suggested alcohol dependence. Specifically, these men had 45.7%, 41.7%, and 34.9% proportions of clinically relevant alcohol problems across low, moderate, and high fitness categories (adjusted P for trend &lt;0.001).Conclusions Higher fitness levels are significantly related to greater alcohol consumption among a large cohort of adult patients. Interventions focusing on increasing fitness (via physical activity promotion) might consider concurrently aiming to reduce alcohol consumption.<br/

Knowledge, empathy, and willingness to counsel patients with HIV among Indonesian pharmacists:a national survey of stigma

This study aimed to assess the level of HIV treatment knowledge, empathy, and HIV stigma of pharmacy students and pharmacists working with patients as well as potential factors associated with stigma. This survey included 250 hospital pharmacists within 33 provinces and 1013 final-year pharmacy students from Java, the most populated island in Indonesia. The data were collected via Qualtrics® and distributed by WhatsApp. The mean age of the participants was (Mean ± SD) 24.68 ± 5.30 years, and 80.0% were female. The mean knowledge score of students and pharmacists were 14.14 ± 2.01 and 15.39 ± 1.87, respectively, out of the maximum score of 21. The mean empathy score of students and pharmacists was 72.06 ± 5.39 and 77.40 ± 1.35, respectively out of the maximum score of 105. The mean stigma score of students and pharmacists was 21.02 ± 4.65 and 20.66 ± 4.41, respectively, out of a maximum score of 48. Regression analysis showed that knowledge, empathy, and willingness to counsel patients were negatively associated with stigma. Working with patients was positively associated with stigma. A multi-level intervention including education may reduce stigma and strengthen the role of pharmacists in caring for patients

Changes in the concentrations and transcripts for gibberellins and other hormones in a growing leaf and roots of wheat seedlings in response to water restriction

Background Bread wheat (Triticum aestivum) is a major source of nutrition globally, but yields can be seriously compromised by water limitation. Redistribution of growth between shoots and roots is a common response to drought, promoting plant survival, but reducing yield. Gibberellins (GAs) are necessary for shoot and root elongation, but roots maintain growth at lower GA concentrations compared with shoots, making GA a suitable hormone for mediating this growth redistribution. In this study, the effect of progressive drought on GA content was determined in the base of the 4th leaf and root tips of wheat seedlings, containing the growing regions, as well as in the remaining leaf and root tissues. In addition, the contents of other selected hormones known to be involved in stress responses were determined. Transcriptome analysis was performed on equivalent tissues and drought-associated differential expression was determined for hormone-related genes. Results After 5 days of applying progressive drought to 10-day old seedlings, the length of leaf 4 was reduced by 31% compared with watered seedlings and this was associated with significant decreases in the concentrations of bioactive GA(1) and GA(4) in the leaf base, as well as of their catabolites and precursors. Root length was unaffected by drought, while GA concentrations were slightly, but significantly higher in the tips of droughted roots compared with watered plants. Transcripts for the GA-inactivating gene TaGA2ox4 were elevated in the droughted leaf, while those for several GA-biosynthesis genes were reduced by drought, but mainly in the non-growing region. In response to drought the concentrations of abscisic acid, cis-zeatin and its riboside increased in all tissues, indole-acetic acid was unchanged, while trans-zeatin and riboside, jasmonate and salicylic acid concentrations were reduced. Conclusions Reduced leaf elongation and maintained root growth in wheat seedlings subjected to progressive drought were associated with attenuated and increased GA content, respectively, in the growing regions. Despite increased TaGA2ox4 expression, lower GA levels in the leaf base of droughted plants were due to reduced biosynthesis rather than increased catabolism. In contrast to GA, the other hormones analysed responded to drought similarly in the leaf and roots, indicating organ-specific differential regulation of GA metabolism in response to drought