Polymorphic Endpoint Types for Copyless Message Passing

We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that accommodates polymorphic endpoint types, which are a variant of polymorphic session types, and we show that well-typed processes are free from faults, leaks, and communication errors. The type system is essentially linear, although linearity alone may leave room for scenarios where well-typed processes leak memory. We identify a condition on endpoint types that prevents these leaks from occurring.Comment: In Proceedings ICE 2011, arXiv:1108.014

Lipid oxidation kinetics of ozone-processed shrimp during iced storage using peroxide value measurements

In this research, in situ generated ozone exposure/wash cycles of 1, 3, and 5 min applied to shrimp samples either before (BIS) or during iced storage (DIS) has been used to study the lipid oxidation kinetics using the peroxide values (PV). The induction period (IP) as well as PV at end of the IP (PVIP) have been obtained. The rate constants (k) as well as half-lives (t1/2) of hydroperoxides formation for different oxidation stages were calculated. The results showed that both IP and PVIP were lower with BIS (IP between 4.35±0.09 and 5.08±0.23 days; PVIP between 2.92±0.06 and 3.40±0.18 mEq kg−1) compared with DIS (IP between 5.92±0.12 and 6.14±0.09 days; PVIP between 4.49±0.17 and 4.56±0.10 mEq kg−1). The k value for DIS seemed to be the greater compared to BIS. In addition, whilst decreases and increases in t1/2 were found at propagation, respectively, for BIS and DIS, decreases and increases were only found at the induction of oxidation stage(s) for BIS. Further, the PV of ozone-processed samples would fit first order lipid oxidation kinetics independent of duration of ozone exposures. For the first time, PV measurements and fundamental kinetic principles have been used to describe how increasing ozone exposures positively affects the different oxidation stages responsible for the formation of hydroperoxides in ozone-processed shrimp

Smart Testing and Selective Quarantine for the Control of Epidemics

This paper is based on the observation that, during Covid-19 epidemic, the choice of which individuals should be tested has an important impact on the effectiveness of selective confinement measures. This decision problem is closely related to the problem of optimal sensor selection, which is a very active research subject in control engineering. The goal of this paper is to propose a policy to smartly select the individuals to be tested. The main idea is to model the epidemics as a stochastic dynamic system and to select the individual to be tested accordingly to some optimality criteria, e.g. to minimize the probability of undetected asymptomatic cases. Every day, the probability of infection of the different individuals is updated making use of the stochastic model of the phenomenon and of the information collected in the previous days. Simulations for a closed community of 10000 individuals show that the proposed technique, coupled with a selective confinement policy, can reduce the spread of the disease while limiting the number of individuals confined if compared to the simple contact tracing of positive and to an off-line test selection strategy based on the number of contacts.Comment: Preprint submitted to Annual Reviews in Control. Updated on 22 December 202

Vibropolyfection: coupling polymer-mediated gene delivery to mechanical stimulation to enhance transfection of adherent cells

Background: With the success of recent non-viral gene delivery-based COVID-19 vaccines, nanovectors have gained some public acceptance and come to the forefront of advanced therapies. Unfortunately, the relatively low ability of the vectors to overcome cellular barriers adversely affects their effectiveness. Scientists have thus been striving to develop ever more effective gene delivery vectors, but the results are still far from satisfactory. Therefore, developing novel strategies is probably the only way forward to bring about genuine change. Herein, we devise a brand-new gene delivery strategy to boost dramatically the transfection efficiency of two gold standard nucleic acid (NA)/polymer nanoparticles (polyplexes) in vitro. Results: We conceived a device to generate milli-to-nanoscale vibrational cues as a function of the frequency set, and deliver vertical uniaxial displacements to adherent cells in culture. A short-lived high-frequency vibrational load (t= 5 min, f= 1,000 Hz) caused abrupt and extensive plasmalemma outgrowths but was safe for cells as neither cell proliferation rate nor viability was affected. Cells took about 1 hr to revert to quasi-naIve morphology through plasma membrane remodeling. In turn, this eventually triggered the mechano-activated clathrin-mediated endocytic pathway and made cells more apt to internalize polyplexes, resulting in transfection efficiencies increased from 10-to100-fold. Noteworthy, these results were obtained transfecting three cell lines and hard-to-transfect primary cells. Conclusions: In this work, we focus on a new technology to enhance the intracellular delivery of NAs and improve the transfection efficiency of non-viral vectors through priming adherent cells with a short vibrational stimulation. This study paves the way for capitalizing on physical cell stimulation(s) to significantly raise the effectiveness of gene delivery vectors in vitro and ex vivo

therapy related late adverse events in hodgkin s lymphoma

Hodgkin's lymphoma (HL) is one of the most curable hematologic diseases with an overall response rate over 80%. However, despite this therapeutic efficacy, HL survivors show a higher morbidity and mortality than other people of the same age because of long-term therapy-related events. In the last decades, many efforts have been made to reduce these effects through the reduction of chemotherapy dose, the use of less toxic chemotherapeutic agents, and the introduction of new radiation techniques. In this paper, we will describe the main long-term effects related to chemotherapy and radiotherapy for HL, the efforts to reduce toxicity made in the last years, and the clinical aspects which have to be taken into consideration in the followup of these patients