High-performance air filters composed of a hybrid structure of nanofiber/microfiber were
fabricated using wet paper processing. Two types of nanofibers (NF) with average diameters of …

Reactive hyperemia reflects a compensatory vasodilation response of the local vasculature
in ischemic tissue. The purpose of this study is to clarify the mechanism of regulation of this …

The possible involvement of nitric oxide ( • NO) in the preservation of blood flow to the
canine gingiva after compression of gingival tissue was studied. Gingival blood flow, gingival …

Short cruise range is a major issues in electric vehicles, and dynamic wireless power
transfer (WPT) has been proposed to solve this problem. In this study, a new dynamic power …

Formal methods have been used in the development of the reliable software system. However,
one of the issues in using formal methods is how to model the system by considering …

Institutional research supports collection of evidence, data, and information to conduct
analyses for decision making, planning and continuous improvement in educational institutes. …

We present a novel macroscopic behavior model for self-timed pipeline (STP). STP is a
promising architecture for system-on-chip (SoC) design, because STP eases the timing problems …

Using a Langendorff-perfused rat heart preparation and selective electrodes, we determined
nitric oxide (NO) and oxygen levels in cardiac tissue. An NO-selective electrode that was …

Applying conventional compiler design methodology to a parallelizing compiler, its internal
data structures tend to get too complicated quickly. Thus, we introduce object oriented design …

We are investigating the effective facilitation methodology for the introduction of formal
methods into actual software developments. One of the important issues is how to define and …