FAZEKAS SZILARD ZSOLT (フアゼカス シラード ゾルト)

FAZEKAS SZILARD ZSOLT

写真a

所属

大学院理工学研究科  数理・電気電子情報学専攻  数理科学コース 

研究室住所

〒010-8502 秋田市手形学園町 1番1号

研究室電話

2474

メールアドレス

メールアドレス

研究キーワード 【 表示 / 非表示

  • Combinatorics on words

  • Molecular computing

  • String algorithms

  • 形式言語

  • オートマトン

全件表示 >>

出身大学 【 表示 / 非表示

  • 1998年09月
    -
    2003年06月

    University of Debrecen   Faculty of Science   Institute of Mathematics and Informatics   卒業

出身大学院 【 表示 / 非表示

  • 2004年04月
    -
    2010年02月

    Rovira i Virgili University  International PhD School in Formal Languages and Applications  博士課程  修了

取得学位 【 表示 / 非表示

  • Rovira i Virgili University -  PhD

  • University of Debrecen -  M. Sc. Software Engineering

職務経歴(学内) 【 表示 / 非表示

  • 2013年10月
    -
    2020年03月

    秋田大学   ■廃止組織■   大学院工学資源学研究科   秋田大学   講師  

  • 2020年04月
    -
    継続中

    秋田大学   大学院理工学研究科   数理・電気電子情報学専攻   数理科学コース   准教授  

職務経歴(学外) 【 表示 / 非表示

  • 2013年10月
    -
    2020年03月

      Akita University   Lecturer

学会(学術団体)・委員会 【 表示 / 非表示

  • 2019年10月
    -
    継続中
     

    日本国

     

    IPSJ

 

学位論文 【 表示 / 非表示

  • Repetitive subwords

    Szilárd Zsolt Fazekas

      2010年02月

    単著

