• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
18 мая 2026 г.
В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского
Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.
15 мая 2026 г.
В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций
Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.
15 мая 2026 г.
Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ
В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification

P. 25–31.
Проценко А. С., Chupilko M.
Язык: английский
Ключевые слова: recognitionexplanationincorrect behaviorhardware verification

В книге

Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013
Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013
Kazan: -, 2013.
Похожие публикации
Seeking the Category: The Pragmatic Function of Formal Explanations and the Role of Cognitive Reflection
Aslanov I., Alexey Kotov, Guerro E. и др., Cognitive Science 2025 Vol. 49 No. 8 Article e70101
Добавлено: 18 августа 2025 г.
Mutual recognition: A dialogue between Italian and Russian perspectives
Pirni A., Nikolaeva Z., Sofia V. Ignateva, Vestnik of Saint Petersburg University. Philosophy and Conflict Studies 2020 Vol. 36 No. 1 P. 141–156
Знание и понимание мозаичного, гипермодерного общества тесно связано с пониманием термина «признание». Сегодня данная тема незаслуженно потеряла популярность среди исследователей, несмотря на то что ранее занимала значительное место в русской философской традиции. Основные задачи статьи — основываясь на материале русской и европейской традиций уделить особое внимание новому итальянскому взгляду на проблему и представить актуальное понимание термина «признание».  Философский анализ, представленный в работе, обращается ...
Добавлено: 26 октября 2024 г.
Find (and Remember) the Odd One Out: The Effect of Categorical Distinctiveness on Recognition Memory
Котов А. А., Aslanov I., Tatyana Kotova, Collabra: Psychology 2024 Vol. 10 No. 1 Article 94321
Добавлено: 4 апреля 2024 г.
Дореалогия: истоки и становление философии дара
Прозументик К. В., Философия и культура 2018 № 7 С. 51–58
Статья посвящена истории развития философии дара. Цель работы – проследить, как тема дара и дарообмена, разрабатываемая в русле этнографических исследований в первой половине XX века, в конечном счете превзошла пределы этнографии и социальной антропологии и стала предметом философской рефлексии на почве совершенно различных интеллектуальных традиций – от структурализма до постфеноменологии. Автор показывает, что попытки решить ...
Добавлено: 18 октября 2023 г.
Paul Ricoeur on the Recognition of Anxiety: Phenomenological Hermeneutics in Action
Хан Е. И., Вестник Российского университета дружбы народов. Серия: Философия 2021 Vol. 25 No. 3 P. 470–482
Роль философского понятия тревоги, обычно ассоциируемого с экзистенциальной философией Кьеркегора или Хайдеггера, также играет весьма важную роль в феноменологической герменевтике Поля Рикёра, которая остается недооцененной несмотря на то, что тревога выступает в качестве основания надежды в рамках герменевтики себя. Данная статья демонстрирует, каким образом через «внимание» и «признание» в философии Рикёра понимается тревога, и каким ...
Добавлено: 28 февраля 2023 г.
Parietal Alpha Oscillations: Cognitive Load and Mental Toughness
Жожикашвили Н. А., Zakharov I., Ismatullina V. и др., Brain Sciences 2022 Vol. 12 No. 9 Article 1135
Добавлено: 20 сентября 2022 г.
The power of (no) recognition : Experimental evidence from the university classroom
Hoogveld N., Зубанов Н. В., Journal of Behavioral and Experimental Economics 2016
Добавлено: 6 апреля 2021 г.
A systematic review and meta-analysis of the effects of transcranial direct current stimulation (tDCS) on episodic memory
Galli G., Vadillo M., Sirota M. и др., Brain Stimulation 2019 Vol. 12 No. 2 P. 231–241
Добавлено: 8 февраля 2021 г.
Accuracy of Rats in Discriminating Visual Objects Is Explained by the Complexity of Their Perceptual Strategy
Djurdjevic V., Ansuini A., Bertolini D. и др., Current Biology 2018 Vol. 28 No. 7 P. 1005–1015
Добавлено: 14 декабря 2020 г.
Трагедия неравенства: расчеловечивая «тотального человека»
Куракин Д. Ю., Социологическое обозрение 2020 Т. 19 № 3 С. 167–231
Неравенство — наиболее фундаментальная и труднопреодолимая из социальных проблем современности, поэтому неудивительно, что исследования неравенства относятся к высокоразвитому мейнстриму социальных наук. Серьезным ограничением большинства существующих подходов, сформированных под определяющим влиянием экономики и теории рационального выбора, является то, что их фокус ограничен распределением ресурсов, материальных или символических. Однако наиболее важные эффекты неравенства, такие как социальная дезинтеграция, ...
Добавлено: 16 октября 2020 г.
Russian norms for 500 general-knowledge questions
Мартин Луенго Б., Зинченко О. О., Алексеева М. А. и др., Frontiers in Psychology 2020 Vol. 11 P. 545304
Добавлено: 21 сентября 2020 г.
Вовлеченное отцовство, заботливая маскулинность
Рождественская Е. Ю., Мониторинг общественного мнения: Экономические и социальные перемены 2020 № 5 С. 155–185
Современные исследования показывают, что отцовство и отцовские практики тесно увязаны с понятием маскулинности и гендерными контрактами. Это означает индукцию изменения в маскулинных и отцовских ролях вследствие активно меняющихся конфигураций образовательных, трудовых и материнских обязанностей женщин. Таким образом, социальный институт отцовства испытывает давление как публичной, так и приватной сферы. Отцовство явно меняется в современном обществе, поскольку ...
Добавлено: 1 сентября 2020 г.
“From Top Down” and “from Bottom Up” Factors of Inversions in Russian History
Тульчинский Г. Л., Russian Journal of Philosophical Sciences (Filosofskie nauki) 2019 Vol. 62 No. 8 P. 16–32
Добавлено: 24 ноября 2019 г.
Аксель Хоннет - социальный теоретик и социолог
Гласер М. А., Социологические исследования 2014 Т. 4 № 360 С. 38–45
В контексте проблем развития современной социологии рассмотрены ключевые идеи социальной теории Акселя Хоннета – метод нормативной реконструкции, понятие признания, феномен “забытости” признания, право свободы. Хоннет показан как продолжатель дела Франкфуртской школы социальных наук, развивающий исходные для этой школы идеи, проблематику критической социологии, социологических идей Ю. Хабермаса и др. Раскрыта актуальность его подходов для современной европейской ...
Добавлено: 3 октября 2018 г.
О традиционности, легитимности и справедливости. Социологические аспекты взаимосвязи
Гофман А. Б., В кн.: Россия реформирующаяся: ежегодникВып. 16.: М.: Новый хронограф, 2018. С. 34–54.
Статья посвящена теоретическому анализу взаимосвязи некоторых оснований легитимации социального порядка, таких как традиционность, гражданская идентичность и социальная справедливость. Рассматривается изменение роли традиционности и идентичности в современных обществах, проитворечивое влияние этих факторов на формирование и поддержание социальной сплоченности. особое внимание уделяется значению этих явлений в современном российском обществе. ...
Добавлено: 24 августа 2018 г.
Toleration and respect: Historical instances and current problems
Maxim Khomyakov, European Journal of Political Theory 2013 Vol. 12 No. 3 P. 223–239
Добавлено: 24 января 2018 г.
Объяснение в политической науке: конструктивизм vs позитивизм.
Тульчинский Г. Л., Публичная политика 2017 Т. 1 С. 76–98
Объяснение – и как процесс, и как результат познавательной деятельности – зависит от способов, методов организации этой деятельности. Ориентация политических исследований на стандарты логического эмпиризма порождает два класса проблем объяснения: оценочную категоризацию и элиминацию (воли) политического субъекта. Методологию объяснения в политическом нельзя сводить – к методологии естественных и точных наук. Во-первых, последние сами зависят от ...
Добавлено: 19 ноября 2017 г.
Справедливость как социологическая идея: от классики к современности
Гофман А. Б., Личность. Культура. Общество 2017 Т. XIX № Вып.1-2, №93-94 С. 65–79
Статья посвящена анализу некоторых теорий справедливости в классической и современной социологии; в частности, речь идет о теориях К. Маркса, Г. Спенсера, Э. Дюркгейма, Ю. Хабермаса, Л. Болтански и Л. Тевено. Подчеркивается, что справедливость в социологии – не только ценность и идеал, не только объект изучения, но и когнитивная категория, выступающая в качестве принципа, объясняющего социальный ...
Добавлено: 22 августа 2017 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору