Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CQ, MIKA (Joint) |
2023-09-01 09:50 |
Fukushima |
Tenjin-Misaki Sports Park |
[Invited Lecture]
An Evaluation of Methods for Identifying Influencers on Social Media using their Ego-Network Structures Akira Hashimoto, Sho Tsugawa (Tsukuba Univ.), Keiichirou, Shintaro Igari (KDX) CQ2023-35 |
Identifying influencers on social media is an important research topic in the field of network science. This paper evalu... [more] |
CQ2023-35 pp.54-58 |
CQ, MIKA (Joint) (2nd) |
2023-08-30 16:20 |
Fukushima |
Tenjin-Misaki Sports Park |
[Poster Presentation]
An Evaluation of Methods for Identifying Influencers on Social Media using their Ego-Network Structures Akira Hashimoto, Sho Tsugawa (Tsukuba Univ.), Keiichirou Tsukamoto, Shintaro Igari (KDX) |
Identifying influencers on social media is an important research topic in the field of network science. This paper evalu... [more] |
|
NC, NLP |
2023-01-28 12:10 |
Hokkaido |
Future University Hakodate (Primary: On-site, Secondary: Online) |
Development and evaluation of an accurate state-of-charge estimation method for batteries with hysteresis Keiichirou Suzuki (Ritsumeikan Univ.), Lei Lin, Masahito Arima (Daiwa Can Company), Masahiro Fukui (Ritsumeikan Univ.) NLP2022-86 NC2022-70 |
The price rising of rare metals such as nickel and cobalt have caused the demand increase of the lithium ion batteries c... [more] |
NLP2022-86 NC2022-70 pp.24-29 |
OPE, OCS, LQE |
2022-10-21 15:10 |
Ehime |
(Primary: On-site, Secondary: Online) |
Fundamental Study of Vertical Diffraction Grating for Application to Active MMI Laser Keiichirou Kozu, Xiao He, Yudai kawano, Haisong Jiang, Kiichi Hamamoto (Kyushu Univ.) OCS2022-37 OPE2022-83 LQE2022-46 |
Active MMI (multi-mode interferometer) lasers are capable of exhibiting photon-photon resonance and are being investigat... [more] |
OCS2022-37 OPE2022-83 LQE2022-46 pp.104-109 |
CQ, CS (Joint) |
2022-05-12 09:50 |
Fukui |
Fukui (Fuku Pref.) (Primary: On-site, Secondary: Online) |
Analysing Relation between Influence of Twitter Business Accounts and their Ego Network Structure Yuto Nakamitsu, Sho Tsugawa, Keiichirou Tsukamoto, Shintaro Igari () CQ2022-1 |
We exploratory investigate the relation between the influence of Twitter
users and the characteristics of their ego ne... [more] |
CQ2022-1 pp.1-6 |
CQ, CBE (Joint) |
2022-01-28 11:20 |
Ishikawa |
Kanazawa(Ishikawa Pref.) (Primary: On-site, Secondary: Online) |
A Study on Identifying Influencer from Ego Network Using Graph Neural Network Akira Hashimoto, Sho Tsugawa (Tsukuba Univ), Keiichirou Tsukamoto, Shintaro Igari (KADOKAWA Connected) CQ2021-91 |
Identifying influencers on social media has been an important research topic. In this paper, we propose a method to pre... [more] |
CQ2021-91 pp.82-87 |
NLP, MICT, MBE, NC (Joint) [detail] |
2022-01-23 09:25 |
Online |
Online |
Study of Parallel Connection Simulator for Variation Analysis in Battery Cells Wada Fuma, Suzuki Keiichirou, Isoda Yuya, Fukui Masahiro (Ritsmeikan Univ) NLP2021-120 MICT2021-95 MBE2021-81 |
In recent years, the demand for storage batteries has been increasing worldwide with the rise of environmental awareness... [more] |
NLP2021-120 MICT2021-95 MBE2021-81 pp.225-230 |
MIKA (3rd) |
2021-10-28 10:30 |
Okinawa |
(Primary: On-site, Secondary: Online) |
[Poster Presentation]
A Study on Influence Prediction on Social Networks Using Graph Neural Networks Akira Hashimoto, Sho Tsugawa (Tsukuba Univ), Keiichirou Tsukamoto, Shintaro Igari (KADOKAWA Connected) |
Social media services such as Twitter and Facebook have been getting increased interest from many users, and therefore, ... [more] |
|
CAS, NLP |
2021-10-14 10:00 |
Online |
Online |
Study on Improvement of Accuracy of Lithium-ion Battery Charge Rate Estimation Using Kalman filter Keiichirou Suzuki, Syuusei Ota, Takahiro Siohara, Masahiro Fukui (Ritsumeikan Univ.) CAS2021-17 NLP2021-15 |
In recent years, decarbonization has been promoted due to environmental concerns. Therefore, the demand for lithium-ion ... [more] |
CAS2021-17 NLP2021-15 pp.1-6 |
HCS |
2018-03-14 14:20 |
Miyagi |
Research Institute of Electrical Communication, Tohoku University |
Affection on User's Empathy Caused by Text Content Kazunori MAtsumoto, Kazushi Ikeda, Syunichi Tahara, Keiichirou Hoashi (KDDI Research Labs.) HCS2017-115 |
(To be available after the conference date) [more] |
HCS2017-115 pp.131-137 |
SS |
2014-03-11 13:30 |
Okinawa |
Tenbusu Naha |
On Detecting Useless Transition Rules of Constrained Tree Automata Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Kenji Hashimoto (Nagoya Univ.) SS2013-77 |
Reduction completeness of terms is proved many times in a theorem proving method for constrained term rewriting systems ... [more] |
SS2013-77 pp.31-36 |
SS, KBSE |
2013-07-26 10:30 |
Hokkaido |
|
Malbolge with 20trits word length and its programming Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2013-25 KBSE2013-25 |
Malbolge is known to be one of the most esoteric programming languages.
Recently a low-level assembly language (LA-lang... [more] |
SS2013-25 KBSE2013-25 pp.73-78 |
MSS, SS |
2013-03-07 11:40 |
Fukuoka |
Shikanoshima |
On Composing the Simplex Method and Gomory Cut for Deriving Integer Assignments Masaaki Fushimi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) MSS2012-78 SS2012-78 |
The simplex method is one of the methods to derive rational assignments from linear constraints on ratiolals. It is know... [more] |
MSS2012-78 SS2012-78 pp.109-114 |
SS |
2013-01-10 13:30 |
Okinawa |
|
Construction of Constrained Tree Automata Recognizing Ground Instances of Constrained Terms Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
A theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision... [more] |
SS2012-47 pp.7-12 |
SS |
2013-01-10 15:15 |
Okinawa |
|
Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
Malbolge is known as one of the most esoteric programming languages. Although it became possible to write programs in M... [more] |
SS2012-50 pp.25-30 |
SS, IPSJ-SE |
2012-11-01 10:25 |
Hiroshima |
Hiroshima City University |
A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2012-37 |
Malbolge is known to be one of the most esoteric programming languages. Although it becomes possible to write programs i... [more] |
SS2012-37 pp.7-12 |
KBSE, SS |
2012-07-28 13:10 |
Hokkaido |
Future University Hakodate |
On Extending Matching Operation in Grammar Programs for Program Inversion Minami Niwa, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) SS2012-27 KBSE2012-29 |
[more] |
SS2012-27 KBSE2012-29 pp.103-108 |
SS |
2012-05-11 10:45 |
Ehime |
Ehime Univ. |
Introducing Array Mechanism into High-Level Assembly Language for Malbolge Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2012-8 |
Malbolge is known to be one of the most esoteric programming languages. Although it is possible to write programs in Mal... [more] |
SS2012-8 pp.43-48 |
SS |
2012-05-11 11:15 |
Ehime |
Ehime Univ. |
Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types Keiichirou Kusakari (Nagoya Univ.) SS2012-9 |
For simply-typed term rewriting systems (STRSs)
and higher-order rewrite systems (HRSs) {\em \`a la} Nipkow,
we propo... [more] |
SS2012-9 pp.49-54 |
SS, MSS |
2012-01-26 14:15 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls Eiichi Suzuki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) MSS2011-61 SS2011-46 |
Finding loop invariants is one of the most important tasks in program verification. It is, however, difficult to automat... [more] |
MSS2011-61 SS2011-46 pp.39-44 |