210 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Hokkaido UniversityJP59 papers
- Sapporo UniversityJP12 papers
- The University of TokyoJP12 papers
- Kyoto UniversityJP8 papers
- Hokkaido University of EducationJP6 papers
- Kyushu UniversityJP6 papers
- The University of OsakaJP5 papers
- Tohoku UniversityJP5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Mie UniversityJP4 papers
- Tokyo Institute of TechnologyJP4 papers
- Health Sciences University of HokkaidoJP3 papers
6 papers · 1 filter
Deuteration of ammonia with D atoms on oxidized partly ASW covered graphite surface
Henda Chaabouni, Marco Minissale, Saoud Baouche +1
The deuteration of ammonia by D atoms has been investigated experimentally in the sub-monolayer regime on realistic analogues of interstellar dust grain surfaces. About 0.8 monolay…
Global existence for a system of quasi-linear wave equations in D satisfying the weak null condition
Kunio Hidano, Kazuyoshi Yokoyama
We show global existence of small solutions to the Cauchy problem for a system of quasi-linear wave equations in three space dimensions. The feature of the system lies in that it s…
Linear-size CDAWG: new repetition-aware indexing and grammar compression
Takuya Takagi, Keisuke Goto, Yuta Fujishige +2
In this paper, we propose a novel approach to combine \emph{compact directed acyclic word graphs} (CDAWGs) and grammar-based compression. This leads us to an efficient self-index,…
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
Katsuhiko Sano
This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu. To find a Hilbert sys…
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
Katsuhiko Sano, John G. Stell
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility…
Evolution of Morphological and Physical Properties of Laboratory Interstellar Organic Residues with Ultraviolet Irradiation
Laurette Piani, Shogo Tachibana, Tetsuya Hama +15
Refractory organic compounds formed in molecular clouds are among the building blocks of the solar system objects and could be the precursors of organic matter found in primitive m…