• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties

Fedotov I., Anton Khritankov, Barger A.

In bk.: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM). NY: Association for Computing Machinery (ACM), 2022. P. 100-105.

Препринт
Using Text Analytics for Health to Get Meaningful Insights from a Corpus of COVID Scientific Papers

Soshnikov D. V., Soshnikova V.

arxiv.org. Computer Science. Cornell University, 2021

Тема «инновации» – Новости

Подведены итоги осеннего конкурса образовательных инноваций 2020 г.

Фонд образовательных инноваций подвел итоги весеннего конкурса образовательных инноваций 2022 года. Всего на конкурс поступило 38 заявок в трех номинациях.

Global Mobile lnnovators Tournament

Компания IBM, в объединении с Four Years From Now (4YFN), а также AT&T, KPN, Rogers Communications и Vodafone, представляет конкурс Global Mobile lnnovators Tournament.