output
19942026
most citedMass Estimates of a Giant Planet in a Protoplanetary Disk from the Gap Structures

210 citations

Showing 2017Show all

6 papers · 1 filter

astro-ph.IM2017★ 51 cited

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…

math.AP2017★ 10 cited

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…

cs.DS2017★ 1 cited

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,…

cs.LO2017

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…

cs.LO2017★ 11 cited

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…

astro-ph.EP2017★ 25 cited

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…