Works matching DE "PROBABILISTIC automata"

Results: 326

2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14–17, 2024.

Published in:: Bulletin of Symbolic Logic, 2024, v. 30, n. 4, p. 547, doi. 10.1017/bsl.2024.43
Publication type:: Article

System reduction: an approach based on probabilistic cellular automata.

Published in:

Natural Computing, 2024, v. 23, n. 1, p. 17, doi. 10.1007/s11047-023-09959-w

By:

Toupance, Pierre-Alain;
Chopard, Bastien;
Lefèvre, Laurent

Publication type:

Article

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

Learning deterministic probabilistic automata from a model checking perspective.

Published in:

Machine Learning, 2016, v. 105, n. 2, p. 255, doi. 10.1007/s10994-016-5565-9

By:

Mao, Hua;
Chen, Yingke;
Jaeger, Manfred;
Nielsen, Thomas;
Larsen, Kim;
Nielsen, Brian

Publication type:

Article

PAutomaC: a probabilistic automata and hidden Markov models learning competition.

Published in:

Machine Learning, 2014, v. 96, n. 1-2, p. 129, doi. 10.1007/s10994-013-5409-9

By:

Verwer, Sicco;
Eyraud, Rémi;
Higuera, Colin

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

A Kronecker product approximate preconditioner for SANs.

Published in:

Numerical Linear Algebra with Applications, 2004, v. 11, n. 8/9, p. 723, doi. 10.1002/nla.344

By:

Langville, Amy N.;
Stewart, William J.

Publication type:

Article

Formally verifying decompositions of stochastic specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 207, doi. 10.1007/s10009-024-00742-5

By:

Hampus, Anton;
Nyberg, Mattias

Publication type:

Article

Modelling and statistical model checking of a microgrid.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 537, doi. 10.1007/s10009-014-0345-y

By:

Chakraborty, Souymodip;
Katoen, Joost-Pieter;
Sher, Falak;
Strelec, Martin

Publication type:

Article

Uppaal SMC tutorial.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 4, p. 397, doi. 10.1007/s10009-014-0361-y

By:

David, Alexandre;
Larsen, Kim;
Legay, Axel;
Mikučionis, Marius;
Poulsen, Danny

Publication type:

Article

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 3, p. 211, doi. 10.1007/s10009-012-0245-y

By:

Le, Thi;
Palopoli, Luigi;
Passerone, Roberto;
Ramadian, Yusi

Publication type:

Article

Regular model checking for LTL(MSO).

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 223, doi. 10.1007/s10009-011-0212-z

By:

Abdulla, Parosh;
Jonsson, Bengt;
Nilsson, Marcus;
d'Orso, Julien;
Saksena, Mayank

Publication type:

Article

Widening techniques for regular tree model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 145, doi. 10.1007/s10009-011-0208-8

By:

Bouajjani, Ahmed;
Touili, Tayssir

Publication type:

Article

Regular model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 109, doi. 10.1007/s10009-011-0216-8

By:

Abdulla, Parosh

Publication type:

Article

Retraction Note: Reliability and Mobility Load Balancing in Next Generation Self-organized Networks: Using Stochastic Learning Automata.

Published in:

2025

By:

Mohajer, Amin;
Bavaghar, Maryam;
Farrokhi, Hamid

Publication type:

Correction Notice

Simulation analysis of the kinetics of damage accumulation process in loaded materials with the hurst rescaled range.

Published in:

Journal of Mining Science, 2006, v. 42, n. 4, p. 369, doi. 10.1007/s10913-006-0065-0

By:

Alekseev, D.;
Kazunina, G.

Publication type:

Article

Multistep specific stochastic inclusions and their multiestimates.

Published in:

Automation & Remote Control, 2007, v. 68, n. 11, p. 1891, doi. 10.1134/S000511790711001X

By:

Anan’ev, B.

Publication type:

Article

Developing the Methods of Reliability Estimation for Structurally Complex Systems of Multistate Elements.

Published in:

Automation & Remote Control, 2003, v. 64, n. 7, p. 1046, doi. 10.1023/A:1024721932018

By:

Mel'nikov, V. A.

Publication type:

Article

Optimization in Identification of Logical-Probabilistic Risk Models.

Published in:

Automation & Remote Control, 2003, v. 64, n. 7, p. 1063, doi. 10.1023/A:1024726000159

By:

Rybakov, A. V.;
Solozhentsev, E. D.

Publication type:

Article

Features of the Logic-and-Probabilistic Risk Theory with Groups of Incompatible Events.

Published in:

Automation & Remote Control, 2003, v. 64, n. 7, p. 1186, doi. 10.1023/A:1024750605611

By:

Solozhentsev, E. D.

Publication type:

Article

Visualization and probability-based scoring of structural variants within repetitive sequences.

Published in:

Bioinformatics, 2014, v. 30, n. 11, p. 1514, doi. 10.1093/bioinformatics/btu054

By:

Halper-Stromberg, Eitan;
Steranka, Jared;
Burns, Kathleen H.;
Sabunciyan, Sarven;
Irizarry, Rafael A.

Publication type:

Article

StochHMM: a flexible hidden Markov model tool and C++ library.

Published in:

Bioinformatics, 2014, v. 30, n. 11, p. 1625, doi. 10.1093/bioinformatics/btu057

By:

Lott, Paul C.;
Korf, Ian

Publication type:

Article

Urban Water Management Using Fuzzy-Probabilistic Multi-Objective Programming with Dynamic Efficiency.

Published in:

Water Resources Management, 2010, v. 24, n. 15, p. 4491, doi. 10.1007/s11269-010-9669-x

