Dependencies and Simultaneity in Membrane Systems

Membrane system computations proceed in a synchronous fashion: at each step all the applicable rules are actually applied. Hence each step depends on the previous one. This coarse view can be refined by looking at the dependencies among rule occurrences, by recording, for an object, which was the a rule that produced it and subsequently (in a later step), which was the a rule that consumed it. In this paper we propose a way to look also at the other main ingredient in membrane system computations, namely the simultaneity in the rule applications. This is achieved using zero-safe nets that allows to synchronize transitions, i.e., rule occurrences. Zero-safe nets can be unfolded into occurrence nets in a classical way, and to this unfolding an event structure can be associated. The capability of capturing simultaneity of zero-safe nets is transferred on the level of event structure by adding a way to express which events occur simultaneously

A study in parallel rewriting systems

In this paper we study systematically three basic classes of grammars incorporating parallel rewriting: Indian parallel grammars, Russian parallel grammars and L systems. In particular by extracting basic characteristics of these systems and combining them we introduce new classes of rewriting systems (ETOL[k] systems, ETOLIP systems and ETOLRP systems) Among others, some results on the combinatorial structure of Indian parallel languages and on the combinatorial structures of the new classes of languages are proved. As far as ETOL systems are concerned we prove that every ETOL language can be generated with a fixed (equal to 8) bounded degree of parallelism

The regulation of protein synthesis and translation factors by CD3 and CD28 in human primary T lymphocytes

BACKGROUND: Activation of human resting T lymphocytes results in an immediate increase in protein synthesis. The increase in protein synthesis after 16–24 h has been linked to the increased protein levels of translation initiation factors. However, the regulation of protein synthesis during the early onset of T cell activation has not been studied in great detail. We studied the regulation of protein synthesis after 1 h of activation using αCD3 antibody to stimulate the T cell receptor and αCD28 antibody to provide the co-stimulus. RESULTS: Activation of the T cells with both antibodies led to a sustained increase in the rate of protein synthesis. The activities and/or phosphorylation states of several translation factors were studied during the first hour of stimulation with αCD3 and αCD28 to explore the mechanism underlying the activation of protein synthesis. The initial increase in protein synthesis was accompanied by activation of the guanine nucleotide exchange factor, eukaryotic initiation factor (eIF) 2B, and of p70 S6 kinase and by dephosphorylation of eukaryotic elongation factor (eEF) 2. Similar signal transduction pathways, as assessed using signal transduction inhibitors, are involved in the regulation of protein synthesis, eIF2B activity and p70 S6 kinase activity. A new finding was that the p38 MAPK α/β pathway was involved in the regulation of overall protein synthesis in primary T cells. Unexpectedly, no changes were detected in the phosphorylation state of the cap-binding protein eIF4E and the eIF4E-binding protein 4E-BP1, or the formation of the cap-binding complex eIF4F. CONCLUSIONS: Both eIF2B and p70 S6 kinase play important roles in the regulation of protein synthesis during the early onset of T cell activation

Bee conservation: inclusive solutions

Conservation Biolog

Euclid Preparation:XIV. The Complete Calibration of the Color-Redshift Relation (C3R2) Survey: Data Release 3

The Complete Calibration of the Color-Redshift Relation (C3R2) survey is obtaining spectroscopic redshifts in order to map the relation between galaxy color and redshift to a depth of i ~ 24.5 (AB). The primary goal is to enable sufficiently accurate photometric redshifts for Stage IV dark energy projects, particularly Euclid and the Nancy Grace Roman Space Telescope (Roman), which are designed to constrain cosmological parameters through weak lensing. We present 676 new high-confidence spectroscopic redshifts obtained by the C3R2 survey in the 2017B-2019B semesters using the DEIMOS, LRIS, and MOSFIRE multiobject spectrographs on the Keck telescopes. Combined with the 4454 redshifts previously published by this project, the C3R2 survey has now obtained and published 5130 high-quality galaxy spectra and redshifts. If we restrict consideration to only the 0.2 < zp < 2.6 range of interest for the Euclid cosmological goals, then with the current data release, C3R2 has increased the spectroscopic redshift coverage of the Euclid color space from 51% (as reported by Masters et al.) to the current 91%. Once completed and combined with extensive data collected by other spectroscopic surveys, C3R2 should provide the spectroscopic calibration set needed to enable photometric redshifts to meet the cosmology requirements for Euclid, and make significant headway toward solving the problem for Roman

Delivery of crop pollination services is an insufficient argument for wild pollinator conservation

There is compelling evidence that more diverse ecosystems deliver greater benefits to people, and these ecosystem services have become a key argument for biodiversity conservation. However, it is unclear how much biodiversity is needed to deliver ecosystem services in a cost- effective way. Here we show that, while the contribution of wild bees to crop production is significant, service delivery is restricted to a limited subset of all known bee species. Across crops, years and biogeographical regions, crop-visiting wild bee communities are dominated by a small number of common species, and threatened species are rarely observed on crops. Dominant crop pollinators persist under agricultural expansion and many are easily enhanced by simple conservation measures, suggesting that cost- effective management strategies to promote crop pollination should target a different set of species than management strategies to promote threatened bees. Conserving the biological diversity of bees therefore requires more than just ecosystem-service-based arguments

Testing Convolutional Neural Networks for finding strong gravitational lenses in KiDS

Convolutional Neural Networks (ConvNets) are one of the most promising methods for identifying strong gravitational lens candidates in survey data. We present two ConvNet lens-finders which we have trained with a dataset composed of real galaxies from the Kilo Degree Survey (KiDS) and simulated lensed sources. One ConvNet is trained with single \textit{r}-band galaxy images, hence basing the classification mostly on the morphology. While the other ConvNet is trained on \textit{g-r-i} composite images, relying mostly on colours and morphology. We have tested the ConvNet lens-finders on a sample of 21789 Luminous Red Galaxies (LRGs) selected from KiDS and we have analyzed and compared the results with our previous ConvNet lens-finder on the same sample. The new lens-finders achieve a higher accuracy and completeness in identifying gravitational lens candidates, especially the single-band ConvNet. Our analysis indicates that this is mainly due to improved simulations of the lensed sources. In particular, the single-band ConvNet can select a sample of lens candidates with $\sim40\%$ purity, retrieving 3 out of 4 of the confirmed gravitational lenses in the LRG sample. With this particular setup and limited human intervention, it will be possible to retrieve, in future surveys such as Euclid, a sample of lenses exceeding in size the total number of currently known gravitational lenses.Comment: 16 pages, 10 figures. Accepted for publication in MNRA