On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms

An inductive theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision procedure for reduction-completeness of constrained terms. In addition, the sufficient complete property of constrained term rewriting systems enables us to relax the side conditions of some inference rules in the proving method. These two properties can be reduced to intersection emptiness problems related to sets of ground instances for constrained terms. This paper proposes a method to construct deterministic, complete, and constraint-complete constrained tree automata recognizing ground instances of constrained terms.Comment: In Proceedings TTATT 2013, arXiv:1311.505

Effects of an aldose reductase inhibitor, SNK-860, on the histopathological changes of retinal tissues in a streptozotocin-induced diabetic rat model.

In order to clarify the mechanism of retinal tissue damage in diabetes mellitus, the effects of the inhibition of aldose reductase on the pathologic changes in the retina of streptozotocin-induced diabetic (STZ-diabetic) rats were examined histologically and histochemically. The STZ-diabetic animals were maintained with and without peroral administration of an aldose reductase inhibitor, SNK-860, and their retinas were examined microscopically after 12 months. Several abnormal changes observed; folding and edema in the retina, loss of pericytes in the retinal capillary walls, and thickening of basement membranes in the retinal capillaries, were significantly inhibited by SNK-860. Some of these changes were similar to those that had been previously noted in diabetic and galactosemic rats. These data suggest that the enhanced polyol metabolism may be involved in the diabetic changes of the retina.</p

Design of Titanium Alloys Insensitive to Thermal History for Additive Manufacturing

Powder bed fusion is the most common technology used for 3D printing, where thermal energy is used to selectively melt/sinter granular materials into solid shapes. The build platform is then lowered, more powder is added, and the process is repeated for the next layer to fully print the design. As a result, the built-up part is repeatedly heated. Therefore, materials that are not sensitive to thermal history are preferred for this process. The Ti–Zr system forms a continuous solid solution for both β- and α-phases. The presence of Fe in Ti alloys is inevitable; however, it provides some beneficial effects. The purpose of this work was to prepare Ti–Zr–Fe alloys and investigate their heat treatment behaviour. Ti-xmass%Zr-1mass%Fe alloys (x = 0, 5, 10) were prepared with arc melting. The formation of a solid solution of Zr in Ti was confirmed on the basis of X-ray diffraction peak shifts and hardening effects. A small amount of β-phase precipitation was suggested by the change in electrical resistivity after isothermal ageing at 673 and 773 K. However, no obvious phase or microstructural changes were observed. The laser scanning increased the volume of the precipitates and also coarsened them, but the effect was limited.Ueda M., Ting Hsuan C., Ikeda M., et al. Design of Titanium Alloys Insensitive to Thermal History for Additive Manufacturing. Crystals 13, 568 (2023); https://doi.org/10.3390/cryst13040568

The combination therapy with alfacalcidol and risedronate improves the mechanical property in lumbar spine by affecting the material properties in an ovariectomized rat model of osteoporosis

<p>Abstract</p> <p>Background</p> <p>We conducted the present study to investigate the therapeutic effects of a combination treatment of alfacalcidol (ALF) and risedronate (RIS) on the bone mechanical properties of bone and calcium (Ca) metabolism using an ovariectomized (OVX) rat model of osteoporosis.</p> <p>Methods</p> <p>Female Wistar rats were OVX- or sham-operated at 40 weeks of age. Twelve weeks post-surgery, rats were randomized into seven groups: 1) sham + vehicle, 2) OVX + vehicle, 3) OVX + ALF 0.025 μg/kg/day, 4) OVX + ALF 0.05 μg, 5) OVX + RIS 0.3 mg, 6) OVX + RIS 3.0 mg, 7) OVX + ALF 0.025 μg + RIS 0.3 mg. Each drug was administered orally five times a week for 12 weeks. After treatment, we evaluated the mechanical properties of the lumbar vertebra and femoral midshaft. In the lumbar vertebra, structural and material analyses were performed using micro-computed tomography (micro-CT) and microbeam X-ray diffraction (micro-XRD), respectively. Biochemical markers in serum and urine were also determined.</p> <p>Results</p> <p>(1) With respect to improvement in the mechanical strength of the lumbar spine and the femoral midshaft, the combination treatment of ALF and RIS at their sub-therapeutic doses was more effective than each administered as a monotherapy; (2) In the suppression of bone resorption and the amelioration of microstructural parameters, the effects of ALF and RIS were considered to be independent and additive; (3) The improvement of material properties, such as microstructural parameters and the biological apatite (Bap) c-axis orientation, contributed to the reinforcement of spinal strength; and (4) The combination treatment of ALF and RIS normalized urinary Ca excretion, suggesting that this treatment ameliorated the changes in Ca metabolism.</p> <p>Conclusion</p> <p>These results demonstrate that the combination treatment of ALF and RIS at their sub-therapeutic doses can improve the mechanical properties of the spine as well as the femur and ameliorate changes in Ca metabolism in an animal model of osteoporosis, suggesting that the combination treatment of ALF and RIS has a therapeutic advantage over each monotherapy for the treatment of osteoporosis.</p

