Works matching DE "PROBABILISTIC automata"

Results: 325

Cellular automata rules solving the wireless sensor network coverage problem.

Published in:

Natural Computing, 2022, v. 21, n. 3, p. 417, doi. 10.1007/s11047-022-09888-0

By:

Hoffmann, Rolf;
Désérable, Dominique;
Seredyński, Franciszek

Publication type:

Article

Optimal and suboptimal regional control of probabilistic cellular automata.

Published in:

Natural Computing, 2019, v. 18, n. 4, p. 845, doi. 10.1007/s11047-019-09763-5

By:

Bagnoli, Franco;
Dridi, Sara;
El Yacoubi, Samira;
Rechtman, Raúl

Publication type:

Article

Remarks on the cellular automaton global synchronisation problem: deterministic versus stochastic models.

Published in:

Natural Computing, 2019, v. 18, n. 3, p. 429, doi. 10.1007/s11047-018-9683-0

By:

Fatès, Nazim

Publication type:

Article

More on quantum, stochastic, and pseudo stochastic languages with few states.

Published in:

Natural Computing, 2016, v. 15, n. 1, p. 129, doi. 10.1007/s11047-015-9511-8

By:

Shur, Arseny;
Yakaryılmaz, Abuzer

Publication type:

Article

Self assembly of rectangular shapes on concentration programming and probabilistic tile assembly models.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 199, doi. 10.1007/s11047-012-9313-1

By:

Kundeti, Vamsi;
Rajasekaran, Sanguthevar

Publication type:

Article

Stochastic automated search methods in cellular automata: the discovery of tens of thousands of glider guns.

Published in:

Natural Computing, 2010, v. 9, n. 3, p. 513, doi. 10.1007/s11047-009-9109-0

By:

Sapin, E.;
Adamatzky, A.;
Collet, P.;
Bull, L.

Publication type:

Article

Quantity of experience: brain-duplication and degrees of consciousness.

Published in:

Minds & Machines, 2006, v. 16, n. 2, p. 185, doi. 10.1007/s11023-006-9036-0

By:

Bostrom, Nick

Publication type:

Article

A Minimal-Automaton-Based Algorithm for the Reliability of Con(d, k, n) Systems.

Published in:

Methodology & Computing in Applied Probability, 2001, v. 3, n. 4, p. 379, doi. 10.1023/A:1015464119846

By:

Jen-Chun Chang;
Rong-Jaye Chen;
Hwang, Frank K.

Publication type:

Article

THE PARTICLE SWARM AS COLLABORATIVE SAMPLING OF THE SEARCH SPACE.

Published in:

Advances in Complex Systems, 2007, v. 10, p. 191, doi. 10.1142/S0219525907001070

By:

KENNEDY, JAMES

Publication type:

Article

Convergence of a modified algorithm of fast probabilistic modeling.

Published in:

Cybernetics & Systems Analysis, 2008, v. 44, n. 1, p. 139, doi. 10.1007/s10559-008-0013-x

By:

D. Gobov

Publication type:

Article

Comparing deterministic and probabilistic risk assessments for sites contaminated by polycyclic aromatic hydrocarbons (PAHs).

Published in:

Journal of Environmental Science & Health. Part A. Toxic/Hazardous Substances & Environmental Engineering, 2007, v. 42, n. 6, p. 697, doi. 10.1080/10934520701304328

By:

Bruce, Erica D.;
Abusalih, Afraa A.;
McDonald, Thomas J.;
Autenrieth, Robin L.

Publication type:

Article

Fuzzy Stochastic Automation Model for Decision Support in the Process Inter-Budgetary Regulation.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 1, p. 67, doi. 10.3390/math9010067

By:

Yakovenko, Irina

Publication type:

Article

Revolutionizing load harmony in edge computing networks with probabilistic cellular automata and Markov decision processes.

Published in:

Scientific Reports, 2025, v. 15, n. 1, p. 1, doi. 10.1038/s41598-025-88197-9

By:

Sahu, Dinesh;
Nidhi;
Chaturvedi, Rajnish;
Prakash, Shiv;
Yang, Tiansheng;
Rathore, Rajkumar Singh;
Wang, Lu;
Tahir, Sabeen;
Bakhsh, Sheikh Tahir

Publication type:

Article

Synthesizing efficient systems in probabilistic environments.

Published in:

Acta Informatica, 2016, v. 53, n. 4, p. 425, doi. 10.1007/s00236-015-0237-y

By:

Essen, Christian;
Jobstmann, Barbara;
Parker, David;
Varshneya, Rahul

Publication type:

Article

Strongly transitive automata and the Černý conjecture.

Published in:

Acta Informatica, 2009, v. 46, n. 8, p. 591, doi. 10.1007/s00236-009-0106-7

By:

Carpi, Arturo;
D’Alessandro, Flavio

Publication type:

