An improved direct labeling method for the max–flow min–cut computation in large hypergraphs and applications

Algorithms described so far to solve the maximum flow problem on hypergraphs first necessitate the transformation of these hypergraphs into directed graphs. The resulting maximum flow problem is then solved by standard algorithms. This paper describes a new method that solves the maximum flow problem directly on hypergraphs, leading to both reduced run time and lower memory requirements. We compare our approach with a state–of–the–art algorithm that uses a transformation of the hypergraph into a directed graph and an augmenting path algorithm to compute the maximum flow on this directed graph: the run–time complexity as well as the memory space complexity are reduced by a constant factor. Experimental results on large hypergraphs from VLSI applications show that the run time is reduced, on average, by a factor approximately 2, while memory occupation is reduced, on average, by a factor of 10. This improvement is particularly interesting for very large instances, to be solved in practical applications.     

Virtual Organizations in Arigatoni

Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by a simple resource discovery protocol (RDP). Basic Global Computers Units (GC) can communicate by first registering to a brokering service and then by mutually asking and offering services.Colonies and communities are the main entities in the model. A colony is a simple virtual organization composed by exactly one leader and some set (possibly empty) of individuals. A community is a raw set of colonies and global computers (think it as a soup of colonies and global computer without a leader).We present an operational semantics via a labeled transition system, that describes the main operations necessary in the Arigatoni model to perform leader negotiation, joining/leaving a colony, linking two colonies and moving one GC from one colony to another. Our formalization results to be adequate w.r.t. the algorithm performing peer logging/delogging and colony aggregation.     

A Timing Assumption and Two t-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems

This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in message-passing systems, very few solutions have been proposed for shared memory systems. As an eventual leader cannot be elected in a pure asynchronous system prone to process crashes, the paper first proposes to enrich the asynchronous system model with an additional assumption. That assumption (denoted AWB) is particularly weak. It is made up of two complementary parts. More precisely, it requires that, after some time, (1) there is a process whose write accesses to some shared variables be timely, and (2) the timers of (t−f) other processes be asymptotically well-behaved (t denotes the maximal number of processes that may crash, and f the actual number of process crashes in a run). The asymptotically well-behaved timer notion is a new notion that generalizes and weakens the traditional notion of timers whose durations are required to monotonically increase when the values they are set to increase (a timer works incorrectly when it expires at arbitrary times, i.e., independently of the value it has been set to). The paper then focuses on the design of t-resilient AWB-based eventual leader protocols. “t-resilient” means that each protocol can cope with up to t process crashes (taking t=n−1 provides wait-free protocols, i.e., protocols that can cope with any number of process failures). Two protocols are presented. The first enjoys the following noteworthy properties: after some time only the elected leader has to write the shared memory, and all but one shared variables have a bounded domain, be the execution finite or infinite. This protocol is consequently optimal with respect to the number of processes that have to write the shared memory. The second protocol guarantees that all the shared variables have a bounded domain. This is obtained at the following additional price: t+1 processes are required to forever write the shared memory. A theorem is proved which states that this price has to be paid by any protocol that elects an eventual leader in a bounded shared memory model. This second protocol is consequently optimal with respect to the number of processes that have to write in such a constrained memory model. In a very interesting way, these protocols show an inherent tradeoff relating the number of processes that have to write the shared memory and the bounded/unbounded attribute of that memory.     

The Endothelium and COVID-19: An Increasingly Clear Link Brief Title: Endotheliopathy in COVID-19

The endothelium has a fundamental role in the cardiovascular complications of coronavirus disease 2019 (COVID-19). Infection with severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) particularly affects endothelial cells. The virus binds to the angiotensin-converting enzyme 2 (ACE-2) receptor (present on type 2 alveolar cells, bronchial epithelial cells, and endothelial cells), and induces a cytokine storm. The cytokines tumor necrosis factor alpha, interleukin-1 beta, and interleukin-6 have particular effects on endothelial cells—leading to endothelial dysfunction, endothelial cell death, changes in tight junctions, and vascular hyperpermeability. Under normal conditions, apoptotic endothelial cells are removed into the bloodstream. During COVID-19, however, endothelial cells are detached more rapidly, and do not regenerate as effectively as usual. The loss of the endothelium on the luminal surface abolishes all of the vascular responses mediated by the endothelium and nitric oxide production in particular, which results in greater contractility. Moreover, circulating endothelial cells infected with SARS-CoV-2 act as vectors for viral dissemination by forming clusters that migrate into the circulation and reach distant organs. The cell clusters and the endothelial dysfunction might contribute to the various thromboembolic pathologies observed in COVID-19 by inducing the formation of intravascular microthrombi, as well as by triggering disseminated intravascular coagulation. Here, we review the contributions of endotheliopathy and endothelial-cell-derived extracellular vesicles to the pathogenesis of COVID-19, and discuss therapeutic strategies that target the endothelium in patients with COVID-19.     

Pre-Omicron Vaccine Breakthrough Infection Induces Superior Cross-Neutralization against SARS-CoV-2 Omicron BA.1 Compared to Infection Alone

