Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system's execution. Although CSPe has a trace semantics along with an implementation demonstrating acceptable performance, it lacks an operational semantics. An operational semantics is not only more accessible than trace semantics but also indispensable for ensuring the correctness of the implementation. Furthermore, a process algebra like CSPe admits multiple denotational semantics appropriate for different purposes, and an operational semantics is the basis for justifying such semantics' integrity and relevance. In this paper, we develop an SOS-style operational semantics for CSPe, which properly accounts for explicit failures and will serve as a basis for further study of its properties, its optimization, and its use in runtime verification

Author Correction: Fermiology and electron dynamics of trilayer nickelate La4Ni3O10.

The original version of this Article contained errors in Fig. 2, Fig. 3a-c and Supplementary Fig. 2. In Fig. 2g and Supplementary Fig. 2, the band structure plot calculated from density function theory (DFT) had a missing band of mainly z2 character that starts at about - 0.25 eV at the Y point and disperses downwards towards the Γ point. This band was inadvertently neglected when transferring the lines from the original band plot to the enhanced version for publication. Also in Fig. 2g, the points labelled M and Y were not exactly at (1/2 1/2 0) and (0 1/2 0), but rather (0.52 0.48 0) and (0 0.48 0) due to a bug in XCrysDen for low-symmetry structures that the authors failed to identify before publication. Thus, the bands presented were slightly off the true M-Y direction and additional splitting incorrectly appeared (in particular for the highly dispersive bands of x2-y2 character). The correct versions of Fig. 2g (cited as Fig. 1) and Supplementary Fig. 2 (cited as Fig. 2) are:which replaces the previous incorrect version, cited here as Fig. 3 and Fig. 4:Neither of these errors in Fig. 2g or Supplementary Fig. 2 affects either the discussion or any of the interpretations of the ARPES data provided in the paper. The authors discussed the multilayer band splitting along the Γ-M direction (δ band and α band as assigned in the paper), and ARPES did not see any split band. The authors did not discuss the further splitting that arises due to back folding along the M-Y direction.In Fig. 3a-c, the errors in the M and Y points in Fig. 2g cause subtle changes to the DFT dispersions. The correct version of Fig. 3a-c is cited here as Fig 5:which replaces the previous incorrect version (Fig. 6):However, the influence on the effective mass results of Fig. 3d is negligible.These errors have now been corrected in both the PDF and HTML versions of the Article. The authors acknowledge James Rondinelli and Danilo Puggioni from Northwestern University for calling our attention to these issues

Soy protein ingestion results in less prolonged p70S6 kinase phosphorylation compared to whey protein after resistance exercise in older men

Background The phosphorylation of p70S6 Kinase (p70S6K) is an important step in the initiation of protein translation. p70S6K phosphorylation is enhanced with graded intakes of whey protein after resistance exercise. Soy protein ingestion results in lower muscle protein synthesis after exercise compared with whey; however, the underlying mechanisms responsible for this difference have not been reported. Findings 13 older men (60–75) completed an acute bout of lower body resistance exercise and ingested 30 g of soy protein or carbohydrate. Muscle biopsies were obtained in the rested and fasted state and 2 and 4 hours post exercise. Phosphorylation status of p70S6K was measured with western blot. Results were compared with previously reported data from the ingestion of 30 g of whey protein or placebo. p70S6K phosphorylation was increased 2, but not 4 hours post exercise with soy protein ingestion. p70S6K phosphorylation was not increased post exercise with carbohydrate ingestion. Conclusions Ingesting 30 g of either whey or soy protein resulted in equivalent p70S6K phosphorylation at 2 hours post exercise, however, unlike whey, soy protein failed to promote prolonged phosphorylation of p70S6K to 4 hours post-exercise

Improving SIEM for critical SCADA water infrastructures using machine learning

Network Control Systems (NAC) have been used in many industrial processes. They aim to reduce the human factor burden and efficiently handle the complex process and communication of those systems. Supervisory control and data acquisition (SCADA) systems are used in industrial, infrastructure and facility processes (e.g. manufacturing, fabrication, oil and water pipelines, building ventilation, etc.) Like other Internet of Things (IoT) implementations, SCADA systems are vulnerable to cyber-attacks, therefore, a robust anomaly detection is a major requirement. However, having an accurate anomaly detection system is not an easy task, due to the difficulty to differentiate between cyber-attacks and system internal failures (e.g. hardware failures). In this paper, we present a model that detects anomaly events in a water system controlled by SCADA. Six Machine Learning techniques have been used in building and evaluating the model. The model classifies different anomaly events including hardware failures (e.g. sensor failures), sabotage and cyber-attacks (e.g. DoS and Spoofing). Unlike other detection systems, our proposed work helps in accelerating the mitigation process by notifying the operator with additional information when an anomaly occurs. This additional information includes the probability and confidence level of event(s) occurring. The model is trained and tested using a real-world dataset

Renewing Criminalized and Hegemonic Cultural Landscapes

