No abstract

Abstract. The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity and security of generated strings, as well as to collect the useful string properties. Previous string analysis efforts have been focused primarily on the maxmization of the precision of regular approximations of strings. These methods have not been completely satisfactory due to the difficulties in dealing with heap variables and context sensitivity. In this paper, we present an abstractinterpretation-based solution that employs a heuristic widening method. The presented solution is implemented and compared to JSA. In most cases, our solution gives results as precise as those produced by previous methods, and it makes the additional contribution of easily dealing with heap variables and context sensitivity in a very natural way. We anticipate the employment of our method in practical applications.

Aim: Increasing evidence suggests that probucol, a lipid-lowering agent with anti-oxidant activities, may be useful for the treatment of ischemic stroke with hyperlipidemia via reduction in cholesterol and neuroinflammation. In this study we examined whether probucol could protect against brain ischemic injury via anti-neuroinflammatory action in normal and hyperlipidemic mice. Methods: Primary mouse microglia and murine BV2 microglia were exposed to lipopolysaccharide (LPS) for 3 h, and the release NO, PGE2, IL-1β and IL-6, as well as the changes in NF-κB, MAPK and AP-1 signaling pathways were assessed. ApoE KO mice were fed a high-fat diet containing 0.004%, 0.02%, 0.1% (wt/wt) probucol for 10 weeks, whereas normal C57BL/6J mice received probucol (3, 10, 30 mg·kg -1 ·d -1 , po) for 4 d. Then all the mice were subjected to focal cerebral ischemia through middle cerebral artery occlusion (MCAO). The neurological deficits were scored 24 h after the surgery, and then brains were removed for measuring the cerebral infarct size and the production of pro-inflammatory mediators. Results: In LPS-treated BV2 cells and primary microglial cells, pretreatment with probucol (1, 5, 10 μmol/L) dose-dependently inhibited the release of NO, PGE2, IL-1β and IL-6, which occurred at the transcription levels. Furthermore, the inhibitory actions of probucol were associated with the downregulation of the NF-κB, MAPK and AP-1 signaling pathways. In the normal mice with MCAO, preadministration of probucol dose-dependently decreased the infarct volume and improved neurological function. These effects were accompanied by the decreased production of pro-inflammatory mediators (iNOS, COX-2, IL-1, IL-6). In ApoE KO mice fed a high-fat diet, pre-administration of 0.1% probucol significantly reduced the infarct volume, improved the neurological deficits following MCAO, and decreased the total-and LDL-cholesterol levels. Conclusion: Probucol inhibits LPS-induced microglia activation and ameliorates cerebral ischemic injury in normal and hyperlipidemic mice via its anti-neuroinflammatory actions, suggesting that probucol has potential for the treatment of patients with or at risk for ischemic stroke and hyperlipidemia.

Aim Poststroke depression (PSD), which occurs in approximately one-third of stroke survivors, is clinically important because of its association with slow functional recovery and increased mortality. In addition, the underlying pathophysiological mechanisms are still poorly understood. Methods We used a mouse model of PSD to examine the neurobiological mechanisms of PSD and the beneficial effects of aripiprazole, an atypical antipsychotic drug. PSD was induced in mice by combining middle cerebral artery occlusion (MCAO) with spatial restraint stress. The body weight, sucrose preference, and forced swim tests were performed at 5, 7, and 9 weeks and the Morris water maze test at 10 weeks after completing MCAO and spatial restraint stress. Results Mice subjected to MCAO and spatial restraint stress showed significant depressive-like behavior in the sucrose preference test and forced swim test as well as cognitive impairment in the Morris water maze test. The PSD-like phenotype was accompanied by an indoleamine 2,3-dioxygenase 1 (IDO1) expression increase in the nucleus accumbens, hippocampus, and hypothalamus, but not in the striatum. Furthermore, the increased IDO1 levels were localized in Iba-1(+) cells but not in NeuN(+) or GFAP(+) cells, indicating that microglia-induced IDO1 expression was prominent in the PSD mouse brain. Moreover, 3-hydroxyanthranilate 3,4-dioxygenase (HAAO), quinolinic acid (QUIN), and reactive oxygen species (ROS) were significantly increased in the nucleus accumbens, hippocampus, and hypothalamus of PSD mice. Importantly, a 2-week aripiprazole (1 mg/kg, per os) regimen, which was initiated 1 day after MCAO, ameliorated depressive-like behavior and impairment of cognitive functions in PSD mice that was accompanied by downregulation of IDO1, HAAO, QUIN, and ROS. Conclusions Our results suggest that the IDO1-dependent neurotoxic kynurenine metabolism induced by microglia functions in PSD pathogenesis. The beneficial effect of aripiprazole on depressive-like behavior and cognitive impairment may be mediated by inhibition of IDO1, HAAO, QUIN, and ROS.

