264 citations
- Tokyo Institute of TechnologyJP173 papers
- The University of TokyoJP41 papers
- National Astronomical Observatory of JapanJP34 papers
- Kanazawa UniversityJP24 papers
- Centre National de la Recherche ScientifiqueFR22 papers
- Japan Aerospace Exploration AgencyJP19 papers
- Aalto UniversityFI15 papers
- California Institute of TechnologyUS12 papers
- Institute of Space and Astronautical ScienceJP12 papers
- Observatoire de la Côte d’AzurFR12 papers
- Tohoku UniversityJP11 papers
- Chiba Institute of TechnologyJP10 papers
217 papers
Formation of Ryugu's parent planetesimal beyond the CO snow line from small pebbles: insights from thermal evolution modeling
Sota Arakawa, Hidenori Genda, Noriyuki Kawasaki +3
Astronomical observations of planet-forming circumstellar disks indicate that planetesimals form from 0.1-mm- to 1-cm-sized dust aggregates, commonly called ``pebbles.'' When such…
Evolution and Observable Properties of Rocky Planet Atmospheres
Marie-Luise Steinmeyer, Lena Noack, Philipp Baumeister +9
The atmospheric composition of rocky exoplanets offers an important tool for constraining the properties of the interior of this type of planet, beyond what is possible from measur…
Oxygen isotope fractionation in the Martian atmosphere induced by CO photolysis and O formation
Tatsuya Yoshida, Shohei Aoki, Hiromu Nakagawa +8
The enrichment of heavy isotopes of volatile elements in the Martian atmosphere indicates that Mars lost a large portion of its atmosphere through escape to space. Recent atmospher…
Global Abiotic Sulfur Cycling on Earth-like Terrestrial Planets
Rafael Rianço-Silva, Javed Akhter Mondal, Matthew A. Pasek +3
Sulfur is a redox active element that may have helped mediate an electron flow that kickstarted life and which presently is an essential element for all life on Earth. Despite curr…
ALP Dark Matter, Cosmological Magnetic Fields and the Direct Collapse Black Hole Formation Scenario
Ashu Kushwaha, Robert Brandenberger
Assuming that dark matter is an ultralight pseudoscalar particle which couples to electromagnetism like an axion (an ALP), we demonstrate that the coupling of the cosmological magn…
A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
Yoshiki Nakamura
We consider (logical) reasoning for regular expressions with lookahead (REwLA). In this paper, we give an axiomatic characterization for both the (match-)language equivalence and t…