Works matching DE "FINITE state machines"

Results: 1040

Research on the Single-Leg Compliance Control Strategy of the Hexapod Robot for Collapsible Terrains.

Published in:

Applied Sciences (2076-3417), 2025, v. 15, n. 10, p. 5312, doi. 10.3390/app15105312

By:

Sun, Peng;
He, Yinwei;
Feng, Shaojiang;
Dai, Xianyong;
Zhang, Hanqi;
Li, Yanbiao

Publication type:

Article

Variants of distributed reaction systems.

Published in:

Natural Computing, 2024, v. 23, n. 2, p. 269, doi. 10.1007/s11047-024-09974-5

By:

Csuhaj-Varjú, Erzsébet;
Vaszil, György

Publication type:

Article

Associating parallel automata network dynamics and strictly one-way cellular automata.

Published in:

Natural Computing, 2023, v. 22, n. 3, p. 453, doi. 10.1007/s11047-023-09948-z

By:

Perrotin, Pacôme

Publication type:

Article

Variants of string assembling systems.

Published in:

Natural Computing, 2024, v. 23, n. 1, p. 131, doi. 10.1007/s11047-022-09918-x

By:

Kutrib, Martin;
Wendlandt, Matthias

Publication type:

Article

5′→3′ Watson–Crick automata languages-without sensing parameter.

Published in:

Natural Computing, 2022, v. 21, n. 4, p. 679, doi. 10.1007/s11047-021-09869-9

By:

Nagy, Benedek;
Parchami, Shaghayegh

Publication type:

Article

The effect of jumping modes on various automata models.

Published in:

Natural Computing, 2022, v. 21, n. 1, p. 17, doi. 10.1007/s11047-021-09844-4

By:

Fazekas, Szilárd Zsolt;
Hoshi, Kaito;
Yamamura, Akihiro

Publication type:

Article

State-deterministic 5′→3′ Watson-Crick automata.

Published in:

Natural Computing, 2021, v. 20, n. 4, p. 725, doi. 10.1007/s11047-021-09865-z

By:

Nagy, Benedek

Publication type:

Article

Cellular automata and finite groups.

Published in:

Natural Computing, 2019, v. 18, n. 3, p. 445, doi. 10.1007/s11047-017-9640-3

By:

Castillo-Ramirez, Alonso;
Gadouleau, Maximilien

Publication type:

Article

A multi-population evolution stratagy and its application in low area/power FSM synthesis.

Published in:

Natural Computing, 2019, v. 18, n. 1, p. 139, doi. 10.1007/s11047-017-9659-5

By:

Tao, Yanyun;
Zhang, Lijun;
Wang, Qinyu;
Chen, Rong;
Zhang, Yuzhen

Publication type:

Article

Language recognition power and succinctness of affine automata.

Published in:

Natural Computing, 2018, v. 17, n. 2, p. 283, doi. 10.1007/s11047-017-9652-z

By:

Villagra, Marcos;
Yakaryılmaz, Abuzer

Publication type:

Article

Independent finite automata on Cayley graphs.

Published in:

Natural Computing, 2017, v. 16, n. 3, p. 411, doi. 10.1007/s11047-017-9613-6

By:

Salo, Ville;
Törmä, Ilkka

Publication type:

Article

Preface.

Published in:

2016

By:

Gheorghe, Marian;
Păun, Gheorghe;
Pérez-Jiménez, Mario;
Riscos-Núñez, Agustín

Publication type:

Editorial

State complexity of deterministic Watson-Crick automata and time varying Watson-Crick automata.

Published in:

Natural Computing, 2015, v. 14, n. 4, p. 691, doi. 10.1007/s11047-015-9494-5

By:

Ray, Kumar;
Chatterjee, Kingshuk;
Ganguly, Debayan

Publication type:

Article

Finite state based testing of P systems.

Published in:

Natural Computing, 2009, v. 8, n. 4, p. 833, doi. 10.1007/s11047-008-9099-3

By:

Florentin Ipate;
Marian Gheorghe

Publication type:

Article

Connecting weighted automata, tensor networks and recurrent neural networks through spectral learning.

Published in:

Machine Learning, 2024, v. 113, n. 5, p. 2619, doi. 10.1007/s10994-022-06164-1

By:

Li, Tianyu;
Precup, Doina;
Rabusseau, Guillaume

Publication type:

Article

A comparison of collapsed Bayesian methods for probabilistic finite automata.

Published in:

Machine Learning, 2014, v. 96, n. 1-2, p. 155, doi. 10.1007/s10994-013-5410-3

By:

Shibata, Chihiro;
Yoshinaka, Ryo

Publication type:

Article

