Learn More
Disparity map generation is a significant component of vision-based driver assistance systems. This paper describes an efficient implementation of a belief propagation algorithm on a graphics card (GPU) using CUDA (Compute Uniform Device Architecture) that can be used to speed up stereo image processing by between 30 and 250 times. For evaluation purposes,(More)
Active exchangers dissipate the gradient of one substrate to accumulate nutrients, export xenobiotics and maintain cellular homeostasis. Mechanistic studies have suggested that two fundamental properties are shared by all exchangers: substrate binding is antagonistic, and coupling is maintained by preventing shuttling of the empty transporter. The CLC(More)
Although myocyte cell transplantation studies have suggested a promising therapeutic potential for myocardial infarction, a major obstacle to the development of clinical therapies for myocardial repair is the difficulties associated with obtaining relatively homogeneous ventricular myocytes for transplantation. Human embryonic stem cells (hESCs) are a(More)
Chitooligosaccharides (COSs), the biodegradation product of chitosan, possess a wide range of biological activities. In this study, we investigated the influences of COSs on primary cultured cortical neurons exposed to glucose deprivation (GD). The cell viability assessment by MTT assay, in couple with cell apoptosis analysis by Hoechst 33342 and TUNEL(More)
Shortest path is a fundamental graph problem with numerous applications. However, the concept of classic shortest path is insufficient or even flawed in a temporal graph, as the temporal information determines the order of activities along any path. In this paper, we show the shortcomings of classic shortest path in a temporal graph, and study various(More)
OBJECTIVE In the brain, nitric oxide (NO) is a retrograde signalling molecule that transfers information from post- to pre-synaptic nerve endings. NO has been shown to be an important inflammatory mediator responding to lipopolysaccharide (LPS). It has been stated that the constitutive NO synthase isoforms (nNOS and eNOS) may also contribute to the(More)
We study the problem of point-to-point distance querying for massive scale-free graphs, which is important for numerous applications. Given a directed or undirected graph, we propose to build an index for answering such queries based on a novel hop-doubling labeling technique. We derive bounds on the index size, the computation costs and I/O costs based on(More)
Bounded Model Checking (BMC) has been recently introduced as an efficient verification method for reactive systems. BMC based on SAT methods consists in searching for a counterexample of a particular length and generating a propositional formula that is satisfiable iff such a counterexample exists. This new technique has been introduced by E. Clarke et al.(More)
OBJECTIVE To investigate the effect of ursolic acid on autophagy mediated through the miRNA-21-targeted phosphoinositide 3 kinase (PI3K)/protein kinase B (Akt)/mammalian target of rapamycin (mTOR) pathway in rat mesangial cells cultured under high glucose (HG) conditions. METHODS Rat glomerular mesangial cells were cultured under normal glucose, HG, HG(More)