Zobrazeno 1 - 10
of 74
pro vyhledávání: '"уточнение"'
Publikováno v:
Vestnik Permskogo Universiteta: Seriâ Geologiâ, Vol 21, Iss 4, Pp 351-359 (2022)
In course of the study, an analysis of the regional earthquake catalogues, issued by different institutions, was fulfilled providing the basis for determination of the seismic regime parameters and regional macroseismic equation on the area of invest
Externí odkaz:
https://doaj.org/article/fecbd891921f40c99474d7f42baecaa5
Autor:
Shashkova, V.N.
Publikováno v:
Russian Linguistic Bulletin, Vol 2022, Iss 1 (29), Pp 27-30 (2022)
The article is devoted to identifying the specifics of the lexical component of the language used to describe the referencezone “Investigative Actions” in English as exemplified by the sublanguage of the regulatory legal act “Federal Rules ofCr
Externí odkaz:
https://doaj.org/article/b189cbd54a3c4f68876aa4f06027ae81
Autor:
Shashkova, V.N.
Publikováno v:
Russian Linguistic Bulletin, Vol 2021, Iss 3 (27), Pp 61-64 (2021)
The article elicits the major nomination mechanisms and syntactic patterns within complex nominative units with the lexical component “fingerprint”. The aim of the article is to outline the specifics of the terminological word combinations with t
Externí odkaz:
https://doaj.org/article/786f42ed730b4db79f80a093af6d5d6e
Autor:
Shashkova, V.N.
Publikováno v:
Russian Linguistic Bulletin, Vol 2021, Iss 1 (25), Pp 18-21 (2021)
The article elicits the possibilities of structuring the semantic field “Identification in Police Investigation” based on the functional-role principle, as well as to the consideration of the main features of the nomination in the analyzed field
Externí odkaz:
https://doaj.org/article/0536a05521bd4a908819d39c9a96652e
Autor:
Shashkova, V.N.
Publikováno v:
Russian Linguistic Bulletin, Iss 1, Pp 59-62 (2020)
The article is devoted to the language form of the nominative units within the semantic field Road Patrol Service. On the basis of the glossary of terms reflecting the reference zone Road Patrol Service the specificities of the style manifestations a
Externí odkaz:
https://doaj.org/article/123b8259446444a9b2ba147128b367ff
Autor:
K. M. Lavrischeva, A. K. Petrenko
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 6, Pp 49-64 (2018)
Complex software systems always exist for a long time, sometimes changing, and this leads to a variety of versions of such a system. In additional complex software systems usually have different (sometimes a lot) configurations due to different hardw
Externí odkaz:
https://doaj.org/article/47355d6f888b48339ecec5363bac0339
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 3, Pp 189-208 (2018)
This paper regards problems of analysis and verification of complex modern operating systems, which should take into account variability and configurability of those systems. The main problems of current interest are related with conditional compilat
Externí odkaz:
https://doaj.org/article/051988d144b74df28a3b7648164caa76
Autor:
V. O. Mordan
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 3, Pp 151-170 (2018)
Static verification proves correctness of the software against checked requirements, but it requires a lot of resources for that and its task is undecidable in general case. At present there is no universal static verification method, which could eff
Externí odkaz:
https://doaj.org/article/35c881af81314eadbde7c3a8afc6f57d
Publikováno v:
Vestnik Tomskogo Gosudarstvennogo Pedagogičeskogo Universiteta, Iss 11, Pp 25-30 (2017)
Рассматриваются метакоммуникативные компоненты, высказывания и ситуации в целом с уточняющей семантикой. Объясняется практическая зн
Externí odkaz:
https://doaj.org/article/ced1fe18968146d58e44981b4e1bd11b
Publikováno v:
Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
Precision, completeness and scalability of static verification tools have dramatically improved over the last decade. In particular, automatic checking of moderate-sized software systems has been made possible due to development of CEGAR — Counter-
Externí odkaz:
https://doaj.org/article/7554c6f568c24359a2684aae478339b6