A criterion for separating process calculi

We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, within an enclosing context, a process that cannot perform any visible action by an arbitrary process never inhibits the capability of the resulting process to perform a visible action. We prove that there exists no compositional and interaction sensitive encoding of a not strongly replacement free calculus into any strongly replacement free one. We then define a weaker version of replacement freeness, by only considering replacement of closed processes, and prove that, if we additionally require the encoding to preserve name independence, it is not even possible to encode a non replacement free calculus into a weakly replacement free one. As a consequence of our encodability results, we get that many calculi equipped with priority are not replacement free and hence are not encodable into mainstream calculi like CCS and pi-calculus, that instead are strongly replacement free. We also prove that variants of pi-calculus with match among names, pattern matching or polyadic synchronization are only weakly replacement free, hence they are separated both from process calculi with priority and from mainstream calculi.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Process algebra modelling styles for biomolecular processes

We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed

The ANTARES Collaboration: Contributions to ICRC 2017 Part I: Neutrino astronomy (diffuse fluxes and point sources)

Papers on neutrino astronomy (diffuse fluxes and point sources, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboratio

The ANTARES Collaboration: Contributions to ICRC 2017 Part II: The multi-messenger program

Papers on the ANTARES multi-messenger program, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboratio

The ANTARES Collaboration: Contributions to ICRC 2017 Part III: Searches for dark matter and exotics, neutrino oscillations and detector calibration

Papers on the searches for dark matter and exotics, neutrino oscillations and detector calibration, prepared for the 35th International Cosmic Ray Conference (ICRC 2017, Busan, South Korea) by the ANTARES Collaboratio

Truly scalable K-Truss and max-truss algorithms for community detection in graphs

The notion of k-truss has been introduced a decade ago in social network analysis and security for community detection, as a form of cohesive subgraphs less stringent than a clique (set of pairwise linked nodes), and more selective than a k-core (induced subgraph with minimum degree k). A k-truss is an inclusion-maximal subgraph Hin which each edge belongs to at least k-2triangles inside H. The truss decomposition establishes, for each edge e, the maximum kfor which ebelongs to a k-truss. Analogously to the largest clique and to the maximum k-core, the strongest community for k-truss is the max-truss, which corresponds to the k-truss having the maximum k. Even though the computation of truss decomposition and of the max-truss takes polynomial time, on a large scale, it suffers from handling a potentially cubic number of wedges. In this paper, we provide a new algorithm FMT, which advances the state of the art on different sides: lower execution time, lower memory usage, and no need for expensive hardware. We compare FMT experimentally with the most recent state-of-the-art algorithms on a set of large real-world and synthetic networks with over a billion edges. The massive improvement allows FMT to compute the max-truss of networks of tens of billions of edges on a single standard server machine

The Attributed Pi Calculus with Priorities

International audienceWe present the attributed $\pi$-calculus for modeling concurrent systems with interaction constraints depending on the values of attributes of processes. The $\pi$-calculus serves as a constraint language underlying the $\pi$-calculus. Interaction constraints subsume priorities, by which to express global aspects of populations. We present a nondeterministic and a stochastic semantics for the attributed $\pi$-calculus. We show how to encode the $\pi$-calculus with priorities and polyadic synchronization $\pi$@ and thus dynamic compartments, as well as the stochastic $\pi$-calculus with concurrent objects spico. We illustrate the usefulness of the attributed $\pi$-calculus for modeling biological systems at two particular examples: Euglena’s spatial movement in phototaxis, and cooperative protein binding in gene regulation of bacteriophage lambda. Furthermore, population-based model is supported beside individual-based modeling. A stochastic simulation algorithm for the attributed $\pi$-calculus is derived from its stochastic semantics. We have implemented a simulator and present experimental results, that confirm the practical relevance of our approach

The prognostic role of post-induction FDG-PET in patients with follicular lymphoma: a subset analysis from the FOLL05 trial of the Fondazione Italiana Linfomi (FIL)

BACKGROUND: [18F]fluorodeoxyglucose-positron emission tomography (PET) is emerging as a strong diagnostic and prognostic tool in follicular lymphoma (FL) patients. PATIENTS AND METHODS: In a subset analysis of the FOLL05 trial (NCT00774826), we investigated the prognostic role of post-induction PET (PI-PET) scan. Patients were eligible to this study if they had a PI-PET scan carried out within 3 months from the end of induction immunochemotherapy. Progression-free survival (PFS) was the primary study end point. RESULTS: A total of 202 patients were eligible and analysed for this study. The median age was 55 years (range 33-75). Overall, PI-PET was defined as positive in 49 (24%) patients. Conventional response assessment with CT scan was substantially modified by PET: 15% (22/145) of patients considered as having a complete response (CR) after CT were considered as having partial response (PR) after PI-PET and 53% (30/57) patients considered as having a PR after CT were considered as a CR after PI-PET. With a median follow-up of 34 months, the 3-year PFS was 66% and 35%, respectively, for patients with negative and positive PI-PET (P<0.001). At multivariate analysis, PI-PET (hazard ratio 2.57, 95% confidence interval 1.52-4.34, P<0.001) was independent of conventional response, FLIPI and treatment arm. Also, the prognostic role of PI-PET was maintained within each FLIPI risk group. CONCLUSIONS: In FL patients, PI-PET substantially modifies response assessment and is strongly predictive for the risk of progression. PET should be considered in further updates of response criteria

Inertial bioluminescence rhythms at the Capo Passero (KM3NeT-Italia) site, Central Mediterranean Sea

In the deep sea, the sense of time is dependent on geophysical fluctuations, such as internal tides and atmospheric-related inertial currents, rather than day-night rhythms. Deep-sea neutrino telescopes instrumented with light detecting Photo-Multiplier Tubes (PMT) can be used to describe the synchronization of bioluminescent activity of abyssopelagic organisms with hydrodynamic cycles. PMT readings at 8 different depths (from 3069 to 3349 m) of the NEMO Phase 2 prototype, deployed offshore Capo Passero (Sicily) at the KM3NeT-Italia site, were used to characterize rhythmic bioluminescence patterns in June 2013, in response to water mass movements. We found a significant (p < 0.05) 20.5 h periodicity in the bioluminescence signal, corresponding to inertial fluctuations. Waveform and Fourier analyses of PMT data and tower orientation were carried out to identify phases (i.e. the timing of peaks) by subdividing time series on the length of detected inertial periodicity. A phase overlap between rhythms and cycles suggests a mechanical stimulation of bioluminescence, as organisms carried by currents collide with the telescope infrastructure, resulting in the emission of light. A bathymetric shift in PMT phases indicated that organisms travelled in discontinuous deep-sea undular vortices consisting of chains of inertially pulsating mesoscale cyclones/anticyclones, which to date remain poorly known

Evaluation of physicochemical characteristics, color and volatile profile of low alcohol beverage based on concentrated white wine produced by NF and RO membranes

Membrane-based technologies have emerged as vital methods for reducing or removing ethanol in winemaking. This study evaluates the efficacy of nanofiltration (NF-DK) and reverse osmosis (RO-SG) membranes in ethanol reduction for white wine, focusing on permeate flux behavior, fouling index, permeability, ethanol rejection rates, and retention of essential wine components. Experiments were conducted at 21 degrees C, achieving a weight reduction factor (WRF) of 4. The RO-SG membrane experienced a significant decline (78.2 %) in flux over 247 min to achieve WRF 4, whereas the NF-DK membrane exhibited a lesser flux decline of 49.2 %, reaching WRF 4 in just 40 min. Despite the higher ethanol rejection achieved by RO-SG (16.3 %) compared to NF-DK (1.8 %), ROSG demonstrated greater retention of critical compounds, including citric acid, tartaric acid, lactic acid, total acidity, glycerol, dry extract, and key volatile compounds. The produced low-alcohol wines, RO(B) (3.07 % v/v) and NF(B) (2.50 % v/v), showed significant physicochemical changes. Colorimetric analysis revealed deeper red hues and greater color intensity in RO(B) (0.28) compared to NF(B) (0.19) and the original wine (0.23), with a Delta E of 3.26 for RO(B), indicating pronounced visual deviations. Moreover, the retention of volatile compounds was substantially higher in RO(B) (55 %) compared to NF(B) (28 %), highlighting substantial differences in aroma and flavor. These findings highlight the potential of membrane-based approaches for ethanol reduction while emphasizing their impact on key quality parameters, providing valuable insights for the scalable production of low-alcohol wines with controlled compositional attributes