3,285 research outputs found
Depoimento de Lucas Barreto Neves
No full textRelacionamento com a ginasta Adrian Gomes; incentivo e apoio dado à atleta; lesão da atleta nos Jogos Olímpicos; desvalorização da ginástica no Brasil; lesões recorrentes da Adrian durante a carreira.Olímpic
Evaluación mediante RMI de las reparaciones del manguito rotador y su correlación según la clasificación de Sugaya
No full textSin ResumenFil: Barreto, Lucas Joaquín. Universidad Nacional de Rosario. Facultad de Ciencias Médicas. Carrera de Especialización en Diagnósticos por Imágenes. Rosario; Argentin
Towards A Semiformal Development Methodology for Embedded Systems
No full textIn recent days, the amount of functions has increased significantly in embedded products so that systems development methodologies play an important role to ensure the product’s quality, cost, and time. Furthermore, this complexity coupled with constantly evolving specifications, has led to propose a semiformal development methodology to support the building of embedded real-time systems. A platform-based design approach has been used to balance costs and time-to-market in relation to performance and functionality constraints. We performed three expressive case studies and we concluded that the proposed methodology significantly reduces design time and improves software modularity and reliability
El Tlacuache Núm. 249 (2007). 249 Año 7 (2007) febrero. El Tlacuache
No full textEl Zapata novelado de Palou por Carlos Barreto Mark. - El Zapata de Palou por Carlos Agustín Barreto. - El Palacio de Hernán Cortés en Cuernavaca y su relación con el Alcázar del Almirante Diego Colón en Santo Domingo: arqueología histórica y restauración. III por Juan Antonio Siller Camacho. - El Yauhtli por Margarita Avilés y Macrina Fuentes
Indian Identity and Portuguese Colonialism: Adeodato Barreto\'s Civilização Hindu
No full textEsta dissertação busca evidenciar que a obra Civilização hindu (1935), do goês Adeodato Barreto, procurava atuar no campo social, político e cultural de sua época, visando colaborar com a construção do nacionalismo indiano e a contestação do poder colonial europeu, por meio de um projeto político-pedagógico de divulgação da tradição indiana. Para realizar tal análise, começamos destacando como a trajetória do autor, nascido em Goa e vivendo em Portugal nas décadas de 1920 e 1930, o levou a se aproximar da tradição hindu. Em sequência, analisamos sua escrita e concluímos que sua obra se constitui como um livro de ensaios ao confrontá-la com escritores que teorizaram sobre esse gênero. Comparamos Civilização hindu com ensaios selecionados do também goês Santana Rodrigues e do bengalês ganhador do Nobel de Literatura Rabindranath Tagore, o que mostrou o quanto Barreto seguia uma tradição literária começada por Tagore ao manter elementos narrativos e argumentativos semelhantes aos do autor bengalês. Dentro dessa tradição literária, Barreto apresenta um projeto sociocultural que ganha particularidades diante do contexto histórico que vivia em Portugal. Na intenção de manifestar seu vínculo à luta de independência da Índia, confronta diretamente a empreitada colonial inglesa, a ascensão do nazifascismo, o discurso orientalista, e indiretamente o regime salazarista em Portugal.This dissertation intends to show that Civilização Hindu (1935), by Goan author Adeodato Barreto, sought to intervene in the social, political and cultural context of the time, aiming to collaborate with the construction of Indian nationalism and the contestation of European colonial power, through a political-pedagogical project of dissemination of the Indian tradition. We begin the analysis by highlighting how the author\'s life trajectory, born in Goa and living in Portugal in the 1920s and 1930s, approached him to the Hindu tradition. In a second step, we assess his writings and conclude that his work is constituted of a collection of essays, by confronting it with authors who theorized about this literary genre. We then compare Civilização Hindu with selected essays by Santana Rodrigues - another Goan author - and Bengali Nobel Prize winner Rabindranath Tagore, which showed how much Barreto followed a literary tradition started by Tagore, keeping narrative and argumentative elements very similar to those of the Bengali author. Within this literary tradition, Barreto presents a sociocultural project that has certain particularities, given the historical context he experienced in Portugal. Intending to express his attachment to India\'s struggle for independence, he directly confronts the English colonial enterprise, the rise of Nazifascism, the Orientalist discourse, and - this time indirectly - Salazar\'s regime in Portugal
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker
No full textEmbedded systems are everywhere, from home appliances to critical systems such as medical devices. They usually have associated timing constraints that need to be verified for the implementation. Here, we use an untimed bounded model checker to verify timing properties of embedded C programs. We propose an approach to specify discrete time timing constraints using code annotations. The annotated code is then automatically translated to code that manipulates auxiliary timer variables and is thus suitable as input to conventional, untimed software model checker such as ESBMC. Thus, we can check timing constraints in the same way and at the same time as untimed system requirements, and even allow for interaction between them. We applied the proposed method in a case study, and verified timing constraints of a pulse oximeter, a noninvasive medical device that measures the oxygen saturation of arterial blood
FELICITAÇÕES E INCENTIVO AO PERIÓDICO BRAZILIAN JOURNAL OF IMPLANTOLOGY AND HEALTH SCIENCES
No full textoai:ojs.bjihs.emnuvens.com.br:article/4The Senator of the Federative Republic of Brazil, Sir Lucas Barreto, elected by the sovereign vote of the people of the state of Amapá, comes to the public to congratulate and wish congratulations and encouragement to the Brazilian Journal of Implantology and Health Sciences. “It is always very good to have a scientific information vehicle of quality and respectability, within Amapaense society. I am absolutely certain that this journal will be of great value and impact within the broad area of health sciences and will bring good results not only to the entire academic community in the state of Amapá, but also to the entire scientific community in Brazil. Once again, I leave here all my effusive joy and hope that the Brazilian Journal of Implantology and Health Sciences will be one of the driving forces for knowledge and scientific dissemination in the state of Amapá. "O Senador da república federativa do Brasil, excelentíssimo senhor Lucas Barreto, eleito pelo voto soberano do povo do estado do Amapá, vem a público parabenizar e desejar felicitações e incentivo ao periódico Brazilian Journal of Implantology and Health Sciences. “Sempre é muito bom ter um veículo de informação científica de qualidade e respeitabilidade, dentro do seio da sociedade Amapaense. Tenho a mais absoluta certeza que este periódico será de grande valia e impacto dentro da grande área das ciências da saúde e trará bons frutos não só para toda a comunidade acadêmica do estado do Amapá, mas também para toda a comunidade cientifica do Brasil. Deixo aqui mais uma vez registrada toda minha efusiva alegria e esperança que o Brazilian Journal of Implantology and Health Sciences seja uma das molas propulsoras do conhecimento e divulgação cientifica do estado do Amapá.
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
No full textIn this paper, we introduce the ezRealtime project, which relies on the Time Petri Net (TPN) formalism and defines a Domain-Specific Modeling (DSM) tool to provide an easy- to-use environment for specifying Embedded Hard Real-Time (EHRT) systems and for synthesizing timely and predictable scheduled C code. Therefore, this paper presents a generative programming method in order to boost code quality and improve substantially developer productivity by making use of automated software synthesis. The ezRealtime tool reads and automatically translates the system's specification to a time Petri net model through composition of building blocks with the purpose of providing a complete model of all tasks in the system. Hence, this model is used to find a feasible schedule by applying a depth-first search algorithm. Finally, the scheduled code is generated by traversing the feasible schedule, and replacing transition's instances by the respective code segments. We also present the application of the proposed method in an expressive case study
Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software
No full textModel-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing techniques such as Domain-Specific Modeling Languages (DSML) and Transformation Engines. This paper presents the ezRealtime, an MDE-based tool that relies on the Time Petri Net (TPN) formalism and defines a DSML to provide an easy-to-use environment for specifying Embedded Hard Real-Time (EHRT) systems and for synthesizing timely and predictable scheduled C code. The ezRealtime adopts the universal XML-based transfer syntax for Petri nets, named as PNML. The main idea of this work is to propose a generative programming method and tool to boost code quality and improve developer productivity with automated software synthesis. The ezRealtime tool reads and automatically translates the specification to a time Petri net model through composition of building blocks with the purpose of providing a complete model of all tasks in the system. Therefore, this model is used to find a feasible schedule by applying a depth-first search algorithm. Finally, the scheduled code is generated by traversing the feasible schedule, and replacing transition's instances by the respective code segments. We also present the application of the proposed method in a case study
Tobias Barreto e a história : uma análise do texto “idéias introdutórias ao estudo da história”
No full textThis article analyzes and comments on the text "Introductory Ideas to the Study of History," authored by Tobias Barreto de Menezes (1839-1889). In order to do so, this work lists and explains the main theses contained in the text, elucidates the influences underlying both the writing and the thought of Tobias Barreto, and clarifies his conception of History. Thus, in undertaking this task, this article draws upon the works of the author and the specialized literature on each topic raised. Additionally, this publication also includes a facsimile of the text originally published in “Revista do Norte”, by Artur Orlando (1858-1916).Este artigo analisa e comenta o texto “Idéias Introdutórias ao Estudo da História”, de autoria de Tobias Barreto de Menezes (1839-1889). Para tal, este trabalho elenca e explica as principais teses contidas no texto, elucida as influências que subjazem ao escrito e ao pensamento de Tobias Barreto e esclarece a concepção de História dele. Assim, diante dessa tarefa, este artigo toma como ponto de apoio as obras do sergipano e a bibliografia especializada sobre cada tópico levantado. Além disso, esta publicação também conta com o fac-símile do texto originalmente publicado na “Revista do Norte”, por Artur Orlando (1858-1916).São Cristóvão, S
- …