Spectral learning of weighted automata.

Published in:

Machine Learning, 2014, v. 96, n. 1-2, p. 33, doi. 10.1007/s10994-013-5416-x

By:

Balle, Borja;
Carreras, Xavier;
Luque, Franco;
Quattoni, Ariadna

Publication type:

Article

An action identification method based on FSM and limb dry weight.

Published in:

Personal & Ubiquitous Computing, 2021, v. 25, n. 6, p. 1051, doi. 10.1007/s00779-019-01279-0

By:

Ban, Xiaojuan;
Zhang, Di;
Sun, Jinsheng;
Yang, Jingu

Publication type:

Article

Hierarchical syntactic models for human activity recognition through mobility traces.

Published in:

Personal & Ubiquitous Computing, 2020, v. 24, n. 4, p. 451, doi. 10.1007/s00779-019-01319-9

By:

Casella, Enrico;
Ortolani, Marco;
Silvestri, Simone;
Das, Sajal K.

Publication type:

Article

Modeling user-generated contents: an intelligent state machine for user-centric search support.

Published in:

Personal & Ubiquitous Computing, 2013, v. 17, n. 8, p. 1731, doi. 10.1007/s00779-012-0607-1

By:

Yen, Neil Y.;
(Jong Hyuk) Park, James J.;
Jin, Qun;
Shih, Timothy K.

Publication type:

Article

A toolchain for strategy synthesis with spatial properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 641, doi. 10.1007/s10009-023-00730-1

By:

Basile, Davide;
ter Beek, Maurice H.;
Bussi, Laura;
Ciancia, Vincenzo

Publication type:

Article

An automated framework for verifying or refuting trace properties of extended finite state machines.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 949, doi. 10.1007/s10009-022-00666-y

By:

Taylor, Ramsay G.;
Foster, Michael;
North, Siobhán

Publication type:

Article

Compositional learning of mutually recursive procedural systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 521, doi. 10.1007/s10009-021-00634-y

By:

Frohme, Markus;
Steffen, Bernhard

Publication type:

Article

Learning Moore machines from input–output traces.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 1, doi. 10.1007/s10009-019-00544-0

By:

Giantamidis, Georgios;
Tripakis, Stavros;
Basagiannis, Stylianos

Publication type:

Article

Approximate reduction of finite automata for high-speed network intrusion detection.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 523, doi. 10.1007/s10009-019-00520-8

By:

Češka, Milan;
Havlena, Vojtěch;
Holík, Lukáš;
Lengál, Ondřej;
Vojnar, Tomáš

Publication type:

Article

Exact finite-state machine identification from scenarios and temporal properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 35, doi. 10.1007/s10009-016-0442-1

By:

Ulyantsev, Vladimir;
Buzhinsky, Igor;
Shalyto, Anatoly

Publication type:

Article

The first reactive synthesis competition (SYNTCOMP 2014).

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 3, p. 367, doi. 10.1007/s10009-016-0416-3

By:

Jacobs, Swen;
Bloem, Roderick;
Brenguier, Romain;
Ehlers, Rüdiger;
Hell, Timotheus;
Könighofer, Robert;
Pérez, Guillermo;
Raskin, Jean-François;
Ryzhyk, Leonid;
Sankur, Ocan;
Seidl, Martina;
Tentrup, Leander;
Walker, Adam

Publication type:

Article

Synthesizing, correcting and improving code, using model checking-based genetic programming.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 4, p. 449, doi. 10.1007/s10009-016-0418-1

By:

Katz, Gal;
Peled, Doron

Publication type:

Article

On adaptive experiments for nondeterministic finite state machines.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 251, doi. 10.1007/s10009-014-0357-7

By:

Kushik, Natalia;
El-Fakih, Khaled;
Yevtushenko, Nina;
Cavalli, Ana

Publication type:

Article

Verification and validation meet planning and scheduling.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 1, doi. 10.1007/s10009-013-0294-x

By:

Bensalem, Saddek;
Havelund, Klaus;
Orlandini, Andrea

Publication type:

Article

The Clara framework for hybrid typestate analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 307, doi. 10.1007/s10009-010-0183-5

By:

Bodden, Eric;
Hendren, Laurie

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

Wonham Filtering by Observations with Multiplicative Noises.

Published in:

Automation & Remote Control, 2018, v. 79, n. 1, p. 39, doi. 10.1134/S0005117918010046

By:

Borisov, A.

Publication type:

Article

Stationary ensembles in threshold networks.

Published in:

Automation & Remote Control, 2017, v. 78, n. 3, p. 475, doi. 10.1134/S0005117917030080

By:

Kuznetsov, O.

