oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 11 )

2018 ( 19 )

2017 ( 17 )

2016 ( 15 )

Custom range...

Search Results: 1 - 10 of 1459 matches for " Daisuke Kusakari "
All listed articles are free for downloading (OA Articles)
Page 1 /1459
Display every page Item
Evaluation of the Bending Loss of the Hollow Optical Fiber for Application of the Carbon Dioxide Laser to Endoscopic Therapy  [PDF]
Daisuke Kusakari, Hisanao Hazama, Rinna Kawaguchi, Katsunori Ishii, Kunio Awazu
Optics and Photonics Journal (OPJ) , 2013, DOI: 10.4236/opj.2013.34A003
Abstract:

Since carbon dioxide laser is excellent for incision, hemostasis, coagulation, and vaporization of soft tissues, it has been widely applied in clinical treatments as the laser knife. In these days, flexible thin hollow optical fibers transmitting mid-infrared light have been developed, and the application of carbon dioxide laser to endoscopic therapy has become possible. However, it is expected that the irradiation effect is influenced by the change in the laser power at the tip of the hollow optical fiber due to the change in the transmittance by the bending loss. The purpose of this research is to quantitatively evaluate the change in the output power and therapeutic effect by bending the hollow optical fiber in a gastrointestinal endoscope. The change in the transmittance of the hollow optical fiber due to the insertion of the fiber into the endoscope and bending of the head of the endoscope was measured. Then, the relationship between the irradiated laser power and the incision depth for a porcine stomach was investigated. As the results, the most significant decrease in the transmittance of the hollow optical fiber was caused by the insertion of the fiber into the instrument channel of the endoscope, and bending of the head of the endoscope with the angle of 90° decreased the output laser power and incision depth by 10% and 25%, respectively. Therefore, it was confirmed that the bending loss of the hollow optical fiber due to the bending of the head of the endoscope had no significant influence on the endoscopic therapy using the carbon dioxide laser.

