Satoshi Kobayashi

Orcid: 0000-0002-4137-9091

According to our database1, Satoshi Kobayashi authored at least 83 papers between 1992 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors.
CoRR, 2024

2023
Automatic segmentation of prostate and extracapsular structures in MRI to predict needle deflection in percutaneous prostate intervention.
Int. J. Comput. Assist. Radiol. Surg., March, 2023

MRI Hepatic Fibrosis Stage Diagnosis Using Exchange Learning.
Proceedings of the IEEE International Conference on Internet of Things and Intelligence Systems, 2023

2022
Monotone Control of R Systems.
New Gener. Comput., 2022

A Comparative Study: Toward an Effective Convolutional Neural Network Architecture for Sensor-Based Human Activity Recognition.
IEEE Access, 2022

2021
Reducing control alphabet size for the control of right linear grammars with unknown behaviors.
Theor. Comput. Sci., 2021

Detection of Motion on a Trampoline with a Smartwatch.
Sensors, 2021

Gait assist brace with double carbon fiber reinforced plastic spring blades to allow ankle joint movement and change in walking direction.
Adv. Robotics, 2021

2020
Fast and Linear-Time String Matching Algorithms Based on the Distances of q-Gram Occurrences.
Proceedings of the 18th International Symposium on Experimental Algorithms, 2020

AOBA: An Online Benchmark Tool for Algorithms in Stringology.
Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020), 2020

2019

Monotonically controlling right linear grammars with unknown behaviors to output a target string.
Theor. Comput. Sci., 2019

Assessment of surgical skills by using surgical navigation in robot-assisted partial nephrectomy.
Int. J. Comput. Assist. Radiol. Surg., 2019

An Improvement of the Franek-Jennings-Smyth Pattern Matching Algorithm.
Proceedings of the Prague Stringology Conference 2019, 2019

Improvement of strength and porosity of β-TCP/HA composited bone filling material synthesized by Hydrothermal Hot-Pressing.
Proceedings of the International Symposium on Micro-NanoMechatronics and Human Science, 2019

Estimation of Sidewalk Surface Type with a Smartphone.
Proceedings of the ICIT 2019, 2019

2017
Modular robot using helical magnet for bonding and transformation.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

2016
Molecular computers for molecular robots as hybrid systems.
Theor. Comput. Sci., 2016

2013
Enumeration approach to computing chemical equilibria.
Theor. Comput. Sci., 2013

Molecular Robotics: A New Paradigm for Artifacts.
New Gener. Comput., 2013

Development of an Ultrasonically-Assisted Electrolytic Grinding System.
Int. J. Autom. Technol., 2013

2012
Molecular Computing Machineries - Computing Models and Wet Implementations.
Proceedings of the Handbook of Natural Computing, 2012

On the properties of language classes defined by bounded reaction automata.
Theor. Comput. Sci., 2012

Reaction automata.
Theor. Comput. Sci., 2012

An Adaptive Approach for Network Traffic Load Balancing by Using One-Way Delay.
Proceedings of the 12th IEEE/IPSJ International Symposium on Applications and the Internet, 2012

Towards a Data Hub for Biodiversity with LOD.
Proceedings of the Semantic Technology, Second Joint International Conference, 2012

2011
State and Threshold Sequence Minimization Algorithm of Linear Separation Automata.
Inf. Media Technol., 2011

2010
Theory of Minimizing Linear Separation Automata.
Inf. Media Technol., 2010

Electric field effects on radiative transition in quantum dot inorganic electroluminescent devices.
IEICE Electron. Express, 2010

Efficient State Minimization Algorithm of Linear Separation Automata.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

2009
Necessary and sufficient conditions for learning with correction queries.
Theor. Comput. Sci., 2009

Applying Symmetric Enumeration Method to One-Dimensional Assembly of Rotatable Tiles.
Proceedings of the Algorithmic Bioprocesses, 2009

2008
Stochastic Regular Approximation of Tree Grammars and Its Application to Faster ncRNA Family Annotation.
Inf. Media Technol., 2008

A New Translation for Semi-classical Theories - Backtracking without CPS.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007
A Characterization of the Language Classes Learnable with Correction Queries.
Proceedings of the Theory and Applications of Models of Computation, 2007

Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

An Efficient Multiple Alignment Method for RNA Secondary Structures Including Pseudoknots.
Proceedings of the Natural Computing, 2007

Probabilistic Inference in Test Tube and its Application to Gene Expression Profiles.
Proceedings of the Formal Models, 2007

A New Approach to Computing Equilibrium State of Combinatorial Hybridization Reaction Systems.
Proceedings of the 2nd International ICST Conference on Bio-Inspired Models of Network, 2007

2006
Mathematical Foundations of Learning Theory.
Proceedings of the Recent Advances in Formal Languages and Applications, 2006

