Zobrazeno 1 - 10
of 104
pro vyhledávání: '"Language inclusion"'
Autor:
Ольга Зуева
Publikováno v:
Polilog: Studia Neofilologiczne, Iss 11, Pp 165-176 (2021)
Based on the material of the Russian memoirs of the late 19th century, dedicated to the events of the uprising of 1863, the article describes lexical and grammatical inclusions from the Polish language, marked by the authors as nominative units not m
Externí odkaz:
https://doaj.org/article/0a93ae6a6fb046acb6d72884ebc609c3
Publikováno v:
Applied Sciences, Vol 12, Iss 24, p 12946 (2022)
The language inclusion checking of timed automata is described as the following: given two timed automata M and N, where M is a system model and N is a specification model (which represents the properties that the system needs to satisfy), check whet
Externí odkaz:
https://doaj.org/article/f970b381febb45bd8e30ad0b7f3fc867
Autor:
Bonvino, Elisabetta, Fiorenza, Elisa
Publikováno v:
Educazione Linguistica Language Education, Vol 9, Iss 2, Pp - (2020)
This contribution illustrates a proposal for an inclusive plurilingual assessment, analysing the construct of plurilingual competence and the concept of intercomprehension between Romance languages. It also presents data from the first examination se
Externí odkaz:
https://doaj.org/article/85f8137a5fc04c4c810e949196b74513
Autor:
Di Sabato, Bruna
Publikováno v:
Educazione Linguistica Language Education, Vol 9, Iss 2, Pp - (2020)
The following pages report on a classroom experience with English L2 students at postgraduate level. The idea of setting up a creative writing project emerged as a response to the need to create a welcoming, inclusive environment in which all student
Externí odkaz:
https://doaj.org/article/910053ea34f047a5996bad72f6e7fd6e
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Business Management Education (JBME); Vol 8, No 1 (2023); 81-96
This study investigates how diversity management affects Russian language instruction at the Russian Embassy in Nigeria. Data gathered from 50 Nigerian employees working in the Russian Embassy in Lagos and Abuja was used for this study and the sample
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=journalunive::fc28c9d40f29986c7510818a1dc0528d
https://ejournal.upi.edu/index.php/JBME/article/view/57403
https://ejournal.upi.edu/index.php/JBME/article/view/57403
Publikováno v:
50th International Colloquium on Automata, Languages, and Programming
Leibniz International Proceedings in Informatics
Leibniz International Proceedings in Informatics
In the language-theoretic approach to refinement verification, we check that the language of traces of an implementation all belong to the language of a specification. We consider the refinement verification problem for asynchronous programs against
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccad95b58bd52a96a4d3074e2706d4d7
https://hdl.handle.net/21.11116/0000-000D-6B42-121.11116/0000-000D-6B44-F
https://hdl.handle.net/21.11116/0000-000D-6B42-121.11116/0000-000D-6B44-F
Autor:
Kulikova, Ljudmila
В статье рассматриваются современные лингвистические направления в отечественной и зарубежной традициях, проблематизирующие детальн
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea54779cfde03e45f4258d589bd683c6
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-30
Several real-world libraries (e.g., reentrant locks, GUI frameworks, serialization libraries) require their clients to use the provided API in a manner that conforms to a context-free specification. Motivated by this observation, this paper describes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24f009901398b3aec24e182eb9a6a813
https://doi.org/10.1145/3434298
https://doi.org/10.1145/3434298
Publikováno v:
Formal Methods ISBN: 9783319955810
FM
22nd International Symposium on Formal Methods
FM
22nd International Symposium on Formal Methods
In spite of the theoretical and algorithmic developments for system synthesis in recent years, little effort has been dedicated to quantifying the quality of the specifications used for synthesis. When dealing with unrealizable specifications, findin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cac63f7faf828e74d45c466546388c26
https://doi.org/10.1007/s00165-020-00519-y
https://doi.org/10.1007/s00165-020-00519-y