Consideration on Poverty Problem of Young People in Industrialized Countries and Their Solutions  [PDF]
Daisuke Hirahara
Modern Economy (ME) , 2018, DOI: 10.4236/me.2018.91013
Abstract: Increase of irregular workers called working-poor is a problem. This unstable employment makes the poor more poverty. The possibility that a simple work is deprived by the development of artificial intelligence is increasing. From this background, restructuring of social structure and policies become important. In Japan, as the declining birthrate and aging population progresses, there is concern that more people need medical care and nursing care services, so increasing social security expenses is also a problem.
Comparison between 3D-IR-BTFE Method and Conventional Method in Contrast Head MRI Examination  [PDF]
Daisuke Hirahara
Open Journal of Medical Imaging (OJMI) , 2018, DOI: 10.4236/ojmi.2018.83005
Abstract: MRI using gadolinium contrast media is useful in diagnosis; however, nephrogenic systemic fibrosis is a serious side effect of gadolinium exposure. Moreover, it turns out that gadolinium deposits in the brain. This has escalated the necessity for a suitable method to use gadolinium contrast media. I developed a new imaging method that had excellent contrast. This study examined the usefulness of that new imaging method and found the method is highly effective.
A Unified Ordering for Termination Proving
Akihisa Yamada,Keiichirou Kusakari,Toshiki Sakabe
Computer Science , 2014,
Abstract: We introduce a reduction order called the weighted path order (WPO) that subsumes many existing reduction orders. WPO compares weights of terms as in the Knuth-Bendix order (KBO), while WPO allows weights to be computed by a wide class of interpretations. We investigate summations, polynomials and maximums for such interpretations. We show that KBO is a restricted case of WPO induced by summations, the polynomial order (POLO) is subsumed by WPO induced by polynomials, and the lexicographic path order (LPO) is a restricted case of WPO induced by maximums. By combining these interpretations, we obtain an instance of WPO that unifies KBO, LPO and POLO. In order to fit WPO in the modern dependency pair framework, we further provide a reduction pair based on WPO and partial statuses. As a reduction pair, WPO also subsumes matrix interpretations. We finally present SMT encodings of our techniques, and demonstrate the significance of our work through experiments.
Nagoya Termination Tool
Akihisa Yamada,Keiichirou Kusakari,Toshiki Sakabe
Computer Science , 2014,
Abstract: This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to the efficiency and power of the tool.
Carbon Dioxide Emissions and Energy Self-Sufficiency of Woody Biomass Utilization for Residential Heating: A Case Study of Nishiwaga, Japan  [PDF]
Daisuke Sawauchi, Daisuke Kunii, Yasutaka Yamamoto
Journal of Environmental Protection (JEP) , 2015, DOI: 10.4236/jep.2015.64032
Abstract: Renewable energy sources, including bioenergy, are presently attracting considerable attention as possible substitutes for fossil fuels. Among the various sources of bioenergy, biomass can arguably play a significant role in the reduction of greenhouse gases and the provision of a stable energy supply. However, the use of fossil fuels continues in the production of bioenergy. Consequently, the overall extent to which biomass utilization for energy can reduce carbon dioxide emissions as a substitute for fossil fuels and whether this can improve the energy self-sufficiency rate remains largely unknown. This study responds to these questions using a case of a Japanese rural community using firewood for residential heating. The results showed that woody biomass utilization for energy is able to both reduce the dependence on fossil fuels and mitigate climate change. These findings offer new insights into the development of sustainability in rural communities.
Wide and Fast Wavelength-Swept Fiber Laser Based on Dispersion Tuning for Dynamic Sensing
Shinji Yamashita,Yuichi Nakazaki,Ryosei Konishi,Osamu Kusakari
Journal of Sensors , 2009, DOI: 10.1155/2009/572835
Abstract: We have developed a unique wide and fast wavelength-swept fiber laser for dynamic and accurate fiber sensing. The wavelength tuning is based on the dispersion tuning technique, which simply modulates the loss/gain in the dispersive laser cavity. By using wideband semiconductor optical amplifiers (SOAs), the sweep range could be as wide as ~180 nm. Since the cavity contains no mechanical components, such as tunable filters, we could achieve very high sweep rate, as high as ~200 kHz. We have realized the swept lasers at three wavelength bands, 1550 nm, 1300 nm, and 800 nm, using SOAs along with erbium-doped fiber amplifiers (EDFAs), and in two laser configurations, ring and linear ones. We also succeeded in applying the swept laser for a dynamic fiber-Bragg grating (FBG) sensor system. In this paper, we review our researches on the wide and fast wavelength-swept fiber lasers.
Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems
Keiichirou Kusakari,Yasuo Isogai,Masahiko Sakai,Frédéric Blanqui
Computer Science , 2011,
Abstract: Higher-order rewrite systems (HRSs) and simply-typed term rewriting systems (STRSs) are computational models of functional programs. We recently proposed an extremely powerful method, the static dependency pair method, which is based on the notion of strong computability, in order to prove termination in STRSs. In this paper, we extend the method to HRSs. Since HRSs include \lambda-abstraction but STRSs do not, we restructure the static dependency pair method to allow \lambda-abstraction, and show that the static dependency pair method also works well on HRSs without new restrictions.
Argument filterings and usable rules in higher-order rewrite systems
Sho Suzuki,Keiichirou Kusakari,Frédéric Blanqui
Computer Science , 2011,
Abstract: The static dependency pair method is a method for proving the termination of higher-order rewrite systems a la Nipkow. It combines the dependency pair method introduced for first-order rewrite systems with the notion of strong computability introduced for typed lambda-calculi. Argument filterings and usable rules are two important methods of the dependency pair framework used by current state-of-the-art first-order automated termination provers. In this paper, we extend the class of higher-order systems on which the static dependency pair method can be applied. Then, we extend argument filterings and usable rules to higher-order rewriting, hence providing the basis for a powerful automated termination prover for higher-order rewrite systems.
Claisen and Intermolecular Rearrangement of Cinnamyloxynaphthalenes  [PDF]
Yutaka Okada, Daisuke Imanari
International Journal of Organic Chemistry (IJOC) , 2012, DOI: 10.4236/ijoc.2012.21007
Abstract: Rearrangements of the 1- and 2-cinnamyloxynaphthalenes undergo in diethylene glycol and decalin with solvent de-pendence. In 2-cinnamyloxynaphthalene, the Claisen rearrangement occurs regardless of the solvents. However, for the 1-analogue, the Claisen rearrangement occurs in decalin, while both the Claisen and intermolecular rearrangements occur at higher temperatures in diethylene glycol.
Page 1 /1459
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.