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.

Graph analysis of verbal fluency test discriminate between patients with Alzheimer’s disease, Mild Cognitive Impairment and normal elderly controls

Verbal fluency is the ability to produce a satisfying sequence of spoken words during a given time interval. The core of verbal fluency lies in the capacity to manage the executive aspects of language. The standard scores of the semantic verbal fluency test are broadly used in the neuropsychological assessment of the elderly, and different analytical methods are likely to extract even more information from the data generated in this test. Graph theory, a mathematical approach to analyze relations between items, represents a promising tool to understand a variety of neuropsychological states. This study reports a graph analysis of data generated by the semantic verbal fluency test by cognitively healthy elderly (NC), patients with Mild Cognitive Impairment – subtypes amnestic(aMCI) and amnestic multiple domain (a+mdMCI) - and patients with Alzheimer’s disease (AD). Sequences of words were represented as a speech graph in which every word corresponded to a node and temporal links between words were represented by directed edges. To characterize the structure of the data we calculated 13 speech graph attributes (SGAs). The individuals were compared when divided in three (NC – MCI – AD) and four (NC – aMCI – a+mdMCI – AD) groups. When the three groups were compared, significant differences were found in the standard measure of correct words produced, and three SGA: diameter, average shortest path, and network density. SGA sorted the elderly groups with good specificity and sensitivity. When the four groups were compared, the groups differed significantly in network density, except between the two MCI subtypes and NC and aMCI. The diameter of the network and the average shortest path were significantly different between the NC and AD, and between aMCI and AD. SGA sorted the elderly in their groups with good specificity and sensitivity, performing better than the standard score of the task. These findings provide support for a new methodological frame to assess the strength of semantic memory through the verbal fluency task, with potential to amplify the predictive power of this test. Graph analysis is likely to become clinically relevant in neurology and psychiatry, and may be particularly useful for the differential diagnosis of the elderly.

A argumentação na petição inicial

This research investigates current sense effects at the use of linguistic resources of the argument in a corpus constituted by juridical pieces (Initial Petitions), that gave opportunity to actions originated from the Civil Special Court of the District of Currais Novos-RN. For this purpose it was established a relation between the Law and the Linguistics, mediated by the focus of the Argumentative Semantics, emphasizing, in a special way, the use of argumentative operators, which inserted in the own language, in its grammar, assume the orientation of the speech and the modalizers use, important mechanisms in the construction of the sense of the text and in the signalling in the way as that that one say is said,. This way, we began the investigation of that gender choosing as study object the section of the facts , that comprehends a part of Initial Petition where is explanted the narration of events that gave margin to the proposal for the Action. In face of the study object and the aim to be reached it was appealed, methodologically, to the notion of Rhetoric since from the classic antiquity to the emergence of the New present Rhetoric in Perelman and Olbrechts-Tyteca (2005) that, at the present time, is inserted in the studies of the Pragmatic connected to the central theses of the Ducrot s thinking (1977, 1980, 1987). Such referential allowed us to a better understanding about the production of the juridical speech on the part of the operators of the Law, as well as, to analyze in way wide the current sense effects from the use of argument linguistic marks the juridical speech. The data showed that such marks are indispensable elements to the construction of the textual web, particularly when in the range of the juridical argumentation, since they direct the speech for certain conclusions. However, we have observed that in the texts produced by the lawyers the use of those linguistic resources not always takes place in an appropriate way. The texts analyzed have also showed that it is possible to unmask, through the linguistic resources, the argumentative strategy employed by the authors for convincing of the magistrate, making evident that language is more than a system of signs, which it makes possible to see beyond the limit of the words and statements. Finally, we have verified that the categories analyzed, when used appropriately, are elements that engender argumentative maneuvers of effectiveness in the juridical text, being fundamental pieces which give argumentative strength the text, making the speech to move forward, not only the juridical, but the speech produced in any domain of the knowledge

O auto da morte e da vida : a escrita barroca de João Cabral de Melo Neto

This dissertation, entitled O Auto da Morte e da Vida: A escrita barroca de João Cabral de Melo Neto, has the aim of analising, interpreting, in a baroque perspective, Cabral s writing in the poem/play Morte e vida severina Auto de Natal Pernambucano, taking as basis the theories of Eugênio D´Ors, Severo Sarduy, Omar Calabrase, Lezama Lima, Afonso Ávila, Affonso Romano de Sant´Anna and others cited in the body of this work. During the analisys we feature confluences, relations, similarities, identification between the Baroque of the counter reformation and the modern Baroque or Neobaroque. We seek to comprehend the baroque which is new in the XX century and Cabral s poetry as an element of the contemporaneity, by updating the concept of the Baroque in the 1600s, when it is detected in its purest characteristic in human relation (the life of the Northwestern brazilian) through an intangible reality (the death). The Baroque as a cultural summary of a period of instability and transformation, with the power of dismantling an already established poetry. The fight between words and things, language and reality

Marcadores da organização do padrão discursivo narrativo: uma abordagem funcional centrada no uso

This thesis has as its object the Markers Organization Standard Narrative Discourse (MON), from its occurrence in oral and written corpora of different realizations of narrative discourse, considering its locus of occurrence in the narrative and discursive functioning. The research is guided by the Functional Linguistic Usage-Based, approach to which the organization of language is directly linked to the user experience, so that grammar is shaped by discourse. We examined only the narrative portions of Experience Reports, Tales and Legends in the oral and written, as follows: 3 inquiries Corpus Reports Remaining Quilombo (RN); 11 Corpus Legends legends of the Amazon, 14 Tales of Corpus Tales Brazilians and 21 Reports of experiences of Corpus and Discourse Grammar, with about 10,000 words in each corpus. A total of 22 markers were identified, which were: (1) classified according to the locus of occurrence in the narrative structure, as Labov (1972), (2) associated, according to the type of pattern that occur in narrative discourse, (3) described from the discursive function they perform. The research has relevance to the extent it is based speech analysis and offers proposals for productive teaching of mother tongue in which students and teachers can, grounded in language studies, consider living language, as an object of study, based on the National Curriculum Guidelines (OCN) and making use of New Technologies of Information and Communication (NTIC)

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

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler