Conceptual art in design

The purpose of the article is to consider the concept and determine its components, in the development and analysis of conceptual art in modern design. Methodology. The following methods are used: analysis, synthesis, as well as semiotic, hermeneutic, psychoanalytic. The scientific novelty of the work lies in the study of conceptual art on the examples of hairstyle design, hairdressing collections, and an attempt to comprehend the underlying contexts and meanings in the process of interpretation. Conclusions. Given the fact that modern design as a polymorphic entity with a dominant innovative component actualizes the activities of the new generation and acquires the features of intellectual comprehension of visual information, it can be argued that conceptual art is a priority in this direction. The concept as the initial concept of the conceptual is defined as a multilevel formation of content, the semantic meaning of the sign, which requires a process of interpretation. Through J. Dili's study of the theory of sign systems, the interpretation of the concept in the system of traditions, rituals, customs, which is perceived differently by different people due to belonging to different cultures, societies, etc., becomes clear. It is proved that the creation of the concept is based on processes based on individual practice, personal associations, and the main types of metaphorical and allegorical thinking that arise from the experience of not only cognitive but also substantive activity. The study of conceptual art on examples of hairstyle design, hairdressing collections shows the peculiarity of such works of art: they are not always functional and are not always defined as a utilitarian object, but the use of unusual color, shape, progression, silhouette lines, the fullness of space and volume with signs and symbols, require a multilevel semantic definition in the process of interpretation through intellectual comprehension of the inherent contexts and meanings. Keywords: conceptual art, concept, design, hairstyle.

Image-forming verbs in the representation of the concept “BOGATYR” in olonkho texts of early and late periods

В статье рассматриваются изобразительные (образные) глаголы, участвующие в вербализации концепта «БОГАТЫРЬ» в эпическом тексте олонхо. Цель исследования – установление особенностей функционирования изобразительных глаголов в смысловом наполнении концепта и выявление наличия преемственности этих особенностей в якутских эпических текстах раннего и позднего периодов при сравнительном анализе. Для достижения поставленной цели использовались следующие методы исследования: метод концептуального анализа, метод сплошной выборки, компонентный анализ, метод семантического определения, метод контекстуального анализа, сравнительный метод. Выборка глаголов была произведена из текстов ранних записей – «Богатырь Тойон Нюргун» Н. Ф. Попова, «Нюргун Боотур Стремительный» К. Г. Оросина, «Ала Булкун богатырь» Т. В. Захарова – Чээбий, «Строптивый Кулун Куллустуур» И. Г. Теплоухова-Тимофеева; из поздних текстов олонхо – «Джирибинэ Боотур» В. О. Каратаева, «Сын лошади Богатырь Дыырай» И. И. Бурнашева – Тонг Суорун, «Кыырджыт Могучий» В. Н. Попова – Бочоох. В анализе было задействовано 13 изобразительных глаголов из ранних текстов и 27 глаголов из поздних текстов олонхо. Как показывает исследование, зафиксированные изобразительные глаголы привлечены для описания внешнего вида богатыря, его действий и движений. Кроме этого, в поздних текстах наблюдается использование изобразительных глаголов в описании телодвижений богатыря. Сравнительный анализ подтверждает сохранение преемственности в поздних текстах. Об этом свидетельствует, например, функционирование аналогичных изобразительных глаголов в описании телосложения богатыря. Изобразительные глаголы, как специальные речевые средства, способствуют лучшему раскрытию и пониманию содержания концепта «БОГАТЫРЬ». У сказителей поздних записей олонхо наблюдается обогащённый словарный запас, следовательно, они для полноты и яркости образа богатыря чаще прибегают к использованию изобразительных глаголов. The article deals with image-forming verbs involved in the verbalization of the concept of “BOGATYR” in the text of olonkho. The purpose of the study was to establish the features of the functioning of image-forming verbs in the semantic content of the concept and to identify the continuity of these features in the Yakut epic texts of the early and late periods in comparative analysis. To achieve this goal, the following research methods were used: the method of conceptual analysis, the method of continuous sampling, the component analysis, the method of semantic definition, the method of contextual analysis, and the comparative method. The selection of verbs was made from the texts of early recordings – “Bogatyr Toyon Nyurgun” by N. F. Popov, “Nyurgun Bootur the Swift” by K. G. Orosin, “Ala Bulkun bogatyr” by T. V. Zakharov – Cheebiy, “Kulun Kullustuur the Obstinate” by I. G. Teploukhov-Timofeev; from later texts – “Dzhiribine Bootur” by V. O. Karataev, “Son of a Horse Bogatyr Dyyray” by I. I. Burnashev – Tong Suorun, “The Mighty Kyyrdzhyt” by V. N. Popov – Bochookh. The analysis involved 13 image-forming verbs from early texts and 27 verbs from later olonkho texts. As the study shows, the fixed image-forming verbs are involved in describing the appearance of the bogatyr, his actions and movements. In addition, in later texts there is the use of image-forming verbs in describing the movement of the body parts of the bogatyr. Comparative analysis confirms the preservation of continuity in later texts. This is evidenced, for example, by the functioning of similar image-forming verbs in the description of the physical abilities of the bogatyr. Image-forming verbs, as special speech means, help to better reveal and understand the content of the concept “BOGATYR”. The olonkho-tellers of the later olonkho have an enriched vocabulary; therefore, for completeness and brightness of the image of the bogatyr, they more often resort to the use of image-forming verbs.