Article

Deciding probabilistic bisimilarity over infinite-state probabilistic systems.

Published in:

Acta Informatica, 2008, v. 45, n. 2, p. 131, doi. 10.1007/s00236-007-0066-8

By:

Brázdil, Tomáš;
Kučera, Antonín;
Stražovský, Oldřich

Publication type:

Article

Mathematical Modeling of Fiscal Innovations Based on the Interdisciplinary Synthesis of Fuzzy Logic and Automata Theory.

Published in:

Azerbaijan Journal of Mathematics, 2022, v. 12, n. 2, p. 3

By:

Abbasov, A. M.;
Streltsova, E.;
Borodin, A.;
Yakovenko, I.;
Bogomyagkov, A.

Publication type:

Article

Grammars and Finite-State Automata.

Published in:

Mathematics Competitions, 2010, v. 23, n. 2, p. 46

By:

Matsko, Vince

Publication type:

Article

STOCHASTIC ANSWERS AND THE QUESTION OF WHETHER OR NOT PSPACE IS A PROPER SUBSET OF NPSPACE.

Published in:

Journal of Applied Global Research, 2011, v. 4, n. 9, p. 1

By:

Holcomb, Jeffrey W.

Publication type:

Article

A Flexible Stochastic Automaton-Based Algorithm for Network Self-Partitioning.

Published in:

International Journal of Distributed Sensor Networks, 2008, v. 4, n. 3, p. 223, doi. 10.1080/15501320701260063

By:

Yan Wan;
Roy, Sandip;
Saberi, Ali;
Lesieutre, Bernard

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

On the Strength of Unambiguous Tree Automata.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 5, p. 911, doi. 10.1142/S012905411842011X

By:

Michalewski, Henryk;
Skrzypczak, Michał

Publication type:

Article

Complementation of Branching Automata for Scattered and Countable N-Free Posets.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 5, p. 769, doi. 10.1142/S0129054118420042

By:

Bedon, Nicolas

Publication type:

Article

State Complexity of Insertion.

Published in:

International Journal of Foundations of Computer Science, 2016, v. 27, n. 7, p. 863, doi. 10.1142/S0129054116500349

By:

Han, Yo-Sub;
Ko, Sang-Ki;
Ng, Timothy;
Salomaa, Kai

Publication type:

Article

Investigations on Automata and Languages Over a Unary Alphabet.

Published in:

International Journal of Foundations of Computer Science, 2015, v. 26, n. 7, p. 827, doi. 10.1142/S012905411540002X

By:

Pighizzini, Giovanni

Publication type:

Article

SOME LANGUAGES RECOGNIZED BY TWO-WAY FINITE AUTOMATA WITH QUANTUM AND CLASSICAL STATES.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 5, p. 1117, doi. 10.1142/S0129054112500141

By:

ZHENG, SHENGGEN;
QIU, DAOWEN;
LI, LVZHOU

Publication type:

Article

ON THE NON-DETERMINISTIC COMMUNICATION COMPLEXITY OF REGULAR LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2010, v. 21, n. 4, p. 479, doi. 10.1142/S0129054110007386

By:

Ada, Anil

Publication type:

Article

EFFICIENT TESTING OF FORECASTS.

Published in:

International Journal of Foundations of Computer Science, 2010, v. 21, n. 1, p. 61, doi. 10.1142/S0129054110007131

By:

CHING-LUEH CHANG;
YUH-DAUH LYUU

Publication type:

Article

ON THE COMPUTATION OF THE RELATIVE ENTROPY OF PROBABILISTIC AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 1, p. 219, doi. 10.1142/S0129054108005644

By:

CORTES, CORINNA;
MOHRI, MEHRYAR;
RASTOGI, ASHISH;
RILEY, MICHAEL

Publication type:

Article

BORDERS AND FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 859

By:

ŠIMŮNEK, MARTIN;
MELICHAR, BOŘIVOJ

Publication type:

Article

L<sub>p</sub> DISTANCE AND EQUIVALENCE OF PROBABILISTIC AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 761, doi. 10.1142/S0129054107004966

By:

CORTES, CORINNA;
MOHRI, MEHRYAR;
RASTOGI, ASHISH

Publication type:

Article

DECIDABILITY OF THE SHAPE PRESERVING PROPERTY OF BOTTOM-UP TREE TRANSDUCERS.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 2, p. 395, doi. 10.1142/S0129054106003899

By:

GAZDAG, ZSOLT

Publication type:

Article

A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 4, p. 833, doi. 10.1142/S0129054106004133

By:

Nakata, Akio;
Tanimoto, Tadaaki;
Sasaki, Suguru;
Higashino, Teruo

Publication type:

Article

INFIX-FREE REGULAR EXPRESSIONS AND LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 2, p. 379, doi. 10.1142/S0129054106003887

By:

