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.     

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.     

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.     

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.