Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Sohei Iwata"'
Autor:
Taishi Kurahashi, Sohei Iwata
Publikováno v:
Annals of the Japan Association for Philosophy of Science. 29:1-25
It is well known that the propositional modal logic $\mathbf{GL}$ of provability satisfies the de Jongh-Sambin fixed-point property. On the other hand, Montagna showed that the predicate modal system $\mathbf{QGL}$, which is the natural variant of $\
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7aa401a5907b5642602ea3014d83523
https://doi.org/10.4288/jafpos.29.0_1
https://doi.org/10.4288/jafpos.29.0_1
Autor:
Sohei Iwata, Taishi Kurahashi
Publikováno v:
Annals of Pure and Applied Logic. 170:163-179
In this paper, we establish a stronger version of Artemov's arithmetical completeness theorem of the Logic of Proofs LP 0 . Moreover, we prove a version of the uniform arithmetical completeness theorem of LP 0 .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a75878de02bb58b81827d6f2b2d6b3c
https://doi.org/10.1016/j.apal.2018.09.004
https://doi.org/10.1016/j.apal.2018.09.004
Autor:
Sohei Iwata, Taishi Kurahashi
We introduce and develop a topological semantics of conservativity logics and interpretability logics. We prove the topological compactness theorem of consistent normal extensions of the conservativity logic $\mathbf{CL}$ by extending Shehtman's ultr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ae573e762e07fac811ea6b5c86454bc
Autor:
Sohei Iwata
Publikováno v:
Springer Proceedings in Mathematics & Statistics ISBN: 9789811641725
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a8e8e81b3c249123a25091eacadd00e
https://doi.org/10.1007/978-981-16-4173-2_3
https://doi.org/10.1007/978-981-16-4173-2_3
Autor:
Yoshikazu Fukuyama, Sohei Iwata
Publikováno v:
IEEJ Transactions on Power and Energy. 138:423-431
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::42389ab270b7f21a0f41b8b0099b0ee3
https://doi.org/10.1541/ieejpes.138.423
https://doi.org/10.1541/ieejpes.138.423
Publikováno v:
IFAC-PapersOnLine. 51:179-184
This paper proposes dependable multi-population differential evolutionary particle swarm optimization (DEEPSO) for distribution state estimation (DSE) using correntropy. Considering deregulation of power systems and high penetration of renewable ener
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c3bd0f62d876f9d33e11a2b583652fe8
https://doi.org/10.1016/j.ifacol.2018.11.698
https://doi.org/10.1016/j.ifacol.2018.11.698
Autor:
Yoshikazu Fukuyama, Sohei Iwata
Publikováno v:
IEEJ Transactions on Power and Energy. 137:52-58
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c6abc07c9e2008b5c2a4b83feb291ba
https://doi.org/10.1541/ieejpes.137.52
https://doi.org/10.1541/ieejpes.137.52
Autor:
Yoshikazu Fukuyama, Sohei Iwata
Publikováno v:
IFAC-PapersOnLine. 49:140-145
This paper evaluates dependability on parallel differential evolution (DE) based voltage and reactive power control (Volt/Var Control: VVC) Considering large penetration of renewable energies and deregulated environment of power systems VVC requires
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4923ee42915faae1b698db4fd4eb554d
https://doi.org/10.1016/j.ifacol.2016.10.733
https://doi.org/10.1016/j.ifacol.2016.10.733
Publikováno v:
SSCI
This paper proposes Multi-population differential evolutionary particle swarm optimization (DEEPSO) for distribution state estimation (DSE) using correntropy in electric power systems. Practical equipment in distribution systems causes nonlinear char
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d056f8d844a3bb7ca1f97a89109f6d0
https://doi.org/10.1109/ssci.2017.8280878
https://doi.org/10.1109/ssci.2017.8280878
Autor:
Yoshikazu Fukuyama, Sohei Iwata
Publikováno v:
2016 IEEE International Conference on Power System Technology (POWERCON).
This paper evaluates dependability of parallel differential evolutionary particle swarm optimization (DEEPSO) based voltage and reactive power control (Volt/Var Control: VVC). Considering large penetration of renewable energies and deregulated enviro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abcc007ea1eafef982133add5828bd94
https://doi.org/10.1109/powercon.2016.7753916
https://doi.org/10.1109/powercon.2016.7753916