Generating Instances for MAX2SAT with Optimal Solutions

A test instance generator (an instance generator for short) for MAX2SAT is a procedure that produces, given a number n of variables, a 2-CNF formula F of n variables (randomly chosen from some reasonably large domain), and simultaneously provides one of the optimal solutions for F. We propose an outline to design an instance generator using an expanding graph of a certain type, called here an "exact 1/2-enlarger". We first show a simple algorithm for constructing an exact 1/2-enlarger, thereby deriving one concrete polynomial-time instance generator GEN. We also show that an exact 1/2-enlarger can be obtained with high probability from graphs randomly constructed. From this fact, we propose another type of instance generator RGEN; it produces a 2-CNF formula with a solution which is optimal for the formula with high probability. However, RGEN produces less structured formulas and a much larger class of formulas than GEN. In fact, we prove the NP-hardness of MAX2SAT over the set of 2-CNF formulas produced by RGEN.     

Agglomeration control of hydroxyapatite nano-crystals grown in phase-separated microenvironments

Materials synthesis processes that require high temperatures consume large quantities of energy that generate an environmental burden. We attempted to synthesize hydroxyapatite (HAp) nano-crystals without firing or melting. “Water in oil” (W/O) emulsions were employed as microreactors for HAp formation. The surfactant-bounded water mediated HAp crystal nucleation, and HAp nano-crystallites were obtained. The obtained particles were aggregates composed of plate-like nano-crystals and monodisperse tiny crystals. Utilization of the W/O emulsions resulted in tunable nucleation frequency and the reactant provision, and yielded HAp nano-crystals with characteristic agglomeration properties.     

A novel chromatographic separation technique using tertiary pyridine resin for the partitioning of trivalent actinides and lanthanides

A novel chromatographic separation technique using a tertiary pyridine type resin has been applied to the partitioning of the trivalent actinides (An) and lanthanides (Ln) and several successful results have been shown. In an alcoholic hydrochloric acid system, the trivalent An were clearly separated from the Ln, while no such group separation was achieved in an alcoholic nitric acid system. On the other hand, the nitric acid system was more effective for the intragroup (i.e. individual) separation of the trivalent An and the Ln than the hydrochloric acid system. On the basis of these results, a novel concept for the partitioning of the trivalent An and Ln using the present separation technique and its flowchart have been proposed with its advantages and disadvantages.     

A fast and compact elimination method of empty elements from a double‐array structure

A double‐array is a well‐known data structure to implement the trie. However, the space efficiency of the double‐array degrades with the number of key deletions because the double‐array keeps empty elements produced by the key deletion. This paper presents a fast and compact elimination method of empty elements using properties of the trie nodes that have no siblings. The present elimination method is implemented by C language. From simulation results for large sets of keys, the present elimination method is about 30–330 times faster than the conventional elimination method and maintains high space efficiency. Copyright © 2003 John Wiley & Sons, Ltd.     

Rod-like β-FeSi2 phase grown on Si (111) substrate

Pure Fe with coverage of 0.5-2.0 nm was deposited on Si (111) 7×7 surfaces by reactive deposition epitaxy (RDE) in an integrated ultrahigh vacuum (UHV) system. Transmission electron microscopy (TEM) confirmed that the as-deposited epitaxial phase exhibits rod-like and equilateral triangular morphology. The as-deposited phase was identified as c-FeSi₂ by electron diffraction and high-resolution transmission electron microscopy. It was found that there exists lattice distortion in epitaxial c-FeSi₂ phase. Upon annealing at 1073 K, the metastable c-FeSi₂ transforms into equilibrium β-FeSi₂ phase, the latter inherits completely the morphology of c-FeSi₂ phase. Based on RDE and subsequent annealing, a new fabrication technique to grow rod-like semiconducting β-FeSi₂ on a Si substrate has been proposed in the present work.     

Psychological Stress Exacerbates Inflammation of the Ileum via the Corticotropin-Releasing Hormone-Mast Cell Axis in a Mouse Model of Eosinophilic Enteritis

The effects of psychological stress on eosinophilic gastrointestinal disorders have not been elucidated. This study investigated the effects of psychological stress in a mouse model of eosinophilic enteritis (EoN). BALB/c mice were treated with ovalbumin (OVA) to create an EoN model and subjected to either water avoidance stress (WAS) or sham stress (SS). Microscopic inflammation, eosinophil and mast cell counts, mRNA expression, and protein levels of type 2 helper T cell (Th2) cytokines in the ileum were compared between groups. We evaluated ex vivo intestinal permeability using an Ussing chamber. A corticotropin-releasing hormone type 1 receptor (CRH-R1) antagonist was administered before WAS, and its effects were analyzed. WAS significantly increased diarrhea occurrence and, eosinophil and mast cell counts, and decreased the villus/crypt ratio compared to those in the SS group. The mRNA expression of CRH, interleukin IL-4, IL-5, IL-13, eotaxin-1, and mast cell tryptase β2 significantly increased, and the protein levels of IL-5, IL-13, and OVA-specific immunoglobulin E (IgE) also significantly increased in the WAS group. Moreover, WAS significantly increased the intestinal permeability. The CRH-R1 antagonist significantly inhibited all changes induced by WAS. Psychological stress exacerbated ileal inflammation via the CRH-mast cell axis in an EoN mouse model.     

