Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Zakirzyanov A."'
It was shown before that the NP-hard problem of deterministic finite automata (DFA) identification can be effectively translated to Boolean satisfiability (SAT). Modern SAT-solvers can tackle hard DFA identification instances efficiently. We present
Externí odkaz:
http://arxiv.org/abs/1602.05028
Publikováno v:
IEEE Access, Vol 9, Pp 27540-27551 (2021)
Bounded synthesis generates a state machine satisfying given temporal specification in linear temporal logic (LTL) while bounding the number of states of the target solution. Bounded synthesis methods currently do not support finite-length behavior e
Externí odkaz:
https://doaj.org/article/790d4d8d42e946e2a1bfcded1694d52d
Autor:
Alfat M. Zakirzyanov
Publikováno v:
Историческая этнология, Vol 5, Iss 2, Pp 293-305 (2020)
In the middle of the XIX century, an educational movement to renew society based on education and moral education begins in places where Tatars lived in compact numbers. Having adopted these ideas, writers looked for ways and means to bring their vie
Externí odkaz:
https://doaj.org/article/47e6cf465c71437ab67ff3227a82cba2
Autor:
Ilya T. Zakirzyanov
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 20, Iss 3, Pp 394-401 (2020)
Subject of Research. The paper studies minimum-sized deterministic finite automata inferring problem. A hybrid method is developed and implemented reducing the given problem to Boolean satisfiability (SAT) technique and at the same time applying a co
Externí odkaz:
https://doaj.org/article/70032e1e980641bb92545a0b6dbb174a
Autor:
GABIDULLINA, F. I.1 farida-vip@mail.ru, ZAKIRZYANOV, A. M.2 Alfat_zak@mail.ru, MUKIMOVA, N. A.3 nasima1974@yandex.ru, ABDULLINA, G. R.3 abguri@yandex.ru
Publikováno v:
Utopia y Praxis Latinoamericana. 2020 Extra 10, Vol. 25, p47-56. 10p.
Publikováno v:
Filologičeskie nauki. Voprosy teorii i praktiki. :2942-2946
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f015796c9c5ad2b7f7d48a109caa5ad
https://doi.org/10.30853/phil210483
https://doi.org/10.30853/phil210483
Autor:
A. A. Chibilev, Zh. T. Sivokhip, G. S. Zayzeva, Vladimir Semenov, D. Yu. Vasil’ev, V. V. Vodopyanov, Sh. I. Zakirzyanov
Publikováno v:
Doklady Earth Sciences. 486:724-727
The results of long-term forecasting of the spring runoff in the Belaya River basin based on the water-balance model are presented. The structure and parameters of the water-balance model equations are optimized by the Levenberg-Marquardt algorithm w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dffed36a61e6e542cdbda28362f6bca9
https://doi.org/10.1134/s1028334x19060345
https://doi.org/10.1134/s1028334x19060345
Publikováno v:
Bulletin of Ugric studies. 9:112-123
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44fa234e9920f929f09e5241f8c08e3b
https://doi.org/10.30624/2220-4156-2019-9-1-112-123
https://doi.org/10.30624/2220-4156-2019-9-1-112-123
Publikováno v:
Journal of Hypertension. 40:e175
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9e96190786533425516183803e39316
https://doi.org/10.1097/01.hjh.0000837160.86753.3b
https://doi.org/10.1097/01.hjh.0000837160.86753.3b
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.