Takahiro Seki

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 2

Top Topics

Online Learning

Sequent Calculi

Decision Procedures

Top Venues

IEICE Trans. Inf. Syst.

Publications

Takahiro Seki, Asahi Niikura, Kyoko Hidaka
Constructing a Learning Management System for Video Production Using Multiple Online Software. TALE (2020)
Hiroshi Fujiwara, Takahiro Seki, Toshihiro Fujito
Online Weight Balancing on the Unit Circle. IEICE Trans. Inf. Syst. (3) (2016)
Takahiro Seki
Halldén Completeness for Relevant Modal Logics. Notre Dame J. Formal Log. 56 (2) (2015)
Hiroshi Fujiwara, Takahiro Seki, Toshihiro Fujito
Online Weight Balancing on the Unit Circle. JCDCGG (2013)
Takahiro Seki
Some Metacomplete Relevant Modal Logics. Stud Logica 101 (5) (2013)
Takahiro Seki
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics. Stud Logica 100 (6) (2012)
Takahiro Seki
Metacompleteness of Substructural Logics. Stud Logica 100 (6) (2012)
Takahiro Seki
-admissibility of Relevant Modal Logics II - The Method using Metavaluations. Stud Logica 97 (3) (2011)
Takahiro Seki
-admissibility of Relevant Modal Logics I - The Method of Normal Models. Stud Logica 97 (2) (2011)
Takahiro Seki
Completness of relevant modal logics with disjunctive rules. Reports Math. Log. 44 (2009)
Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Nozomi Ytow, Sachio Hirokawa
Multiple Viewed Search Engine for an e-Journal - A Case Study on Zoological Science. HCI (4) (2007)
Takahiro Seki, Satoshi Akui, Katsunori Seno, Masakatsu Nakai, Tetsumasa Meguro, Tetsuo Kondo, Akihiko Hashiguchi, Hirokazu Kawahara, Kazuo Kumano, Masayuki Shimura
Dynamic Voltage and Frequency Management for a Low-Power Embedded Microprocessor. IEICE Trans. Electron. (4) (2005)
Masakatsu Nakai, Satoshi Akui, Katsunori Seno, Tetsumasa Meguro, Takahiro Seki, Tetsuo Kondo, Akihiko Hashiguchi, Hirokazu Kawahara, Kazuo Kumano, Masayuki Shimura
Dynamic voltage and frequency management for a low-power embedded microprocessor. IEEE J. Solid State Circuits 40 (1) (2005)
Koji Iwano, Takahiro Seki, Sadaoki Furui
Contour Information. IEICE Trans. Inf. Syst. (5) (2004)
Takahiro Seki
A Sahlqvist Theorem for Relevant Modal Logics. Stud Logica 73 (3) (2003)
Takahiro Seki
General Frames for Relevant Modal Logics. Notre Dame J. Formal Log. 44 (2) (2003)
Koji Iwano, Takahiro Seki, Sadaoki Furui
Noise robust speech recognition using F0 contour extracted by hough transform. INTERSPEECH (2002)