• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
  • More
Subject
News
July 20, 2026
Scientists Create Open Dataset for Studying Concentration
A team of Russian researchers, including scientists from HSE University–St Petersburg, has developed the first open multimodal dataset containing recordings of brain activity, heart function, and video observations to help researchers understand what happens in the human brain during deep concentration. In the future, the dataset could accelerate the development of neural interfaces, rehabilitation technologies, and AI systems. The article has been published in Scientific Data.
July 20, 2026
‘Science Is Universal-It Knows No Borders
Fuad Aleskerov, Tenured Professor and Director of the International Centre of Decision Choice and Analysis at HSE University, together with his colleagues, has developed methods of network analysis in bibliometrics that have made it possible to identify patterns in the appearance and citation of publications in academic journals, as well as their influence on each other. When one or a number of studies are frequently cited by a wide range of journals, this is an indicator that the research is of high quality. By contrast, extensive cross-citation within a limited group of journals increases the likelihood of identifying a network of predatory publications.
July 20, 2026
Scientists Propose Method for More Efficient Resource Use in Machine Learning
An international group of researchers, including mathematicians from the AI and Digital Science Institute at the HSE Faculty of Computer Science, has provided a theoretical justification for a simple and computationally efficient method of estimating uncertainty in Stochastic Gradient Descent (SGD). The paper has been published on the scientific preprint server arXiv.org and presented at AISTATS 2026.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

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

P. 25–31.
Protsenko A. S., Chupilko M.
Language: English
Keywords: recognitionexplanationincorrect behaviorhardware verification

