this study intended to develop a model describing speaking strategies for efl learners by taking into account the effects of learners’ gender and proficiency on the application of strategies. accordingly, this study was planned to have two main analyses, namely qualitative and quantitative. in this respect, 30 efl learners' viewpoints were sought, and then, based on the elicited responses, a 21...

In a digital era, utilizing techonology as learning media is important things. As mentioned earlier, there are several applications to improve students' speaking skill, one of them cake application. Speaking the most skills in English and skill practiced how pronounce words properly correctly. The purpose this research know use application an improvement students’ for Specific Purposes (ESP). p...

I HIS important address to the First International Congress on the Histopathology of the Nervous System, Pope Pius XII considered the three reasons frequently alleged as a justification for experimentation on human beings. The first of these, the advancement of science, he admitted to be valid within properly determined limits. Speaking of the second alleged reason, the good of the patient, the...

The design and implementation of a flexible LDPC decoder able to cope with different codes, is gathering an increasing interest in the scientific community. Roughly speaking, a flexible decoder exhibits the remarkable ability of being able to decode different codes resorting to the same hardware. In this paper we present a novel decoder architecture specifically devised to present an high flexi...

The topic of this annotated bibliography is connectionism, a field of computer science that has enjoyed a vast resurgence in the last ten years. Properly speaking, connectionism should be regarded as part of Artificial Intelligence, or AI, and up to some years ago it was usually so treated. The earlier entries below will make that clear. Another term for connectionism is Neural Networks, and it...

We study ergodic Sym(N)-invariant probability measures on the space of L-structures with domain N. We call such measures “ergodic structures”. In particular, we are interested in the properly ergodic case, in which no isomorphism class has measure 1. A Morley–Scott analysis shows that proper ergodicity can always be explained by a splitting of measure over continuum-many types in a countable fr...

We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination. Our proposal ...

We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled application of exchange and associativity. Properness (i.e. clo...