No abstract

Aim Neonatal hypoxic-ischemia (HI) due to insufficient oxygen supply and blood flow during the prenatal and postnatal periods can cause cerebral palsy, a serious developmental condition. The purpose of this study was to investigate the efficacy of combining constraint-induced movement therapy (CIMT) and electroacupuncture to treat rat neonatal HI brain injury. Methods The left common carotid arteries of postnatal day 7 rats were ligated to induce HI brain injury, and the neonates were kept in a hypoxia chamber containing 8% oxygen for 2 hrs. Electroacupuncture at Baihui (GV 20) and Zusanli (ST 36) was performed concurrently with CIMT 3 weeks after HI induction for 4 weeks. Results Motor asymmetry after HI was significantly improved in the CIMT and electroacupuncture combination group, but HI lesion size was not improved. The combination of CIMT and electroacupuncture after HI injury increases NeuN and decreases GFAP levels in the cerebral cortex, suggesting that this combination treatment inversely regulates neurons and astrocytes. In addition, the combination treatment group reduced the level of cleaved caspase-3, a crucial mediator of apoptosis, in the cortex. Conclusions Our findings indicate that a combination of CIMT and electroacupuncture is an effective method to treat hemiplegia due to neonatal HI brain injury.

Photobiomodulation (PBM) has received attention due to its potential for improving tissue function and enhancing regeneration in stroke. A lightweight, compact, and simple system of miniaturized electronic devices consisting of packaged light-emitting diodes (LEDs) that incorporates a flexible substrate for in vivo brain PBM in a mouse model is developed. Using this device platform, the preventive and therapeutic effects of PBM affixed to the exposed skull of mice in the photothrombosis and middle cerebral artery occlusion stroke model are evaluated. Among the wavelength range of 630, 850, and 940 nm LED array, the PBM with 630-nm LED array is proved to be the most effective for reducing the infarction volume and neurological impairment after ischemic stroke. Moreover, the PBM with 630 nm LED array remarkably improves the capability of spatial learning and memory in the chronic poststroke phase, attenuates AIM2 inflammasome activation and inflammasome-mediated pyroptosis, and modulates microglial polarization in the hippocampus and cortex 7 days following ischemic stroke. Thus, PBM may prevent tissue and functional damage in acute ischemic injury, thereby attenuating the development of cognitive impairment after stroke.

Constraint-induced movement therapy (CIMT) is used in stroke rehabilitation to promote recovery of upper limb motor function. However, its efficacy in improving functional outcomes in children with hemiplegic cerebral palsy has not been clearly determined in clinical or experimental research. The aim of our study was to assess the efficacy of a new experimental model of CIMT, evaluated in terms of mortality, stress, motor and cognitive function in rats having undergone a neonatal hypoxic-ischemic (HI) brain injury. Neonatal HI injury was induced at post-natal day 7 through unilateral ligation of the common carotid artery followed by exposure to hypoxia for 2 h. CIMT was implemented at 3 weeks, post-HI injury, using a pouch to constrain the unimpaired forelimb and forcing use of the affected forelimb using a motorized treadmill. After HI injury, animals demonstrated motor and cognitive deficits, as well as volumetric decreases in the ipsilateral hemisphere to arterial occlusion. CIMT yielded a modest recovery of motor and cognitive function, with no effect in reducing the size of the HI lesion or post-HI volumetric decreases in brain tissue. Therefore, although animal models of stroke have identified benefits of CIMT, CIMT was not sufficient to enhance brain tissue development and functional outcomes in an animal model of hemiplegic cerebral palsy. Based on our outcomes, we suggest that CIMT can be used as an adjunct treatment to further enhance the efficacy of a program of rehabilitation in children with hemiplegic cerebral palsy.