1 - 63 из 63Размер страницы: 100
Сортировать по:: Год публикации
  1. 2023

  2. On the space of SARS-CoV-2 genetic sequence variants

    Palyanov, A. Y. & Palyanova, N. V., дек. 2023, в: Vavilovskii Zhurnal Genetiki i Selektsii. 27, 7, стр. 839-850 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. Automata-Based Software Engineering with Event-B

    Shelekhov, V. I., окт. 2023, в: Programming and Computer Software. 49, 5, стр. 470-483 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. The Development of the SARS-CoV-2 Epidemic in Different Regions of Siberia in the 2020-2022 Period

    Palyanova, N. V., Sobolev, I. A., Palyanov, A. Y., Kurskaya, O. G., Komissarov, A. B., Danilenko, D. M., Fadeev, A. V. & Shestopalov, A. M., 27 сент. 2023, в: Viruses. 15, 10, 2014.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. Acute ischemic stroke lesion segmentation in non-contrast CT images using 3D convolutional neural networks

    Dobshik, A. V., Verbitskiy, S. K., Pestunov, I. A., Sherman, K. M., Sinyavskiy, Y. N., Tulupov, A. A. & Berikov, V. B., сент. 2023, в: Computer Optics. 47, 5, стр. 770-777 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  6. Моделирование развивающихся систем с активными элементами

    Скопин, И. Н., 2023, в: Вычислительные технологии. 28, 1, стр. 6-22 17 стр., 1.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. 2022

  8. Extensions to the Predicate Programming Language for Efficient Graph Processing

    Shelekhov, V., 2022, Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022. Institute of Electrical and Electronics Engineers Inc., стр. 65-71 7 стр. (Proceedings - 2022 Ivannikov Memorial Workshop, IVMEM 2022).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  9. Влияние методов построения векторных представлений на подходы выравнивания сущностей

    Гусев, Д. И. & Апанович, З. В., 2022, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 20, 2, стр. 5-17 13 стр., 1.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  10. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2022, Москва: Юрайт. 93 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

  11. 2021

  12. International Conference «Marchuk Scientific Readings 2021» (MSR-2021)

    Mikhailov, G. A., Kabanikhin, S. I., Laevsky, Y. M., Penenko, V. V., Glinsky, B. M., Zagorulko, Y. A., Shishlenin, M. A., Podkolodnyy, N. L. & Penenko, A. V., 13 дек. 2021, в: Journal of Physics: Conference Series. 2099, 1, 011001.

    Результаты исследований: Научные публикации в периодических изданиях › редакционная статья › Рецензирование

  13. On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

    Ponomaryov, D., дек. 2021, в: Lobachevskii Journal of Mathematics. 42, 12, стр. 2905-2912 8 стр., 24.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  14. Factorization of Boolean Polynomials: Parallel Algorithms and Experimental Evaluation

    Emelyanov, P. G., Krishna, M., Kulkarni, V., Nandy, S. K., Ponomaryov, D. K. & Raha, S., мар. 2021, в: Programming and Computer Software. 47, 2, стр. 108-118 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  15. Preconditioning methods based on spanning tree algorithms

    Perevozkin, D. V. & Omarova, G. A., 4 янв. 2021, в: Journal of Physics: Conference Series. 1715, 1, 012005.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  16. Application of the Fuzzy Model Theory for Modeling QA-Systems

    Yakhyaeva, G., Karmanova, A. & Ershov, A., 2021, в: Computing and Informatics. 40, 6, стр. 1197-1216 20 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  17. Development of a technology for collecting and analyzing data for monitoring based on an ontological approach

    Molorodov, Y. I. & Kasatkin, O. V., 2021, в: CEUR Workshop Proceedings. 3006, стр. 212-221 10 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  18. Modelling purposeful processes based on the geometric representation of their trajectories

    Skopin, I., 2021, в: CEUR Workshop Proceedings. 2913, стр. 164-181 18 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  19. Using mixed reality technologies to explore the exhibits of the Kuzbass Botanical Garden

    Molorodov, Y. I. & Chernyavtsev, E. D., 2021, в: CEUR Workshop Proceedings. 3006, стр. 203-211 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  20. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2021, Москва: Юрайт. 93 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

  21. 2020

  22. 20 Years of Experience in Organizing and Holding of Programming Competitions at the Novosibirsk State University

    Churina, T. & Nesterenko, T., 6 окт. 2020, Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020. Tomilin, A. N. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 139-144 6 стр. 9464935. (Selected Papers 2020 5th International Conference on the History of Computers and Informatics in the Soviet Union, Russian Federation and in the Countries of Mutual Economic Assistance Council, SoRuCom 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  23. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  24. Compact Interface Method Table Layout

    Trepakov, I. & Pavlov, P., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 62-68 7 стр. 9357020. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  25. Evaluation of thread-local garbage collection

    Filatov, A. & Mikheev, V., сент. 2020, Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020. Prokhorov, S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 15-21 7 стр. 9356994. (Proceedings - 2020 Ivannikov Memorial Workshop, IVMEM 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  26. The complexity of AND—decomposition of Boolean functions

    Emelyanov, P. & Ponomaryov, D., 15 июн. 2020, в: Discrete Applied Mathematics. 280, стр. 113-132 20 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  27. Automatic text summarization based on syntactic links

    Yerimbetova, A. S., Batura, T. V., Murzin, F. A. & Sagnayeva, S. K., 1 янв. 2020, в: CEUR Workshop Proceedings. 2570

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  28. Matching of authors and publications in multilingual bibliographic knowledge bases

    Apanovich, Z., 1 янв. 2020, в: CEUR Workshop Proceedings. 2543, стр. 26-37 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  29. Method of paradigmatic analysis of programming languages and systems

    Gorodnyaya, L., 1 янв. 2020, в: CEUR Workshop Proceedings. 2543, стр. 149-158 10 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  30. On termination of transactions over semantic document models

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2020, в: Bulletin of Irkutsk State University, Series Mathematics. 31, стр. 111-131 21 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  31. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, в: Сибирские электронные математические известия. 17, стр. 380-394 15 стр., 024.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  32. Программные средства поддержки дистанционного обучения функциональному программированию

    Касьянов, В. Н. & Малышев, А. А., 2020, Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. Касьянов, В. Н. (ред.). Новосибирск: ИПЦ НГУ, стр. 1-9 9 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  33. 2019

  34. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 16 дек. 2019, (Электронная публикация перед печатью) Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 80-94 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  35. Academician Andrei Ershov and Graphs in Programming

    Kasyanov, V., авг. 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., стр. 73-77 5 стр. 8880185. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  36. A formalization of document models with semantic modelling

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2019, в: Bulletin of Irkutsk State University, Series Mathematics. 27, стр. 36-54 19 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  37. A polynomial time delta-decomposition algorithm for positive DNFs

    Ponomaryov, D., 1 янв. 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 325-336 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11532 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  38. Quantitative Evaluation of Thread-Local Garbage Collection Efficiency for Java

    Filatov, A. Y. & Mikheev, V. V., 1 янв. 2019, в: Programming and Computer Software. 45, 1, стр. 1-11 11 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  39. Towards semantic document modelling of business processes

    Mantsivoda, A. V. & Ponomaryov, D. K., 1 янв. 2019, в: Bulletin of Irkutsk State University, Series Mathematics. 29, стр. 52-67 16 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  40. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  41. 2018

  42. Visualization of graph presentations of data-flow programs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 дек. 2018, стр. 138-141. 4 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  43. Creation of tools and algorithms for assessing the relevance of documents

    Yerimbetova, A. S., Sagnayeva, S. K., Murzin, F. A. & Tussupov, J. A., 4 окт. 2018, RPC 2018 - Proceedings of the 3rd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., 8482202

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  44. Agents as a Tool for the Formation of Algorithmic Thinking of Schoolchildren

    Tikhonova, T., 28 июн. 2018, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva & Tomilin, A. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 147-149 3 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  45. A system for visualization of big attributed hierarchical graphs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 мар. 2018, в: International Journal of Computer Networks and Communications. 10, 2, стр. 55-67 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  46. Analysis and visualization algorithm for cross-language author names disambiguation

    Apanovich, Z. & Isachenko, V., 1 янв. 2018, в: CEUR Workshop Proceedings. 2277, стр. 193-199 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  47. Defind: a protege plugin for computing concept definitions in εL Ontologies

    Ponomaryov, D. & Yakovenko, S., 1 янв. 2018, Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer-Verlag GmbH and Co. KG, стр. 235-243 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11341 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  48. Mobile applications as tools of alternative communication, diagnostics and language development for children with language disorders

    Mozheikina, L. & Emelyanov, P., 1 янв. 2018, Social Informatics - 10th International Conference, SocInfo 2018, Proceedings. Staab, S., Koltsova, O. & Ignatov, DI. (ред.). Springer-Verlag GmbH and Co. KG, стр. 75-84 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11186 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  49. On a Polytime Factorization Algorithm for Multilinear Polynomials over F2

    Emelyanov, P. & Ponomaryov, D., 1 янв. 2018, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. Gerdt, VP., Koepf, W., Seiler, WM. & Vorozhtsov, EV. (ред.). Springer-Verlag GmbH and Co. KG, стр. 164-176 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11077 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  50. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  51. On Two Kinds of Dataset Decomposition

    Emelyanov, P., 1 янв. 2018, Computational Science – ICCS 2018 - 18th International Conference, Proceedings. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, VV., Lees, MH., Dongarra, J. & Sloot, PMA. (ред.). Springer-Verlag GmbH and Co. KG, стр. 171-183 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10861 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  52. Pattern-based methodology for building the ontologies of scientific subject domains

    Zagorulko, Y., Zagorulko, G. & Borovikova, O., 1 янв. 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (ред.). IOS Press, стр. 529-542 14 стр. (Frontiers in Artificial Intelligence and Applications; том 303).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  53. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 янв. 2018, в: CEUR Workshop Proceedings. 2260, стр. 511-524 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  54. 2017

  55. Methodology for the development of ontologies for thematic intelligent scientific internet resources

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 5 дек. 2017, RPC 2017 - Proceedings of the 2nd Russian-Pacific Conference on Computer Technology and Applications. Institute of Electrical and Electronics Engineers Inc., Том 2017-December. стр. 194-198 5 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  56. Cartesian decomposition in data analysis

    Emelyanov, P. & Ponomaryov, D., 18 окт. 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., стр. 55-60 6 стр. 8071964

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  57. Classification by Compression: Application of Information-Theory Methods for the Identification of Themes of Scientific Texts

    Selivanova, I. V., Ryabko, B. Y. A. & Guskov, A. E., 1 июн. 2017, в: Automatic documentation and mathematical linguistics. 51, 3, стр. 120-126 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  58. Progression of decomposed local-effect action theories

    Ponomaryov, D. & Soutchanski, M., 1 июн. 2017, в: ACM Transactions on Computational Logic. 18, 2, 41 стр., 16.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  59. An approach to filtering prohibited content on the web

    Sidorova, E. A., Kononenko, I. S. & Zagorulko, Y. A., 1 янв. 2017, в: CEUR Workshop Proceedings. 2022, стр. 64-71 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  60. An approach to the construction of robust systems of interacting processes

    Skopin, I. N., 1 янв. 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Том 2. 1 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  61. Application of ontology design patterns in the development of the ontologies of scientific subject domains

    Zagorulko, Y. A., Borovikova, O. I. & Zagorulko, G. B., 1 янв. 2017, в: CEUR Workshop Proceedings. 2022, стр. 258-265 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  62. Early learning in parallel programming

    Skopin, I. N., 1 янв. 2017, Mathematical Research Summaries. Nova Science Publishers, Inc., Том 2. 1 стр.

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  63. Methods and tools of parallel programming

    Kasyanov, V. & Kasyanova, E., 1 янв. 2017, в: CEUR Workshop Proceedings. 1839, стр. 141-154 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  64. On the complexity of semantic integration of OWL ontologies

    Kazakov, Y. & Ponomaryov, D., 1 янв. 2017, в: CEUR Workshop Proceedings. 1879

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  65. Webometric analysis of Russian scientific and education web

    Kosyakov, D., Guskov, A. & Bykhovtsev, E., 1 янв. 2017, в: CEUR Workshop Proceedings. 1839, стр. 196-207 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья по материалам конференции › Рецензирование

  66. 2016

  67. Link Grammar Parser for Turkic languages and algorithms for estimation the relevance of documents

    Victorovna, B. T., Zhaksylykbayevna, T. S., Alexandrovich, M. F., Sembekovna, Y. A., Kairolliyevna, S. S. & Muratovna, B. A., 25 июл. 2016, Application of Information and Communication Technologies, AICT 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 7991663

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  68. AND–decomposition of boolean polynomials with prescribed shared variables

    Emelyanov, P., 1 янв. 2016, Algorithms and Discrete Applied Mathematics - 2nd International Conference, CALDAM 2016, Proceedings. Springer-Verlag GmbH and Co. KG, Том 9602. стр. 164-175 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9602).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  69. 2015

  70. Algorithmic issues of AND-decomposition of boolean formulas

    Emelyanov, P. G. & Ponomaryov, D. K., 1 мая 2015, в: Programming and Computer Software. 41, 3, стр. 162-169 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  71. 2014

  72. Path Reconstruction in the Barning–Hall Tree

    Emelyanov, P. G., окт. 2014, в: Journal of Mathematical Sciences (United States). 202, 1, стр. 72-79 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  73. 2013

  74. Программный комплекс ПРОСТОР для моделирования и прогнозирования опорной транспортной сети России

    Малов, В. Ю., Бульонков, М. А., Филаткина, Н. Н. & Марусин, В. В., 20 июн. 2013, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2013614125, Дата приоритета 12 мар. 2013, № приоритета 2013611781

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

ID: 3089109