YO-SUB HAN;
YAJUN WANG;
WOOD, DERICK

Publication type:

Article

TRANSITIVITY IN TWO-DIMENSIONAL LOCAL LANGUAGES DEFINED BY DOT SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 2, p. 435, doi. 10.1142/S0129054106003917

By:

JONOSKA, NATAŠA;
PIRNOT, JONI BURNETTE

Publication type:

Article

MEALY MULTISET AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 1, p. 111, doi. 10.1142/S0129054106003723

By:

Ciobanu, Gabriel;
Gontineac, Mihai

Publication type:

Article

Mining stochastic cellular automata to solve density classification task in two dimensions.

Published in:

Dyna (0012-7353), 2020, v. 87, n. 215, p. 39, doi. 10.15446/dyna.v87n215.83200

By:

Diaz, Nestor;
Tischer, Irene

Publication type:

Article

1-Pointer Automata Searching Finite Plane Graphs.

Published in:

Mathematical Logic Quarterly, 1986, v. 32, n. 13-16, p. 245, doi. 10.1002/malq.19860321310

By:

Hemmerling, Armin

Publication type:

Article

Grammar Theory Based on Quantum Logic.

Published in:

International Journal of Theoretical Physics, 2003, v. 42, n. 8, p. 1677, doi. 10.1023/A:1026135502749

By:

Cheng, Wei;
Wang, Jue

Publication type:

Article

Privacy-Enabled Probabilistic Verification in Broadcast Authentication for Vehicular Networks.

Published in:

Adhoc & Sensor Wireless Networks, 2016, v. 32, n. 3/4, p. 239

By:

GROVER, KANIKA;
ALVIN LIM;
SEUNGBAE LEE;
QING YANG

Publication type:

Article

Integrating the analysis of multiple non-functional properties in model-driven engineering.

Published in:

Software & Systems Modeling, 2021, v. 20, n. 6, p. 1777, doi. 10.1007/s10270-021-00953-3

By:

Petriu, Dorina C.

Publication type:

Article

Probabilistic spatio-temporal resource search.

Published in:

GeoInformatica, 2018, v. 22, n. 1, p. 75, doi. 10.1007/s10707-016-0275-9

By:

Guo, Qing;
Wolfson, Ouri

Publication type:

Article

Alleviating the computational load of the probabilistic algorithms for circles detection using the connectivity represented by graph.

Published in:

Machine Vision & Applications, 2011, v. 22, n. 4, p. 651, doi. 10.1007/s00138-010-0268-x

By:

Zhang, Xu;
Zhu, Limin

Publication type:

Article

Learning and analysis of sensors behavior in IoT systems using statistical model checking.

Published in:

Software Quality Journal, 2022, v. 30, n. 2, p. 367, doi. 10.1007/s11219-021-09559-w

By:

Chehida, Salim;
Baouya, Abdelhakim;
Bensalem, Saddek;
Bozga, Marius

Publication type:

Article

Estimating coastal recession due to sea level rise: beyond the Bruun rule.

Published in:

Climatic Change, 2012, v. 110, n. 3/4, p. 561, doi. 10.1007/s10584-011-0107-8

By:

Ranasinghe, Roshanka;
Callaghan, David;
Stive, Marcel

Publication type:

Article

Examining oxidation in β-NiAl and β-NiAl+Hf alloys by stochastic cellular automata simulations.

Published in:

NPJ Materials Degradation, 2021, v. 5, n. 1, p. 1, doi. 10.1038/s41529-021-00202-4

By:

Roy, Indranil;
Ray, Pratik K.;
Balasubramanian, Ganesh

Publication type:

Article

Reconciling root plasticity and architectural ground rules in tree root growth models with voxel automata.

Published in:

Plant & Soil, 2010, v. 337, n. 1/2, p. 77, doi. 10.1007/s11104-010-0502-3

By:

Mulia, Rachmat;
Dupraz, Christian;
Van Noordwijk, Meine

Publication type:

Article

Model Checking Markov Chains with Actions and State Labels.

Published in:

IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 209, doi. 10.1109/TSE.2007.36

By:

Baier, Christel;
Cloth, Lucia;
Haverkort, Boudewijn R.;
Kuntz, Matthias;
Siegle, Markus

Publication type:

Article

基于概率时间自动机的异构多agent自适应运行时验证.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2023, v. 40, n. 12, p. 3728, doi. 10.19734/j.issn.1001-3695.2023.04.0158

By:

穆勇安;
刘玮;
高胜;
叶幸瑜;
王紫昊

Publication type:

Article

观测永久丢失下随机离散事件系统故障预测的验证算法.

Published in:

Application Research of Computers / Jisuanji Yingyong Yanjiu, 2022, v. 39, n. 1, p. 106, doi. 10.19734/j.issn.1001-3695.2021.06.0247

By:

廖辉;
刘富春

Publication type:

Article