Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL

Hygienic quality of dehydrated aromatic herbs marketed in Southern Portugal

Dehydrated aromatic herbs are highly valued ingredients, widely used at home level and by food processing industry, frequently added to a great number of recipes in the Mediterranean countries. Despite being considered low-moisture products and classified as GRAS, during pre and post-harvesting stages of production they are susceptible of microbial contamination. In Europe an increasing number of food recalls and disease outbreaks associated with dehydrated herbs have been reported in recent years. In this study the microbial quality of 99 samples of aromatic herbs (bay leaves, basil, coriander, oregano, parsley, Provence herbs, rosemary and thyme) collected from retails shops in the region of Algarve (Southern Portugal) was assessed. All the samples were tested by conventional methods and were assayed for the total count of aerobic mesophilic microorganisms, Salmonella spp., Escherichia coli, coagulase-positive staphylococci and filamentous fungi. Almost 50 % of the herbs did not exceed the aerobic mesophilic level of 104 CFU/g. The fungi count regarded as unacceptable (106 CFU/g) was not found in any of the tested herbs, while 84 % of the samples ranged from ≤102 to 104 CFU/g. No sample was positive for the presence of Salmonella spp., Escherichia coli and staphylococci. The results are in compliance with the European Commission criteria although they point out to the permanent need of surveillance on the good standards of handling/cooking practices as well as the importance of avoiding contamination at production, retailing and distribution. The microbiological hazards associated with the pathogenic and toxigenic microbiota of dried herbs remain as a relevant public health issue, due to the fact that they are added to foods not submitted to any following lethal procedure. Control measures should be adopted in order to ensure that all phases of their supply chain respect the food safety standards.FCT: UID/BIA/04325/2019.info:eu-repo/semantics/publishedVersio

What is a unit of nature? Measurement challenges in the emerging biodiversity credit market

Bending the curve of biodiversity loss requires the business and financial sectors to disclose and reduce their biodiversity impacts and help fund nature recovery. This has sparked interest in developing generalizable, standardized measurements of biodiversity—essentially a ‘unit of nature’. We examine how such units are defined in the rapidly growing voluntary biodiversity credits market and present a framework exploring how biodiversity is quantified, how delivery of positive outcomes is detected and attributed to the investment and how the number of credits issued is adjusted to account for uncertainties. We demonstrate that there are deep uncertainties throughout the process and question if the benefits of biodiversity credits, and other efforts to abstract nature to a single unit, outweigh the harms. Credits can only be positive for biodiversity if they are used with unprecedentedly strict regulation that ensures businesses mostly avoid negative impacts and if they are purchased to quantify positive contributions rather than as direct offsets. While there may be a role for markets in attracting conservation funding, they will only ever be part of the solution, especially for the many aspects of nature that cannot be reduced to a unit

Effect of crosslinking on the microtribological behavior of model polymer brushes

Polymer brushes in good solvents are known to exhibit excellent tribological properties. We have modeled polymer brushes and their gels using a multibead-spring model and studied their tribological behavior via nonequilibrium molecular-dynamics (MD) simulations. Simulations of brush- against-wall systems were performed using an implicit solvent-based approach. Polymer chains were modeled as linear chains, randomly grafted on a planar surface. Quantities extracted from the simulations are the normal stress, shear stress and concentration profiles. We find that while an increase in the degree of crosslinking leads to an increase in the coefficient of friction, an increase of the length of crosslinker chains does the opposite. Effect of crosslinking can be understood in two ways: (i) there are fewer polymer chains in the outer layer as the degree of crosslinking increases to take part in brush-assisted lubrication, and (ii) crosslinked polymer chains are more resistant to shear than non-crosslinked ones

Multi-Constellation GNSS Multipath Mitigation Using Consistency Checking

