Works matching DE "FINITE state machines"

Results: 1037

Research on digital twin system driven by assembly action sequence database.

Published in:

International Journal of Advanced Manufacturing Technology, 2025, v. 138, n. 3, p. 1259, doi. 10.1007/s00170-025-15636-2

By:

Ma, Liping;
Yang, Zhengjie;
Yan, Hongjuan;
Gao, Dehu

Publication type:

Article

АЛГОРИТМ РОЗВ'ЯЗАННЯ ЗАДАЧІ АЛГЕБРАЇЧНОГО СИНТЕЗУ МІКРОПРОГРАМНОГО АВТОМАТА З ОПЕРАЦІЙНИМ АВТОМАТОМ ПЕРЕХОДІВ НА ОСНОВІ МАТРИЧНОГО ПІДХОДУ.

Published in:

Cybernetics & Systems Analysis / Kibernetiki i Sistemnyj Analiz, 2025, n. 3, p. 14

By:

БАБАКОВ, Р. М.;
БАРКАЛОВ, О. О.

Publication type:

Article

Efficient Ontology-Mediated Query Answering: Extending DL-lite<sub>R</sub> and Linear ELH.

Published in:

Journal of Artificial Intelligence Research, 2025, v. 82, p. 851, doi. 10.1613/jair.1.16401

By:

Dimartino, Mirko M.;
Wood, Peter T.;
Calì, Andrea;
Poulovassilis, Alexandra

Publication type:

Article

Recursive Lexicographical Search: Finding All Markov Perfect Equilibria of Finite State Directional Dynamic Games.

Published in:

Review of Economic Studies, 2016, v. 83, n. 2, p. 658, doi. 10.1093/restud/rdv046

By:

ISKHAKOV, FEDOR;
RUST, JOHN;
SCHJERNING, BERTEL

Publication type:

Article

Model predictive control of directed-graph constrained systems.

Published in:

International Journal of Robust & Nonlinear Control, 2015, v. 25, n. 1, p. 142, doi. 10.1002/rnc.3078

By:

Kobayashi, Koichi;
Imura, Jun‐ichi;
Matsushima, Hiromichi

Publication type:

Article

Research on digital twin monitoring system for hot stamping.

Published in:

International Journal of Advanced Manufacturing Technology, 2024, v. 133, n. 1/2, p. 81, doi. 10.1007/s00170-024-13727-0

By:

Zhu, Bin;
Tang, Yan;
Ran, Jiamin;
Wang, Zheng;
Wang, Liang;
Zhang, Yisheng

Publication type:

Article

Gesture- and vision-based automatic grasping and flexible placement in teleoperation.

Published in:

International Journal of Advanced Manufacturing Technology, 2022, v. 122, n. 1, p. 117, doi. 10.1007/s00170-021-08585-z

By:

Xue, Zhao;
Chen, Xiaoan;
He, Ye;
Cao, Hongli;
Tian, Shengli

Publication type:

Article

Complex event forecasting with prediction suffix trees.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2022, v. 31, n. 1, p. 157, doi. 10.1007/s00778-021-00698-x

By:

Alevizos, Elias;
Artikis, Alexander;
Paliouras, Georgios

Publication type:

Article

Provenance-based analysis of data-centric processes.

Published in:

VLDB Journal International Journal on Very Large Data Bases, 2015, v. 24, n. 4, p. 583, doi. 10.1007/s00778-015-0390-5

By:

Deutch, Daniel;
Moskovitch, Yuval;
Tannen, Val

Publication type:

Article

Utilization of finite state machine approach for microgrid modeling.

Published in:

Electrical Engineering, 2020, v. 102, n. 1, p. 53, doi. 10.1007/s00202-019-00873-y

By:

Kajanova, Martina;
Bracinik, Peter;
Roch, Marek

Publication type:

Article

Time-space trade-offs in population protocols for the majority problem.

Published in:

Distributed Computing, 2021, v. 34, n. 2, p. 91, doi. 10.1007/s00446-020-00385-0

By:

Berenbrink, Petra;
Elsässer, Robert;
Friedetzky, Tom;
Kaaser, Dominik;
Kling, Peter;
Radzik, Tomasz

