Recent Biophysical Issues About the Preparation of Solute-Filled Lipid Vesicles

Here we report some recent biophysical issues on the preparation of solute-filled lipid vesicles and their relevance to the construction of “synthetic cells.” First, we introduce the “semi-synthetic minimal cells” as the liposome-based cell-like systems, which contain a minimal number of biomolecules required to display simple and complex biological functions. Next, we focus on recent aspects related to the construction of synthetic cells. Emphasis is given to the interplay between the methods of synthetic cell preparation and the physics of solute encapsulation. We briefly introduce the notion of structural and compositional “diversity” in synthetic cell populations.     

A Simple and Effective Mass Spectrometric Approach to Identify the Adulteration of the Mediterranean Diet Component Extra-Virgin Olive Oil with Corn Oil

Extra virgin olive oil (EVOO) with its nutraceutical characteristics substantially contributes as a major nutrient to the health benefit of the Mediterranean diet. Unfortunately, the adulteration of EVOO with less expensive oils (e.g., peanut and corn oils), has become one of the biggest source of agricultural fraud in the European Union, with important health implications for consumers, mainly due to the introduction of seed oil-derived allergens causing, especially in children, severe food allergy phenomena. In this regard, revealing adulterations of EVOO is of fundamental importance for health care and prevention reasons, especially in children. To this aim, effective analytical methods to assess EVOO purity are necessary. Here, we propose a simple, rapid, robust and very sensitive method for non-specialized mass spectrometric laboratory, based on the matrix-assisted laser desorption/ionization mass spectrometry (MALDI-TOF MS) coupled to unsupervised hierarchical clustering (UHC), principal component (PCA) and Pearson’s correlation analyses, to reveal corn oil (CO) adulterations in EVOO at very low levels (down to 0.5%).     

A unified high-level Petri net formalism for time-critical systems

The authors introduce a high-level Petri net formalism-environment/relationship (ER) nets-which can be used to specify control, function, and timing issues. In particular, they discuss how time can be modeled via ER nets by providing a suitable axiomatization. They use ER nets to define a time notation that is shown to generalize most time Petri-net-based formalisms which appeared in the literature. They discuss how ER nets can be used in a specification support environment for a time-critical system and, in particular, the kind of analysis supported     

Program load adaptive voltage generator for flash memories

This paper describes a program load voltage generator for flash memories. It is based on an adaptive feedback loop which senses the current delivered to the memory cells during programming and adjusts the output voltage accordingly to compensate for the voltage drop caused by the programming current across the bit-line select transistors. The proposed circuit (silicon area=0.065 mm²) was integrated in a 0.8-μm CMOS 4 Mb flash memory device (0.6 μm in the matrix). Experimental evaluations showed that very effective compensation is achieved, with bit-line voltage kept at the desired value during the whole programming operation. A spread as small as 70 mV was measured between the single-bit and 16-b programming cases     

On requirement verification for evolving Statecharts specifications

Software development processes have been evolving from rigid, pre-specified, and sequential to incremental, and iterative. This evolution has been dictated by the need to accommodate evolving user requirements and reduce the delay between design decision and feedback from users. Formal verification techniques, however, have largely ignored this evolution and even when they made enormous improvements and found significant uses in practice, like in the case of model checking, they remained confined into the niches of safety-critical systems. Model checking verifies if a system’s model \(\mathcal{M}\) satisfies a set of requirements, formalized as a set of logic properties \(\Phi\) . Current model-checking approaches, however, implicitly rely on the assumption that both the complete model \(\mathcal{M}\) and the whole set of properties \(\Phi\) are fully specified when verification takes place. Very often, however, \(\mathcal{M}\) is subject to change because its development is iterative and its definition evolves through stages of incompleteness, where alternative design decisions are explored, typically to evaluate some quality trade-offs. Evolving systems specifications of this kind ask for novel verification approaches that tolerate incompleteness and support incremental analysis of alternative designs for certain functionalities. This is exactly the focus of this paper, which develops an incremental model-checking approach for evolving Statecharts. Statecharts have been chosen both because they are increasingly used in practice natively support model refinements.     

Bioactivity of Phenanthrenes from Juncus acutus on Selenastrum capricornutum

Twenty-five 9,10-dihydrophenanthrenes, four phenanthrenes, a dihydrodibenzoxepin, and a pyrene, isolated from the wetland plant Juncus acutus, were tested to detect their effects on the green alga Selenastrum capricornutum. Nine of the compounds were isolated and identified for the first time. Most of the compounds caused inhibition of algal growth. The 9,10-dihydrophenanthrenes 1, 5, 21, and 22 were the most active.     

SEON: a pyramid of ontologies for software evolution and its applications

The Semantic Web provides a standardized, well-established framework to define and work with ontologies. It is especially apt for machine processing. However, researchers in the field of software evolution have not really taken advantage of that so far. In this paper, we address the potential of representing software evolution knowledge with ontologies and Semantic Web technology, such as Linked Data and automated reasoning. We present Seon, a pyramid of ontologies for software evolution, which describes stakeholders, their activities, artifacts they create, and the relations among all of them. We show the use of evolution-specific ontologies for establishing a shared taxonomy of software analysis services, for defining extensible meta-models, for explicitly describing relationships among artifacts, and for linking data such as code structures, issues (change requests), bugs, and basically any changes made to a system over time. For validation, we discuss three different approaches, which are backed by Seon and enable semantically enriched software evolution analysis. These techniques have been fully implemented as tools and cover software analysis with web services, a natural language query interface for developers, and large-scale software visualization.     

A Novel Human Neutralizing mAb Recognizes Delta,Gamma and Omicron Variants of SARS-CoV-2 and Can Be Used in Combination with Sotrovimab

The dramatic experience with SARS-CoV-2 has alerted the scientific community to be ready to face new epidemics/pandemics caused by new variants. Among the therapies against the pandemic SARS-CoV-2 virus, monoclonal Antibodies (mAbs) targeting the Spike glycoprotein have represented good drugs to interfere in the Spike/ Angiotensin Converting Enzyme-2 (ACE-2) interaction, preventing virus cell entry and subsequent infection, especially in patients with a defective immune system. We obtained, by an innovative phage display selection strategy, specific binders recognizing different epitopes of Spike. The novel human antibodies specifically bind to Spike-Receptor Binding Domain (RBD) in a nanomolar range and interfere in the interaction of Spike with the ACE-2 receptor. We report here that one of these mAbs, named D3, shows neutralizing activity for virus infection in cell cultures by different SARS-CoV-2 variants and retains the ability to recognize the Omicron-derived recombinant RBD differently from the antibodies Casirivimab or Imdevimab. Since anti-Spike mAbs, used individually, might be unable to block the virus cell entry especially in the case of resistant variants, we investigated the possibility to combine D3 with the antibody in clinical use Sotrovimab, and we found that they recognize distinct epitopes and show additive inhibitory effects on the interaction of Omicron-RBD with ACE-2 receptor. Thus, we propose to exploit these mAbs in combinatorial treatments to enhance their potential for both diagnostic and therapeutic applications in the current and future pandemic waves of coronavirus.