Measurement of adsorption of a single component from the liquid phase : modelling investigation and sensitivity analysis

In this work, we consider an alternative approach for the measurement of adsorption from the liquid phase. Consider a mixture consisting of a non-adsorbed component (B) and an adsorbed component (A) present at some low concentration. Initially, a feed of component B only flows through a column packed with an adsorbent. Then, the feed is switched to the mixture of A and B. As soon as the mixture enters the column, there will be a reduction in the outlet flow rate as component A leaves the liquid phase and passes into the adsorbed phase. There are three stages to this work. The first is to develop overall and component balances to show how the amount adsorbed of component A can be determined from the variation in the column outlet flow rate. The second is to determine the actual variation in the column outlet flow rate for both plug flow and axial-dispersed plug flow. The final stage is to consider the suitability of a gravity-fed system to deliver the feed to the column. An analysis of the results shows that the experimental arrangement should be able to accurately monitor adsorption from the liquid phase where the mass fraction of the solute is of the order of 1%: the limiting experimental factor is how constant the volumetric flow rate of the liquid feed can be maintained

CoSMed: a confidentiality-verified social media platform

This paper describes progress with our agenda of formal verification of information-flow security for realistic systems. We present CoSMed, a social media platform with verified document confidentiality. The system’s kernel is implemented and verified in the proof assistant Isabelle/HOL. For verification, we employ the framework of Bounded-Deducibility (BD) Security, previously introduced for the conference system CoCon. CoSMed is a second major case study in this framework. For CoSMed, the static topology of declassification bounds and triggers that characterized previous instances of BD security has to give way to a dynamic integration of the triggers as part of the bound

CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees

We present the design, implementation and information flow verification of CoSMeDis, a distributed social media platform. The system consists of an arbitrary number of communicating nodes, deployable at different locations over the Internet. Its registered users can post content and establish intra-node and inter-node friendships, used to regulate access control over the posts. The system’s kernel has been verified in the proof assistant Isabelle/HOL and automatically extracted as Scala code. We formalized a framework for composing a class of information flow security guarantees in a distributed system, applicable to input/output automata. We instantiated this framework to confidentiality properties for CoSMeDis’s sources of information: posts, friendship requests, and friendship status

CoSMed: a confidentiality-verified social media platform

This paper describes progress with our agenda of formal verification of information flow security for realistic systems. We present CoSMed, a social media platform with verified document confidentiality. The system’s kernel is implemented and verified in the proof assistant Isabelle/HOL. For verification, we employ the framework of Bounded-De- ducibility (BD) Security, previously introduced for the conference system CoCon. CoSMed is a second major case study in this framework. For CoSMed, the static topology of declas- sification bounds and triggers that characterized previous instances of BD Security has to give way to a dynamic integration of the triggers as part of the bounds. We also show that, from a theoretical viewpoint, the removal of triggers from the notion of BD Security does not restrict its expressiveness

CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees

We present the design, implementation and information flow verification of CoSMeDis, a distributed social media platform. The system consists of an arbitrary number of communicating nodes, deployable at different locations over the Internet. Its registered users can post content and establish intra-node and inter-node friendships, used to regulate access control over the posts. The system's kernel has been verified in the proof assistant Isabelle/HOL and automatically extracted as Scala code. We formalized a framework for composing a class of information flow security guarantees in a distributed system, applicable to input/output automata. We instantiated this framework to confidentiality properties for CoSMeDis's sources of information: posts, friendship requests, and friendship status

Allergen immunotherapy for respiratory allergy: to what extent can the risk of systemic reactions be reduced?

Introduction: Allergen immunotherapy is an effective treatment for respiratory allergy, but the administration to patients of extracts of the causative allergen may elicit systemic reactions, which include, particularly with subcutaneous immunotherapy (SCIT), anaphylaxis. In the past, the occurrence (tough rare) of fatal reactions has represented a serious problem that has limited the prescription of SCIT. Areas covered: The authors analyzed in this review the safety data of SCIT, especially concerning the years following the identification of uncontrolled asthma at the moment of allergen injection as the major risk of life-threatening reactions and fatalities. The safety of SLIT, which is far better than SCIT, was analyzed and its specific risk factors for systemic reactions were highlighted. Expert opinion: Presently, the safety profile of SCIT and SLIT is satisfactory, provided the treatment is administered by physicians experienced in this treatment, who are aware of the known risk factors for severe reactions and who implement all measures to avoid them. For SLIT, which is self-administered by the patient, receiving the first dose under medical control is recommended

Modelling RT-qPCR cycle-threshold using digital PCR data for implementing SARS-CoV-2 viral load studies

