This study is an extension of Nahatame's (2018) research that demonstrated the effects of causal and semantic relations between sentences on second language (L2) text processing. Employing eye tracking, this study aimed to examine whether these effects appear during more natural, uninterrupted reading processes and to identify the time course of…

We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation is translated to a logic, from which we synthesize monitors. The monitors are evaluated as the state of an organization evolves over time, raising an alarm if a violation is…