A stable non-interleaving early operational semantics for the pi-calculus

We give the first non-interleaving early operational semantics for the pi-calculus which generalises the standard interleaving semantics and unfolds to the stable model of prime event structures. Our starting point is the non-interleaving semantics given for CCS by Mukund and Nielsen, where the so-called structural (prefixing or subject) causality and events are defined from a notion of locations derived from the syntactic structure of the process terms. We conservatively extend this semantics with a notion of extruder histories, from which we infer the so-called link (name or object) causality and events introduced by the dynamic communication topology of the pi-calculus. We prove that the semantics generalises both the standard interleaving early semantics for the pi-calculus and the non-interleaving semantics for CCS. In particular, it gives rise to a labelled asynchronous transition system unfolding to prime event structures

Large-scale laboratory experiments on mussel dropper lines in ocean surface waves

The rapid growth of marine aquaculture around the world accentuates issues of sustainabil-ity and environmental impacts of large-scale farming systems. One potential mitigation strategy is to relocate to more energetic offshore locations. However, research regarding the forces which waves and currents impose on aquaculture structures in such conditions is still scarce. The present study aimed at extending the knowledge related to live blue mussels (Mytilus edulis), cultivated on dropper lines, by unique, large-scale laboratory experiments in the Large Wave Flume of the Coastal Research Center in Hannover, Germany. Nine-months-old live dropper lines and a surrogate of 2.0 m length each are exposed to regular waves with wave heights between 0.2 and 1.0 m and periods between 1.5 and 8.0 s. Force time histories are recorded to investigate the inertia and drag characteristics of live mussel and surrogate dropper lines. The surrogate dropper line was developed from 3D scans of blue mussel dropper lines, using the surface descriptor Abbott–Firestone Curve as quality parameter. Pull-off tests of individual mussels are conducted that reveal maximum attachment strength ranges of 0.48 to 10.55 N for mussels that had medium 3.04 cm length, 1.60 cm height and 1.25 cm width. Mean drag coefficients of CD = 3.9 were found for live blue mussel lines and CD = 3.4 for the surrogate model, for conditions of Keulegan–Carpenter number (KC) 10 to 380, using regular wave tests. © 2020 by the authors. Licensee MDPI, Basel, Switzerland

Water Saving in Rice Production

<p>Single-channel plots show percent power changes relative to baseline as a function of time and frequency for the mean power difference between Punctual and Iterative trials. The data for a single channel (FC3) in which the effect was largest is shown in (a), and the time course of the effect in the 60–80 Hz frequency band is shown in (b). Absence of mean power differences between conditions in the horizontal eye channel is shown in (c). The topographic map (d) shows the mean power difference between Punctual and Iterative trials in the 60–80 Hz frequency band, in the 600–800 ms time interval relative to visual word onset (0 ms). Black circles represent electrodes belonging to a statistically significant cluster throughout the time interval of interest (600–800 ms).</p

Partial hepatectomy in rats results in immediate down-regulation of p27Kip1 in residual liver tissue by transcriptional and post-translational processes

Purpose: The cyclin-dependent kinase (Cdk) inhibitor p27Kip1 may be involved in regulating re-entry of residual hepatocytes into the cell cycle upon loss of liver tissue by partial hepatectomy (PH). As yet, changes in Kip1 expression during the initial period following PH are not well-characterized. We investigated immediate changes in Kip1 mRNA and protein levels as well as changes in Kip1 phosphorylation in liver tissue within the relevant time window between surgery and the onset of DNA synthesis at 10–12 h. Methods: We used real-time PCR, quantitative Western blotting, and immune histochemistry on tissue samples of adult rats obtained during or between 2 and 10 h after surgical removal of two thirds of the liver to analyze Kip1 mRNA or protein levels, respectively, or to quantify nuclear expression of Kip1. Results: Kip1 mRNA was down-regulated within 4 h after PH by 60% and remained unchanged thereafter up to 10 h. With a lag phase of 2–3 h, Kip1-protein was down-regulated to a level of 40% of the control. The level of Thr187-phosphorylated Kip1 started to increase at 4 h and reached a maximum level at 8–10 h after PH. Kip1 immunoreactivity was observed in 30% of the hepatocytes before PH. Within 6–8 h after PH, more than half of the hepatocytes lost nuclear Kip1 signals. Kip1-specific micro-RNAs (miRNA221, miRNA222) were not changed upon PH. Conclusions: A portion of hepatocytes in adult rats constitutively express Kip1 and down-regulate Kip1 immediately upon PH. This response involves transcriptional processes (loss of Kip1 mRNA) as well as accelerated degradation of existing protein (increase in pThr187-phosphorylation mediating polyubiquitinylation and proteasomal degradation of Kip1). Kip1 down-regulation occurs precisely within the intervall between surgery and onset of DNA synthesis which supports the hypothesis that it mediates activation of G0/0S-phase Cdk/cyclin-complexes and re-entry of hepatocytes into the cell cycle

