These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
116 related articles for article (PubMed ID: 38599927)
1. Verification of initial-and-final-state opacity for unambiguous weighted automata. Shen L; Miao S; Lai A; Komenda J ISA Trans; 2024 May; 148():237-246. PubMed ID: 38599927 [TBL] [Abstract][Full Text] [Related]
2. Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets. Habbachi S; Li Z; Wu N; Khalgui M Sci Prog; 2022; 105(1):368504221075466. PubMed ID: 35196198 [TBL] [Abstract][Full Text] [Related]
3. On-line verification of initial-state opacity by Petri nets and integer linear programming. Cong X; Fanti MP; Mangini AM; Li Z ISA Trans; 2019 Oct; 93():108-114. PubMed ID: 30799022 [TBL] [Abstract][Full Text] [Related]
4. Current-state opacity verification in discrete event systems using an observer net. Labed A; Saadaoui I; Wu N; Yu J; Li Z Sci Rep; 2022 Dec; 12(1):21572. PubMed ID: 36517648 [TBL] [Abstract][Full Text] [Related]
5. Generalized rough and fuzzy rough automata for semantic computing. Yadav S; Tiwari SP; Kumari M; Yadav VK Int J Mach Learn Cybern; 2022; 13(12):4013-4032. PubMed ID: 36164557 [TBL] [Abstract][Full Text] [Related]
6. Optimal amnesic probabilistic automata or how to learn and classify proteins in linear time and space. Apostolico A; Bejerano G J Comput Biol; 2000; 7(3-4):381-93. PubMed ID: 11108469 [TBL] [Abstract][Full Text] [Related]
7. Automata, reason, and free will: Leibniz's critique of Descartes on animal and human nature. Noble CP Stud Hist Philos Sci; 2023 Aug; 100():56-63. PubMed ID: 37348150 [TBL] [Abstract][Full Text] [Related]
8. An Ansatz for Computational Undecidability in RNA Automata. Svahn AJ; Prokopenko M Artif Life; 2023 May; 29(2):261-288. PubMed ID: 35929772 [TBL] [Abstract][Full Text] [Related]
10. Modeling and Density Estimation of an Urban Freeway Network Based on Dynamic Graph Hybrid Automata. Chen Y; Guo Y; Wang Y Sensors (Basel); 2017 Mar; 17(4):. PubMed ID: 28353664 [TBL] [Abstract][Full Text] [Related]
11. Derivatives of tree sets with applications to grammatical inference. Levine B IEEE Trans Pattern Anal Mach Intell; 1981 Mar; 3(3):285-93. PubMed ID: 21868949 [TBL] [Abstract][Full Text] [Related]
12. Implementation of a polling protocol for predicting celiac disease in videocapsule analysis. Ciaccio EJ; Tennyson CA; Bhagat G; Lewis SK; Green PH World J Gastrointest Endosc; 2013 Jul; 5(7):313-22. PubMed ID: 23858375 [TBL] [Abstract][Full Text] [Related]
14. Reconstructing cellular automata rules from observations at nonconsecutive times. Elser V Phys Rev E; 2021 Sep; 104(3-1):034301. PubMed ID: 34654187 [TBL] [Abstract][Full Text] [Related]
15. Automaton models of computational genetic regulatory networks with combinatorial gene-protein interactions. Chen PC; Weng Y Biosystems; 2011 Oct; 106(1):19-27. PubMed ID: 21723368 [TBL] [Abstract][Full Text] [Related]
16. Probabilistic automata as a model for epigenesis of cellular networks. Milgram M; Atlan H J Theor Biol; 1983 Aug; 103(4):523-47. PubMed ID: 6632926 [TBL] [Abstract][Full Text] [Related]
18. Runtime verification in uncertain environment based on probabilistic model learning. Zhou G; Yang C; Lu P; Chen X Math Biosci Eng; 2022 Sep; 19(12):13607-13627. PubMed ID: 36654060 [TBL] [Abstract][Full Text] [Related]