In book

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.
Similar publications
Seeking the Category: The Pragmatic Function of Formal Explanations and the Role of Cognitive Reflection
Aslanov I., Alexey Kotov, Guerro E. et al., Cognitive Science 2025 Vol. 49 No. 8 Article e70101
Formal explanations are statements that explain properties of an object by referring to its category. This study investigates the role of pragmatics in the evaluation of formal explanations. Across six experiments, we examined how a questioner's knowledge of category identity and an explanation's capability to specify a category affect satisfaction with such explanations. Experiments 1a ...
Added: August 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
The knowledge and understanding of kaleidoscopic and hypermodern societies rely heavily  on the term “recognition.” This term carried a great deal of significance in the Russian philosophical tradition, but attracts less attention now. The main purpose of this paper is to offer  a contribution to the discussion on this topic, by considering both the Russian ...
Added: October 26, 2024
Find (and Remember) the Odd One Out: The Effect of Categorical Distinctiveness on Recognition Memory
Kotov A. A., Aslanov I., Tatyana Kotova, Collabra: Psychology 2024 Vol. 10 No. 1 Article 94321
How does the relationship between the categorical membership of a target object and its surrounding context affect the memorization of the target object? We conducted four experiments to examine how categorical distinctiveness is related to memory. During the categorical discrimination stage, participants searched for a target to be remembered among five distractor images belonging to ...
Added: April 4, 2024
Дореалогия: истоки и становление философии дара
Prozumentik K. V., Философия и культура 2018 № 7 С. 51–58
This article is dedicated to the history of evolution of philosophy of the gift. The goal of this work is to trace how the topic of gift and reciprocity of gifts, formulated within the framework of ethnographic studies in the early XX century, eventually exceeded the limits of ethnography and social anthropology, and became the ...
Added: October 18, 2023
Paul Ricoeur on the Recognition of Anxiety: Phenomenological Hermeneutics in Action
Khan K., Вестник Российского университета дружбы народов. Серия: Философия 2021 Vol. 25 No. 3 P. 470–482
The philosophical concept of anxiety, which is usually associated with Kierkegaard and Heidegger's existential philosophy, seems to be an underestimated notion in Paul Ricoeur's phenomenological hermeneutics, while its role is important - anxiety appears to serve as the grounding for hope in his hermeneutics of self. The article aims to show how the anxiety is ...
Added: February 28, 2023
Parietal Alpha Oscillations: Cognitive Load and Mental Toughness
Zhozhikashvili N., Zakharov I., Ismatullina V. et al., Brain Sciences 2022 Vol. 12 No. 9 Article 1135
Cognitive effort is intrinsically linked to task difficulty, intelligence, and mental toughness. Intelligence reflects an individual’s cognitive aptitude, whereas mental toughness (MT) reflects an individual’s resilience in pursuing success. Research shows that parietal alpha oscillations are associated with changes in task difficulty. Critically, it remains unclear whether parietal alpha oscillations are modulated by intelligence and ...
Added: September 20, 2022
The power of (no) recognition : Experimental evidence from the university classroom
Hoogveld N., Zubanov N., Journal of Behavioral and Experimental Economics 2016
We study the effect of unannounced recognition on performance with a field experiment involving first-year Dutch university students attending tutorials as part of a compulsory course. Our treatment, given in randomly selected tutorial groups, was to publicly recognize students who scored within the top 30% of their respective group on the first of the two ...
Added: April 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. et al., Brain Stimulation 2019 Vol. 12 No. 2 P. 231–241
Background: In the past decade, several studies have examined the effects of transcranial direct current stimulation (tDCS) on long-term episodic memory formation and retrieval. These studies yielded conflicting results, likely due to differences in stimulation parameters, experimental design and outcome measures. Objectives: In this work we aimed to assess the robustness of tDCS effects on long-term episodic memory ...
Added: February 8, 2021
Accuracy of Rats in Discriminating Visual Objects Is Explained by the Complexity of Their Perceptual Strategy
Djurdjevic V., Ansuini A., Bertolini D. et al., Current Biology 2018 Vol. 28 No. 7 P. 1005–1015
As the popularity of rodents in the vision research continues to grow, some questions remain unanswered. One of the key questions is - can rodents perform a "proper" higher level vision task such as object recognition. In our paper we present the new research findings which demonstrate that, despite having much poorer visual abilities compared ...
Added: December 14, 2020
Трагедия неравенства: расчеловечивая «тотального человека»
Kurakin D., Социологическое обозрение 2020 Т. 19 № 3 С. 167–231
Inequality is amongst the most fundamental and formidable social problems of modernity. It thus does not come as a surprise that it is a major theme that cuts through multiple areas of sociology. However, the major limitation of most social research on inequality is that its focus is often limited to the redistribution of resources, ...
Added: October 16, 2020
Russian norms for 500 general-knowledge questions
Martín-Luengo B., Zinchenko O., Alexeeva M. et al., Frontiers in Psychology 2020 Vol. 11 P. 545304
General knowledge varies from one country to another; therefore, the mere translation of knowledge-based experimental tools from one language to another is usually not enough. This is one of the conclusions that can be extracted from the results of the Program for International Student Assessment (PISA), a measure of the knowledge achieved by 15-year-olds. Over the years, this periodic measure ...
Added: September 21, 2020
Вовлеченное отцовство, заботливая маскулинность
Rozhdestvenskaya E., Мониторинг общественного мнения: Экономические и социальные перемены 2020 № 5 С. 155–185
Fatherhood is clearly changing in modern society, since patriarchal family structures have been largely destroyed, gender roles have changed, new identities of mother and father have emerged, which makes it necessary to study the communicative structure of the family / partnership. To what extent are fathers accessible to children, fill interaction with them with real ...
Added: September 1, 2020
“From Top Down” and “from Bottom Up” Factors of Inversions in Russian History
Tulchinskii G. L., Russian Journal of Philosophical Sciences (Filosofskie nauki) 2019 Vol. 62 No. 8 P. 16–32
Explanation of inversions in Russian history causes major conceptual problems. The traditionally used conceptual apparatus and its theoretical schemes does not seem to really “grasp” this reality, at best, it only describes the Russian reality to some extent. It simply fails to capture the nature and mechanisms that lie in the specifics of Russian society and its dynamics. Hence, ...
Added: November 24, 2019
Аксель Хоннет - социальный теоретик и социолог
Glaser M., Социологические исследования 2014 Т. 4 № 360 С. 38–45
Article in the context of modern sociology examines the key ideas Axel Honnet’s social theory – the method of normative reconstruction, concept of recognition, phenomenon of "forgotten" recognition, the right to freedom. ...
Added: October 3, 2018
О традиционности, легитимности и справедливости. Социологические аспекты взаимосвязи
Gofman A. B., В кн.: Россия реформирующаяся: ежегодникВып. 16.: М.: Новый хронограф, 2018. С. 34–54.
The article deals with theoretical analysis of the interrelationship of some foundations of social order, such as tradition, civil identity and social justice. The changing role of tradition and identity in contemporary societies,  their contradictory influence on formation and maintaining of social cohesion are considered. The special focus is on the significance of these phenomena ...
Added: August 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
The problems of diversity and pluralism have always been serious challenges to the stability of European societies. In the course of its history Europe elaborated various important ways of accommodation of differences, including toleration, respect and recognition. This article is devoted to discussion of the relations among them both in analytical and historical perspectives. I ...
Added: January 24, 2018
Объяснение в политической науке: конструктивизм vs позитивизм.
Tulchinskii G. L., Публичная политика 2017 Т. 1 С. 76–98
: Explanation – as a process and as a result of knowledge – depends on ways and methods of organization of this activity. Positivistic canon produces two classes of the problems for political explanation: the evaluative categorization and elimination (the will of) political subjects. Methodology in political science is not reducible to the methodology in ...
Added: November 19, 2017
Справедливость как социологическая идея: от классики к современности
Gofman A. B., Личность. Культура. Общество 2017 Т. XIX № Вып.1-2, №93-94 С. 65–79
This article attempts to analyze some theories of justice in classical and contemporary sociology, namely in the theories of K. Marx, H. Spencer, É. Durkheim, J. Habermas, L. Boltanski and L. Thévenot. It is emphasized that justice in sociology is not only an object of study, not only a value and an ideal, but also ...
Added: August 22, 2017
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit