-
1Academic Journal
Συγγραφείς: A.L. Reznik, A.A. Soloviev
Πηγή: Izvestiya of Altai State University; No 4(132) (2023): Известия Алтайского государственного университета; 84-88
Известия Алтайского государственного университета; № 4(132) (2023): Известия Алтайского государственного университета; 84-88Θεματικοί όροι: перечислительная комбинаторика, случайные точечные изображения, системы компьютерной алгебры, generalized Catalan numbers, обобщенные числа Каталана, enumerative combinatorics, random bitmaps, computer algebra systems
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://izvestiya.asu.ru/article/view/(2023)4-13
-
2Academic Journal
Συγγραφείς: Nikolai Nikolayevich Efanov, Николай Николаевич Ефанов
Συνεισφορές: МФТИ(ГУ)
Πηγή: Chebyshevskii Sbornik; Том 19, № 2 (2018); 151-162 ; Чебышевский сборник; Том 19, № 2 (2018); 151-162 ; 2226-8383 ; 10.22405/2226-8383-2018-19-2
Θεματικοί όροι: формальные грамматики, перечислительная комбинаторика, группы, деревья, Unix-подобные операционные системы, системные вызовы, дерево процессов, восстановление по контрольным точкам
Περιγραφή αρχείου: application/pdf
Relation: https://www.chebsbornik.ru/jour/article/view/402/403; Mirkin A., Kuznetsov A., Kolyshkin K. Containers checkpointing and live migration // Proceedings of the In Ottawa Linux Symposium, vol. 2, pp. 85-90 (2008).; Ефанов Н.Н., Емельянов П. В. Построение формальной грамматики системных вызовов // М. Информационное обеспечение математических моделей, 2017, 83-91 cc.; Efanov N. N., Emelyanov P. V. Constructing the formal grammar of system calls // In Proceedings of the 13th Central & Eastern European Software Engineering Conference in Russia (CEE-SECR '17). ACM, New York, NY, USA, 2017, Article 12, 5 pages. doi:10.1145/3166094.3166106; Bozyigit M., Wasiq M. User-level process checkpoint and restore for migration // ACM SIGOPS Operating Systems Review, 2017, vol. 35 no. 2, pp. 86-96. doi:10.1145/377069.377091; Cayley A. A theorem on trees. // Collected Mathematical Papers, 1897, vol. 13. pp. 26-28.; Clemente Izurieta, James Bieman. The evolution of FreeBSD and linux. // In Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering (ISESE '06). ACM, New York, NY, USA, 2006, pp. 204-211. doi:10.1145/1159733.1159765; Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wąsowski, and Paulo Borba. Coevolution of variability models and related artifacts: a case study from the Linux kernel // In Proceedings of the 17th International Software Product Line Conference (SPLC '13). ACM, New York, NY, USA, 2013, pp. 91-100. doi:10.1145/2491627.2491628; Белоусов А. И. Дискретная математика, 4-е изд., М.: МГТУ имени Н. Э. Баумана, 2006, 744 с.; Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, 2nd Edition, MIT Press and McGraw-Hill , 2001. ISBN 0-262-03293-7.; Knuth, Donald E., The Art of Computer Programming Vol 1. 3rd edition, Boston: Addison-Wesley, 1997. ISBN 0-201-89683-4; Krippendorff, Klaus. "Combinatorial Explosion" // Web Dictionary of Cybernetics and Systems. PRINCIPIA CYBERNETICA WEB. Retrieved 29 November 2010. URL: url{http://pespmc1.vub.ac.be/ASC/Combin_explo.html} (Дата обращения: 31.05.2018).; Alfred V. Aho , Jeffrey D. Ullman , The theory of parsing, translation, and compiling, Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1972. URL: url{dl.acm.org/citation.cfm?id=578789} (Дата обращения: 31.05.2018).; Охотин А. Формальные грамматики и вычислительная сложность синтаксического анализа. СПбГУ, программа “Математика”, 12 ноября 2017 г. noindent URL: url{https://compsciclub.ru/media/slides/for-mal_grammars_2017_autumn/2017_11_12_formal_grammars_2017_autumn.pdf} (Дата обращения: 31.05.2018).; David J. Weir. Characterizing Mildly Context-Sensitive Grammar Formalisms. Ph.D. thesis, University of Pennsylvania, Philadelphia, USA, 1988. doi:10.1145/3166094.3166106; M. A. Alonso and V. J. D'iaz. Variants of mixed parsing of TAG and TIG // Traitement Automatique des Langues (TAL), 2003, no. 44(3), pp. 41–65.; Barash, Mihail. Defining Contexts in Context-Free Grammars, Turku Center for Computer Science, TCCS Dissertation no. 204, 2015. URL: url{https://www.doria.fi/bitstream/handle/10024/113793/TUCSDissertationD204.pdf} (Дата обращения: 31.05.2018).; Boullier, P. On Multicomponent TAG parsing. // In 6th conference annuelle sur le Traitement Automatique des Langues Naturelles (TALN 1999), Cargse, Corse, France, 1999, pp. 321–326.; Boullier P., Sagot B. Multi-Component Tree Insertion Grammars. // In: de Groote P., Egg M., Kallmeyer L. (eds) Formal Grammar. FG 2009. Lecture Notes in Computer Science, vol 5591. Springer, Berlin, Heidelberg, 2011.; Claire Gardent and Laura Kallmeyer. Semantic construction in feature-based TAG. // In Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1 (EACL '03), vol. 1, Association for Computational Linguistics, Stroudsburg, PA, USA, 2003, pp. 123-130. doi:10.3115/1067807.1067825; Marina Kudinova and Pavel Emelyanov. Building Mathematical Model for Restoring Processes Tree during Container Live Migration. // IVth International Conference on Engineering and Telecommunication (EnT), November 2017, Dolgoprudniy. doi:10.1109/ICEnT.2017.41; Zengin M., Vafeiadis V. A programming language approach to fault tolerance for fork-join parallelism // Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering (TASE 2013), Max Planck Institute for Software Systems (MPI-SWS), Saarsbruchen, Germany, 2013.; Adel Cherif, Masato Suzuki, and Takuya Katayama. A Replication Technique Based on a Functional and Attribute Grammar Computation Model. In Proceedings of the The Seventh International Symposium on Software Reliability Engineering (ISSRE '96), IEEE Computer Society, Washington, DC, USA, 1996, p. 266.; https://www.chebsbornik.ru/jour/article/view/402
Διαθεσιμότητα: https://www.chebsbornik.ru/jour/article/view/402
-
3Book
Συγγραφείς: Miroshnitchenko, Irina D, Burova, Irina G, Kostin, Vladimir A
Θεματικοί όροι: discrete mathematics, enumerative combinatorics, graph, computer and information sciences, complexity of algorithms, algorithmization, programming, дискретная математика, перечислительная комбинаторика, граф, компьютерные и информационные науки, сложность алгоритмов, алгоритмизация, программирование
Relation: http://hdl.handle.net/11701/34143
Διαθεσιμότητα: http://hdl.handle.net/11701/34143
-
4Academic Journal
Συγγραφείς: Абачиев, Сергей, Стахов, Алексей
Θεματικοί όροι: ПЕРЕЧИСЛИТЕЛЬНАЯ КОМБИНАТОРИКА, ДИАГОНАЛЬНЫЕ СУММЫ ТРЕУГОЛЬНИКА ПАСКАЛЯ, ЗОЛОТАЯ ПРОПОРЦИЯ, ОБОБЩЕНИЯ ЗОЛОТОЙ ПРОПОРЦИИ, ИРРАЦИОНАЛЬНЫЕ СИСТЕМЫ СЧИСЛЕНИЯ, ИЗБЫТОЧНЫЕ КОДЫ, ПОМЕХОУСТОЙЧИВОСТЬ, СТРУКТУРНЫЙ УРОВЕНЬ, ПРОСТЫЕ СУБЭЛЕ-МЕНТЫ-ДЕЛИТЕЛИ НАТУРАЛЬНЫХ ЧИСЕЛ, ОБЩЕСИСТЕМНАЯ ПОДЧИНЁННОСТЬ НИЗШЕГО ВЫСШЕМУ, ЧИСЛОВЫЕ ФРАКТАЛЫ, ПРИНЦИП СООТВЕТСТВИЯ, DIAGONAL SUMS OF PASCAL''S TRIANGLE
Περιγραφή αρχείου: text/html
-
5Academic Journal
Πηγή: Интернет-журнал Науковедение.
Περιγραφή αρχείου: text/html