المؤلفون: Dmitry A. Kondratyev, Andrey E. Fomin

المصدر: Russian Journal of Education and Psychology, Vol 15, Iss 2, Pp 178-202 (2024)

مصطلحات موضوعية: meta-emotions, metacognition, regulation of a child’s emotions, emotional self-regulation of the child, models of regulation of children's emotions, Education (General), L7-991, Psychology, BF1-990

وصف الملف: electronic resource

Relation: https://rjep.ru/jour/index.php/rjep/article/view/433; https://doaj.org/toc/2658-4034; https://doaj.org/toc/2782-3563

URL الوصول: https://doaj.org/article/61c363a5edd34195ba788227c0229347

المؤلفون: Dmitry A. Kondratyev

المصدر: Моделирование и анализ информационных систем, Vol 30, Iss 3, Pp 214-233 (2023)

مصطلحات موضوعية: deductive verification, hoare logic, bug localization, program incorrectness, loop invariant, finite iteration, c-lightver, acl2, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1800; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/33b4b62f55b345f8a487083d3a577e27

المؤلفون: Dmitry A. Kondratyev

المصدر: Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 372-393 (2021)

مصطلحات موضوعية: deductive verification, c-lightver, cloud parallel programming system, symbolic method of verification of definite iterations, loop invariant, acl2, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1566; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/ff6a7cc2c6214b5c8b4e028660412423

المؤلفون: Dmitry A. Kondratyev, Alexei V. Promsky

المصدر: Моделирование и анализ информационных систем, Vol 26, Iss 4, Pp 502-519 (2019)

مصطلحات موضوعية: deductive verification, semantic label, error localization, c-lightver, acl2, metavcg, definite iteration, proof strategy, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1273; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/a52b77cbccd142f49b9958d406ff6cce

المؤلفون: Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky

المصدر: Моделирование и анализ информационных систем, Vol 25, Iss 6, Pp 637-666 (2018)

مصطلحات موضوعية: fix-point numbers, floating-point numbers, computer arithmetic, formal verification, partial and total correctness, hoare triples, floyd verification method of inductive assertions, exact function, square root function, newton–raphson method, look-up table, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/764; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/63a6a6d4683741fbb0e298dfb088c8e9

المؤلفون: Ilya V. Maryasov, Valery A. Nepomniaschy, Dmitry A. Kondratyev

المصدر: Моделирование и анализ информационных систем, Vol 24, Iss 6, Pp 743-745 (2017)

مصطلحات موضوعية: c-light, loop invariants, mixed axiomatic semantics, definite iteration, arrays, cvc4, specification, verification, hoare logic, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/611; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/a48d7bbe11a9420286ab689791f3df2e

المؤلفون: Gamlet Y. Ostaev, Igor M. Gogolev, Dmitry V. Kondratyev, Ekaterina V. Markovina, Marina V. Mironova, Nina A. Kravchenko, Elena V. Alexandrova

المصدر: INDO AMERICAN JOURNAL OF PHARMACEUTICAL SCIENCES, o6(04), 8180-8186, (2019-04-22)

Relation: https://doi.org/10.5281/zenodo.2648633; https://doi.org/10.5281/zenodo.2648634; oai:zenodo.org:2648634

الاتاحة: https://doi.org/10.5281/zenodo.2648634

المؤلفون: Dmitry V. Kondratyev, Gamlet Y. Ostaev, Boris N. Khosiev, Inna A. Mukhina, Ekaterina V. Markovina

المصدر: Innovation, Technology, and Knowledge Management ISBN: 9783031139123

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b87060795da43fce6203931939017028
https://doi.org/10.1007/978-3-031-13913-0_27

المؤلفون: Dmitry A. Kondratyev, Alexei V. Promsky

المصدر: Modelirovanie i Analiz Informacionnyh Sistem, Vol 26, Iss 4, Pp 502-519 (2019)

مصطلحات موضوعية: Economics and Econometrics, Loop invariant, Correctness, Source code, semantic label, Computer science, media_common.quotation_subject, 0211 other engineering and technologies, c-lightver, Information technology, 02 engineering and technology, ACL2, Hoare logic, computer.software_genre, acl2, metavcg, 020204 information systems, Materials Chemistry, Media Technology, 0202 electrical engineering, electronic engineering, information engineering, proof strategy, Rule of inference, computer.programming_language, media_common, Statement (computer science), 021110 strategic, defence & security studies, Generator (computer programming), LOOP (programming language), Programming language, Substitution (logic), 020207 software engineering, Forestry, deductive verification, T58.5-58.64, Data structure, Automated theorem proving, Control and Systems Engineering, Signal Processing, definite iteration, 020201 artificial intelligence & image processing, computer, error localization, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::012f383735da91d95da301d3c8cc8e49
https://doi.org/10.3103/s0146411620070093

المؤلفون: Nina A. Kravchenko, Dmitry V. Kondratyev, Gamlet Ostaev, Elena V. Nekrasova

المصدر: Revista Amazonia Investiga. 9:316-326

مصطلحات موضوعية: Sustainable development, Crisis state, Bankruptcy, Agriculture, business.industry, General Earth and Planetary Sciences, Business, Crisis management, Competence (human resources), Research task, Algorithm, General Environmental Science, Identification system

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6178720cbb41fff3384ca6972f7e6bd9
https://doi.org/10.34069/ai/2020.29.05.36

المؤلفون: Boris Petrovich Nechaev, Gamlet Y. Ostaev, Dmitry V. Kondratyev, Alena N. Romanova