In a typical urban environment, a mixture of multipath-free, multipath-contaminated and non-line-of-sight (NLOS) propagated GNSS signals are received. The errors caused by multipath-contaminated and NLOS reception are the dominant source of reduced consumer-grade positioning accuracy in the urban environment. Many conventional receiver-based and antenna-based techniques have been developed to mitigate either multipath or NLOS reception with mixed success. Nevertheless, the positioning accuracy can be maximised based on the simple principle of selecting only those signals least contaminated by multipath and NLOS propagation to form the navigation solution. The advent of multi-constellation GNSS provides the opportunity to realise this technique that is potentially low-cost and effective for consumer-grade devices. It may also be implemented as an augmentation to other multipath mitigation techniques. The focus of this paper is signal selection by consistency checking, whereby measurements from different satellites are compared with each other to identify the NLOS and most multipath-contaminated signals. The principle of consistency checking is that multipath-contaminated and NLOS measurements produce a less consistent navigation solution than multipath-free measurements. RAIM-based fault detection operates on the same principle. Three consistency-checking schemes based on single-epoch least-squares residuals are assessed: single sweep, recursive checking and a hybrid version of the first two. Two types of weighting schemes are also considered: satellite elevation-based and signal C/N0-based weighting. The paper also discussed the different observables that may be used by a consistency-checking algorithm for different applications and their effect on detection sensitivity. Test results for the proposed algorithms are presented using data from both static positioning and stand-alone dynamic positioning experiments. The static data was collected using a pair of survey-grade multi-constellation GNSS receivers using both GPS and GLONASS signals at open sky and urban canyon locations, while the dynamic data was collected using a consumer-grade GPS/GLONASS receiver on a car in a mixed urban environment. Significant improvements in position domain are demonstrated using the weighted recursive methods in the open environments. However in the urban environments, there are insufficient directly received signals for the conventional RAIM-based signal selection to be effective all the time. Both positioning improvements and risky outliers are demonstrated. More advanced techniques have been identified for investigation in future research

Multivariable regression analysis in Schistosoma mansoni-infected individuals in the Sudan reveals unique immunoepidemiological profiles in uninfected, egg+ and non-egg+ infected individuals

Background: In the Sudan, Schistosoma mansoni infections are a major cause of morbidity in schoolaged children and infection rates are associated with available clean water sources. During infection, immune responses pass through a Th1 followed by Th2 and Treg phases and patterns can relate to different stages of infection or immunity. Methodology: This retrospective study evaluated immunoepidemiological aspects in 234 individuals(range 4–85 years old) from Kassala and Khartoum states in 2011. Systemic immune profiles(cytokines and immunoglobulins) and epidemiological parameters were surveyed in n = 110 persons presenting patent S. mansoni infections (egg+), n = 63 individuals positive for S. mansoni via PCR in sera but egg negative (SmPCR+) and n = 61 people who were infection-free (Sm uninf). Immunoepidemiological findings were further investigated using two binary multivariable regression analysis. Principal Findings: Nearly all egg+ individuals had no access to latrines and over 90% obtained water via the canal stemming from the Atbara River. With regards to age, infection and an egg+ status was linked to young and adolescent groups. In terms of immunology, S. mansoni infection per se was strongly associated with increased SEA-specific IgG4 but not IgE levels. IL-6, IL-13 and IL-10 were significantly elevated in patently-infected individuals and positively correlated with egg load. In contrast, IL-2 and IL-1β were significantly lower in SmPCR+ individuals when compared to Sm uninf and egg+ groups which was further confirmed during multivariate regression analysis. Conclusions/Significance: Schistosomiasis remains an important public health problem in the Sudan with a high number of patent individuals. In addition, SmPCR diagnostics revealed another cohort of infected individuals with a unique immunological profile and provides an avenue for future studies on non-patent infection states. Future studies should investigate the downstream signalling pathways/mechanisms of IL-2 and IL-1β as potential diagnostic markers in order to distinguish patent from non-patent individuals

Azimuthal Charged-Particle Correlations and Possible Local Strong Parity Violation

Parity-odd domains, corresponding to nontrivial topological solutions of the QCD vacuum, might be created during relativistic heavy-ion collisions. These domains are predicted to lead to charge separation of quarks along the system’s orbital momentum axis. We investigate a three-particle azimuthal correlator which is a P even observable, but directly sensitive to the charge separation effect. We report measurements of charged hadrons near center-of-mass rapidity with this observable in Au+Au and Cu+Cu collisions at √sNN=200  GeV using the STAR detector. A signal consistent with several expectations from the theory is detected. We discuss possible contributions from other effects that are not related to parity violation