研究等業績 【 表示 / 非表示

    ◆原著論文【 表示 / 非表示

  • Towards composable computations by RNA co-transcriptional folding: A proof-of-concept demonstration of nested loops in oritatami

    Fazekas S.Z.

    Theoretical Computer Science ( Theoretical Computer Science )  999   114550 - 114550   2024年06月  [査読有り]

    研究論文(学術雑誌)  

    Gliders have been underpinning various computations in oritatami, a model of computation by letting an RNA sequence fold while being synthesized (transcribed). It has proven quite powerful to let them shrink and stretch, shifting the (abstraction of the) RNA sequence in the direction of synthesis. Here we demonstrate how easy-to-program and versatile it is to merely combine such elastic gliders by thus building up a binary counter, which is used as a for-loop, and an interface to nest such counters.

    DOI

  • Complexities for jumps and sweeps

    Fazekas S.Z., Mercas R.

    Journal of Automata, Languages and Combinatorics ( Justus-Liebig-Universität Giessen )  27 ( 1-3 ) 131 - 149   2022年08月  [査読有り]

    研究論文(学術雑誌)   国際共著

    DOI

  • The effect of jumping modes on various automata models

    Fazekas S.Z., Hoshi K., Yamamura A.

    Natural Computing ( Springer )  21   17 - 30   2022年03月  [査読有り]

    研究論文(学術雑誌)   国内共著

    DOI

  • Square network on a word

    Fazekas S.Z., Seki S.

    Theoretical Computer Science ( Elsevier )  894   121 - 134   2021年11月  [査読有り]

    研究論文(学術雑誌)  

    DOI

  • Linear bounds on the size of conformations in greedy deterministic oritatami

    Fazekas S.Z., Kim H., Matsuoka R., Morita R., Seki S.

    International Journal of Foundations of Computer Science ( World Scientific )  32 ( 5 ) 575 - 596   2021年08月  [査読有り]

    研究論文(学術雑誌)  

    DOI

  • 全件表示 >>

    ◆総説・解説【 表示 / 非表示

  • SPECIAL ISSUE DEDICATED TO MASAMI ITO AND PÁL DÖMÖSI

    Fazekas S.

    Journal of Automata, Languages and Combinatorics ( Journal of Automata, Languages and Combinatorics )  26 ( 1-2 ) 3 - 5   2021年

    総説・解説(学術雑誌)   単著

    DOI

  • ◆国際会議プロシーディングス【 表示 / 非表示

  • Subsequence Matching and Analysis Problems for Formal Languages

    Fazekas S.Z., T. Koss, F. Manea, R. Mercas, T. Specht

    Leibniz International Proceedings in Informatics, LIPIcs ( Leibniz International Proceedings in Informatics, LIPIcs )  322   28 - 23   2024年12月  [査読有り]

    研究論文(国際会議プロシーディングス)   国際共著

    DOI

  • Generalized Parikh Matrices for Tracking Subsequence Occurrences

    S.Z. Fazekas, X. Huang

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ( Springer )  15373 LNCS   164 - 181   2024年11月  [査読有り]

    研究論文(国際会議プロシーディングス)   国際共著

    DOI

  • Jump Complexity of Deterministic Finite Automata with Translucent Letters

    S.Z. Fazekas, V. Mitrana

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ( Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) )  15373 LNCS   62 - 77   2024年11月  [査読有り]

    研究論文(国際会議プロシーディングス)   国際共著

    DOI

  • Automated Extraction of Sediment Core and Scale Segments from Core Scanner Images

    S.Z. Fazekas, S. Isawa, S. Obrochta

    2023 15th International Conference on Information Technology and Electrical Engineering, ICITEE 2023 ( IEEE )    1 - 6   2023年10月  [査読有り]

    研究論文(国際会議プロシーディングス)  

    In this paper we report on semantic segmentation of images of sediment cores obtained from core scanners. Such images usually encompass several objects beyond the essential parts showing the core itself and the measuring scale (typically a ruler or some sort of tape measure), which might be necessary for imaging or physically holding the material, but are irrelevant for the analysis of cores. Moreover, such objects are obstacles to analyzing cores in an automated manner by image processing or deep learning methods. As part of development of a toolkit for automated analysis of sediment cores, we show that the essential parts of the images - core itself and scale reference - can be extracted with high accuracy, using well-established convolutional architectures for semantic segmentation, such as Unet.

    DOI

  • Sweep Complexity Revisited

    Fazekas S.Z., Mercas R.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ( Springer )  14151   116 - 127   2023年09月  [査読有り]

    研究論文(国際会議プロシーディングス)   国際共著

    We study the sweep complexity of DFA in one-way jumping mode answering several questions posed earlier. This measure is the number of times in the worst case that such machines have to return to the beginning of their input after having skipped some of the symbols. The class of languages accepted by these machines strictly includes the regular class and constant sweep complexity allows exactly the acceptance of regular languages. However, we show that there exist machines with higher than constant complexity still only accepting regular languages and that in general the sweep complexity of an automaton does not distinguish between accepting regular and non-regular languages. We establish separation results for asymptotic classes defined by this complexity measure and give a surprising exponential/logarithmic relation between factors of certain inputs which can be verified by such machines.

    DOI DOI2

  • 全件表示 >>

    ◆⼤学,研究機関紀要【 表示 / 非表示

  • Some Results on Bounded Context-Free Languages

    P. Dömösi,, S.Z. Fazekas, Z. Kovács

    Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)     2014年12月  [査読有り]  [招待有り]

    研究論文(大学,研究機関紀要)   国内共著

  • ◆その他【 表示 / 非表示

  • Complexities of One-way Jumping Finite Automata

    Fazekas S.Z.

    Electronic Proceedings in Theoretical Computer Science, EPTCS ( Electronic Proceedings in Theoretical Computer Science, EPTCS )  407   1 - 4   2024年09月

    DOI

  • On Algorithmic Self-Assembly of Squares by Co-Transcriptional Folding

    Fazekas Szilard

    Leibniz International Proceedings in Informatics (LIPIcs)   248   2022年  [査読有り]

    CiNii Research

  • Automata with One-way Jumping Mode (Algebraic system, Logic, Language and Related Areas in Computer Sciences II)

    Hoshi Kaito, Yamamura Akihiro, Fazekas Szilard Zsolt

    数理解析研究所講究録 ( 京都大学数理解析研究所 )  ( 2188 ) 125 - 130   2021年07月

    Recently, new types of non-sequential machine models have been introduced and studied, such as jumping automata and one-way jumping automata. We study the abilities and limitations of automata with these two jumping modes of tape heads with respect to how they affect the class of accepted languages. We give several methods to determine whether a language is accepted by a machine with jumping mode. We also consider relationships among the classes of languages defined by the new machines and their classical counterparts.

    リポジトリ

  • (代数系、論理、言語と計算機科学の周辺(2))

    Fazekas Szilard Zsolt, Mercas Robert

    数理解析研究所講究録 ( 京都大学数理解析研究所 )  ( 2188 ) 131 - 140   2021年07月

    This work proposes a new approach towards solving an over 20 years old conjecture regarding the maximum number of distinct squares that a word can contain. To this end we look at clusters of repetition roots, that is, the set of positions where the root u of a repetition u^[l] occurs. We lay the foundation of this theory by proving basic properties of these clusters and establishing upper bounds on the number of distinct squares when their roots form a chain with respect to the prefix order.

    リポジトリ

  • An Experiment with Ant Colony Optimization for Edge Detection in Images (代数系、論理、言語とその周辺領域)

    MuhammadAsyranbinOthman, Fazekas Szilard Zsolt, Yamamura Akihiro

    数理解析研究所講究録 ( 京都大学数理解析研究所 )  ( 2096 ) 90 - 101   2018年12月

    Ant colony optimization (ACO) is a simulation of the natural behavior of ant species; where ants find the shortest path between its nest and food source. Image edge detection is a basic image processing task, where the outlines of the objects in an image are identified, and then extracted. We present the results of an experiment conducted with the ACO algorithm applied to the edge detection problem.

    リポジトリ

  • 全件表示 >>