Towards a Semantic Wiki-Based Japanese Biodictionary.
Proceedings of the SemWiki2006, First Workshop on Semantic Wikis, 2006

Semantic Wiki as a Lightweight Knowledge Management System.
Proceedings of the Semantic Web, 2006

2005
A Grammatical Approach to the Alignment of Structure-Annotated Strings.
IEICE Trans. Inf. Syst., 2005

Efficient Algorithm for Testing Structure Freeness of Finite Set of Biomolecular Sequences.
Proceedings of the DNA Computing, 11th International Workshop on DNA Computing, 2005

2004
Efficient Learning of <i>k</i>-Reversible Context-Free Grammars from Positive Structural Examples.
Proceedings of the Grammatical Inference: Algorithms and Applications, 2004

Testing Structure Freeness of Regular Sets of Biomolecular Sequences.
Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

An Algorithm for Testing Structure Freeness of Biomolecular Sequences.
Proceedings of the Aspects of Molecular Computing, 2004

2002
DNA Sequence Design Using Templates.
New Gener. Comput., 2002

A modality-independent MMI system architecture.
Proceedings of the 7th International Conference on Spoken Language Processing, ICSLP2002, 2002

On Template Method for DNA Sequence Design.
Proceedings of the DNA Computing, 8th International Workshop on DNA Based Computers, 2002

A Magic Pot : Self-assembly Computation Revisited.
Proceedings of the Formal and Natural Computing, 2002

2001
Multiple splicing systems and the universal computability.
Theor. Comput. Sci., 2001

Formal properties of PA-matching.
Theor. Comput. Sci., 2001

Sticker systems with complex structures.
Soft Comput., 2001

Automatic construction of CALL system from TV news program with captions.
Proceedings of the EUROSPEECH 2001 Scandinavia, 2001

XISL: an attempt to separate multimodal interactions from XML contents.
Proceedings of the EUROSPEECH 2001 Scandinavia, 2001

XISL: An Attempt to Seperate Interactions from Data.
Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

Horn Clause Computation by Self-assembly of DNA Molecules.
Proceedings of the DNA Computing, 7th International Workshop on DNA-Based Computers, 2001

Approximate identification of finite elasticity.
Proceedings of the Where Mathematics, 2001

2000
On the universality of Post and splicing systems.
Theor. Comput. Sci., 2000

Iterated Transductions and Efficient Learning from Positive Data: A Unifying View.
Proceedings of the Grammatical Inference: Algorithms and Applications, 2000

1999
Tree Adjoining Grammars for RNA Structure Prediction.
Theor. Comput. Sci., 1999

Horn Clause Computation with DNA Molecules.
J. Comb. Optim., 1999

1998
Learning Local Languages and Their Application to DNA Sequence Analysis.
IEEE Trans. Pattern Anal. Mach. Intell., 1998

Locality, Reversibility, and Beyond: Learning Languages from Positive Data.
Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

1997
Learning Approximately Regular Languages with Reversible Languages.
Theor. Comput. Sci., 1997

Monad as Modality.
Theor. Comput. Sci., 1997

Extraction and representation rhythmic components of spontaneous speech.
Proceedings of the Fifth European Conference on Speech Communication and Technology, 1997

DNA-EC: A model of DNA-computing based on equality checking.
Proceedings of the DNA Based Computers, 1997

Identifiability of Subspaces and Homomorphic Images of Zero-Reversible Languages.
Proceedings of the Algorithmic Learning Theory, 8th International Conference, 1997

1996
Families of Noncounting Languages and Their Learnability from Positive Data.
Int. J. Found. Comput. Sci., 1996

Two Extensions of PX system.
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1995
A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure.
Int. J. Found. Comput. Sci., 1995

Identifying Strategies Using Decision Lists from Trace Information.
IEICE Trans. Inf. Syst., 1995

Consistency of inter-transcribers' transcription.
Proceedings of the Fourth European Conference on Speech Communication and Technology, 1995

On Approximately Identifying Concept Classes in the Limit.
Proceedings of the Algorithmic Learning Theory, 6th International Conference, 1995

1994
Realizability Interpretation of Generalized Inductive Definitions.
Theor. Comput. Sci., 1994

Tempo estimation by wave envelope for recognition of paralinguistic features in spontaneous speech.
Proceedings of the 3rd International Conference on Spoken Language Processing, 1994

Learning Local Languages and its Application to Protein \alpha-Chain Identification.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

Learning Concatenations of Locally Testable Languages from Positive Data.
Proceedings of the Algorithmic Learning Theory, 1994

1993
Learning Decision Lists over Tree Patterns and Its Application.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Learning Strategies Using Decision Lists.
Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992
A method of acquiring strategies and classifying knowledge from trace data.
Syst. Comput. Jpn., 1992


  Loading...