Distance learning for similarity estimation

In this paper, we present a general guideline to find a better distance measure for similarity estimation based on statistical analysis of distribution models and distance functions. A new set of distance measures are derived from the harmonic distance, the geometric distance, and their generalized variants according to the Maximum Likelihood theory. These measures can provide a more accurate feature model than the classical Euclidean and Manhattan distances. We also find that the feature elements are often from heterogeneous sources that may have different influence on similarity estimation. Therefore, the assumption of single isotropic distribution model is often inappropriate. To alleviate this problem, we use a boosted distance measure framework that finds multiple distance measures which fit the distribution of selected feature elements best for accurate similarity estimation. The new distance measures for similarity estimation are tested on two applications: stereo matching and motion tracking in video sequences. The performance of boosted distance measure is further evaluated on several benchmark data sets from the UCI repository and two image retrieval applications. In all the experiments, robust results are obtained based on the proposed methods.     

Microfluidic device with dual-channel fluorescence acquisition for quantification/identification of cancer cells

This paper presents an optofluidic device for cell discrimination with two independent interrogation regions. Pumping light is coupled to the device, and cell fluorescence is extracted from the two interrogation zones by using optical fibers embedded in the optofluidic chip. To test the reliability of this device, AU-565 cells—expressing EpCAM and HER2 receptors—and RAMOS cells were mixed in a controlled manner, confined inside a hydrodynamic focused flow in the microfluidic chip and detected individually so that they could be discriminated as positive (signal reception from fluorescently labeled antibodies from the AU-565 cells) or negative events (RAMOS cells). A correlation analysis of the two signals reduces the influence of noise on the overall data.     

Oligomerization-Dependent Beta-Structure Formation in SARS-CoV-2 Envelope Protein

The severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is responsible for the current COVID-19 pandemic. In SARS-CoV-2, the channel-forming envelope (E) protein is almost identical to the E protein in SARS-CoV, and both share an identical α-helical channel-forming domain. Structures for the latter are available in both detergent and lipid membranes. However, models of the extramembrane domains have only been obtained from solution NMR in detergents, and show no β-strands, in contrast to secondary-structure predictions. Herein, we have studied the conformation of purified SARS-CoV-2 E protein in lipid bilayers that mimic the composition of ER–Golgi intermediate compartment (ERGIC) membranes. The full-length E protein at high protein-to-lipid ratios produced a clear shoulder at 1635 cm⁻¹, consistent with the β-structure, but this was absent when the E protein was diluted, which instead showed a band at around 1688 cm⁻¹, usually assigned to β-turns. The results were similar with a mixture of POPC:POPG (2-oleoyl-1-palmitoyl-sn-glycero-3-phosphocholine/3-glycerol) and also when using an E-truncated form (residues 8–65). However, the latter only showed β-structure formation at the highest concentration tested, while having a weaker oligomerization tendency in detergents than in full-length E protein. Therefore, we conclude that E monomer–monomer interaction triggers formation of the β-structure from an undefined structure (possibly β-turns) in at least about 15 residues located at the C-terminal extramembrane domain. Due to its proximity to the channel, this β-structure domain could modulate channel activity or modify membrane structure at the time of virion formation inside the cell.     

TLR/WNT: A Novel Relationship in Immunomodulation of Lung Cancer

The most frequent cause of death by cancer worldwide is lung cancer, and the 5-year survival rate is still very poor for patients with advanced stage. Understanding the crosstalk between the signaling pathways that are involved in disease, especially in metastasis, is crucial to developing new targeted therapies. Toll-like receptors (TLRs) are master regulators of the immune responses, and their dysregulation in lung cancer is linked to immune escape and promotes tumor malignancy by facilitating angiogenesis and proliferation. On the other hand, over-activation of the WNT signaling pathway has been reported in lung cancer and is also associated with tumor metastasis via induction of Epithelial-to-mesenchymal-transition (EMT)-like processes. An interaction between both TLRs and the WNT pathway was discovered recently as it was found that the TLR pathway can be activated by WNT ligands in the tumor microenvironment; however, the implications of such interactions in the context of lung cancer have not been discussed yet. Here, we offer an overview of the interaction of TLR-WNT in the lung and its potential implications and role in the oncogenic process.     

Genetics and Epigenetics of Spontaneous Intracerebral Hemorrhage

Intracerebral hemorrhage (ICH) is a complex and heterogeneous disease, and there is no effective treatment. Spontaneous ICH represents the final manifestation of different types of cerebral small vessel disease, usually categorized as: lobar (mostly related to cerebral amyloid angiopathy) and nonlobar (hypertension-related vasculopathy) ICH. Accurate phenotyping aims to reflect these biological differences in the underlying mechanisms and has been demonstrated to be crucial to the success of genetic studies in this field. This review summarizes how current knowledge on genetics and epigenetics of this devastating stroke subtype are contributing to improve the understanding of ICH pathophysiology and their potential role in developing therapeutic strategies.     

Integrability conditions for complex kukles systems

In this paper, we provide necessary and sufficient conditions for the existence of local analytic first integrals for a seventh-parameter family of complex cubic systems called the complex Kukles systems.     

Proactive defragmentation in elastic optical networks under dynamic load conditions

The main weakness of elastic optical networks (EON), under dynamic traffic conditions, stems from spectrum fragmentation. A lot of research efforts have been dedicated during recent years to spectrum defragmentation. In this work, a thorough study about proactive defragmentation is carried out. Effects of the different defragmentation parameters on the EON performance are analyzed, and appropriate values of the defragmentation period, which guarantee suitable network performance while keeping the network control complexity at reasonable values, are obtained by means of extensive simulations. Benefit obtained by applying different defragmentation strategies, in terms of increase in the supported load at a given bandwidth blocking probability, is also reported. Different traffic conditions and network topologies are simulated to assess the validity of the obtained results.     

A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions

This paper presents a full formalization of the semantics of definite programs, in the calculus of inductive constructions. First, we describe a formalization of the proof of first-order terms unification: this proof is obtained from a similar proof dealing with quasi-terms, thus showing how to relate an inductive set with a subset defined by a predicate. Then, SLD-resolution is explicitely defined: the renaming process used in SLD-derivations is made explicit, thus introducing complications, usually overlooked, during the proofs of classical results. Last, switching and lifting lemmas and soundness and completeness theorems are formalized. For this, we present two lemmas, usually omitted, which are needed. This development also contains a formalization of basic results on operators and their fixpoints in a general setting. All the proofs of the results, presented here, have been checked with the proof assistant Coq.