1 - 50 из 63Размер страницы: 50
Сортировать по:: Заголовок

  1. 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).

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

  2. 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).

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

  3. 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 стр.

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

  4. 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 стр.

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

  5. 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 стр.

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

  6. 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 стр.

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

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

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

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

  8. 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 стр.

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

  9. 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 стр.

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

  10. 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).

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

  11. 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).

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

  12. 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).

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

  13. 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 стр.

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

  14. 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 стр.

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

  15. 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 стр.

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

  16. Automata-Based Software Engineering with Event-B

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

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

  17. 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

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

  18. 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

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

  19. 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 стр.

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

  20. 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).

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

  21. 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

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

  22. 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).

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

  23. 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 стр.

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

  24. Early learning in parallel programming

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

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

  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. 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).

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

  27. 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 стр.

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

  28. 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.

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

  29. 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

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

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

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

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

  31. Method of paradigmatic analysis of programming languages and systems

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

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

  32. 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 стр.

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

  33. Methods and tools of parallel programming

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

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

  34. 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).

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

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

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

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

  36. 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).

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

  37. 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 стр.

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

  38. On the complexity of formulas in semantic programming

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

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

  39. On the complexity of semantic integration of OWL ontologies

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

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

  40. 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.

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

  41. 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 стр.

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

  42. 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).

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

  43. 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).

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

  44. Path Reconstruction in the Barning–Hall Tree

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

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

  45. 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).

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

  46. Preconditioning methods based on spanning tree algorithms

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

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

  47. Progression of decomposed local-effect action theories

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

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

  48. 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 стр.

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

  49. The complexity of AND—decomposition of Boolean functions

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

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

  50. 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.

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

Назад 1 2 Далее

ID: 3089109