JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Naps in school can enhance the duration of declarative memories learned by adolescents

Sleep helps the consolidation of declarative memories in the laboratory, but the pro-mnemonic effect of daytime naps in schools is yet to be fully characterized. While a few studies indicate that sleep can indeed benefit school learning, it remains unclear how best to use it. Here we set out to evaluate the influence of daytime naps on the duration of declarative memories learned in school by students of 10–15 years old. A total of 584 students from 6th grade were investigated. Students within a regular classroom were exposed to a 15-min lecture on new declarative contents, absent from the standard curriculum for this age group. The students were then randomly sorted into nap and non-nap groups. Students in the nap group were conducted to a quiet room with mats, received sleep masks and were invited to sleep. At the same time, students in the non-nap group attended regular school classes given by their usual teacher (Experiment I), or English classes given by another experimenter (Experiment II). These 2 versions of the study differed in a number of ways. In Experiment I (n = 371), students were pre-tested on lecture-related contents before the lecture, were invited to nap for up to 2 h, and after 1, 2, or 5 days received surprise tests with similar content but different wording and question order. In Experiment II (n = 213), students were invited to nap for up to 50 min (duration of a regular class); surprise tests were applied immediately after the lecture, and repeated after 5, 30, or 110 days. Experiment I showed a significant ∼10% gain in test scores for both nap and non-nap groups 1 day after learning, in comparison with pre-test scores. This gain was sustained in the nap group after 2 and 5 days, but in the non-nap group it decayed completely after 5 days. In Experiment II, the nap group showed significantly higher scores than the non-nap group at all times tested, thus precluding specific conclusions. The results suggest that sleep can be used to enhance the duration of memory contents learned in school.

O Uso de operações linguístico-discursivas da crítica genética na reescritura de textos

As a professor in Curso de Licenciatura em Letras, from Campus Avançado Profa Maria Eliza Albuquerque Maia (CAMEAM),do Estado do Estado do Rio Grande do Norte (UERN), in the town of Pau do Ferros, in the state of Rio Grande do Norte, we had the chance to carry out several writing activities , as well as guiding re-writing activities for the texts produced. From this experience, we started looking at the need of reflecting upon the writing process in higher education. Thus, we aim at analyzing, in this research, the methodology used in the moment of carrying out the writing practices activities in higher education, investigating, in particular, the rewriting practices, concerning the operations used for carrying out such activities, as well as the sense effects produced from the alterations which were made in the texts. Our theoretical foundation is grounded on a conception of text as a verbal action , what reveals a socio-interactional view of the language (MARCUSCHI, 2008; SAUTCHUK, 2003). As the production of written texts, our research focus, we assume that, for this activity, we deal with distinct figures (active writer and internal reader), so that we can, apart from writing, reflecting upon our writing and, this way, deciding about operations which are carried out to make the alterations which are necessary to the rewriting of our texts (SAUTCHUK, 2003). Still about the theoretical foundations used in this research, we made use of the theories from the Textual Analysis of Discourse (TAD) which discusses the belief on the evidence on the existence of the texts, which is opposite to the fixist view of textuality which believes that the texts exist by themselves. (ADAM, 2008; [2005]2010). Under this perspective, we have also adopted, the concepts which come from genetics criticism which is concerned about the relation between text and genesis, using as objects documents which bring traits of the text in progress, on the ground that the text is the result of work in progress, and the writing practice, on the other hand, as an activity in a continuous movement (HAY, [1975]2002; DE BIASI, [2000]2010; GRÉSILLON, 1989; [1990]2008; [1992]2002; SALLES, 2008a). The methodology in this research is an ethnography-based one, an approach which focuses on the process, as well as is meaning-based. To understand the objectives proposed in our research, we made use of different procedures of collecting data which include an ethnographic study, such as: observation, note-taking, document analysis. The data which were analyzed were collected during the semester of 2008.2, in a first term classroom of Curso de Letras from CAMEAM, when we were able to collect twenty-one written texts and all of them were rewritten based on rewriting activities, what provides a corpus of forty-two texts which will be analyzed based on the linguistics operations identified by Generative Grammar and adopted by Lebrave and Grésillon (2009). From these analyses, we were able to confirm that writing is a process, and rewriting has become an extremely important activity for this process. Still due to these data, we observed that substitution was the most used operation by text authors. We believe that this result is justified by the fact that the substitution, according to what proposes the Genetic Criticism, constitutes the source of all erasure, from which one can easily make a change in writing. Regarding the operations of addition and deletion, we found that they were used in quantitative terms, almost equivalently, which can be explained when we see that the two operations require, by the author of the text, different strategies from those used for the replacement, what includes , respectively, adding or removing a segment. Finally, we found out that the shift operation was the least used, since it works with a segment that will not be replaced, added or deleted, but transferred to another place of text, which requires a greater ability of the author to perform this operation and not compromising the meaning of his/her writing. As a result, we hope to contribute to the reflection on the teaching of writing, considering, in a particular way, those with a Bachelor in Arts. Our analysis will contribute to the teaching of Portuguese language, specifically for activities that guide the production of texts in order to explore with students the ability to rewrite their own text

A memória de curto prazo e a síndrome de down: a relação entre contextos de desenvolvimento

Down syndrome (DS) is one of the most frequent causes of intellectual disability, affecting one in every 600 to 1000 live births. Studies have demonstrated that people with DS have a lower capacity for short-term memory (STM) and working memory (WM), which affects their capability to learn new words and to follow spoken instructions, specially when they involve multiple information or consecutive orders/orientations. It seems that the basis of the learning process, as it happens with language and mathematics comprehension and reasoning, relies in the STM and WM systems. Individuals with DS are increasingly included in mainstream education, and yet, very few researches have been conducted to investigate the influence of memory development and the type of enrollment (regular school and special school). This study investigated the relationship between the type of school enrollment with the performance on STM tests and also, the relationship of this performance with early stimulation (ES). The tests used in the first research were the digit span, free recall, word recognition and subtests of the Wechsler Intelligence Scale for Children Third Edition (WISC-III). Individuals enrolled in the regular schools group had higher scores on the digit span test and the subtests of the WISC-III. In the free recall and recognition tests, no differences were found. This study indicates that the type of enrollment might influence the memory development of individuals with DS and clearly points the need for future investigations. In the second research, the tests used were the digit span, free word recall and subtests of the WISC-III. The test results showed better performance by adults that received ES before six months of age. The studies showed improvement in STM both in people who attended or were attending regular school, as well as those who benefited from ES before six months of age. However, some issues still need to be better understood. What is the relation between this stimulation with the individual s education? Since ES may reflect a greater family involvement with the individual, what is the role of emotional components derived from this involvement in the cognitive improvement? These and other questions are part of the continuity of this study