Learn More
State-of-the-art branch-and-bound algorithms for the maximum clique problem (Maxclique) frequently use an upper bound based on a partition P of a graph into independent sets for a maximum clique of the graph, which cannot be very tight for imperfect graphs. In this paper we propose a new encoding from Maxclique into MaxSAT and use MaxSAT technology to(More)
State-of-the-art branch-and-bound algorithms for the maximum clique problem (Maxclique) generally exploit the structural information of a graph $G$ to partition $G$ into independent sets, in order to derive an upper bound for the cardinality of a maximum clique of $G$, which cannot be very tight for imperfect graphs. On the other hand, while Maxclique can(More)
Endothelial progenitor cells (EPCs) play an important role in postnatal neovascularization. However, it is poorly understood whether EPCs contribute to lymphangiogenesis. Here, we assessed differentiation of a novel population of EPCs towards lymphatic endothelial cells and their lymphatic formation. CD34(+) VEGFR-3(+) EPCs were isolated from mononuclear(More)
Ischemic stroke is a leading cause of mortality and permanent disability, with enormous financial repercussions on health systems worldwide. Ischemic brain injury results from a complex sequence of pathophysiological events that evolve over time. In order to examine the molecular mechanisms underlying middle cerebral artery occlusion (MCAO)-induced ischemic(More)
We have examined the ontogeny of BALB/c plaque-forming cell (PFC) responses to phosphorylcholine (PC) from fetal and neonatal liver by using the (CBA/N x BALB/c)F1 transplantation model. In this system, thymus-dependent (PC-keyhole limpet hemocyanin) and thymus-independent class 1 (PC-Brucella abortus, PC-lipopolysaccharide) PC antigens stimulate B cell(More)
Direct benzoylation of the two hydroxyl groups on chitosan was achieved using a phosphoryl mixed anhydride system, derived from trifluoroacetic anhydride (TFAA), benzoic acids (BAs), and phosphoric acid (PA). The reaction is operated as a one pot process under mild conditions that does not require neither an inert atmosphere nor dry solvents. The structures(More)
Congenital brain arteriovenous fistulas (BAVFs) are rare neurovascular lesions of the brain, and few cases have been reported of their treatment with a combination of detachable coils and Onyx, especially in infants. Here, we present a case of 2 high-flow BAVFs occurring in a 12-month-old boy. Standard techniques of digital subtraction angiography were(More)
Molecular dynamics (MD) simulation is a common tool to study the physical movements of atoms and molecules in many research fields. However, it is an extremely time-consuming application which takes researchers weeks or months to run a single simulation when simulation size scales up and computing demands keep growing. In this paper, an improved MD(More)
Graph coloring has been broadly used to discover concurrency in parallel computing, where vertices with the same color represent subtasks that can be processed simultaneously. To speedup graph coloring for large scale datasets, parallel algorithms have been proposed to leverage the massive hardware resources on modern multicore CPUs or GPGPUs. Existing GPU(More)