Takahiro Seki

According to our database1, Takahiro Seki authored at least 15 papers between 2002 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Constructing a Learning Management System for Video Production Using Multiple Online Software.
Proceedings of the IEEE International Conference on Teaching, 2020

2016
Online Weight Balancing on the Unit Circle.
IEICE Trans. Inf. Syst., 2016

2015
Halldén Completeness for Relevant Modal Logics.
Notre Dame J. Formal Log., 2015

2013
Some Metacomplete Relevant Modal Logics.
Stud Logica, 2013

2012
Metacompleteness of Substructural Logics.
Stud Logica, 2012

An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.
Stud Logica, 2012

2011
The <i>γ</i>-admissibility of Relevant Modal Logics II - The Method using Metavaluations.
Stud Logica, 2011

The <i>γ</i>-admissibility of Relevant Modal Logics I - The Method of Normal Models.
Stud Logica, 2011

2009
Completness of relevant modal logics with disjunctive rules.
Reports Math. Log., 2009

2007
Multiple Viewed Search Engine for an e-Journal - A Case Study on Zoological Science.
Proceedings of the Human-Computer Interaction. HCI Applications and Services, 2007

2005
Dynamic Voltage and Frequency Management for a Low-Power Embedded Microprocessor.
IEICE Trans. Electron., 2005

2004
Noise Robust Speech Recognition Using <i>F</i><sub>0</sub> Contour Information.
IEICE Trans. Inf. Syst., 2004

2003
A Sahlqvist Theorem for Relevant Modal Logics.
Stud Logica, 2003

General Frames for Relevant Modal Logics.
Notre Dame J. Formal Log., 2003

2002
Noise robust speech recognition using F0 contour extracted by hough transform.
Proceedings of the 7th International Conference on Spoken Language Processing, ICSLP2002, 2002


  Loading...