The hepatic artery, through the peribiliary plexus, nourishes the intrahepatic biliary tree. During obstructive cholestasis, the nutritional demands of intrahepatic bile ducts are increased as a consequence of enhanced proliferation; in fact, the peribiliary plexus (PBP) displays adaptive expansion. The effects of hepatic artery ligation (HAL) on cholangiocyte functions during cholestasis are u...

Hypoxia is known to induce extravasation of lymphocytes and leukocytes during ischemic injury and increase the metastatic potential of malignant lymphoid cells. We have recently identified a new adhesion molecule, hypoxia-activated ligand-1/13 (HAL-1/13), that mediates the hypoxia-induced increases in lymphocyte and neutrophil adhesion to endothelium and hypoxia-mediated invasion of endothelial...

The Ossification of the Posterior Longitudinal Ligament (OPLL) is an idiopathic degenerative spinal disease which may cause motor deficit. For patients presenting myelopathy or severe stenosis, surgical decompression is the treatment of choice; however, despite adequate decompression residual motor impairment is found in some cases. After surgery, there is no therapeutic approach available for ...

Photodynamic therapy (PDT) with endogenous protoporphyrin IX derived from 5-aminolevulinic acid or its derivatives has been established for treatments of several premalignancies and malignancies; however, the mechanism of the modality is not fully elucidated. The mitochondrial permeability transition pore consists mainly of the mitochondrial outer membrane voltage-dependent anion channel and th...

Four experiments were conducted to determine whether the Hyperspace Analogue to Language (HAL) model of semantic memory could differentiate between two different populations. An analysis of the differences in densities (or average distances between word neighbors in semantic space) in HAL matrices--generated from text corpora derived from younger and older adults--confirmed that HAL was able to...

Domain of Polyhedra Alexis Fouilhé, David Monniaux, Michaël Périn To cite this version: Alexis Fouilhé, David Monniaux, Michaël Périn. Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra. Francesco Logozzo, Manuel Fähndrich. 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. Springer, 7935, pp.345-365, 2013, <10.1007/978-3-642-3...

Experience using constraint programming to solve real-life problems has shown that nding an eecient solution to the problem often requires experimentation with diierent constraint solvers or even building a problem-speciic constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-deened solver interface, mutable globa...