SpecSafe: detecting cache side channels in a speculative world

The high-profile Spectre attack and its variants have revealed that speculative execution may leave secret-dependent footprints in the cache, allowing an attacker to learn confidential data. However, existing static side-channel detectors either ignore speculative execution, leading to false negatives, or lack a precise cache model, leading to false positives. In this paper, somewhat surprisingly, we show that it is challenging to develop a speculation-aware static analysis with precise cache models: a combination of existing works does not necessarily catch all cache side channels. Motivated by this observation, we present a new semantic definition of security against cache-based side-channel attacks, called Speculative-Aware noninterference (SANI), which is applicable to a variety of attacks and cache models. We also develop SpecSafe to detect the violations of SANI. Unlike other speculation-aware symbolic executors, SpecSafe employs a novel program transformation so that SANI can be soundly checked by speculation-unaware side-channel detectors. SpecSafe is shown to be both scalable and accurate on a set of moderately sized benchmarks, including commonly used cryptography libraries.

Ярмарок – торг – обмін як фрейм просторового пограниччя (М. Гоголь – Г. Квітка-Основ’яненко)

A fair – a successful demonstration form of the translation of social experience, tradition, customary rules in the form of collective action. This is an all-public action with the representation of the symbolic series of culture, era, and society.Given the honourable place of the fair in the works of M. Gogol, V. Narizhniy, M. Pogodin, G. Kvitka-Osnovyanenko, E. Grebinki, V. Sollogub, etc., it seems expedient to emphasize the modernity of its nature, a radical change in relations between the subject and the object, or between the subject and the predicate, that is, the statement about this subject, its semantic definition. In other words, denotation gives way to a more virtual, fictitious relationship between the participants (subjects) of the fair and its objects.The gallery of fairs is opened with an embodiment of a two-vector-oriented culture by M. Gogol. In his “Sorochinsky Fair” (1831), he allegedly programmed the further reception of this image, and his primacy, the authority of all recognized. Indeed, Gogol creates the fair primarily not in the plane of the narrative, but as a field for experiment, a space of various communicative discourses of pragmatic orientation. Therefore, a literary, verbal-mimetic expression serves here as a powerful tool for constructing a spectacular dramatic action with many acts, scenes and microscales, genre pictures and anecdotal inserts. The effect of suggestive suggestion, literally the modelling of juicy images, facilitates a meeting of human life with the world through experience, communication, knowledge and the discovery of unfamiliar spheres.

Sign language lexicography: a case study of an online dictionary

