Speeding up the constraint-based method in difference logic

"The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-40970-2_18"Over the years the constraint-based method has been successfully applied to a wide range of problems in program analysis, from invariant generation to termination and non-termination proving. Quite often the semantics of the program under study as well as the properties to be generated belong to difference logic, i.e., the fragment of linear arithmetic where atoms are inequalities of the form u v = k. However, so far constraint-based techniques have not exploited this fact: in general, Farkas’ Lemma is used to produce the constraints over template unknowns, which leads to non-linear SMT problems. Based on classical results of graph theory, in this paper we propose new encodings for generating these constraints when program semantics and templates belong to difference logic. Thanks to this approach, instead of a heavyweight non-linear arithmetic solver, a much cheaper SMT solver for difference logic or linear integer arithmetic can be employed for solving the resulting constraints. We present encouraging experimental results that show the high impact of the proposed techniques on the performance of the VeryMax verification systemPeer ReviewedPostprint (author's final draft

Immunotoxicity of polystyrene nanoplastics in different hemocyte subpopulations of Mytilus galloprovincialis

Plastic represents 60-80% of litter in the ocean. Degradation of plastic to small fragments leads to the formation of microplastics (MPs <5mm) and nanoplastics (NPs <1 mu m). One of the most widely used and representative plastics found in the ocean is polystyrene (PS). Among marine organisms, the immune system of bivalves is recognized as suitable to assess nanomaterial toxicity. Hemocyte subpopulations [R1 (large granular cells), R2 (small semi-granular cells) and R3 (small agranular or hyaline cells)] of Mytilus galloprovincialis are specialized in particular tasks and functions. The authors propose to examine the effects of different sizes (50 nm, 100 nm and 1 mu m) PS NPs on the different immune cells of mussels when they were exposed to (1 and 10mg.L-1) of PS NPs. The most noteworthy results found in this work are: (i) 1 mu m PS NPs provoked higher immunological responses with respect to 50 and 100nm PS NPs, possibly related to the higher stability in size and shape in hemolymph serum, (ii) the R1 subpopulation was the most affected with respect to R2 and R3 concerning immunological responses and (iii) an increase in the release of toxic radicals, apoptotic signals, tracking of lysosomes and a decrease in phagocytic activity was found in R1

Global Self-Organization of the Cellular Metabolic Structure

Background: Over many years, it has been assumed that enzymes work either in an isolated way, or organized in small catalytic groups. Several studies performed using "metabolic networks models'' are helping to understand the degree of functional complexity that characterizes enzymatic dynamic systems. In a previous work, we used "dissipative metabolic networks'' (DMNs) to show that enzymes can present a self-organized global functional structure, in which several sets of enzymes are always in an active state, whereas the rest of molecular catalytic sets exhibit dynamics of on-off changing states. We suggested that this kind of global metabolic dynamics might be a genuine and universal functional configuration of the cellular metabolic structure, common to all living cells. Later, a different group has shown experimentally that this kind of functional structure does, indeed, exist in several microorganisms. Methodology/Principal Findings: Here we have analyzed around 2.500.000 different DMNs in order to investigate the underlying mechanism of this dynamic global configuration. The numerical analyses that we have performed show that this global configuration is an emergent property inherent to the cellular metabolic dynamics. Concretely, we have found that the existence of a high number of enzymatic subsystems belonging to the DMNs is the fundamental element for the spontaneous emergence of a functional reactive structure characterized by a metabolic core formed by several sets of enzymes always in an active state. Conclusions/Significance: This self-organized dynamic structure seems to be an intrinsic characteristic of metabolism, common to all living cellular organisms. To better understand cellular functionality, it will be crucial to structurally characterize these enzymatic self-organized global structures.Supported by the Spanish Ministry of Science and Education Grants MTM2005-01504, MTM2004-04665, partly with FEDER funds, and by the Basque Government, Grant IT252-07

Understanding How Microplastics Affect Marine Biota on the Cellular Level Is Important for Assessing Ecosystem Function: A Review

Plastic has become indispensable for human life. When plastic debris is discarded into waterways, these items can interact with organisms. Of particular concern are microscopic plastic particles (microplastics) which are subject to ingestion by several taxa. This review summarizes the results of cutting-edge research about the interactions between a range of aquatic species and microplastics, including effects on biota physiology and secondary ingestion. Uptake pathways via digestive or ventilatory systems are discussed, including (1) the physical penetration of microplastic particles into cellular structures, (2) leaching of chemical additives or adsorbed persistent organic pollutants (POPs), and (3) consequences of bacterial or viral microbiota contamination associated with microplastic ingestion. Following uptake, a number of individual-level effects have been observed, including reduction of feeding activities, reduced growth and reproduction through cellular modifications, and oxidative stress. Microplastic-associated effects on marine biota have become increasingly investigated with growing concerns regarding human health through trophic transfer. We argue that research on the cellular interactions with microplastics provide an understanding of their impact to the organisms’ fitness and, therefore, its ability to sustain their functional role in the ecosystem. The review summarizes information from 236 scientific publications. Of those, only 4.6% extrapolate their research of microplastic intake on individual species to the impact on ecosystem functioning. We emphasize the need for risk evaluation from organismal effects to an ecosystem level to effectively evaluate the effect of microplastic pollution on marine environments. Further studies are encouraged to investigate sublethal effects in the context of environmentally relevant microplastic pollution conditions

Transverse momentum spectra of charged particles in proton-proton collisions at s=900\sqrt{s} = 900 GeV with ALICE at the LHC

The inclusive charged particle transverse momentum distribution is measured in proton-proton collisions at $\sqrt{s} = 900$ GeV at the LHC using the ALICE detector. The measurement is performed in the central pseudorapidity region $(|\eta|<0.8)$ over the transverse momentum range $0.15<p_{\rm T}<10$ GeV/$c$. The correlation between transverse momentum and particle multiplicity is also studied. Results are presented for inelastic (INEL) and non-single-diffractive (NSD) events. The average transverse momentum for $|\eta|<0.8$ is $\left<p_{\rm T}\right>_{\rm INEL}=0.483\pm0.001$ (stat.) $\pm0.007$ (syst.) GeV/$c$ and \left_{\rm NSD}=0.489\pm0.001 (stat.) $\pm0.007$ (syst.) GeV/$c$, respectively. The data exhibit a slightly larger $\left<p_{\rm T}\right>$ than measurements in wider pseudorapidity intervals. The results are compared to simulations with the Monte Carlo event generators PYTHIA and PHOJET.Comment: 20 pages, 8 figures, 2 tables, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/390

Intraperitoneal drain placement and outcomes after elective colorectal surgery: international matched, prospective, cohort study

Despite current guidelines, intraperitoneal drain placement after elective colorectal surgery remains widespread. Drains were not associated with earlier detection of intraperitoneal collections, but were associated with prolonged hospital stay and increased risk of surgical-site infections.Background Many surgeons routinely place intraperitoneal drains after elective colorectal surgery. However, enhanced recovery after surgery guidelines recommend against their routine use owing to a lack of clear clinical benefit. This study aimed to describe international variation in intraperitoneal drain placement and the safety of this practice. Methods COMPASS (COMPlicAted intra-abdominal collectionS after colorectal Surgery) was a prospective, international, cohort study which enrolled consecutive adults undergoing elective colorectal surgery (February to March 2020). The primary outcome was the rate of intraperitoneal drain placement. Secondary outcomes included: rate and time to diagnosis of postoperative intraperitoneal collections; rate of surgical site infections (SSIs); time to discharge; and 30-day major postoperative complications (Clavien-Dindo grade at least III). After propensity score matching, multivariable logistic regression and Cox proportional hazards regression were used to estimate the independent association of the secondary outcomes with drain placement. Results Overall, 1805 patients from 22 countries were included (798 women, 44.2 per cent; median age 67.0 years). The drain insertion rate was 51.9 per cent (937 patients). After matching, drains were not associated with reduced rates (odds ratio (OR) 1.33, 95 per cent c.i. 0.79 to 2.23; P = 0.287) or earlier detection (hazard ratio (HR) 0.87, 0.33 to 2.31; P = 0.780) of collections. Although not associated with worse major postoperative complications (OR 1.09, 0.68 to 1.75; P = 0.709), drains were associated with delayed hospital discharge (HR 0.58, 0.52 to 0.66; P &lt; 0.001) and an increased risk of SSIs (OR 2.47, 1.50 to 4.05; P &lt; 0.001). Conclusion Intraperitoneal drain placement after elective colorectal surgery is not associated with earlier detection of postoperative collections, but prolongs hospital stay and increases SSI risk