Publication type:

Article

A tight lower bound for semi-synchronous collaborative grid exploration.

Published in:

Distributed Computing, 2020, v. 33, n. 6, p. 471, doi. 10.1007/s00446-020-00369-0

By:

Brandt, Sebastian;
Uitto, Jara;
Wattenhofer, Roger

Publication type:

Article

Parameterized model checking of rendezvous systems.

Published in:

Distributed Computing, 2018, v. 31, n. 3, p. 187, doi. 10.1007/s00446-017-0302-6

By:

Aminof, Benjamin;
Kotek, Tomer;
Rubin, Sasha;
Spegni, Francesco;
Veith, Helmut

Publication type:

Article

Regularity and approximability of the solutions to the chemical master equation.

Published in:

ESAIM: Mathematical Modelling & Numerical Analysis (ESAIM: M2AN), 2014, v. 48, n. 6, p. 1757, doi. 10.1051/m2an/2014018

By:

Gauckler, Ludwig;
Yserentant, Harry

Publication type:

Article

Hardware acceleration of regular expression repetitions in deep packet inspection.

Published in:

IET Information Security (Wiley-Blackwell), 2013, v. 7, n. 4, p. 327, doi. 10.1049/iet-ifs.2012.0340

By:

Cronin, Brendan;
Wang, Xiaojun

Publication type:

Article

Physically Unclonable Functions Using Two-Level Finite State Machine.

Published in:

Journal of VLSI Circuits & Systems (JVCS), 2022, v. 4, n. 1, p. 33, doi. 10.31838/jvcs/04.01.06

By:

Vijay, Vallabhuni;
Chaitanya, Kancharapu;
Pittala, Chandra Shaker;
G., Ajitha;
Susmitha, S. Susri;
Tanusha, J.;
Venkateshwarlu, S. China;
Vallabhuni, Rajeev Ratna

Publication type:

Article

Realizability of Parity Logic in Finite Cellular Automata.

Published in:

Complex Systems, 2024, v. 33, n. 1, p. 125, doi. 10.25088/ComplexSystems.33.1.125

By:

Lawrence, Celestine P.

Publication type:

Article

Nonlinear DC equivalent circuits for ferroelectric memristor and Its FSM application.

Published in:

Integrated Ferroelectrics, 2018, v. 192, n. 1, p. 16, doi. 10.1080/10584587.2018.1521667

By:

Michael Preetam Raj, P.;
Ranjan Kalita, Amlan;
Kundu, Souvik;
Hudait, Mantu K.;
Priya, Shashank

Publication type:

Article

面向智能手机的改进有限状态机步态探测算法.

Published in:

Geomatics & Information Science of Wuhan University, 2023, v. 48, n. 2, p. 232, doi. 10.13203/j.whugis20200186

By:

毕京学;
甄杰;
姚国标;
桑文刚;
宁一鹏;
郭秋英

Publication type:

Article

利用方向相位特征进行多源遥感影像匹配.

Published in:

Geomatics & Information Science of Wuhan University, 2020, v. 45, n. 4, p. 488, doi. 10.13203/j.whugis20180445

By:

李欣;
杨宇辉;
杨博;
尹峰

Publication type:

Article

Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring.

Published in:

Journal of Intelligent Systems, 2017, v. 26, n. 2, p. 263, doi. 10.1515/jisys-2015-0048

By:

Yanyan Xu;
Dengfeng Ke;
Kaile Su

Publication type:

Article

Development of grid‐connected solar water pumping system utilizing diode bridge.

Published in:

International Transactions on Electrical Energy Systems, 2020, v. 30, n. 5, p. 1, doi. 10.1002/2050-7038.12339

By:

Vamja, Rajan V.;
Mulla, Mahmadasraf A.

Publication type:

Article

A high‐speed and low‐latency hardware implementation of RC4 cryptographic algorithm.

Published in:

International Journal of Circuit Theory & Applications, 2023, v. 51, n. 12, p. 5980, doi. 10.1002/cta.3769

By:

Sun, Caiban;
Liu, Wenrui;
Cheng, Jiafeng;
Sun, Nengyuan;
Peng, Zhaokang;
Sha, Heng;
Yu, Weize