Publication type:

Article

Generating conditions for preserving the properties of controlled discrete event systems.

Published in:

Automation & Remote Control, 2016, v. 77, n. 4, p. 672, doi. 10.1134/S0005117916040111

By:

Nagul, N.

Publication type:

Article

Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas.

Published in:

Automation & Remote Control, 2016, v. 77, n. 3, p. 473, doi. 10.1134/S0005117916030097

By:

Chivilikhin, D.;
Ulyantsev, V.;
Shalyto, A.

Publication type:

Article

Suboptimal anisotropic filtering in a finite horizon.

Published in:

Automation & Remote Control, 2016, v. 77, n. 1, p. 1, doi. 10.1134/S000511791601001X

By:

Timin, V.;
Kurdyukov, A.

Publication type:

Article

Experiments with fuzzy finite state machines.

Published in:

Automation & Remote Control, 2015, v. 76, n. 2, p. 278, doi. 10.1134/S0005117915020071

By:

Speranskii, D.

Publication type:

Article

Decombinator: a tool for fast, efficient gene assignment in T-cell receptor sequences using a finite state machine.

Published in:

Bioinformatics, 2013, v. 29, n. 5, p. 542, doi. 10.1093/bioinformatics/btt004

By:

Thomas, Niclas;
Heather, James;
Ndifon, Wilfred;
Shawe-Taylor, John;
Chain, Benjamin

Publication type:

Article

A note on automatic semigroups.

Published in:

Semigroup Forum, 2013, v. 86, n. 3, p. 555, doi. 10.1007/s00233-012-9446-7

By:

Dombi, E.

Publication type:

Article

户外机柜智能通风节能控制终端设计.

Published in:

Light Industry Machinery, 2022, v. 40, n. 2, p. 74, doi. 10.3969/j.issn.1005-2895.2022.02.012

By:

杨李鑫;
彭来湖;
史伟民

Publication type:

Article

Fully Functional Logic‐In‐Memory Operations Based on a Reconfigurable Finite‐State Machine Using a Single Memristor.

Published in:

Advanced Electronic Materials, 2018, v. 4, n. 11, p. N.PAG, doi. 10.1002/aelm.201800189

By:

Xu, Nuo;
Yoon, Kyung Jean;
Kim, Kyung Min;
Fang, Liang;
Hwang, Cheol Seong

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

Power dispatching techniques as a finite state machine for a standalone photovoltaic system with a hybrid energy storage.

Published in:

AIMS Energy, 2020, v. 8, n. 2, p. 214, doi. 10.3934/energy.2020.2.214

By:

Konara, K. M. S. Y.;
Kolhe, M. L.;
Sharma, Arvind

Publication type:

Article

Finite state machine and Markovian equivalents of the lac Operon in E. coli bacterium.

Published in:

AIMS Bioengineering, 2022, v. 9, n. 4, p. 400, doi. 10.3934/bioeng.2022029

By:

Ainuddin, Urooj;
Waqas, Maria

Publication type:

Article

Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways.

Published in:

Systems, 2018, v. 6, n. 1, p. 2, doi. 10.3390/systems6010002

By:

Austin, Mark A.;
Johnson, John

Publication type:

Article

Harnessing the Power of Large Language Models for Automated Code Generation and Verification.

Published in:

Robotics, 2024, v. 13, n. 9, p. 137, doi. 10.3390/robotics13090137

By:

Antero, Unai;
Blanco, Francisco;
Oñativia, Jon;
Sallé, Damien;
Sierra, Basilio

Publication type:

Article

An Autonomous Navigation Framework for Holonomic Mobile Robots in Confined Agricultural Environments.

Published in:

Robotics, 2023, v. 12, n. 6, p. 146, doi. 10.3390/robotics12060146

By:

Tsiakas, Kosmas;
Papadimitriou, Alexios;
Pechlivani, Eleftheria Maria;
Giakoumis, Dimitrios;
Frangakis, Nikolaos;
Gasteratos, Antonios;
Tzovaras, Dimitrios

Publication type:

Article

Singularity Analysis and Complete Methods to Compute the Inverse Kinematics for a 6-DOF UR/TM-Type Robot.

Published in:

Robotics, 2022, v. 11, n. 6, p. 137, doi. 10.3390/robotics11060137

By:

Villalobos, Jessica;
Sanchez, Irma Y.;
Martell, Fernando

Publication type:

Article

A Humanities Based Approach to Formally Defining Information through Modelling.

Published in:

Historical Social Research - Supplement, 2018, n. 31, p. 154, doi. 10.12759/hsr.suppl.31.2018.154-162

By:

Fishwick, Paul A.

Publication type:

Article