Sohei Iwata

According to our database, Sohei Iwata authored at least 5 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2024

The fixed point and the Craig interpolation properties for sublogics of bfIL.

Sohei Iwata, Taishi Kurahashi, Yuya Okawa

Arch. Math. Log., February, 2024

2021

Topological semantics of conservativity and interpretability logics.

Sohei Iwata, Taishi Kurahashi

J. Log. Comput., 2021

2019

On arithmetical completeness of the logic of proofs.

Sohei Iwata, Taishi Kurahashi

Ann. Pure Appl. Log., 2019

2017

Multi-population differential evolutionary particle swarm optimization for distribution state estimation using correntropy in electric power systems.

Sohei Iwata, Yoshikazu Fukuyama, Toru Jintsugawa, Hisashi Fujimoto, Tetsuro Matsui

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

2014

Object Detection Based on Multiresolution CoHOG.

Sohei Iwata, Shuichi Enokida

Proceedings of the Advances in Visual Computing - 10th International Symposium, 2014