Satoshi Kobayashi

Available identifiers

zbMath Open kobayashi.satoshiMaRDI QIDQ391181

List of research outcomes

Publication	Date of Publication	Type
On approximately identifying concept classes in the limit	2023-12-08	Paper
Fast and linear-time string matching algorithms based on the distances of \(q\)-gram occurrences	2023-02-07	Paper
Reducing control alphabet size for the control of right linear grammars with unknown behaviors	2021-03-09	Paper
Monotonically controlling right linear grammars with unknown behaviors to output a target string	2019-06-18	Paper
Molecular computers for molecular robots as hybrid systems	2016-05-27	Paper
Enumeration approach to computing chemical equilibria	2014-01-10	Paper
On the properties of language classes defined by bounded reaction automata	2012-10-11	Paper
Reaction automata	2012-05-30	Paper
Necessary and sufficient conditions for learning with correction queries	2009-11-06	Paper
Aspects of Molecular Computing	2009-05-14	Paper
Efficient Algorithm for Testing Structure Freeness of Finite Set of Biomolecular Sequences	2009-04-02	Paper
A New Translation for Semi-classical Theories — Backtracking without CPS	2008-04-11	Paper
A Characterization of the Language Classes Learnable with Correction Queries	2007-11-13	Paper
Grammatical Inference: Algorithms and Applications	2006-10-20	Paper
DNA Computing	2006-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4737672	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738307	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4470568	2004-07-01	Paper
DNA sequence design using templates	2003-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4414681	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4782115	2002-11-27	Paper
Sticker systems with complex structures	2002-07-25	Paper
Formal properties of PA-matching	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2754010	2001-11-11	Paper
Multiple splicing systems and the universal computability	2001-08-20	Paper
Horn clause computation with DNA molecules	1999-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4263695	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4247007	1999-06-16	Paper
Tree adjoining grammars for RNA structure prediction	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4222832	1998-12-13	Paper
Learning approximately regular languages with reversible languages	1998-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4370216	1998-09-08	Paper
Monad as modality	1998-07-23	Paper
FAMILIES OF NONCOUNTING LANGUAGES AND THEIR LEARNABILITY FROM POSITIVE DATA	1997-08-07	Paper
A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE	1995-12-03	Paper
Realizability interpretation of generalized inductive definitions	1994-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q3826550	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Satoshi Kobayashi