SARS-CoV-2 variants raise concern because of their high transmissibility and their ability to evade neutralizing antibodies elicited by prior infection or by vaccination. Here, we compared the neutralizing abilities of sera from 70 unvaccinated COVID-19 patients infected before the emergence of variants of concern (VOCs) and of 16 vaccine breakthrough infection (BTI) cases infected with Gamma or Delta against the ancestral B.1 strain, the Gamma, Delta and Omicron BA.1 VOCs using live virus. We further determined antibody levels against the Nucleocapsid (N) and full Spike proteins, the receptor-binding domain (RBD) and the N-terminal domain (NTD) of the Spike protein. Convalescent sera featured considerable variability in the neutralization of B.1 and in the cross-neutralization of different strains. Their neutralizing capacity moderately correlated with antibody levels against the Spike protein and the RBD. All but one convalescent serum failed to neutralize Omicron BA.1. Overall, convalescent sera from patients with moderate disease had higher antibody levels and displayed a higher neutralizing ability against all strains than patients with mild or severe forms of the disease. The sera from BTI cases fell into one of two categories: half the sera had a high neutralizing activity against the ancestral B.1 strain as well as against the infecting strain, while the other half had no or a very low neutralizing activity against all strains. Although antibody levels against the spike protein and the RBD were lower in BTI sera than in unvaccinated convalescent sera, most neutralizing sera also retained partial neutralizing activity against Omicron BA.1, suggestive of a better cross-neutralization and higher affinity of vaccine-elicited antibodies over virus-induced antibodies. Accordingly, the IC50: antibody level ratios were comparable for BTI and convalescent sera, but remained lower in the neutralizing convalescent sera from patients with moderate disease than in BTI sera. The neutralizing activity of BTI sera was strongly correlated with antibodies against the Spike protein and the RBD. Together, these findings highlight qualitative differences in antibody responses elicited by infection in vaccinated and unvaccinated individuals. They further indicate that breakthrough infection with a pre-Omicron variant boosts immunity and induces cross-neutralizing antibodies against different strains, including Omicron BA.1.     

MERIS potential for land applications

The Medium Resolution Imaging Spectrometer (MERIS), to be flown on the Envisat platform, contributes to the effort made by space agencies to generate Earth observation data that are responsive to the needs of the users. Although optimized for oceanic applications, this instrument should also be useful for a range of terrestrial investigations. This paper reviews the relevance of a suite of features specific to MERIS (e.g. fine radiometric and spectral resolution, programmability, the availability of an onboard calibration system) for terrestrial applications. Scientific challenges related to scale issues, the definition of appropriate algorithms for the optimal exploitation of these data, the opportunity for synergistic studies and the comparison of MERIS data with other data collected by the Advanced Very High Resolution Radiometer (AVHRR) and other precursor or future instruments are reviewed. The urgent need for an intensive and sustained research and development programme to define and validate a panoply of highlevel products optimized for terrestrial applications is stressed.     

Generalized linear systems with lumped or distributed parameters and differential vector spaces

By employing differential vector spaces, we obtain results for linear systems with constant or varying coefficients and with lumped or distributed parameters which were only known for constant linear systems described by rational transfer matrices. Questions such as the characterization of input and output, input-output equivalence, invertibility, feedback decoupling and realization are investigated.     

Experimental validation of a type-2 fuzzy logic controller for energy management in hybrid electrical vehicles

The aim of this paper is to present experimental validation results of an energy management system for hybrid electrical vehicles based on type-2 fuzzy logic. The energy management system (EMS) is designed by extracting knowledge from several experts using surveys. The consideration of interval type-2 fuzzy sets enables modeling the uncertainty in the answers of the experts. The validation of the EMS is performed on a real-scale heavy duty vehicle equipped with different energy sources such as batteries, fuel cell system and ultracapacitors. Experimental results are strong evidence that type-2 fuzzy logic is wide adapted for performing the energy management in hybrid electrical vehicles.     

Modelling collective decision making in groups and crowds: Integrating social contagion and interacting emotions, beliefs and intentions

Collective decision making involves on the one hand individual mental states such as beliefs, emotions and intentions, and on the other hand interaction with others with possibly different mental states. Achieving a satisfactory common group decision on which all agree requires that such mental states are adapted to each other by social interaction. Recent developments in social neuroscience have revealed neural mechanisms by which such mutual adaptation can be realised. These mechanisms not only enable intentions to converge to an emerging common decision, but at the same time enable to achieve shared underlying individual beliefs and emotions. This paper presents a computational model for such processes. As an application of the model, an agent-based analysis was made of patterns in crowd behaviour, in particular to simulate a real-life incident that took place on May 4, 2010 in Amsterdam. From available video material and witness reports, useful empirical data were extracted. Similar patterns were achieved in simulations, whereby some of the parameters of the model were tuned to the case addressed, and most parameters were assigned default values. The results show the inclusion of contagion of belief, emotion, and intention states of agents results in better reproduction of the incident than non-inclusion.