Bone Tissue Engineering in Rat Calvarial Defects Using Induced Bone-like Tissue by rhBMPs from Immature Muscular Tissues In Vitro

This study aimed to induce bone-like tissue from immature muscular tissue (IMT) in vitro using commercially available recombinant human bone morphogenetic protein (rhBMP)-2, rhBMP-4, and rhBMP-7, and then implanting this tissue into a calvarial defect in rats to assess healing. IMTs were extracted from 20-day-old Sprague-Dawley (SD) fetal rats, placed on expanded polytetrafluoroethylene (ePTFE) with 10 ng/μL each of rhBMP-2, BMP-4, and BMP-7, and cultured for two weeks. The specimens were implanted into calvarial defects in 3-week-old SD rats for up to three weeks. Relatively strong radiopacity was observed on micro-CT two weeks after culture, and bone-like tissue, comprising osteoblastic cells and osteoids, was partially observed by H&E staining. Calcium, phosphorus, and oxygen were detected in the extracellular matrix using an electron probe micro analyzer, and X-ray diffraction patterns and Fourier transform infrared spectroscopy spectra of the specimen were found to have typical apatite crystal peaks and spectra, respectively. Furthermore, partial strong radiopacity and ossification were confirmed one week after implantation, and a dominant novel bone was observed after two weeks in the defect site. Thus, rhBMP-2, BMP-4, and BMP-7 differentiated IMT into bone-like tissue in vitro, and this induced bone-like tissue has ossification potential and promotes the healing of calvarial defects. Our results suggest that IMT is an effective tissue source for bone tissue engineering.     

Bile Acid–Drug Interaction via Organic Anion-Transporting Polypeptide 4C1 Is a Potential Mechanism of Altered Pharmacokinetics of Renally Excreted Drugs

Patients with liver diseases not only experience the adverse effects of liver-metabolized drugs, but also the unexpected adverse effects of renally excreted drugs. Bile acids alter the expression of renal drug transporters, however, the direct effects of bile acids on drug transport remain unknown. Renal drug transporter organic anion-transporting polypeptide 4C1 (OATP4C1) was reported to be inhibited by chenodeoxycholic acid. Therefore, we predicted that the inhibition of OATP4C1-mediated transport by bile acids might be a potential mechanism for the altered pharmacokinetics of renally excreted drugs. We screened 45 types of bile acids and calculated the IC₅₀, K_i values, and bile acid–drug interaction (BDI) indices of bile acids whose inhibitory effect on OATP4C1 was >50%. From the screening results, lithocholic acid (LCA), glycine-conjugated lithocholic acid (GLCA), and taurine-conjugated lithocholic acid (TLCA) were newly identified as inhibitors of OATP4C1. Since the BDI index of LCA was 0.278, LCA is likely to inhibit OATP4C1-mediated transport in clinical settings. Our findings suggest that dose adjustment of renally excreted drugs may be required in patients with renal failure as well as in patients with hepatic failure. We believe that our findings provide essential information for drug development and safe drug treatment in clinics.     

Super-vector coding features extracted from both depth buffer and view-normal-angle images for part-based 3D shape retrieval

We have witnessed 3D shape models abundant in many application fields including 3D CAD/CAM, augmented/mixed reality (AR/MR), and entertainment. Creating 3D shape models from scratch is still very expensive. Efficient and accurate methods for shape retrieval is essential for 3D shape models to be reused. To retrieve similar 3D shape models, one must provide an arbitrary 3D shape as a query. Most of the research on 3D shape retrieval has been conducted with a “whole” shape as a query (aka whole-to-whole shape retrieval), while a “part” shape (aka part-to-whole shape retrieval) is more practically requested as a query especially by mechanical engineering with 3D CAD/CAM applications. A “part” shape is naturally constructed by a 3D range scanner as an input device. In this paper, we focus on the efficient method for part-to-whole shape retrieval where the “part” shape is assumed to be given by a 3D range scanner. Specifically, we propose a Super-Vector coding feature with SURF local features extracted from the View-Normal-Angle image, or the image synthesized by taking account of the angle between the view vector and the surface normal vector, together with the depth-buffered image, for part-to-whole shape retrieval. In addition, we propose a weighted whole-to-whole re-ranking method taking advantage of global information based on the result of part-to-whole shape retrieval. Through experiments we demonstrate that our proposed method outperforms the previous methods with or without re-ranking.