Hydrodynamic coefficients of mussel dropper lines derived from large-scale experiments and structural dynamics

The expansion of marine aquaculture production is driven by a high market demand for marine proteins and a stagnation of wild catch of fish. Bivalve farming, i.e., the cultivation of oysters, mussels and scallops, is an important part of the ongoing market dynamics and production expansion. As marine spatial planning is considering various use purposes, available space for near-shore aquaculture is already becoming scarce; this has fueled research and development initiatives to enable production installations further offshore. The highly energetic conditions at more exposed offshore marine sites lead to increased loads on aquaculture systems and their components and it is still not sufficiently understood how the load transfer from oceanic environmental conditions onto shellfish-encrusted surfaces attached to elastic ropes may be appropriately quantified. This study data gathered large-scale data sets in a wave tank facility, which are used to validate a novel, numerical model, building on the dynamics of rope structures which allows for the determination of the hydrodynamic loads transferred to the dropper lines. The forces and hydrodynamic parameters are measured and numerically analyzed. Based on the results, drag and inertia coefficients are determined. A drag coefficient of CD= 1.1 and an inertia coefficient of CM= 1.7 are recommended to model shellfish-encrusted dropper lines exposed to oscillatory flows with KC = 40–90. The numerical model for the determination of wave-induced forces on mussel dropper lines is developed and validated using the experimental data. It employs a modified Morison equation, which takes into account the displacement of the mussel dropper line. The influence of varying aquaculture-related parameters is discussed by applying the numerical model. Based on the gathered insights, recommendations can be given from an engineering point of view concerning the optimal placement of mussel aquaculture within the water column

Glycosylation Patterns of Proteins Studied by Liquid Chromatography-Mass Spectrometry and Bioinformatic Tools

Due to their extensive structural heterogeneity, the elucidation of glycosylation patterns in glycoproteins such as the subunits of chorionic gonadotropin (CG), CG-alpha and CG-beta remains one of the most challenging problems in the proteomic analysis of posttranslational modifications. In consequence, glycosylation is usually studied after decomposition of the intact proteins to the proteolytic peptide level. However, by this approach all information about the combination of the different glycopeptides in the intact protein is lost. In this study we have, therefore, attempted to combine the results of glycan identification after tryptic digestion with molecular mass measurements on the intact glycoproteins. Despite the extremely high number of possible combinations of the glycans identified in the tryptic peptides by high-performance liquid chromatography-mass spectrometry (> 1000 for CG-alpha and > 10.000 for CG-beta), the mass spectra of intact CG-alpha and CG-beta revealed only a limited number of glycoforms present in CG preparations from pools of pregnancy urines. Peak annotations for CG-alpha were performed with the help of an algorithm that generates a database containing all possible modifications of the proteins (inclusive possible artificial modifications such as oxidation or truncation) and subsequent searches for combinations fitting the mass difference between the polypeptide backbone and the measured molecular masses. Fourteen different glycoforms of CG-alpha, including methionine-oxidized and N-terminally truncated forms, were readily identified. For CG-beta, however, the relatively high mass accuracy of ± 2 Da was still insufficient to unambiguously assign the possible combinations of posttranslational modifications. Finally, the mass spectrometric fingerprints of the intact molecules were shown to be very useful for the characterization of glycosylation patterns in different CG preparations