'Hong Anliu' (HAL, Citrus sinensis cv. Hong Anliu) is a bud mutant of 'Anliu' (AL), characterized by a comprehensive metabolite alteration, such as lower accumulation of citrate, high accumulation of lycopene and soluble sugars in fruit juice sacs. Due to carboxylic acid metabolism connects other metabolite biosynthesis and/or catabolism networks, we therefore focused analyzing citrate accumula...

The hybrid assistive limb (HAL) exoskeleton provides rehabilitation of the motor skills of chronic spinal chord injury (SCI) patients as well as alleviation of chronic neuropathic pain (CNP). The HAL device uses bioelectric signals to activate robotic support of voluntary movement during bodyweight supported treadmill training (BWSTT).

The HAL language includes a Herbrand constraint solver which uses Taylor’s PARMA scheme rather than the standard WAM representation. This allows HAL to generate more efficient Mercury code. Unfortunately, PARMA’s variable representation requires value trailing with a trail stack consumption about twice as large as for the WAM. We present a trailing analysis aimed at determining which Herbrand v...

This study evaluated the inter-rater reliability of the American Conference of Governmental Industrial Hygienists (ACGIH®) hand activity level (HAL), an observational ergonomic assessment method used to estimate physical exposure to repetitive exertions during task performance. Video recordings of 858 cyclic and non-cyclic appliance manufacturing tasks were assessed by sixteen pairs of raters u...

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...