Metabolic compartmentalization in the human cortex and hippocampus: evidence for a cell- and region-specific localization of lactate dehydrogenase 5 and pyruvate dehydrogenase

BACKGROUND: For a long time now, glucose has been thought to be the main, if not the sole substrate for brain energy metabolism. Recent data nevertheless suggest that other molecules, such as monocarboxylates (lactate and pyruvate mainly) could be suitable substrates. Although monocarboxylates poorly cross the blood brain barrier (BBB), such substrates could replace glucose if produced locally.The two key enzymatiques systems required for the production of these monocarboxylates are lactate dehydrogenase (LDH; EC1.1.1.27) that catalyses the interconversion of lactate and pyruvate and the pyruvate dehydrogenase complex that irreversibly funnels pyruvate towards the mitochondrial TCA and oxydative phosphorylation. RESULTS: In this article, we show, with monoclonal antibodies applied to post-mortem human brain tissues, that the typically glycolytic isoenzyme of lactate dehydrogenase (LDH-5; also called LDHA or LDHM) is selectively present in astrocytes, and not in neurons, whereas pyruvate dehydrogenase (PDH) is mainly detected in neurons and barely in astrocytes. At the regional level, the distribution of the LDH-5 immunoreactive astrocytes is laminar and corresponds to regions of maximal 2-deoxyglucose uptake in the occipital cortex and hippocampus. In hippocampus, we observed that the distribution of the oxidative enzyme PDH was enriched in the neurons of the stratum pyramidale and stratum granulosum of CA1 through CA4, whereas the glycolytic enzyme LDH-5 was enriched in astrocytes of the stratum moleculare, the alveus and the white matter, revealing not only cellular, but also regional, selective distributions. The fact that LDH-5 immunoreactivity was high in astrocytes and occurred in regions where the highest uptake of 2-deoxyglucose was observed suggests that glucose uptake followed by lactate production may principally occur in these regions. CONCLUSION: These observations reveal a metabolic segregation, not only at the cellular but also at the regional level, that support the notion of metabolic compartmentalization between astrocytes and neurons, whereby lactate produced by astrocytes could be oxidized by neurons

Nutrient and salt depletion synergistically boosts glucose metabolism in individual Escherichia coli cells

This is the final version. Available on open access from Nature Research via the DOI in this recordData availability; All RNA sequencing data and proteomics data is available in Supplementary Data 1–4. Exact p values, where shown on Figs. 1–5, are available in Supplementary Data 5. The source data underlying Figs. 1–5 are provided as Supplementary Data 6. Any other relevant data are available upon reasonable request.The interaction between a cell and its environment shapes fundamental intracellular processes such as cellular metabolism. In most cases growth rate is treated as a proximal metric for understanding the cellular metabolic status. However, changes in growth rate might not reflect metabolic variations in individuals responding to environmental fluctuations. Here we use single-cell microfluidics-microscopy combined with transcriptomics, proteomics and mathematical modelling to quantify the accumulation of glucose within Escherichia coli cells. In contrast to the current consensus, we reveal that environmental conditions which are comparatively unfavourable for growth, where both nutrients and salinity are depleted, increase glucose accumulation rates in individual bacteria and population subsets. We find that these changes in metabolic function are underpinned by variations at the translational and posttranslational level but not at the transcriptional level and are not dictated by changes in cell size. The metabolic response-characteristics identified greatly advance our fundamental understanding of the interactions between bacteria and their environment and have important ramifications when investigating cellular processes where salinity plays an important role.Biotechnology & Biological Sciences Research Council (BBSRC)Biotechnology and Biological Sciences Research Council (BBSRC)Medical Research Council (MRC)Royal SocietyQUEX Initiator grantEuropean Union Horizon 2020Gordon and Betty and Gordon Moore FoundationWellcome Trus