By:

Zarghami, Mahdi

Publication type:

Article

Nonuniform Temporally Stochastic Cellular Automata as Model of Contagious Disease Spread.

Published in:

Complex Systems, 2025, v. 34, n. 1, p. 1, doi. 10.25088/ComplexSystems.34.1.1

By:

Paul, Subrata;
Bhattacharjee, Kamalika

Publication type:

Article

Affinity Classification Problem by Stochastic Cellular Automata.

Published in:

Complex Systems, 2023, v. 32, n. 3, p. 271, doi. 10.25088/ComplexSystems.32.3.271

By:

Bhattacharjee, Kamalika;
Paul, Subrata;
Das, Sukanta

Publication type:

Article

Conditional Probability in the Light of Qualitative Belief Change.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 2, p. 121, doi. 10.1007/s10992-011-9176-4

By:

Makinson, David

Publication type:

Article

Road accident data analysis using Bayesian networks.

Published in:

Transportation Letters, 2017, v. 9, n. 1, p. 12, doi. 10.1080/19427867.2015.1131960

By:

Karimnezhad, Ali;
Moradi, Fahimeh

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

HOMING VECTOR AUTOMATA.

Published in:

RAIRO - Theoretical Informatics & Applications, 2016, v. 50, n. 4, p. 371, doi. 10.1051/ita/2016017

By:

SALEHI, ÖZLEM;
SAY, A. C. CEM;
D'ALESSANDRO, FLAVIO

Publication type:

Article

Superiority of one-way and realtime quantum machines.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 4, p. 615, doi. 10.1051/ita/2012018

By:

Yakaryılmaz, Abuzer

Publication type:

Article

Normal forms for unary probabilistic automata.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 4, p. 495, doi. 10.1051/ita/2012017

By:

Bianchi, Maria Paola;
Pighizzini, Giovanni

Publication type:

Article

Detection of deterministic and probabilistic convection initiation using Himawari-8 Advanced Himawari Imager data.

Published in:

Atmospheric Measurement Techniques, 2017, v. 10, n. 5, p. 1859, doi. 10.5194/amt-10-1859-2017

By:

Sanggyun Lee;
Hyangsun Han;
Jungho Im;
Eunna Jang;
Myong-In Lee

Publication type:

Article

An adaptive PNN-DS approach to classification using multi-sensor information fusion.

Published in:

Neural Computing & Applications, 2009, v. 18, n. 5, p. 455, doi. 10.1007/s00521-008-0220-4

By:

Ning Chen;
Fuchun Sun;
Linge Ding;
Hongqiao Wang

Publication type:

Article

Controlling a robot manipulator with fuzzy voice commands using a probabilistic neural network.

Published in:

Neural Computing & Applications, 2007, v. 16, n. 2, p. 155, doi. 10.1007/s00521-006-0056-8

By:

Jayawardena, Chandimal;
Watanabe, Keigo;
Izumi, Kiyotaka

Publication type:

Article

Cross-wired lamplighter groups and linearity of automata groups.

Published in:

New York Journal of Mathematics, 2016, v. 22, p. 379

By:

Ning 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

Mining probabilistic automata: a statistical view of sequential pattern mining.

Published in:

Machine Learning, 2009, v. 75, n. 1, p. 91, doi. 10.1007/s10994-008-5098-y

By:

Jacquemont, Stéphanie;
Jacquenet, François;
Sebban, Marc

Publication type:

Article

A learning automata-based heuristic algorithm for solving the minimum spanning tree problem in stochastic graphs.

Published in:

Journal of Supercomputing, 2012, v. 59, n. 2, p. 1035, doi. 10.1007/s11227-010-0484-1

By:

Akbari Torkestani, Javad;
Meybodi, Mohammad

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

Learning Cycle Length Through Finite Automata.

Published in:

Mathematics of Operations Research, 2013, v. 38, n. 3, p. 526, doi. 10.1287/moor.1120.0582

By:

Peretz, Ron

Publication type:

Article

A Sharp Test of the Portability of Expertise.

Published in:

Management Science, 2019, v. 65, n. 6, p. 2820, doi. 10.1287/mnsc.2018.3063

By:

Green, Etan A.;
Rao, Justin M.;
Rothschild, David

Publication type:

Article

Failure-Aware Kidney Exchange.

Published in:

Management Science, 2019, v. 65, n. 4, p. 1768, doi. 10.1287/mnsc.2018.3026

By:

Dickerson, John P.;
Procaccia, Ariel D.;
Sandholm, Tuomas

Publication type:

Article

Probabilistic controlled remote state preparation of an arbitrary two-qubit state via partially entangled states with multi parties.

Published in:

International Journal of Quantum Information, 2018, v. 16, n. 1, p. -1, doi. 10.1142/S0219749918500016

By:

Wei, Jiahua;
Shi, Lei;
Xu, Zhiyan;
Ni, Yanhui;
Han, Zhongxiang;
Hu, Qingqing;
Jiang, Jun

Publication type:

Article

Probabilistic neural networks combined with wavelet coefficients for analysis of electroencephalogram signals.

Published in:

Expert Systems, 2009, v. 26, n. 2, p. 147, doi. 10.1111/j.1468-0394.2009.00468.x

By:

Übeyli, Elif Derya

Publication type:

Article

Stochastic sharing calculus for reasoning about social networks.

Published in:

Journal of Logic & Computation, 2022, v. 32, n. 6, p. 1048, doi. 10.1093/logcom/exac017

By:

Aman, Bogdan;
Ciobanu, Gabriel

Publication type:

Article