Induction in linear logic

Linear logic, introduced by Girardet al., has a great power of expression, but no method for induction. This paper proposes a method of induction using knowledge represented by linear logical formulas. In linear logic, the number of propositions is controlled by logical operators. When a background theory and a hypothesis prove an example, the number of propositions on each side must be equivalent.     

Room-temperature growth of high-quality ZnO nanocrystals using a dressed-photon-assisted near-field process

Single-crystalline ZnO nanocrystals were fabricated by room-temperature photo-chemical vapor deposition (PCVD). We further enhanced the growth of high-quality single-crystalline ZnO nanocrystals using dressed photons and phonons (DPPs). This resulted in greater position control and the growth of high-quality ZnO nanocrystals. The ZnO nanocrystals produced with DPPs had excellent cathodoluminescence characteristics, indicating that the near-field PCVD process could be a promising technique for nanophotonic integrated circuit production.     

Complexability of o-bisguanidinobenzenes with arsenic and phosphoric acids in solution and solid states, and the potential use of their immobilized derivatives as solid base ligands for metal salts and arsenic acid

The role of o-bisguanidinobenzenes (BGBs) as new Brønsted base ligands for arsenic and phosphoric acids was examined. In solution state, complexation was evaluated by Job’s plot in ¹H NMR experiment, indicating a 1:1 complex formation, whereas in solid state crystalline structures of complexes obtained were addressed by X-ray crystallographic analysis and/or solid state ¹³C NMR experiment, in which 1:2 complexes between the BGB and the acid components were normally formed. Based on these results, Merrifield and Hypogel^® resin-anchored BGBs were designed and prepared as the corresponding polymer-supported host ligands. Evaluation of their coordination ability with metal salts (ZnCl₂ and CoCl₂) and arsenic acid in aqueous media by ICP-MS showed that the latter Hypogel^® resin-anchored BGBs acted as effective immobilized base ligands.     

Trinucleon cluster structure at high-excitation energies in A=6 nuclei

Trinucleon molecular structures in ⁶He and ⁶Be were investigated by using the ⁶Li(⁷Li, ⁷Be)⁶He reaction at 455 MeV and ⁶Li(³He, t)⁶Be reaction at 450 MeV, respectively. Binary decays into t + t from a broad state at E _x =18.0±1.0 MeV in ⁶He and into ³He + ³He from one at E _x =18.0±1.2 MeV in ⁶Be, respectively, were observed by measuring trinucleon cluster decays in coincidence with reaction particles. The branching ratios for binary decay were estimated to be about 0.7 for ⁶He and ⁶Be. These large branching ratios show that a trinucleon cluster state exists as an isobaric partner around E _x =18 MeV in ⁶He and ⁶Be.     

Gamow-Teller strength in the exotic odd-odd nuclei 138La and 180Ta and its relevance for neutrino nucleosynthesis

The Gamow-Teller strength distributions below the particle threshold in 138La and 180Ta, deduced from high-resolution measurements of the (3He,t) reaction at 0 degrees, allow us to evaluate the role of charged-current reactions for the production of these extremely rare nuclides in neutrino-nucleosynthesis models. The analysis suggests that essentially all 138La in the Universe can be made that way. Neutrino nucleosynthesis also contributes significantly to the abundance of 180Ta but the magnitude depends on the unknown branching ratio for population of the long-lived isomer.     

In vivo estimation of optical properties of rat liver using single-reflectance fiber probe during ischemia and reperfusion

Optical Review - To quantify the changes in optical properties of in vivo rat liver tissue, we applied diffuse reflectance spectroscopy (DRS) system using single-reflectance fiber probe during...     

Collisional granular flow as a micropolar fluid

We show that a micropolar fluid model successfully describes collisional granular flows on a slope. A micropolar fluid is the fluid with internal structures in which coupling between the spin of each particle and the macroscopic velocity field is taken into account. It is a hydrodynamical framework suitable for granular systems which consists of particles with macroscopic size. We demonstrate that the model equations can quantitatively reproduce the velocity and the angular velocity profiles obtained from the numerical simulation of the collisional granular flow on a slope using a simple estimate for the parameters in the theory.