Results 11 to 20 of about 1,620,962 (292)
An Efficient Explicit-time Description Method for Timed Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 Timed model checking, the method to formally verify real-time systems, is attracting increasing attention from both the model checking community and the real-time community.
Hao Wang, Wendy MacCaull
doaj +1 more source
Hyperbolic tessellations and generators of ${K}_{\textbf {3}}$ for imaginary quadratic fields
Forum of Mathematics, Sigma, 2021 We develop methods for constructing explicit generators, modulo torsion, of the $K_3$-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$-space or on direct calculations in suitable pre-Bloch ...
David Burns +4 more
doaj +1 more source
Implicit Learning of Chinese Numeral Classifiers Using the Stimulus Equivalence Paradigm [PDF]
International Journal of Chinese Language Teaching, 2021 Chinese Numeral Classifiers (NCs), which are obligatory in the quantification of nouns, have been observed to pose serious challenges to learners of Chinese as a second language. Learners typically have difficulties generalizing the use of classifiers to
Yee Pin Tio，Usha Lakshmanan
doaj +1 more source
BMC Psychology, 2022 Background The main goal of the study was to investigate the effects of a short loving-kindness meditation (LKM) on explicit and implicit evaluations of oneself and disliked public persons.
Franziska Anna Schroter, Petra Jansen
doaj +1 more source
مجله پژوهش در علوم توانبخشی, 2014 Introduction: The aim of this study was to assess of both implicit and explicit motor sequence learning in children with attention deficit hyper activity disorder (ADHD) and typical peers , by serial reaction time task.
Navid Mirzakhany- Araghi +4 more
doaj +1 more source
مجله پژوهش در علوم توانبخشی, 2020 Introduction: Disabling behaviors of autism are a prominent factor in differences with normal individuals. Therefore, the purpose of this study was to investigate the effect of implicit and explicit learning of bimanual coordination on disabling social ...
Benyamin Ghelichpoor +3 more
doaj +1 more source
Asian-Pacific Journal of Second and Foreign Language Education, 2018 The importance of teaching explicit knowledge of grammar has been one of the most controversial issues in L2 instruction. Despite the existence of considerable number of studies on different methods of grammar instruction, very few studies have ...
Sakineh Bakhshandeh, Khadijeh Jafari
doaj +1 more source
Journal of NeuroEngineering and Rehabilitation, 2022 Background Complex motor tasks in immersive virtual reality using a head-mounted display (HMD-VR) have been shown to increase cognitive load and decrease motor performance compared to conventional computer screens (CS).
Julia M. Juliano +2 more
doaj +1 more source
A note on representations of the finite Heisenberg group and sums of greatest common divisors [PDF]
Discrete Mathematics & Theoretical Computer Science, 2001 We review an elementary approach to the construction of all irreducible representations of the finite Heisenberg group. Determining the number of inequivalent classes of irreducible representations by different methods leads to an identity of sums ...
Johannes Grassberger, Günther Hörmann
doaj +3 more sources
The modified alternating group explicit (M.A.G.E.) method
Applied Mathematical Modelling, 1988 The authors describe an extension of the classical A.D.I. algorithm of Peaceman and Rachford for the solution of a system of linear equations (*) \(Au=b\). The present method is an extension of one which they presented at the 11th IMACS' World Congress, see pp. 213-220 of Vol. I of the Proceedings (1985).
Evans, D. J., Yousif, W. S.
openaire +2 more sources