400 research outputs found
Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs
No full textThe use of computer-based systems in several domains such as automotive, industrial automation, and transportation has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. The value of the counterexample and safety properties generated by Bounded Model Checkers to create test case and to debug these systems is highly recognized. In this paper, we describe a method to integrate the bounded model checker ESBMC with the CUnit framework. This method aims to extract the safety properties generated by ESBMC to generate automatically test cases using the rich set of assertions provided by the CUnit framework. We show the effectiveness of our proposed method over publicly available benchmarks
LA TERCERA VIA: LA ANTROPOLOGIA POLITICA DE RAIMUNDO SIBIUDA
No full textThe author examines the work of Raimundo Sibiuda, highlighting its innovative character in the face of scholasticism and the originality of its anthropological, theological and political propositions.La autora examina la obra de Raimundo Sibiuda, destacando su carácter innovador frente a la escolástica, así como la originalidad de sus propuestas antropológicas, teológicas y políticas
Note relating to Teniente Coronel Raimundo Andres, attaché to the regiment in Nueva España.
No full textNote relating to Teniente Coronel Raimundo Andres, attaché to the regiment in Nueva España. Unedited transcription available
Som do mar: sistema multimídia interativo para divulgação da pesquisa acústica submarina
No full textDossiê Raimundo Arruda Bucar
No full textCARTA datilografada de Antônio Rodrigues Coelho Netto ao Delegado da Funai em Goiás, Sr. Ivan Baiochi, 18 ago. 1976, em papel timbrado da Aliança Renovadora Nacional (ARENA), Diretório Municipal de Tocantins, Goiás, 3 páginas, seguido de 2 cópias. FICHA de fornecimento de cópia, 31 ago. 1976. [ENCAMINHAMENTO] contém of. n. 280/7ª DR, ao Sr. Superintendente Administrativo. ANOTAÇÕES manuscritas, ago./set. 1976. OFÍCIO n. 282/7ª DR, 26 ago. 1976, encaminha carta de Antonio Rodrigues Coelho Neto. OFÍCIO n. 280/7ª DR, 26 ago. 1976, encaminha carta de Antonio Rodrigues Coelho Neto. [INFORMAÇÃO] 215-A/76, 03 set. 1976, cópias da carta. [INFORMAÇÃO] 216-A/76, 03 set. 1976, cópias da carta. PARECER n. 78/PJ-76, 14 set. 1976, a respeito da atuação de Raimundo Arruda Bucar. INFORME n. 02/7/76, 20 set. 1976, sobre infração à lei eleitoral. CERTIDÃO contendo lista de 252 eleitores, 23 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), 5 páginas com carimbos no verso. CERTIDÃO do Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), 24 ago. 1976, com carimbos no verso. CERTIDÃO contendo lista de 17 eleitores, 24 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), com carimbos no verso. CERTIDÃO contendo lista de 14 eleitores, 24 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), com carimbos no verso. CERTIDÃO contendo lista de 12 eleitores, 24 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), com carimbos no verso. CERTIDÃO de batismo [parcialmente ilegível], 27 jul. 1976, com carimbos no verso. [REQUISIÇÃO] para eleitor, de Cícero Moura Brasil, 06 jul. 1976, com carimbos no verso. TÍTULO de eleitor, de Cícero de Moura Brasil, com carimbos no verso. FOLHA de votação, de Cícero de Moura Brasil, parcialmente ilegível, com carimbos no verso. RECORTE de jornal “Mais agentes para Tocantínea”, O Globo, 16 jul. 1976. RECORTE de jornal “Funai abastece a aldeia xerente”, O Estado de São Paulo, 21 jul. 1976. RECORTE de jornal “Funai envia gêneros a xerentes”, jul. 1976. RECORTE de jornal “Funai manda comida para índios boicotados por brancos em Goiás”, O Globo, 21 jul. 1976. PN n. 276-A/76, 03 nov. 1976, sobre a situação em Tocantínea (GO), 2 páginas. NOTA n. 002/76, sobre a situação em Tocantínea (GO), 01 nov. 1976. TELEGRAMA n. 198/ASI, 17 dez. 1976. ANOTAÇÃO manuscrita, 17 dez. 1976. RADIOTELEGRAMA controle n. 98965, n. 1265/7ª DR, 20 dez. 1976, informa sobre a eleição de Raimundo Arruda Bucar. RADIOTELEGRAMA controle n. 98913, n. 1274/7ª DR, 22 dez. 1976. RADIOTELEGRAMA controle n. 1166, n. 004/KRAORO, 27 jan. 1977. OFÍCIO n. 034/7ª DR/77, 28 jan. 1977, viagem para a posse do Prefeito de Tocantínea (GO). RADIOTELEGRAMA controle n. 79732, n. 172/7ª DR, 08 mar. 1977. RADIOTELEGRAMA controle n. 85995, n. 1112/7ª DR, 13 dez. 1977. OFÍCIO n. 350/7ª DR/77, 13 dez. 1977, encaminha recorte de jornal. RECORTE de jornal “Incra não paga indenizações da reserva xerente” e “Xerentes ameaçam na reserva sem indenização”Apresenta documentação sobre Raimundo Arruda Bucar, candidato à Prefeitura de Tocantínea (GO); Apresenta documentação que referente situações de conflitos na região, entre os índios xerentes e os moradores locais; Faz referências à possível fraude eleitoralComissão Estadual da VerdadeRegular; Parcialmente ilegíve
Dossiê Raimundo Arruda Bucar
No full textCARTA datilografada de Antônio Rodrigues Coelho Netto ao Delegado da Funai em Goiás, Sr. Ivan Baiochi, 18 ago. 1976, em papel timbrado da Aliança Renovadora Nacional (ARENA), Diretório Municipal de Tocantins, Goiás, 3 páginas, seguido de 2 cópias. FICHA de fornecimento de cópia, 31 ago. 1976. [ENCAMINHAMENTO] contém of. n. 280/7ª DR, ao Sr. Superintendente Administrativo. ANOTAÇÕES manuscritas, ago./set. 1976. OFÍCIO n. 282/7ª DR, 26 ago. 1976, encaminha carta de Antonio Rodrigues Coelho Neto. OFÍCIO n. 280/7ª DR, 26 ago. 1976, encaminha carta de Antonio Rodrigues Coelho Neto. [INFORMAÇÃO] 215-A/76, 03 set. 1976, cópias da carta. [INFORMAÇÃO] 216-A/76, 03 set. 1976, cópias da carta. PARECER n. 78/PJ-76, 14 set. 1976, a respeito da atuação de Raimundo Arruda Bucar. INFORME n. 02/7/76, 20 set. 1976, sobre infração à lei eleitoral. CERTIDÃO contendo lista de 252 eleitores, 23 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), 5 páginas com carimbos no verso. CERTIDÃO do Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), 24 ago. 1976, com carimbos no verso. CERTIDÃO contendo lista de 17 eleitores, 24 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), com carimbos no verso. CERTIDÃO contendo lista de 14 eleitores, 24 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), com carimbos no verso. CERTIDÃO contendo lista de 12 eleitores, 24 ago. 1976, Cartório Eleitoral da 81ª Zona de Miracema do Norte (GO), com carimbos no verso. CERTIDÃO de batismo [parcialmente ilegível], 27 jul. 1976, com carimbos no verso. [REQUISIÇÃO] para eleitor, de Cícero Moura Brasil, 06 jul. 1976, com carimbos no verso. TÍTULO de eleitor, de Cícero de Moura Brasil, com carimbos no verso. FOLHA de votação, de Cícero de Moura Brasil, parcialmente ilegível, com carimbos no verso. RECORTE de jornal “Mais agentes para Tocantínea”, O Globo, 16 jul. 1976. RECORTE de jornal “Funai abastece a aldeia xerente”, O Estado de São Paulo, 21 jul. 1976. RECORTE de jornal “Funai envia gêneros a xerentes”, jul. 1976. RECORTE de jornal “Funai manda comida para índios boicotados por brancos em Goiás”, O Globo, 21 jul. 1976. PN n. 276-A/76, 03 nov. 1976, sobre a situação em Tocantínea (GO), 2 páginas. NOTA n. 002/76, sobre a situação em Tocantínea (GO), 01 nov. 1976. TELEGRAMA n. 198/ASI, 17 dez. 1976. ANOTAÇÃO manuscrita, 17 dez. 1976. RADIOTELEGRAMA controle n. 98965, n. 1265/7ª DR, 20 dez. 1976, informa sobre a eleição de Raimundo Arruda Bucar. RADIOTELEGRAMA controle n. 98913, n. 1274/7ª DR, 22 dez. 1976. RADIOTELEGRAMA controle n. 1166, n. 004/KRAORO, 27 jan. 1977. OFÍCIO n. 034/7ª DR/77, 28 jan. 1977, viagem para a posse do Prefeito de Tocantínea (GO). RADIOTELEGRAMA controle n. 79732, n. 172/7ª DR, 08 mar. 1977. RADIOTELEGRAMA controle n. 85995, n. 1112/7ª DR, 13 dez. 1977. OFÍCIO n. 350/7ª DR/77, 13 dez. 1977, encaminha recorte de jornal. RECORTE de jornal “Incra não paga indenizações da reserva xerente” e “Xerentes ameaçam na reserva sem indenização”Apresenta documentação sobre Raimundo Arruda Bucar, candidato à Prefeitura de Tocantínea (GO); Apresenta documentação que referente situações de conflitos na região, entre os índios xerentes e os moradores locais; Faz referências à possível fraude eleitoralComissão Estadual da VerdadeRegular; Parcialmente ilegíve
Correction to: The role of pparγ and autophagy in ros production, lipid droplets biogenesis and its involvement with colorectal cancer cells modulation
No full textUpon publication of the original article [1], it was noticed that corresponding author status has been erroneously attributed to José Antonio Fagundes Assumpção. The corresponding author of this manuscript should be noted as José Raimundo Corrêa ([email protected]). This error has since been acknowledged and corrected in this Correction
Social figurations and tourist displacement in Argentina
No full textIn this paper we analyze, on the one hand; the figurations of transnational tourist travels; and secondly, tourism concepts involving these configurations. We will do it, based on two initial questions: a) the exploration of the profiles movements than affecting tourism in Argentina; and b) the characterization of tourists and tourism in this country, during the period 2009-2014. To achieve our goals, we will use multidimensional statistics, and qualitative analysis of categories. We try to make an approach to the problem, showing that the displacements of people across state territories, are transformations toward explicit new forms of social integration, which are also the stimulators and the centerpieces of tourism industry.Fil: Gómez, Raimundo Elías. Universidad Nacional de Misiones. Facultad de Humanidades y Cs.sociales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Cossi, Carla Antonella. Universidad Nacional de Misiones. Facultad de Humanidades y Cs.sociales; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin
As atribuições do assistente social na unidade de pronto atendimento - UPA 24h Dr. Raimundo Maia de Oliveira: uma contribuição da experiência de estágio supervisionado em serviço social
No full textO presente artigo é resultado da experiência de estágio supervisionado em Serviço Social que se desenvolveu na Unidade de Pronto Atendimento (UPA 24h) Dr. Raimundo Maia de Oliveira, localizada no Município de Campina Grande-PB, durante o Estágio Supervisionado Obrigatório em Serviço Social da Universidade Estadual da Paraíba (UEPB) no ano de 2016. Este tem como objetivo apresentar a experiência de estágio desenvolvida na UPA, a partir do projeto de intervenção que teve como tema: As Atribuições do Assistente Social na Unidade de Pronto Atendimento UPA 24h Dr. Raimundo Maia de Oliveira: Uma Contribuição da Experiência de Estágio Supervisionado em Serviço Social. A metodologia pautou-se em encontros com os acompanhantes dos pacientes, através de uma distribuição de panfletos que explicavam algumas das atribuições do Assistente Social na instituição. Para a construção do artigo foi realizada uma pesquisa bibliográfica e documental, tendo como base autores como: Iamamoto (2008), Yasbek (2002), Netto (2011) e documentos e dados coletados na própria instituição UPA. Conclui-se que essa experiência de estágio foi de grande relevância, pois através da mesma foi visto o quanto o Serviço Social é importante na área da saúde, desenvolvendo um trabalho com extrema competência para o usuário que necessita desse serviço, fazendo necessário informá-los sobre as principais atribuições do Assistente Social
The Godhead as a theological foundation of interreligious dialogue; drawn from the writings of Meister Eckhart and Raimundo Panikkar
No full textInterreligious dialogue has emerged in the last twenty-five years as a unique response to the global situation. The dissertation focuses on the spiritual dimensions of dialogue, and proposes an interreligious foundation based on Meister Eckhart\u27s desert of the Godhead and on Raimundo Panikkar\u27s speculative work in cross-cultural spiritual hermeneutics. Part One of the dissertation deals with the historical background of dialogue, and investigates the early field of comparative religion, and the theocentric and Christocentric approaches. Further the spirituality of dialogue is explored with reference to the writings of Teilhard de Chardin, Ewert H. Cousins, Leonard Swidler, and others; and the author presents and critiques the contributions of Wilfred Cantwell Smith and Seyyed Hossein Nasr. Next, a detailed study of Raimundo Panikkar\u27s speculative cosmotheandrism is considered in light of the overall dialogic project. In this study, the author attempts to uncover both the historical developments in scholarship which have contributed to the current dialogic atmosphere and the underlying assumptions, questions, and concerns of the interreligious theologian. In order to explore these issues, the author considers the main methodological, epistemological, and hermeneutical approaches currently being discussed in interreligious scholarship. In Part Two, these various approaches to dialogue are seen in light of the mystical theology of Meister Eckhart. Here the dissertation looks toward a theological foundation of dialogue in Meister Eckhart\u27s theme of the God beyond God. Particular attention is given to his notion of the desert of the Godhead, the dynamism of reality, and the oneness beyond distinction as important contributions to interreligious scholarship. The author investigates the ramifications of Eckhart\u27s mysticism to interreligious dialogue and how his doctrine of God can be fruitfully applied to the interreligious question. Finally, the author presents a speculative foundation for dialogue based on a multidimensional notion of Ultimate Reality
- …
