BACKGROUND Vascular progenitor cells (VPCs) are a heterogeneous population, containing a subpopulation co-expressing both endothelial and smooth muscle phenotypes. This study sought to determine whether the level of this subpopulation correlated with the coronary Gensini score. METHODS AND RESULTS VPCs were cultivated in 50 patients undergoing coronary angiography. A subpopulation of VPCs exp...

This paper presents a fuzzy goal programming (FGP) methodology for solving bi-level quadratic programming (BLQP) problems. In the FGP model formulation, firstly the objectives are transformed into fuzzy goals (membership functions) by means of assigning an aspiration level to each of them, and suitable membership function is defined for each objectives, and also the membership functions for vec...

We present a simple and eeective methodology for equational reasoning in proof checkers. The method is based on a two-level approach distinguishing between syntax and semantics of mathematical theories. The method is very general and can be carried out in any type system with inductive and oracle types. The potential of our two-level approach is illustrated by some examples developed in Lego.

In this paper we present CELI's participation in Evalita 2011 FLaIT task. Based on Markov model reasoning, our system obtained the highest precision in comparison to the other participants.

Kallikrein-6 and calpain-1 are amongst a small group of proteases that degrade α-synuclein. We have explored the possibility that reduction in the level or activity of these enzymes contributes to the accumulation of α-synuclein in Lewy body diseases. We measured calpain-1 activity by fluorogenic activity assay, kallikrein-6 level by sandwich ELISA, and levels of α-synuclein and α-synuclein pho...

BACKGROUND The fatigue that users suffer when using steady-state visual evoked potential (SSVEP)-based brain-computer interfaces (BCIs) can cause a number of serious problems such as signal quality degradation and system performance deterioration, users' discomfort and even risk of photosensitive epileptic seizures, posing heavy restrictions on the applications of SSVEP-based BCIs. Towards alle...