Tomohiro Shiraishi

According to our database1, Tomohiro Shiraishi authored at least 15 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Statistical Test for Generated Hypotheses by Diffusion Models.
CoRR, 2024

Statistical Test for Anomaly Detections by Variational Auto-Encoders.
CoRR, 2024

Statistical Test for Attention Map in Vision Transformer.
CoRR, 2024

2023
Selective Inference for Changepoint detection by Recurrent Neural Network.
CoRR, 2023

Bounded P-values in Parametric Programming-based Selective Inference.
CoRR, 2023

2021
New Inventories of Global Carbon Dioxide Emissions through Biomass Burning in 2001-2020.
Remote. Sens., 2021

2019
Peatland Carbon Emissions Estimates by ALOS-2 PALSAR-2 Interferometry in Borneo.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2015
Multitemporal Fluctuations in L-Band Backscatter From a Japanese Forest.
IEEE Trans. Geosci. Remote. Sens., 2015

Calibration of Aboveground Forest Carbon Stock Models for Major Tropical Forests in Central Sumatra Using Airborne LiDAR and Field Measurement Data.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2015

2014
Comparative Assessment of Supervised Classifiers for Land Use-Land Cover Classification in a Tropical Region Using Time-Series PALSAR Mosaic Data.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2014

2013
Dependency of forest biomass on full Polarimetric parameters obtained from L-band SAR data for a natural forest in Indonesia.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

2011
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.
IEICE Trans. Inf. Syst., 2011

Generation of 10m resolution PALSAR and JERS-SAR mosaic and forest/non-forest maps for forest carbon tracking.
Proceedings of the 2011 IEEE International Geoscience and Remote Sensing Symposium, 2011

2010
Model Checking of Software Design in State Transition Matrix.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.
Proceedings of the Prodeedings of the 2010 International Conference on Computational Science and Its Applications, 2010


  Loading...