Book(書籍) 【 表示 / 非表示

産業財産権 【 表示 / 非表示

  • Method for aligning sentences at the word level enforcing selective contiguity constraints

    特許

    審査請求有無:あり

    特願 US 11/756,684  特開 US9020804 B2 

    出願日: 2007年06月01日

    公開日: 2015年04月28日

    Madalina Barbaiani, Nicola Cancedda, Christopher R. Dance, Szilárd Zsolt Fazekas, Tamas Gaal, Eric Gaussier

科研費(文科省・学振)獲得実績 【 表示 / 非表示

  • Non-regular complexity theory

    Grant-in-Aid for Scientific Research (C)

    研究期間:  2023年04月  -  2026年03月 

  • Non-regular complexity theory

    基盤研究(C)

    研究期間:  2023年04月  -  2026年03月 

  • Clusters of distinct repetition roots

    基盤研究(C)

    研究期間:  2019年04月  -  2021年03月 

  • 万能折り畳みシステムの小型化とその限界

    挑戦的研究(開拓・萌芽)

    研究期間:  2018年06月  -  2020年03月  代表者:  関 新之助

学会等発表 【 表示 / 非表示

  • Automated Extraction of Sediment Core and Scale Segments from Core Scanner Images

    Szilard Zsolt Fazekas

    15th International Conference on Information Technology and Electrical Engineering (ICITEE 2023)  (Le Méridien Chiang Mai, Chiang Mai, Thailand)  2023年10月  -  2023年10月    IEEE Computational Intelligence Society Thailand Chapter

  • Freezing 1-Tag Systems with States

    Szilard Zsolt Fazekas

    16TH INTERNATIONAL CONFERENCE ON AUTOMATA AND FORMAL LANGUAGES (AFL 2023)  (Eszterházy Károly Catholic University of Eger, Hungary)  2023年09月  -  2023年09月    Eszterházy Károly Catholic University of Eger

    DOI

  • Sweep Complexity Revisited

    Szilard Zsolt Fazekas

    27th International Conference on Implementation and Application of Automata (CIAA 2023)  (Salamis Bay Conti Resort Hotel, Salamis, North Cyprus)  2023年09月  -  2023年09月    Eastern Mediterranean University, North Cyprus

  • The general case of the clusters conjecture

    Szilard Zsolt Fazekas

    RIMS Workshop "Group, Ring, Language and Related Areas in Computer Science"  (RIMS, Kyoto University)  2023年02月  -  2023年02月   

  • Clusters of Repetition Roots Forming Prefix Chains

    Szilárd Zsolt Fazekas

    24th International Conference on Descriptional Complexity of Formal systems, Debrecen, Hungary  2022年08月  -  2022年08月   

全件表示 >>