?
IT Tools for Managing Ecological Hazards
.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Vol. 988: International science and technology conference "Earth science" (ISTC EarthScience-2022) 10/01/2022 - 12/01/2022 Vladivostok. , IOP Publishing, 2022.
Учебное пособие предназначено для изучения информатики на базовом уровне в 9 классе общеобразовательных организаций. Учебное по собие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде пред ставлена система основных понятий этой главы. Учебное пособие является частью завершённой предметной линии учебных пособий по информатике (базовый уровень) для ...
Добавлено: 7 июля 2025 г.
Смит С., М.: ДМК Пресс, 2025.
Данная книга продолжает серию «Книжная полка Истового инженера»,
которая издается при поддержке компании YADRO. Издание подготовлено к
публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс».
Перед вами переведенная и адаптированная для русскоязычного читателя книга С. Смита «RISC-V Assembly Language Programming», вышедшая
в издательстве Apress в серии Maker Innovations в 2024 ...
Добавлено: 25 мая 2025 г.
Попова А. В., Тюменева Ю. А., Мир психологии. Научно-методический журнал 2024 № 2(117) С. 268–285
Алгоритмическое мышление в основном оценивается через стандартизированные тесты и профессиональные задачи, что сужает возможности выявления специфики алгоритмизации решения у людей с разным опытом программирования. С целью уточнить гипотезу о такой специфике мы предложили альтернативный метод оценки, требующий алгоритмизации, но не специальных знаний в программировании. По протоколам решений разработанной нами задачи выделены параметры качества алгоритмизации, допускающие ...
Добавлено: 16 августа 2024 г.
Варнавский А. Н., Информационные технологии 2024 Т. 30 № 7 С. 372–381
Рассматривается задача оценки показателей восприятия студентами игрового чат-бота c головоломками по типу Wordle для обучения программированию. Проведен эксперимент, обработка результатов которого позволила построить 3 регрессионные модели, описывающие влияние факторов на интерес, сложность и воспринимаемую полезность игрового чат-бота. Сформулированы рекомендации по использованию игрового чат-бота. ...
Добавлено: 10 ноября 2023 г.
в данной статье будут рассмотрены различные методы обмена данными
между процессами, с последующим выводом о быстродействии каждого. Тесты будут
проводиться на разных процессорах и разных версиях операционных систем. Это
исследование проводилось с целью узнать самый быстрый способ передачи данных между
процессами на суперкомпьютере Jetson TX2 по сравнению с другими платформами. ...
Добавлено: 11 мая 2023 г.
Бруно Ф., М.: ДМК Пресс, 2022.
Данная книга открывает серию переводов зарубежных изданий по проектированию цифровых систем, которую готовят к выходу в свет компания
«ДМК Пресс» и МИЭМ НИУ ВШЭ при поддержке группы компаний YADRO
(yadro.com). Она предназначена для тех, кто хочет узнать о том, как устроена
технология FPGA, и получить практический опыт работы с реальными проектами. Читатель получит общее представление о программируемых логических
интегральных ...
Добавлено: 23 июля 2022 г.
IEEE Computer Society, 2021.
Добавлено: 4 февраля 2022 г.
Лобанов А. Н., Брыксин Т. А., Shpilman Alexey, , in: Artificial Intelligence in EducationVol. 11626.: Springer, 2019. P. 174–178.
Добавлено: 19 июля 2019 г.
Зыков С. В., Незнанов А. А., Максименкова О. В., Программные системы: теория и приложения 2018 Т. 9 № 4 С. 199–218
В статье обсуждается задача проверки гипотез о типе распределения данных, получаемых при измерениях в образовании, в программных системах. Приведён обзор критериев проверки нормальности, имеющие дискретные аппроксимации, что делает их пригодными для реализации в программных системах. Обсуждается место и необходимость применения указанных критериев при автоматизации измерений в образовании. Результаты обзора положены в основу алгоритма подбора критерия ...
Добавлено: 18 ноября 2018 г.
Максименкова О. В., Незнанов А. А., Программные системы: теория и приложения 2017 Т. 8 № 4 С. 31–46
В статье рассмотрены подходы, модели и методы проектирования и реализации программных средств поддержки измерений в образовании как части комплексных систем поддержки учебного процесса. Основным результатом является формализация понятия контрольно-измерительного материала, его жизненного цикла и смежных понятий с технической точки зрения на современном этапе развития программной инженерии. Формализация проведена на концептуальном уровне с обсуждением некоторых вопросов ...
Добавлено: 21 сентября 2017 г.
Humboldt-Universität zu Berlin, 2016.
This volume contains the papers presented at CS&P 2016, the 25th International Workshop on Concurrency, Specification and Programming, held on September 28 - 30, 2016 in Rostock, Germany. Since the early seventies Warsaw University and Humboldt University have alternately organized an annual workshop - since the early nineties known as CS&P. Over time, it has ...
Добавлено: 13 октября 2016 г.
Piza: Pisa University Press, 2015.
Добавлено: 15 марта 2016 г.
Шилов В. В., В кн.: Страницы истории отечественных ИТТ. 1.: М.: Альпина Паблишер, 2015. Гл. 14 С. 73–81.
Биография и анализ научной деятельности одного из пионеров отечественной вычислительной техники - Анатолия Ивановича Китова. ...
Добавлено: 15 марта 2016 г.
University of Rzeszow, 2015.
Добавлено: 11 октября 2015 г.
Cham: Springer, 2014.
Труды 25-й международной научной конференции по применениям баз данных и экспертных систем - DEXA 2014 (Мюнхен, Германия, 1-4 сентября 2014). ...
Добавлено: 25 ноября 2014 г.
Дяйкин А. Д., В кн.: Антропоцентрические науки: инновационный взгляд на образование и развитие личности: материалы 1-й Международной научно-практической конференции.: Воронеж: Научная книга, 2014. С. 536–538.
Необходимость систематического контроля усвоения учебного материала является важнейшим элементом учебного процесса. Современные технологии позволяют перевести такой контроль в автоматизированный вид. Важным моментом систематического программированного контроля знаний является его объективность, что обусловлено переносом акцента с карательной функции на информативную. На основе общего опыта разработки контролирующих программ и изучения различных источников выделен ряд форм контрольных вопросов, каждая из ...
Добавлено: 14 ноября 2014 г.
Berlin: Humboldt University of Berlin, 2014.
This volume contains the papers presented at CS&P 2014: 23th International Workshop on Concurrency, Specification and Programming held on September 28 - October 1, 2014 in Chemnitz. Since the early seventies Warsaw University and Humboldt-University have alternately organized an annual workshop - since 1993 as CS&P. Over time, it has grown from a bilateral seminar ...
Добавлено: 24 октября 2014 г.
Иванова А. А., Юридическая наука и практика: Вестник Нижегородской академии МВД России 2013 № 24 С. 74–79
В статье рассматриваются проблемы антикоррупционной безопасности, в частности, относящиеся к антикоррупционной политике, мониторинговому контролю антикоррупционной деятельности на примере Нижегородской области. Высказывается ряд предложений по совершенствованию антикоррупционной деятельности. ...
Добавлено: 20 марта 2014 г.
Silaev M. A., V. A. Silaeva, Journal of Physics: Condensed Matter 2013 Vol. 25 No. 22 P. 1–10
We investigate the multiquantum vortex states in a type-II superconductor in both 'clean' and 'dirty' regimes defined by impurity scattering rate. Within a quasiclassical approach we calculate self-consistently the order parameter distributions and electronic local density of states (LDOS) profiles. In the clean case we find the low temperature vortex core anomaly predicted analytically by ...
Добавлено: 19 ноября 2013 г.
Yaroslavl: Yaroslavl State University, 2013.
Workshop on Program Semantics, Specifi cation and Verifi cation: Theory and Applications is the leading event in Russia in the fi eld of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and veri cation, programming and speci fication languages, etc. ...
Добавлено: 14 июля 2013 г.