Simulator Semantics for System Level Formal Verification [PDF]
, 2015 Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators to save computation time by saving and restoring the state of the system ...
Mancini, Toni +4 more
core +4 more sources
In memoriam Дмитрий Казанцев 20.02.1932 — 20.06.2021 [In memoriam Dmitrij Kazantsev] [PDF]
Linguistica Uralica, 2022 Valerij Maksimov, Elvira Peksheeva
doaj +1 more source
Cultural Components of the Ust-Vetluga Burial Ground
Поволжская археология, 2013 The cultural components of the Ust-Vetluga burial ground site, which is located on the left bank of the Cheboksary water reservoir, near Yurino village, the Mari El Republic, are analyzed in the article.
Soloviev Boris S.
doaj +1 more source
Археология евразийских степейThe article deals with the materials from excavations of a medieval burial ground in the water area of the Cheboksary Reservoir in 2021–2023. The burial ground is located on an island. 28 burials were studied on an area of 456 sq. m. Research at the site
Tatyana B. Nikitina +1 more
doaj +1 more source
У истоков марийской музыкальной терминологии [At the Beginnings of Mari Musical Terminology]; pp. 98-113 [PDF]
Linguistica Uralica, 2020 The article deals with Mari musical terms extracted from the ten early editions of Mari music (1908â1937) by V. Vasil'jev, Ikumari (G. Leont'jev), I. Palantaj, J. EÅ¡paj,A. Iskandarov, G. LobaÄev. Basically, these terms define genre, character, tempo,
M. A. Ključeva
doaj +1 more source
Steven Bornstein, Associate Professor of Communication Sciences and Disorders, College of Health and Human Services, Travels to Rusia [PDF]
, 2009 Professor Steven Bornstein traveled to Russia in November 2008 to present a paper at Mari-State University in Yoshkar-Ola, Russia, on the effects of hearing loss on oral language and speech ...
Bornstein, Robert P
core +1 more source
, 1999 The $u$-plane integrals of topologically twisted $N = 2$ supersymmetric gauge theories generally contain contact terms of nonlocal topological observables.
Jimbo M., Krichever I. M., Ueno K.
core +3 more sources
Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4
Advanced Functional Materials, EarlyView.An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante +17 more
wiley +1 more source
Aspects of the Linguistic Culture of the Ural Mari People in XIXth-XXIst Centuries [PDF]
, 2018 This article adopts a linguoculturological approach to analyze the transformation of the Ural Mari culture between the XVIIIth and the XXIst centuries as an interconnection between language, mentality, and cultural identity.Ural Fed Univ, Ural Inst ...
Berezina, A. V., Kerezsi, A.
core
Une analyse microéconomique des déterminants des transferts linguistiques des minorités hors-Québec en 1971 [PDF]
, 1984 À l’aide d’un modèle de régression probit, cet article analyse les facteurs qui déterminent les transferts vers l’anglais comme langue d’usage des familles d’origines canadienne-française, italienne, allemande et ukrainienne vivant au Canada à l ...
Grenier, Gilles
core +1 more source