A relação histórica entre democracia e liberalismo. Um diálogo crítico com Norberto Bobbio.

This work seeks to examine the historical relationships established between liberalism and democracy, questioning the apparent inseparability between the two ideologies. Methodologically construct a hypothetical dialogue with the Italian thinker Norberto Bobbio, one of the most important systematizers of liberal democracy, defending a theoretical and conceptual complementarity between the two ideologies. Following the Bobbio theoretical propose, it presents the political contributions of classical liberalism that the Italian thinker identify as logical and axiological antecedent of the modern democracy, naturalizing and universalizing the principles and ideals of classical liberalism. Going counter, it problematizes the political contributions of classical liberalism, emphasizing the tension between liberal theory and its practice, between the declared political principles and their translation into concrete historical reality, reserving rights and freedoms to property minority and severe restrictions to the majority. The critical analysis of classical liberalism allows questioning the privilege position that Bobbio reserves to the liberalism in the democracy history, to restore the important contribution of illiberal politics currents in the civil, political and social rights history, advocating the democracy with its social character, inclusive and participatory

A interculturalidade no cinema: um estudo da legendagem e da dublagem brasileiras em um filme francês contemporâneo

In this research we present a study of cultural aspects in dubbed and subtitled films. As a case study, we chose to compare the original French version of "Le fabuleux destin d'Amelie Poulain" with both the subtitled and the dubbed versions in Portuguese, with focus on the interaction between the French and the Brazilian cultures. First we considered that (i) the translation process interferes on the perception of cultural relationships; and that (ii) dubbing and subtitling are two methods of translation that result in distinct perceptions from the spectator. Then, we adopted the translation interpretative theory (Seleskovicth; Lederer, 2001; Deslile, 1980) as the general theoretical framework, since it emphasizes the extralinguistic equivalence on the translation process. Furthermore, we based this research on three analytical procedures, which are: the four-step translating operation, the contrastive perception and a translation's typology based on Vinay and Dalbernet's linguistic procedures (Srpová, 1991, 1995, 2004). We extracted forty-six culture-related elements from the film and identified those belonging to the French ethno-universe. Then, the elements were classified with respect to a theoretical typology, based on concepts found in the Ethnography of Communication and a general typology, based on five general thematic groups, defined by the corpus. The results showed that both Brazilian versions tend to preserve those culture-related elements by using lexical loan and literal translation. The visual context, in its association with the linguistic procedures in both Brazilian versions, was also observed as an important element to the comprehension of the culture-related elements as they are considered in the French culture. As a general observation, the perception of culture-related elements in the film seems effectively be oriented by the translation methods

Tradução, adaptação cultural e propriedades psicométricas da versão brasileira do Short-Form of the Mobility Assessment Tool (MAT-sf)

Objectives: to translate and assess the psychometric properties of the Brazilian short-form of the Mobility Assessment Tool (MAT-sf) in Brazilians community elderly. Methds: the 12 items MAT-sf went through the process of translation and back translation into Portuguese of the Brazil, considering the semantic and cultural adaptation. In a sample of 150 aged 65-74 years living in the community, the instrument's psychometric properties were evaluated by analysis of convergent and construct validity and test-retest reliability. The main outcomes measures used for validation included in the battery of tests of physical ability, self-repor measures of functional limitations, health, depression, cognitive and sex. The test-retest reliability of the instrument was assessed using the intra-class correlation coefficient (ICC), 40 subjects were reassessed after an interval of 14 days of assessment. Results: the concurrent validity for the MAT-sf was evidenced by significant correlations with SPPB (r = 0,53), number of functional limitations (r = -0,62) and depressive symptoms (r = -0,45). The construct validity of the instrument was measured by gradual and significant increase of the MAT-sf scores with high levels of physical performance and with positive self-reported health, also found that MAT-sf scores were statistically differents according to sex. The variation in MAT-sf scores (R2 = 0,41) was explained by SPPB, number of limitations for activities of daily life and depressive symptoms. High values for test-retest reliability was evidencend by ICC = 0,94, 95% CI = 0,90 0,97. Conclusions: the Brazilian version of the short-form of the Mobility Assessment Tool has values of validity and reliability to ensure its use in elderly populations living in communities

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.