Publication type:

Article

Lightweight and flexible hardware implementation of authenticated encryption algorithm SIMON‐Galois/Counter Mode.

Published in:

International Journal of Circuit Theory & Applications, 2023, v. 51, n. 12, p. 5951, doi. 10.1002/cta.3724

By:

Cheng, Xin;
Xu, Yixuan;
Wang, Kefan;
Zhang, Yongqiang;
Li, Bin;
Zhang, Zhang

Publication type:

Article

Lightweight Cryptography for Network-on-Chip Data Encryption.

Published in:

Security & Communication Networks, 2021, p. 1, doi. 10.1155/2021/9943713

By:

Ayachi, Riadh;
Mhaouch, Ayoub;
Ben Abdelali, Abdessalem

Publication type:

Article

Yet more planning efficiency: Finite-domain state-variable reformulation.

Published in:

Journal of Experimental & Theoretical Artificial Intelligence, 2015, v. 27, n. 5, p. 543, doi. 10.1080/0952813X.2014.993504

By:

Dvořák, Filip;
Toropila, Daniel;
Barták, Roman

Publication type:

Article

Composition of Web Services based on Timed Mediation.

Published in:

International Journal of Next-Generation Computing, 2014, v. 5, n. 1, p. 43

By:

Guermouch, Nawal;
Godart, Claude

Publication type:

Article

Unified modelling for continuous–discrete hybrid adaptive machining CPS of large thin-walled parts.

Published in:

International Journal of Production Research, 2024, v. 62, n. 9, p. 3099, doi. 10.1080/00207543.2023.2217304

By:

Zhao, Xiong;
Zheng, Lianyu;
Shi, Maoyuan;
Zhang, Xuexin;
Zhang, Yuehong

Publication type:

Article

Design and Implementation of a Control System for an Autonomous Reforestation Machine Using Finite State Machines.

Published in:

Forests (19994907), 2023, v. 14, n. 7, p. 1340, doi. 10.3390/f14071340

By:

Rossander, Morgan;
Lideskog, Håkan

Publication type:

Article

Hardware/Software Co-design Flow Using Automatic Generation of Embedded System Framework Based on Interacting FSM Model.

Published in:

International Journal on Electrical Engineering & Informatics, 2020, v. 12, n. 4, p. 859, doi. 10.15676/ijeei.2020.12.4.10

By:

Sasongko, Arif

Publication type:

Article

Using Artificial Intelligence Assistant Technology to Develop Animation Games on IoT.

Published in:

Computer Science & Information Systems, 2023, v. 20, n. 2, p. 765, doi. 10.2298/CSIS220719021Z

By:

Rong Zhang

Publication type:

Article

A Formal Approach to Testing Programs in Practice.

Published in:

Computer Science & Information Systems, 2012, v. 9, n. 4, p. 1469, doi. 10.2298/CSIS120301050L

By:

Shaoying Liu;
Wuwei Shen;
Shin Nakajima

Publication type:

Article

Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions.

Published in:

Computer Science & Information Systems, 2012, v. 9, n. 3, p. 1046, doi. 10.2298/CSIS111216033D

By:

Dinkelaker, Tom;
Erradi, Mohammed;
Ayache, Meryeme

Publication type:

Article

Channel Characterization and Finite-State Markov Channel Modeling for Time-Varying Plasma Sheath Surrounding Hypersonic Vehicles.

Published in:

Progress in Electromagnetics Research, 2014, v. 145, p. 299, doi. 10.2528/pier14031104

By:

Guolong He;
Yafeng Zhan;
Ning Ge;
Yukui Pei;
Bin Wu;
Yuan Zhao

Publication type:

Article

Problems on Finite Automata and the Exponential Time Hypothesis.

Published in:

Algorithms, 2017, v. 10, n. 1, p. 24, doi. 10.3390/a10010024

By:

Fernau, Henning;
Krebs, Andreas

Publication type:

Article

Non-Deterministic Finite Cover Automata.

Published in:

Scientific Annals of Computer Science, 2015, v. 25, n. 1, p. 3, doi. 10.7561/SACS.2015.1.3

By:

CÂMPEANU, Cezar

Publication type:

Article

Modeling and energy management strategy research of a power-split hybrid electric vehicle.

Published in:

Advances in Mechanical Engineering (Sage Publications Inc.), 2020, v. 12, n. 10, p. 1, doi. 10.1177/1687814020962624

By:

Zou, Yupeng;
Huang, Ruchen;
Wu, Xiangshu;
Zhang, Baolong;
Zhang, Qiang;
Wang, Nuo;
Qin, Tao

Publication type:

Article

Design of in-pipe robot based on inertial positioning and visual detection.

Published in:

Advances in Mechanical Engineering (Sage Publications Inc.), 2016, v. 8, n. 9, p. 1, doi. 10.1177/1687814016667679

By:

Song, Hua;
Ge, Kunshan;
Qu, Di;
Wu, Huapu;
Yang, Jing

Publication type:

Article

Giovanni in Paris.

Published in:

International Journal of Foundations of Computer Science, 2025, v. 36, n. 3, p. 269, doi. 10.1142/S0129054125430014

By:

Choffrut, Christian

Publication type:

Article

Binary Coded Unary Regular Languages.

Published in:

International Journal of Foundations of Computer Science, 2025, v. 36, n. 3, p. 285, doi. 10.1142/S0129054124430068

By:

Geffert, Viliam;
Pališínová, Dominika;
Šebej, Juraj

Publication type:

Article

Language Acceptors with a Pushdown: Characterizations and Complexity.

Published in:

International Journal of Foundations of Computer Science, 2025, v. 36, n. 3, p. 345, doi. 10.1142/S0129054124430044

By:

Ibarra, Oscar H.;
McQuillan, Ian

Publication type:

Article

Latvian Quantum Finite State Automata for Unary Languages.

Published in:

International Journal of Foundations of Computer Science, 2025, v. 36, n. 3, p. 419, doi. 10.1142/S0129054124430032

By:

Mereghetti, Carlo;
Palano, Beatrice;
Raucci, Priscilla

Publication type:

Article

Conversions Between Six Models of Finite Automata.

Published in:

International Journal of Foundations of Computer Science, 2025, v. 36, n. 3, p. 321, doi. 10.1142/S0129054124430020

By:

Hospodár, Michal;
Jirásková, Galina

Publication type:

Article

Author Index Volume 34 (2023).

Published in:: International Journal of Foundations of Computer Science, 2023, v. 34, n. 8, p. 1077, doi. 10.1142/S0129054123990010
Publication type:: Article

The Range of State Complexities of Languages Resulting from the Cascade Product — The Unary Case.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 8, p. 987, doi. 10.1142/S0129054123430049

By:

Holzer, Markus;
Rauch, Christian

Publication type:

Article

State Complexity of Permutation and the Language Inclusion Problem up to Parikh Equivalence on Alphabetical Pattern Constraints and Partially Ordered NFAs.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 8, p. 959, doi. 10.1142/S0129054123430025

By:

Hoffmann, Stefan

Publication type:

Article

Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 6, p. 633, doi. 10.1142/S0129054123450041

By:

Droste, Manfred;
Fülöp, Zoltán;
Kószó, Dávid

Publication type:

Article

Two-Way Non-Uniform Finite Automata.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 2/3, p. 145, doi. 10.1142/S0129054122440063

By:

Frei, Fabian;
Hromkovič, Juraj;
Královič, Rastislav;
Královič, Richard

Publication type:

Article

Integer Weighted Automata on Infinite Words.

Published in:

International Journal of Foundations of Computer Science, 2023, v. 34, n. 2/3, p. 163, doi. 10.1142/S0129054122440014

By:

Halava, Vesa;
Harju, Tero;
Niskanen, Reino;
Potapov, Igor

Publication type:

Article

Exact Affine Counter Automata.

Published in:

International Journal of Foundations of Computer Science, 2022, v. 33, n. 3/4, p. 349, doi. 10.1142/S012905412241009X

By:

Nakanishi, Masaki;
Khadiev, Kamil;
Prusis, Krisjanis;
Vihrovs, Jevgenijs;
Yakaryılmaz, Abuzer

Publication type:

Article