المصدر: Revista Amazonia Investiga. 9:188-203

مصطلحات موضوعية: Futures studies, Food security, Agriculture, business.industry, Management accounting, Assessment methods, General Earth and Planetary Sciences, Business, Environmental economics, Set (psychology), Field (computer science), General Environmental Science, Task (project management)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::402d26be9a1e2aff457b26e2b96d4f9b
https://doi.org/10.34069/ai/2020.29.05.22

المؤلفون: Vladislav Vasilyevich Kuzmin, Vasily Valerievich Lomtev, Dmitry Sergeevich Kondratyev, Evgeny Viktorovich Nesterov, Vladimir Vyacheslavovich Zhirnov, Yulia Vladimirovna Kozachek

المصدر: Молодежь в науке. Сборник докладов 19-й научно-технической конференции.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2d1ebee118a1846f5a13800e764bcfd7
https://doi.org/10.53403/9785951505200_99

المؤلفون: Valery A. Nepomniaschy, Ilya V. Maryasov, Dmitry A. Kondratyev

المصدر: Automatic Control and Computer Sciences. 53:653-662

مصطلحات موضوعية: Loop invariant, business.industry, Programming language, Computer science, 020207 software engineering, 02 engineering and technology, ACL2, computer.software_genre, Automation, Axiomatic semantics, Imperative programming, Control and Systems Engineering, Computer Science::Logic in Computer Science, Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, The Symbolic, Invariant (mathematics), business, Rule of inference, computer, Software, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::efd723e26ca8a8391ad2c2b4526a5820
https://doi.org/10.3103/s0146411619070101

المؤلفون: Dmitry A. Kondratyev, Alexei V. Promsky

المصدر: 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON).

مصطلحات موضوعية: Automated theorem proving, Sequence, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Transformation (function), Correctness, Computer science, Verification system, ACL2, Algorithm, computer, SISAL, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::39ef291a7435707f9a73b9871bdcd9a5
https://doi.org/10.1109/sibircon48586.2019.8958225

المؤلفون: Dmitry A. Kondratyev, Valery A. Nepomniaschy, Ilya V. Maryasov

المصدر: Modelirovanie i Analiz Informacionnyh Sistem, Vol 24, Iss 6, Pp 743-745 (2017)

مصطلحات موضوعية: Loop invariant, hoare logic, Computer science, 0211 other engineering and technologies, 02 engineering and technology, Information technology, Hoare logic, c-light, loop invariants, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, arrays, Invariant (mathematics), Rule of inference, 021110 strategic, defence & security studies, Generator (computer programming), Extension (predicate logic), T58.5-58.64, cvc4, Axiomatic semantics, specification, 020201 artificial intelligence & image processing, definite iteration, Rewriting, mixed axiomatic semantics, verification, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::faf5d4c43ddacd232de43ab0a9919167
https://www.mais-journal.ru/jour/article/view/611

المؤلفون: Victor N. Kasyanov, Dmitry A. Kondratyev, Elena V. Kasyanova

المصدر: Journal of Physics: Conference Series. 1603:012020

مصطلحات موضوعية: History, Programming language, Computer science, business.industry, media_common.quotation_subject, Cloud computing, computer.software_genre, Computer Science Applications, Education, Debugging, Informatics, Code (cryptography), business, Formal verification, computer, SISAL, media_common, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::66567ca0d691e2d2e993adf971ac6d13
https://doi.org/10.1088/1742-6596/1603/1/012020

المؤلفون: Valery A. Nepomniaschy, Ilya V. Maryasov, Dmitry A. Kondratyev

المصدر: Lecture Notes in Computer Science ISBN: 9783030374860
Ershov Informatics Conference

مصطلحات موضوعية: Insertion sort, Loop invariant, Computer science, 020207 software engineering, 02 engineering and technology, ACL2, Axiomatic semantics, Linear arrays, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Invariant (mathematics), Rule of inference, Nested loop join, computer, Algorithm, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a0ce96641065098a859926a3860c158c
https://doi.org/10.1007/978-3-030-37487-7_20

المؤلفون: Alexei V. Promsky, Dmitry A. Kondratyev

المصدر: Software Technology: Methods and Tools ISBN: 9783030298517
TOOLS

مصطلحات موضوعية: Soundness, Loop invariant, Programming language, Computer science, Verification system, The Symbolic, Equivalence (formal languages), computer.software_genre, computer, SISAL, Symbolic method, Logical formula, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3f6bd5d3c38a47478120ac7f71900509
https://doi.org/10.1007/978-3-030-29852-4_9

المؤلفون: Dmitry A. Kondratyev

المصدر: Lecture Notes in Computer Science ISBN: 9783319743127
Ershov Informatics Conference

مصطلحات موضوعية: 021103 operations research, Theoretical computer science, Computer science, Linear algebra, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, The Symbolic, 02 engineering and technology, Rule of inference, Single assignment, Cumulative effect, Invariant (computer science)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::01455ad27fdb226438e5c2b5a30c8342
https://doi.org/10.1007/978-3-319-74313-4_17

المؤلفون: Valery A. Nepomniaschy, Dmitry A. Kondratyev, Ilya V. Maryasov

المصدر: System Informatics.

مصطلحات موضوعية: Loop (topology), Control theory, Computer science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7d63de1f7c588a3e934e510a2b2138fe
https://doi.org/10.31144/si.2307-6410.2017.n10.p57-66