Research on the effect of implicit and explicit instruction on developing learners’ explicit knowledge by the use of measures of explicit knowledge abounds in the literature. However, measuring learners’ implicit knowledge employing fine-grained measures has rarely been the concern of researchers in the field. Therefore, the present study is an attempt to scrutinize the effectiveness of implici...

This entry provides a verified implementation of rank-based Büchi Complementation [1]. The verification is done in three steps: 1. Definition of odd rankings and proof that an automaton rejects a word iff there exists an odd ranking for it. 2. Definition of the complement automaton and proof that it accepts exactly those words for which there is an odd ranking. 3. Verified implementation of the...

One limitation of corpus-based research into the epicentre hypothesis is that it only provides information on structural similarity/difference varieties but not role attitudes may play in choice variants a pluricentric language. In our case study verb complementation patterns, we use simulation as complementary methodology. We build an agent-based model for two speaker communities with English ...

We study the interplay between principal pivot transform (pivot) and loop complementation for graphs. This is done by generalizing loop complementation (in addition to pivot) to set systems. We show that the operations together, when restricted to single vertices, form the permutation group S3. This leads, e.g., to a normal form for sequences of pivots and loop complementation on graphs. The re...