As a growing field of study within sign language linguistics, sign language lexicography faces many challenges that have already been answered for audio-oral language material. In this paper, we present some of these challenges and methods developed to help navigate the complex lexical classification field. The described methods and strategies are implemented in the first Czech sign language (ČZJ) online dictionary, a part of the platform Dictio, developed at Masaryk University in Brno. We cover the topic of lemmatisation and how to decide what constitutes a lexeme in sign language. We introduce four types of expressions that qualify for a dictionary entry: a simple lexeme, a compound, a derivative, and a set phrase. We address the question of the place of classifier constructions and shape and size specifiers in a dictionary, given their peculiar semantic status. We maintain the standard classification of classifiers (whole entity and holding classifiers) and size and shape specifiers (SASSes; static and tracing specifiers). We provide arguments for separating the category of specifiers from the category of classifiers. We discuss the proper treatment of mouthings and mouth gestures concerning citation forms, derivation and translation. We show why it is difficult in sign language to distinguish synonyms from variants and how our proposed phonological criteria can help. We explain how to construct a semantic definition in a sign language and what is the solution for multiple meanings of one form. We offer simple guidelines for forming proper examples of use in a sign language. And finally, we briefly comment on the process of the translation between sign and spoken languages. We conclude the paper with a summary of roles that Dictio plays in the ČZJ-signing community.

SEMANTIC DEFINITION AND MODERN USE OF THE TERM POLICY

Centuries ago, the term politics has been relevant, but it has also been practiced by a very large number of people. Its relevance has not ceased even today, but on the contrary has only increased, which results in the permeation of this term through a large number of areas. However, the word politics as a term is not of universal meaning as many in the Serbian language often misperceive it. Considering the semantic definition of the term policy, we come to several terms that define this term more broadly depending on the context in which it is used. One of the three terms that is increasingly used in the world, and helps with the mentioned definition, is policy. This term has become increasingly used in the last few decades, giving the original term politics a broader meaning. The term policy would be translated in Serbian as politics, ie more often as public policies and is very often associated with public service and administration. For this reason, this paper aims to clarify not only the meaning of the term policy, but also to present its contemporary development and use. Also, the analysis should determine where this term finds its application, as well as what has contributed throughout history to make it more used in recent decades.

THE SEMANTIC DEFINITION ASPECT OF KELANTANESE DIALECT GASOR ENTRY

This study aims to observe the semantic aspect of Kelantanese dialect (KD) gasor entry in the Kamus Dewan Edisi Keempat (KD4). The objective of the study is to identify the problem of the entry definition form KD in KD4, describe the definition of KD gasor entry in KD4, and formulate a new definition of KD gasor entry. 30 informants who are KD native speakers were randomly selected for the purpose of this study. The result shows that the KD gasor entry definition is not accurate and has caused confusion to the dictionary users due to the ambiguity of meaning, inaccuracy of meaning, and overlap of meaning for the definition of an entry, subentry, and phrase. In addition, the Componential Analysis of Meaning Theory (1975) which is used in this study seemed to be able to overcome the initial problems appropriately.

Axiological and Methodological Analysis of Folk Games

Play is defined as a special form of free activity according to the rules, that, unlike work, does not produce an alienable product. The socio-psychological mechanism of the influence of the conditions of the game on the participants is considered. Conceptual analysis of the game from the point of view of the key, meaning-forming experience in the game – happiness-joy, shows that this experience is due to the peculiarities of the relations of the participants: internal self-restraint (conscience) and conflict-free communication (the presence of sympathy, empathy, sympathy, assistance). These factors explain the corrective and preventive resources of play practice in the work of specialists with deviant behavior in children and adolescents (irresponsibility, aggression, violation of social norms...). Game practice simulates favorable social conditions for development. The semantic definition of the experience of happiness-joy is made based on a meaningful understanding of children's happiness by specialists in working with children as their professional target setting. The phases of the formation of the game are defined and shown using examples of folk games: formal adoption of the rules, individual self-realization within the framework of the rules, individual self-realization within the framework of the rules and the value of the gaming community.

Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KERNELC, that supports pointer-based structures and heap manipulation. Starting from the semantic definition of KERNELC in the 𝕂 semantic framework, we enrich the symbolic execution facilities recently provided by 𝕂 with novel capabilities for contract synthesis that are based on abstract subsumption. Roughly speaking, we define an abstract symbolic technique that axiomatically explains the execution of any (modifier) C function by using other (observer) routines in the same program. We implemented our technique in the automated tool KINDSPEC 2.1, which generates logical axioms that express pre- and post-condition assertions which define the precise input/output behavior of the C routines. Thanks to the integrated support for symbolic execution and deductive verification provided by 𝕂, some synthesized axioms that cannot be guaranteed to be correct by construction due to abstraction can finally be verified in our setting with little effort.