• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 3 094 публикации
Сортировка:
по названию
по году
Статья
Braslavski P., Karpov Nikolay, Worring M. et al. ACM SIGIR Forum. 2014. Vol. 48. No. 2. P. 105-110.

Статья содержит отчет по проведении 8-й Российской летней школы по информационному поиску (The 8th Russian Summer School in Information Retrieval (RuSSIR 2014)).

Добавлено: 22 августа 2015
Статья
Braslavski P., Markov I., Pardalos P. M. et al. ACM SIGIR Forum. 2016. Vol. 49. No. 2. P. 72-79.

В статье приведен отчет о проведении 9-ой Российской летней школы по информационному поиску 9th Russian Summer School in Information Retrieval (RuSSIR 2015).

 

Добавлено: 27 февраля 2017
Статья
Oskolskaya S., Koile E., Robbeets M. Diachronica. 2021. P. 1-31.
Добавлено: 28 сентября 2020
Статья
Zhilin, I., Zigangirov D., Zyablov V. Electronic Notes in Discrete Mathematics. 2017. Vol. 57. P. 219-224.
Добавлено: 1 февраля 2018
Статья
Savchenko A., Khokhlova Y. I. Optical Memory and Neural Networks (Information Optics). 2014. Vol. 23. No. 1. P. 34-42.
Добавлено: 26 марта 2014
Статья
Gostev I. M. Advanced Materials Research. 2014. Vol. 837 . P. 381-386 .
Добавлено: 28 ноября 2013
Статья
Irina E. Utkina, Mikhail V. Batsyn, Ekaterina K. Batsyna. International Journal of Production Research. 2018. Vol. 56. No. 9. P. 3262-3273.
Добавлено: 11 марта 2018
Статья
Dvinskikh D., Tyurin A., Gasnikov A. et al. Mathematical notes. 2020. Vol. 108. No. 3-4. P. 511-522.
Добавлено: 5 февраля 2021
Статья
Vorontsova E., Gasnikov A., Dvurechensky P. et al. Automation and Remote Control. 2019. Vol. 80. No. 8. P. 1487-1501.

We propose an accelerated gradient-free method with a non-Euclidean proximal operator associated with the p-norm (1 ⩽ p ⩽ 2). We obtain estimates for the rate of convergence of the method under low noise arising in the calculation of the function value. We present the results of computational experiments.

Добавлено: 10 декабря 2019
Статья
Dvinskikh D., Омельченко С. С., Gasnikov A. et al. Doklady Mathematics. 2020. Vol. 101. No. 3. P. 244-246.
Добавлено: 5 февраля 2021
Статья
Alkousa M., Gasnikov A., Dvinskikh D. et al. Computational Mathematics and Mathematical Physics. 2020. Vol. 60. No. 11. P. 1787-1809.
Добавлено: 5 февраля 2021
Статья
Guminov S., Nesterov Y., Dvurechensky P. et al. Doklady Mathematics. 2019. Vol. 99. No. 2. P. 125-128.
Добавлено: 31 октября 2020
Статья
Zhukova E. I., Malova H., V. Yu. Popov et al. Cosmic Research. 2017. Vol. 55. No. 6. P. 417-425.
Добавлено: 19 июля 2018
Статья
Parkhomenko E. I., Malova H. V., Grigorenko E. E. et al. Physics of Plasmas. 2019. Vol. 26. No. 4. P. 1-9.
Добавлено: 16 апреля 2019
Статья
Burovski E., Janke W., Guskova M. et al. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 2019. Vol. 100. No. 6. P. 063303-1-063303-8.
Добавлено: 5 ноября 2019
Статья
Yakubova A., Thorrez L., Svetlichnyy D. et al. Scientific Reports. 2018. Vol. 8. No. 1. P. 1-12.
Добавлено: 2 ноября 2018
Статья
Baklanov A. Proceedings of the AAAI Conference on Artificial Intelligence. 2021.
Добавлено: 30 июля 2021
Статья
Reshetnikov R., Stolyarova A., Залевский А. О. et al. Nucleic Acids Research. 2018. Vol. 46. No. 3. P. 1102-1112.
Добавлено: 14 марта 2018
Статья
Zakharov V.A., Volkanov D. Y., Zorin D. et al. Programming and Computer Software. 2015. Vol. 41. No. 6. P. 325-335.

Checking the correctness of distributed systems is one of the most difficult and urgent problems in software engineering. A combined toolset for the verification of real-time distributed systems (RTDS) is described. RTDSs are specified as statecharts in the Universal Modeling Language (UML). The semantics of statecharts is defined by means of hierarchical timed automata. The combined toolset consists of a UML statechart editor, a verification tool for model checking networks of real-time automata in UPPAAL, and a translator of UML statecharts into networks of timed automata. The focus is on the translation algorithm from UML statecharts into networks of hierarchical timed automata. To illustrate the proposed approach to the verification of RTDSs, a toy example of a real-time crossroad traffic control system is analyzed.

Добавлено: 13 октября 2015
Статья
Malyshev D. Journal of Combinatorial Optimization. 2016. Vol. 32. No. 1. P. 226-243.
Добавлено: 4 апреля 2015
Статья
Romashchenko A., Kaced T., Vereshchagin N. IEEE Transactions on Information Theory. 2018. Vol. 64. No. 5. P. 3610-3615.
Добавлено: 6 апреля 2018