The purpose of this study is to investigate the effects of asynchronous computer-mediated versus conventional corrective feedback on learners' writing accuracy. Three groups of learners took part in the study: asynchronous feedback group, conventional feedback group, and a control group. Asynchronous feedback group students received explicit feedback on the targeted structure via e-mail, while...

We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers linear systems affected by parametric uncertainty with arbitrary shape. In CEGIS framework, learner iteratively proposes candidate function tailored controller solving matrix inequality (LMI) feasibility problem, while verifier either fals...

Inductive programming—the use of inductive reasoning methods for programming, algorithm design, and software development—is a currently emerging research field. A major subfield is inductive program synthesis, the (semi-)automatic construction of programs from exemplary behavior. Inductive program synthesis is not a unified research field until today but scattered over several different establi...

Abstract. Inductive constellations are one-sided analogues of inductive categories which correspond to left restriction semigroups in a manner analogous to the correspondence between inverse semigroups and inductive groupoids. In this paper, we define the notions of the action and partial action of an inductive constellation on a set, before introducing the Szendrei expansion of an inductive co...

Induction-induction is a principle for defining data types in Martin-Löf Type Theory. An inductive-inductive definition consists of a set A, together with an A-indexed family B : AÑ Set, where both A and B are inductively defined in such a way that the constructors for A can refer to B and vice versa. In addition, the constructors for B can refer to the constructors for A. We extend the usual i...

Traditional inductive logging uses sources whose focussing input waveform does not change with borehole position. While this arrangement facilitates hardware design, the resolution which it provides varies from formation to formation, and is only accidentally optimal for any given sound position. Optimization theory provides a method for designing a distributed inductive borehole source array ,...

this study investigated the relative effects of deductive and inductive form-focused instruction (ffi) on the acquisition of 4 non-generic definite article uses(cultural, situational, structural, and textual) as assessed by explicit and implicit outcome measures. the tests utilized to assess efl learners' acquisition of definite article uses were timed and untimed grammaticality judgment t...

Dependent types can be used to capture useful properties about programs at compile time. However, developing dependently typed programs can be difficult in current systems. Capturing interesting program properties usually requires the user to write proofs, where constructing the latter can be both a difficult and tedious process. Additionally, finding and fixing errors in program scripts can be...