Zobrazeno 1 - 10
of 579
pro vyhledávání: '"Khalimov, A."'
Autor:
Ehlers, Rüdiger, Khalimov, Ayrat
Chains of co-B\"uchi automata (COCOA) have recently been introduced as a new canonical representation of omega-regular languages. The co-B\"uchi automata in a chain assign to each omega-word its natural color, which depends only on the language itsel
Externí odkaz:
http://arxiv.org/abs/2410.01021
Autor:
Khalimov, Gennady, Kotukh, Yevgen, Kolisnyk, Maksym, Khalimova, Svitlana, Sievierinov, Oleksandr
The paper explores a novel cryptosystem for digital signatures based on linear equa-tions for logarithmic signatures. A logarithmic signature serves as a fundamental cryptographic primitive, characterized by properties such as nonlinearity, non-commu
Externí odkaz:
http://arxiv.org/abs/2405.16227
Autor:
Ehlers, Rüdiger, Khalimov, Ayrat
Generalized Reactivity(1) (GR(1)) synthesis is a reactive synthesis approach in which the specification is split into two parts: a symbolic game graph, describing the safe transitions of a system, a liveness specification in a subset of Linear Tempor
Externí odkaz:
http://arxiv.org/abs/2402.02979
$\mathcal{PT}$-symmetric mapping of three states and its implementation on a cloud quantum processor
We develop a new $\mathcal{PT}$-symmetric approach for mapping three pure qubit states, implement it by the dilation method, and demonstrate it with a superconducting quantum processor provided by the IBM Quantum Experience. We derive exact formulas
Externí odkaz:
http://arxiv.org/abs/2312.16680
Publikováno v:
Рациональная фармакотерапия в кардиологии, Vol 20, Iss 5, Pp 559-565 (2024)
At the end of the 20th century, the contribution of hyperlipoproteinemia (a) to early development and severity of coronary, cerebral and peripheral artery atherosclerosis was established, and its association with the development of aortic valve steno
Externí odkaz:
https://doaj.org/article/197c4fec5f934925b1cdcf8b0baf8440
Autor:
M. E. Chernaya, Y. Sh. Khalimov, A. R. Volkova, A. V. Lisker, A. A. Nersesyan, A. D. Orlovskaya, A. Y. Polushin, Y. R. Zalyalov, A. D. Kulagin
Publikováno v:
Сахарный диабет, Vol 27, Iss 3, Pp 277-286 (2024)
Type 1 diabetes mellitus (DM) is one of the most common autoimmune disease that is treated with lifelong insulin therapy. Non-target indicators of glycemic control, which are observed in 71% of patients, lead to the formation and progression of diabe
Externí odkaz:
https://doaj.org/article/3b87cf79adce4d5ebc73bf085c139dc1
Autor:
Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Then, we introduce new benchmark classes that have been added to the SYN
Externí odkaz:
http://arxiv.org/abs/2206.00251
We study synthesis of reactive systems interacting with environments using an infinite data domain. A popular formalism for specifying and modelling such systems is register automata and transducers. They extend finite-state automata by adding regist
Externí odkaz:
http://arxiv.org/abs/2205.01952
Publikováno v:
Сахарный диабет, Vol 27, Iss 1, Pp 93-103 (2024)
Chronic kidney disease (CKD) is a common complication of diabetes mellitus. It increases significantly cardiovascular risk and decreases the quality of life. CKD requires treatment, and the treatment paradigm for type 2 diabetes has shifted from a gl
Externí odkaz:
https://doaj.org/article/411bbec21f634fb893ec0c81e626e8f1
Autor:
AZAMOV, Obboskhon1, KHALIMOV, Sharofiddin1, GULOMOV, Sultonbek1, KOMILOVA, Dildorakhon1, KAYUMOVA, Yorkinoy1, RAKHMONOV, Murodjon1, ABDULATIPOVA, Shahnoza1, GAFUROVA, Ominakhon1, KOMILOVA, Kholidakhon1, ASROLOVA, Mushtariy1, URMONOVA, Dilafruz1, SHERALIEV, Bakhtiyor1 bakhtiyorsheraliev@gmail.com
Publikováno v:
Turkish Journal of Zoology. 2024, Vol. 48 Issue 7, p685-691. 7p.