AIM To test whether Nox1 plays a role in typhlitis induced by Salmonella enterica serovar Typhimurium (S. Tm) in a mouse model. METHODS Eight-week-old male wild-type (WT) and Nox1 knockout (KO) C57BL6/J (B6) mice were administered metronidazole water for 4 d to make them susceptible to S. Tm infection by the oral route. The mice were given plain water and administered with 4 different doses o...

Recently, Trust has been recognized as an important factor for Grid computing security. In this paper, we propose a trust model in Grid system. It consists of Application Domain (AD), Client Domain (CD), Resource Domain (RD), and Trust Manager (TM). TM controls the relationship between RD and CD depending on the trust level value of each client and classification of each resource. Performance c...

This paper presents a case study of the use of model checking for analyzing an industrial protocol, the ACCESS.bus TM protocol. Our analysis of this protocol was carried out using SPIN, an automated verii-cation system which includes an implementation of model-checking algorithms. A model of the protocol was developed, and properties expressed by linear-time temporal-logic formulas were checked...

OBJECTIVE The trabecular meshwork (TM) is the primary substrate of outflow resistance in glaucomatous eyes. Repopulating diseased TM with fresh, functional TM cells might be a viable therapeutic approach. Decellularized TM scaffolds have previously been produced by ablating cells with suicide gene therapy or saponin, which risks incomplete cell removal or dissolution of the extracellular matrix...

Multicore processors are now a mainstream approach to deliver higher performance to parallel applications. In orderto develop efficient parallel applications for those platforms, developers must take care of several aspects, ranging from thearchitectural to the application level. In this context, Transactional Memory (TM) appears as a programmer friendly alternativeto traditional lo...

Precise tracking of lung tumor motion during treatment delivery still represents a challenge in radiation therapy. Prototypes of MRI-linac hybrid systems are being created which have the potential of ionization-free real-time imaging of the tumor. This study evaluates the performance of lung tumor tracking algorithms in cine-MRI sagittal images from five healthy volunteers. Visible vascular str...

Compared to the zenith hydrostatic delay (ZHD) obtained from Saastamonien model based on in-situ measured meteorological (IMM) data and radiosonde-derived weighted mean temperature (Tm), ZHD Tm deviations of GPT3 have shown obvious periodic trends. This article analyzed seasonal variations GPT3-ZHD GPT3-Tm during 2016–2020 period in Yangtze River Delta region, new improved models were establish...

PURPOSE To develop and characterize a mouse model with intraocular pressure (IOP) elevation after laser photocoagulation on the trabecular meshwork (TM), which may serve as a model to investigate the potential of stem cell-based therapies for glaucoma. METHODS IOP was measured in 281 adult C57BL/6 mice to determine normal IOP range. IOP elevation was induced unilaterally in 50 adult mice, by ...

In this report we study the dual equivalence between the generalized self-dual (SD) and topologically massive (TM) models. To this end we linearize the model using an auxiliary field and apply a gauge embedding procedure to construct a gauge equivalent model. We clearly show that, under the above conditions, a nonlinear SD model always has a duality equivalent TM action.The general result obtai...