Tetsuya Mizutani

Orcid: 0000-0002-8313-5925

According to our database1, Tetsuya Mizutani authored at least 21 papers between 1993 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Computational Analysis of Jazz Music: Estimating Tonality through Chord Progression Distances.
Proceedings of the 7th International Conference on Computer Science and Application Engineering, 2023

Style Transfer of Musical Performance Expression Using Note Classification Based on the Implication-Realization Model.
Proceedings of the 7th International Conference on Computer Science and Application Engineering, 2023

Analysis of Performance Expressions Using Sequential Tension Values.
Proceedings of the 7th International Conference on Computer Science and Application Engineering, 2023

2022
Peak Picking Multiple Onset Detection Functions Using Recurrent Neural Networks.
Proceedings of the 10th International Conference on Computer and Communications Management, 2022

Audio Feature Extraction for DTW-based Audio-to-Score Alignment.
Proceedings of the 10th International Conference on Computer and Communications Management, 2022

2021
A Linear Regression Analysis of Musical Expressions using the Implication-Realization Model.
Proceedings of the ICCCM 2021: 9th International Conference on Computer and Communications Management, Singapore, July 16, 2021

2020
A Data Cleansing System for Musical Expression Analysis.
Proceedings of the ICCCM 2020: 8th International Conference on Computer and Communications Management, 2020

2012
Expressive Secondo Performances of a Realtime Person-Computer Ensemble System.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2012

2011
A Matching Method between Music Scores and Performance Data in a Realtime Person-Computer Ensemble System.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010
A Realtime Human-Computer Ensemble System: Formal Representation and Experiments for Expressive Performance.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

2009
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal.
Proceedings of the TASE 2009, 2009

Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus.
Proceedings of the TASE 2009, 2009

Formal Analysis of an Airplane Accident in <i>N</i>Sigma-Labeled Calculus.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2009

2008
Human factors in continuous time-concerned cooperative systems represented by <i>N</i> Sigma-labeled calculus.
Frontiers Comput. Sci. China, 2008

2006
Labeled @-Calculus: Formalism for Time-Concerned Human Factors.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2001
Representation of a Discretely Controlled Continuous System in Tense Arithmetic.
Proceedings of the Computing: The Australasian Theory Symposium, 2001

1997
Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.
Proceedings of the Advances in Computing Science, 1997

1996
Formal Verification and Evaluation of Execution Time in the Envelope Theory.
Proceedings of the Concurrency and Parallelism, 1996

Formal Analysis for Continous Systems Controlled by Programs.
Proceedings of the Concurrency and Parallelism, 1996

1994
On Locomorphism in Analytical Equivalence Theory.
Proceedings of the Logic, 1994

1993
Experiments on Computerized Piano Accompaniment.
Proceedings of the Opening a New Horizon: Proceedings of the 1993 International Computer Music Conference, 1993


  Loading...