-
1دورية أكاديمية
المؤلفون: Alberto Prieto Moreno, Orestes Llanes-Santiago, Alejandro Milanés-Cruz, José Folgueras-Méndez, Emilio García-Moreno, Francisco Morant-Anglada
المصدر: Ingeniare: Revista Chilena de Ingeniería, Vol 20, Iss 1, Pp 48-65 (2012)
مصطلحات موضوعية: Sistema de diagnóstico de fallos (SDF), diseño basado en diagnóstico, autómatas híbridos, autómatas cronometrados, composición de autómatas, árboles de decisión, Fault diagnosis system, diagnosis-based design, hybrid automata, timed automata, automata composition, decision tree, Mechanical engineering and machinery, TJ1-1570, Industrial engineering. Management engineering, T55.4-60.8
وصف الملف: electronic resource
-
2كتاب إلكتروني
المؤلفون: Lima, Luiz Paula, Jr.Aff2, Cavalli, Ana R.Aff2
المساهمون: Kim, Myungchul, editorAff1, Kang, Sungwon, editorAff1, Hong, Keesoo, editorAff1
المصدر: Testing of Communicating Systems : IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea. :288-307
-
3
المصدر: Труды Института системного программирования РАН.
وصف الملف: text/html
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2806::14ce20ea103bd13915f35e42ab4301e8
http://cyberleninka.ru/article/n/sistema-avtomatov-kompozitsiya-po-grafu-svyazey -
4
المؤلفون: Prieto Moreno, Alberto, Llanes-Santiago, Orestes, Milanés-Cruz, Alejandro, Folgueras-Méndez, José, García-Moreno, Emilio, Morant-Anglada, Francisco
المصدر: Ingeniare. Revista chilena de ingeniería, Volume: 20, Issue: 1, Pages: 48-65, Published: APR 2012
مصطلحات موضوعية: diagnosis-based design, autómatas híbridos, timed automata, automata composition, decision tree, Fault diagnosis system, hybrid automata, autómatas cronometrados, Sistema de diagnóstico de fallos (SDF), composición de autómatas, árboles de decisión, diseño basado en diagnóstico
وصف الملف: text/html
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______614::3bf2b5096f1dc39c52e79aae0c6cbe79
http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052012000100006&lng=en&tlng=en -
5
المؤلفون: Castaño, J.M., Castaño, R.
المصدر: Theor Comput Sci 2012;450:92-108
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCENمصطلحات موضوعية: Model counting, Construction approaches, Conjunctive normal forms, Propositional satisfiability, SAT solvers, Automata composition, Regular expressions, ALL-SAT, Running time, Decision theory, Regular expression compilation, Benchmarking, Intersection grammars (FSIG), Several variables, FSA intersection, State-of-the-art performance, Clause learning, Boolean functions, Pattern matching, Finite automata, Finite state
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::b122184f2ed375d579fc611200399abe
-
6
المؤلفون: Tatjana Petrov, Heinz Koeppl
مصطلحات موضوعية: Stochastic automata composition, Cell signaling, Continuous-time stochastic process, Theoretical computer science, General Computer Science, Interacting particle system, Markov chain, Continuous-time Markov chain, Markov process, Theoretical Computer Science, symbols.namesake, Stochastic cellular automaton, symbols, Quantum finite automata, ddc:004, Stochastic neural network, Mathematics, Computer Science(all)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64c6559f7fcd34a037e5b594155244c7
-
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.