Objectives To exploit the features of digital PCR for implementing SARS-CoV-2 observational studies by reliably including the viral load factor expressed as copies/μL. Methods A small cohort of 51 Covid-19 positive samples was assessed by both RT-qPCR and digital PCR assays. A linear regression model was built using a training subset, and its accuracy was assessed in the remaining evaluation subset. The model was then used to convert the stored cycle threshold values of a large dataset of 6208 diagnostic samples into copies/μL of SARSCoV- 2. The calculated viral load was used for a single cohort retrospective study. Finally, the cohort was randomly divided into a training set (n = 3095) and an evaluation set (n = 3113) to establish a logistic regression model for predicting case-fatality and to assess its accuracy. Results The model for converting the Ct values into copies/μL was suitably accurate. The calculated viral load over time in the cohort of Covid-19 positive samples showed very low viral loads during the summer inter-epidemic waves in Italy. The calculated viral load along with gender and age allowed building a predictive model of case-fatality probability which showed high specificity (99.0%) and low sensitivity (21.7%) at the optimal threshold which varied by modifying the threshold (i.e. 75% sensitivity and 83.7% specificity). Alternative models including categorised cVL or raw cycle thresholds obtained by the same diagnostic method also gave the same performance. Conclusion The modelling of the cycle threshold values using digital PCR had the potential of fostering studies addressing issues regarding Sars-CoV-2; furthermore, it may allow setting up predictive tools capable of early identifying those patients at high risk of case-fatality already at diagnosis, irrespective of the diagnostic RT-qPCR platform in use. Depending upon the epidemiological situation, public health authority policies/aims, the resources available and the thresholds used, adequate sensitivity could be achieved with acceptable low specificity

Quantitative analysis of videokymography in normal and pathological vocal folds: a preliminari study.

Videokymography (VKG) captures high-speed images of the vocal folds independently of the periodicity of the acoustic signal. The aim of this study was to preliminarily assess a software package that can objectively measure specific parameters of vocal fold vibration. From August 2009 until December 2010, we prospectively evaluated 40 subjects (Group A, 18 normal subjects; Group B, 14 patients with benign lesions of the middle third of the vocal fold, such as polyps and cysts; Group C, 8 patients treated by endoscopic excision of vocal fold benign lesions) by videoendoscopy, videolaryngostroboscopy, and VKG. A VKG camera was coupled to a 70 telescope and video was recorded during phonation. Images were objectively analyzed by a post-processing software tool (VKG-Analyser) with a user-friendly interface developed by our group. Different parameters were considered, including the ratio between the amplitude of the vibration of one vocal fold with respect to the contralateral (Ramp), the ratio between the period of one vocal fold vibration and the opposite one (Rper), and the ratio between the duration of the open and closed phase within a glottal cycle (Roc). Mean values for Ramp, Rper, and Roc in Group A were 1.05, 1.04, and 1.35, respectively; in Group B were 1.63, 0.92, and 0.97, respectively; and in Group C were 1.13, 0.91, and 1.85, respectively. Quantitative analysis of videokymograms by the herein presented tool, named VKG-Analyser, is useful for objective evaluation of the vibratory pattern in normal and pathologic vocal folds. Important future developments of this tool for the study of both physiologic and pathologic patterns of vocal fold vibration can be expected

Novel bicistronic lentiviral vectors correct beta-Hexosaminidase deficiency in neural and hematopoietic stem cells and progeny: implications for in vivo and ex vivo gene therapy of GM2 gangliosidosis

The favorable outcome of in vivo and ex vivo gene therapy approaches in several Lysosomal Storage Diseases suggests that these treatment strategies might equally benefit GM2 gangliosidosis. Tay-Sachs and Sandhoff disease (the main forms of GM2 gangliosidosis) result from mutations in either the HEXA or HERB genes encoding, respectively, the alpha- or beta-subunits of the lysosomal beta-Hexosaminidase enzyme. In physiological conditions, alpha- and beta-subunits combine to generate beta-Hexosaminidase A (HexA, alpha beta) and beta-Hexosaminidase B (HexB, 1313). A major impairment to establishing in vivo or ex vivo gene therapy for GM2 gangliosidosis is the need to synthesize the alpha- and beta-subunits at high levels and with the correct stoichiometric ratio, and to safely deliver the therapeutic products to all affected tissues/organs. Here, we report the generation and in vitro validation of novel bicistronic lentiviral vectors (LVs) encoding for both the murine and human codon optimized Hexa and Hex!) genes. We show that these LVs drive the safe and coordinate expression of the alpha- and beta-subunits, leading to supranormal levels of beta-Hexosaminidase activity with prevalent formation of a functional HexA in SD murine neurons and glia, murine bone marrow-derived hematopoietic stem/progenitor cells (HSPCs), and human SD fibroblasts. The restoration/overexpression of beta-Hexosaminidase leads to the reduction of intracellular GM2 ganglioside storage in transduced and in cross-corrected SD murine neural progeny, indicating that the transgenic enzyme is secreted and functional. Importantly, bicistronic LVs safely and efficiently transduce human neurons/glia and CD34 + HSPCs, which are target and effector cells, respectively, in prospective in vivo and ex vivo GT approaches. We anticipate that these bicistronic LVs may overcome the current requirement of two vectors co-delivering the alpha- or beta-subunits genes. Careful assessment of the safety and therapeutic potential of these bicistronic LVs in the SD murine model will pave the way to the clinical development of LV-based gene therapy for GM2 gangliosidosis