The Mafia's long historical pedigree in Mezzogiorno, Southern Italy, has empowered the Mafioso as a notorious, uncontested, and hegemonic figure. The counter-cultural resistance against the mafiosi culture began to be institutionalized in the early 1990s. Today, Libera Terra is the largest civil society organization in the country that uses the lands confiscated from the Mafia as a space of cultural repertoire to realize its ideals. Deploying labor force through volunteer participation, producing biological fruits and vegetables, and providing information to the students on the fields are the principal cultural practices of this struggle. The confiscated lands make the Italian experience of anti-Mafia resistance a unique example by connecting the land with the ideals of cultural change. The sociocultural resistance of Libera Terra conveys a political message through these practices and utters that the Mafia is not invincible. This study draws the complex panorama of the Mafia and anti-Mafia movement that uses the ‘confiscated lands’ as cultural and public spaces for resistance and socio-cultural change. In doing so, this article sheds new light on the relationship between rural criminology and crime prevention policies in Southern Italy by demonstrating how community development practice of Libera Terra changes the meaning of landscape through iconographic symbolism and ethnographic performance

Dose-dependent increases in p70S6K phosphorylation and intramuscular branched-chain amino acids in older men following resistance exercise and protein intake.

Resistance exercise and whey protein supplementation are effective strategies to activate muscle cell anabolic signaling and ultimately promote increases in muscle mass and strength. In the current study, 46 healthy older men aged 60–75 (69.0 ± 0.55 years, 85.9 ± 1.8 kg, 176.8 ± 1.0 cm) performed a single bout of unaccustomed lower body resistance exercise immediately followed by ingestion of a noncaloric placebo beverage or supplement containing 10, 20, 30, or 40 g of whey protein concentrate (WPC). Intramuscular amino acid levels in muscle biopsy samples were measured by Gas Chromatography–Mass Spectrometry (GC-MS) at baseline (before exercise and WPC supplementation) plus at 2 h and 4 h post exercise. Additionally, the extent of p70S6K phosphorylation at Thr389 in muscle biopsy homogenates was assessed by western blot. Resistance exercise alone reduced intramuscular branch chain amino acid (BCAA; leucine, isoleucine, and valine) content. Supplementation with increasing doses of whey protein prevented this fall in muscle BCAAs during postexercise recovery and larger doses (30 g and 40 g) significantly augmented postexercise muscle BCAA content above that observed following placebo ingestion. Additionally, the fold change in the phosphorylation of p70S6K (Thr389) at 2 h post exercise was correlated with the dose of whey protein consumed (r = 0.51, P < 001) and was found to be significantly correlated with intramuscular leucine content (r = 0.32, P = 0.026). Intramuscular BCAAs, and leucine in particular, appear to be important regulators of anabolic signaling in aged human muscle during postexercise recovery via reversal of exercise-induced declines in intramuscular BCAAs

The scale of population structure in Arabidopsis thaliana

The population structure of an organism reflects its evolutionary history and influences its evolutionary trajectory. It constrains the combination of genetic diversity and reveals patterns of past gene flow. Understanding it is a prerequisite for detecting genomic regions under selection, predicting the effect of population disturbances, or modeling gene flow. This paper examines the detailed global population structure of Arabidopsis thaliana. Using a set of 5,707 plants collected from around the globe and genotyped at 149 SNPs, we show that while A. thaliana as a species self-fertilizes 97% of the time, there is considerable variation among local groups. This level of outcrossing greatly limits observed heterozygosity but is sufficient to generate considerable local haplotypic diversity. We also find that in its native Eurasian range A. thaliana exhibits continuous isolation by distance at every geographic scale without natural breaks corresponding to classical notions of populations. By contrast, in North America, where it exists as an exotic species, A. thaliana exhibits little or no population structure at a continental scale but local isolation by distance that extends hundreds of km. This suggests a pattern for the development of isolation by distance that can establish itself shortly after an organism fills a new habitat range. It also raises questions about the general applicability of many standard population genetics models. Any model based on discrete clusters of interchangeable individuals will be an uneasy fit to organisms like A. thaliana which exhibit continuous isolation by distance on many scales

A dynamic network approach for the study of human phenotypes

The use of networks to integrate different genetic, proteomic, and metabolic datasets has been proposed as a viable path toward elucidating the origins of specific diseases. Here we introduce a new phenotypic database summarizing correlations obtained from the disease history of more than 30 million patients in a Phenotypic Disease Network (PDN). We present evidence that the structure of the PDN is relevant to the understanding of illness progression by showing that (1) patients develop diseases close in the network to those they already have; (2) the progression of disease along the links of the network is different for patients of different genders and ethnicities; (3) patients diagnosed with diseases which are more highly connected in the PDN tend to die sooner than those affected by less connected diseases; and (4) diseases that tend to be preceded by others in the PDN tend to be more connected than diseases that precede other illnesses, and are associated with higher degrees of mortality. Our findings show that disease progression can be represented and studied using network methods, offering the potential to enhance our understanding of the origin and evolution of human diseases. The dataset introduced here, released concurrently with this publication, represents the largest relational phenotypic resource publicly available to the research community.Comment: 28 pages (double space), 6 figure

Quantum-inspired interferometry with chirped laser pulses

We introduce and implement an interferometric technique based on chirped femtosecond laser pulses and nonlinear optics. The interference manifests as a high-visibility (> 85%) phase-insensitive dip in the intensity of an optical beam when the two interferometer arms are equal to within the coherence length of the light. This signature is unique in classical interferometry, but is a direct analogue to Hong-Ou-Mandel quantum interference. Our technique exhibits all the metrological advantages of the quantum interferometer, but with signals at least 10^7 times greater. In particular we demonstrate enhanced resolution, robustness against loss, and automatic dispersion cancellation. Our interferometer offers significant advantages over previous technologies, both quantum and classical, in precision time delay measurements and biomedical imaging.Comment: 6 pages, 4 figure