An approach to the formal analysis of license interoperability

With recent advances in information and telecommunications technologies, a large range of digital content is distributed over the Internet. Whereas diverse licenses are provided to protect the content legally and have the advantage of offering authors many choices, the obstruction of smooth content distribution may occur if the relationships between licenses are not revealed because of differences between the restrictions imposed by each license. To activate digital content distribution, license interoperability must be revealed. In this paper, we propose a framework for formally examining license interoperability by using many-sorted first-order logic. We formalize five actual licenses and examine their interoperability to prove the effectiveness of our proposed framework. The results show that the framework reveals the relationships between licenses.     

Terpendole E and its Derivative Inhibit STLC‐ and GSK‐1‐Resistant Eg5

Terpendole E is first natural product found to inhibit mitotic kinesin Eg5, but its inhibitory mechanism remains to be revealed. Here, we report the effects of terpendole E and 11ketopaspaline (a new natural terpendole E analogue) on the Eg5–microtubule interaction and in several Eg5 mutants. 11‐Ketopaspaline is a shunt product from terpendole E, and it shows potent inhibitory activity against the microtubule‐stimulated ATPase activity of Eg5. Unlike other Eg5 inhibitors, such as S‐trityl‐L ‐cysteine (STLC) and GSK‐1, both terpendole E and 11‐ketopaspaline only partially inhibited Eg5–microtubule interaction. Furthermore, terpendole E and 11‐ketopaspaline inhibited several Eg5 mutants that are resistant to STLC (Eg5^D130A, Eg5^L214A) or GSK‐1 (Eg5^I299F, Eg5^A356T), but with the same extent of inhibition against wild‐type Eg5. Because Eg5^D130A and Eg5^L214A show cross‐resistance to most known Eg5 inhibitors, which bind the L5 loop, these results suggest that terpendole E and its analogues have a different binding site and/or inhibitory mechanism to those for L5 loop‐binding type Eg5 inhibitors.     

An apparent ensemble effect in the oxidative coupling of methane on hydroxyapatites with incorporated lead

The introduction of small quantities of lead into calcium hydroxyapatite catalysts produces marked increases in the selectivity to C₂₊ hydrocarbons, while the conversion of methane remains relatively constant. Small surface concentrations of lead are sufficient to achieve C₂₊ selectivities of 80 and 90%, with oxygen and nitrous oxide, respectively, in contrast with 18 and 46%, respectively, obtained in the absence of lead. Since surface concentration of lead species sufficient to stabilize pairs of methyl radicals in close proximity to each other would be expected to facilitate the formation of C₂ hydrocarbons, an ensemble effect appears to be extant.     

Proposed Phenomenological PTCR Model and Accompanying Phenomenological PTCR Chart

The positive temperature coefficient of resistivity (PTCR) behavior of semiconductive BaTiO₃ is well explained by the Heywang model, which predicts the resistivity behavior above the Curie point based on the acceptor state density at the grain boundaries, the charge carrier density, and the energy gap, E _s, between the conduction band and the acceptor levels. However, the relationship between these parameters and the production parameters (sintering time, composition, and cooling rate) is not well understood. Recently, the present authors have found that E _s can be increased by thorough oxidation. This increase is attributed to a change in the oxidation state of the acceptor. Based on this finding and results from the literature, a phenomenological PTCR model and an accompanying PTCR chart for acceptor–donor-codoped BaTiO₃ are proposed to clarify this relationship. The PTCR chart clarifies that acceptor dopant concentrations, oxidation time, and oxygen partial pressure during oxidation or cooling can be optimized simultaneously to obtain optical PTCR properties.     

Selective catalytic reduction of nitrogen oxides with hydrocarbons over Zn–Al–Ga complex oxides

Selective reduction of NO with hydrocarbons was studied using metal oxide catalysts having a spinel structure. A Zn–Al–Ga complex oxide was found to be very active and selective for the catalytic reduction of NO with both C₃H₆ and CH₄. It was revealed that the role of oxygen at the initial stage of the reaction strongly depends on the reductants; oxygen is mainly used for NO oxidation to NO₂ in the reduction with CH₄, whereas it is used both for NO oxidation to NO₂ and oxidation of C₃H₆ to an active intermediate in the reduction with C₃H₆. This revised version was published online in July 2006 with corrections to the Cover Date.     

Magnetic probe array with high sensitivity for fluctuating field

A magnetic probe array is constructed to measure precisely the spatial structure of a small fluctuating field included in a strong confinement field that varies with time. To exclude the effect of the confinement field, the magnetic probes consisting of figure-eight-wound coils are prepared. The spatial structure of the fluctuating field is obtained from a Fourier analysis of the probe signal. It is found that the probe array is more sensitive to the fluctuating field with a high mode number than that with a low mode number. An experimental demonstration of the present method is attempted using a field-reversed configuration plasma, where the fluctuating field with 0.1% of the confinement field is successfully detected.     

Ultra-high-precision time control system over any long time delay for laser pump and synchrotron x-ray probe experiment

An ultra-high-precision clock system for long time delay has been developed for picosecond time-resolved x-ray diffraction measurements using synchrotron radiation (SR) pulses and synchronized femtosecond laser pulses. The time delay control between pump laser pulse and the probe SR pulse was achieved by combining an in-phase quadrature modulator and a synchronous counter. This method allowed us to change the delay time by a nearly infinite amount while maintaining the precision of +/-8.40 ps. Time-resolved diffraction measurements using the delay control system were demonstrated for precise measurement of an acoustic velocity in a single crystal of gallium arsenide.     

Double-sensor method for detection of oscillating electric field

An electric-field sensor consisting of thin copper plates is designed to measure an oscillating electric field produced by charge separations on a plasma column. The sensor installed in a vacuum region around plasma detects charges induced by the electric field on the copper plates. The value of the induced charges depends not only on the strength of the electric field, but also on the design of the sensor. To obtain the correct strength of the electric field, a correction factor arising from the design of the sensor must be known. The factor is calculated numerically using Laplace's equation and compared with a value measured using a uniform electric field in the frequency range of 10-500 kHz. When an external circuit is connected to the sensor to measure the induced charges, the electric field around the sensor is disturbed. Therefore, a double-sensor method for excluding a disturbed component in the measured electric field is proposed. The reliability of the double-sensor method is confirmed by measuring dipole-like and quadrupole-like electric fields.     

A study on a porous residential building model in hot and humid regions: Part 1—the natural ventilation performance and the cooling load reduction effect of the building model

This study targets environmental load reduction in hot and humid regions. It reveals the effects that porous residential buildings have on the natural ventilation performance and, consequently, the cooling load reduction. Two residential building models, namely a model with a void ratio of 0% and a model with a void ratio of 50%, are evaluated using computational fluid dynamics (CFD) analysis and thermal and airflow network analysis. The analysis on components of the heat load indicates that improvements in the natural ventilation performance would significantly reduce the cooling load.