Visualization and unsupervised clustering of emphysema progression using t-SNE analysis of longitudinal CT images and SNPs

Chronic obstructive pulmonary disease (COPD) is predicted to become the third leading cause of death worldwide by 2030. A longitudinal study using CT scans of COPD is useful to assess the changes in structural abnormalities. In this study, we performed visualization and unsupervised clustering of emphysema progression using t-distributed stochastic neighbor embedding (t-SNE) analysis of longitudinal CT images, smoking history, and SNPs. The procedure of this analysis is as follows: (1) automatic segmentation of lung lobes using 3D U-Net, (2) quantitative image analysis of emphysema progression in lung lobes, and (3) visualization and unsupervised clustering of emphysema progression using t-SNE. Nine explanatory variables were used for the clustering: genotypes at two SNPs (rs13180 and rs3923564), smoking history (smoking years, number of cigarettes per day, pack-year), and LAV distribution (LAV size and density in upper lobes, LAV size, and density in lower lobes). The objective variable was emphysema progression which was defined as the annual change in low attenuation volume (LAV%/year) using linear regression. The nine-dimensional space was transformed to two-dimensional space by t-SNE, and divided into three clusters by Gaussian mixture model. This method was applied to 37 smokers with 68.2 pack-years and 97 past smokers with 51.1 pack-years. The results demonstrated that this method could be effective for quantitative assessment of emphysema progression by SNPs, smoking history, and imaging features

Association analysis of SNPs with CT image-based phenotype of emphysema progression in heavy smokers

Chronic obstructive pulmonary disease (COPD) is predicted to become the third leading cause of death worldwide by 2030. Smoking is a well-known risk factor in the development of COPD. Association between COPD genes and smoking have been studied. This paper presents an association analysis of single nucleotide polymorphisms (SNPs) with a CT image-based phenotype of emphysema progression in heavy smokers. The emphysema progression was quantitatively represented by the annual increment of low attenuation volume (LAV) on CT scans for five years. 10 candidate SNPs were selected from 316 SNPs in 125 papers of genetic studies of COPD and lung cancer. The genotypes were determined by real-time polymerase chain reaction (PCR) using deoxyribonucleic acid (DNA) extracted from saliva samples. The association analysis was performed by Fisher's exact test and logistic regression analysis. This method was applied to a dataset with 144 participants (71 smokers, 61 past smokers, and 12 non-smokers). The results showed that the genotypes of rs3923564 and rs13180 SNPs were candidate SNPs associated with the CT image based-emphysema progression

Trabecular health of vertebrae based on anisotropy in trabecular architecture and collagen/apatite micro-arrangement after implantation of intervertebral fusion cages in the sheep spine

Healthy trabecular bone shows highly anisotropic trabecular architecture and the preferential orientation of collagen and apatite inside a trabecula, both of which are predominantly directed along the cephalocaudal axis. This makes trabecular bone stiff in the principally loaded direction (cephalocaudal axis). However, changes in these anisotropic trabecular characteristics after the insertion of implant devices remain unclear. We defined the trabecular architectural anisotropy and the preferential orientation of collagen and apatite as parameters of trabecular bone health. In the present study, we analyzed these parameters after the implantation of two types of intervertebral fusion cages, open and closed box-type cages, into sheep spines for 2 and 4 months. Alteration and evolution of trabecular health around and inside the cages depended on the cage type and implantation duration. At the boundary region, the values of trabecular architectural anisotropy and apatite orientation for the closed-type cages were similar to those for isotropic conditions. In contrast, significantly larger anisotropy was found for open-type cages, indicating that the open-type cage tended to maintain trabecular anisotropy. Inside the open-type cage, trabecular architectural anisotropy and apatite orientation significantly increased with time after implantation. Assessing trabecular anisotropy might be useful for the evaluation of trabecular health and the validation and refinement of implant designs.Ishimoto T., Yamada K., Takahashi H., et al. Trabecular health of vertebrae based on anisotropy in trabecular architecture and collagen/apatite micro-arrangement after implantation of intervertebral fusion cages in the sheep spine. Bone, 108, 25. https://doi.org/10.1016/j.bone.2017.12.012