Zobrazeno 1 - 10 of 20 pro vyhledávání: '"Yuichi Komori"'
1
Reduction Rules for Intuitionistic $${{\lambda}{\rho}}$$ λ ρ -calculus
Autor: Ken-etsu Fujita, Yuichi Komori, Naosuke Matsuda, Ryo Kashima
Publikováno v: Studia Logica. 103:1225-1244
The third author gave a natural deduction style proof system called the $${{\lambda}{\rho}}$$??-calculus for implicational fragment of classical logic in (Komori, Tsukuba J Math 37:307---320, 2013). In (Matsuda, Intuitionistic fragment of the $${{\la
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::62c6072177f219bd64988f1aee4f2354
https://doi.org/10.1007/s11225-015-9616-1
Zobrazit plný text záznamu
2
A Simplified Proof of the Church–Rosser Theorem
Autor: Naosuke Matsuda, Fumika Yamakawa, Yuichi Komori
Publikováno v: Studia Logica. 102:175-183
Takahashi translation * is a translation which means reducing all of the redexes in a ?-term simultaneously. In [4] and [5], Takahashi gave a simple proof of the Church---Rosser confluence theorem by using the notion of parallel reduction and Takahas
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fe6fa1b74b72ccec07710ef008ddee23
https://doi.org/10.1007/s11225-013-9470-y
Zobrazit plný text záznamu
3
Detection of continuous barking actions from search and rescue dogs' activities data
Autor: Kazuaki Ohno, Yuichi Komori, Takahiro Suzuki, Satoshi Tadokoro, Takuaki Fujieda
Publikováno v: IROS
We have developed a method to visualize search and rescue (SAR) dogs' activities from sensor data recorded by the SAR dogs' sensor vests. This paper proposes two methods for detecting continuous barking actions of SAR dogs, which locate victims by sm
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d922491d86ee2e036c099d2d0701d1f0
https://doi.org/10.1109/iros.2015.7353438
Zobrazit plný text záznamu
4
Quantitative Examination of a Perfusion Microscope for the Study of Osmotic Response of Cells
Autor: Hiroshi Takamatsu, Yuichi Komori, Sylwia Zawlodzka, Motoo Fujii
Publikováno v: Journal of Biomechanical Engineering. 126:402-409
The perfusion microscope was developed for the study of the osmotic response of cells. In this microscope, the cells are immobilized in a transparent chamber mounted on the stage and exposed to a variety of milieus by perfusing the chamber with solut
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b081d8ce0ecc978c8d4ca1f9288f424b
https://doi.org/10.1115/1.1784474
Zobrazit plný text záznamu
7
Syntactical investigations intoBI logic andBB?I logic
Autor: Yuichi Komori
Publikováno v: Studia Logica. 53:397-416
In this note, we will study four implicational logicsB, BI, BB′ and BB′I. In [5], Martin and Meyer proved that a formula α is provable inBB′ if and only if α is provable inBB′I and α is not of the form of β » β. Though it gave a positiv
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2330e3a4acc9b9af50a27d8d9660d936
https://doi.org/10.1007/bf01057936
Zobrazit plný text záznamu
8
Holographic recording in a doubly doped lithium niobate crystal with two wavelengths: a blue laser diode and a green laser
Autor: Yuichi Komori, Yukihiro Ishii
Publikováno v: SPIE Proceedings.
A doubly-doped LiNbO3 (LN) crystal has been well used as a nonvolatile two-wavelength recording material. By using two levels of the crystal, two-kind holograms can be recorded on one crystal; a hologram is recorded with a 405-nm blue laser diode (LD
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6ab2aaf67fa345c91400c2a8c1e9d69f
https://doi.org/10.1117/12.864156
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje