Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)

Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However, the debugging time may be greatly reduced, if automatic methods are used for localizing faults. In this study, a new method for fault localization, in multi-threaded C programs, is proposed. It transforms a multi-threaded program into a corresponding sequential one and then uses a fault-diagnosis method suitable for this type of program, in order to localize faults. The code transformation is implemented with rules and context switch information from counterexamples, which are typically generated by bounded model checkers. Experimental results show that the proposed method is effective, in such a way that sequential fault-localization methods can be extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1

Ocupação Progresso e o espaço urbano: a contribuição do movimento socioterritorial para o desenvolvimento da cidade

Este trabalho faz uma análise sobre a história da Ocupação Progresso, tomando-a como um caso ilustrativo da realidade urbana excludente que impera nas cidades brasileiras. Partindo do princípio de que o direito à moradia está previsto na constituição e é fundamental para a garantia da dignidade humana, a perspectiva da pesquisa foi de buscar compreender o porquê deste direito ser sistematicamente negligenciado, especialmente quando se contrapõe ao direito à propriedade privada e à lógica de mercado. Para tanto, tomou-se a Ocupação Progresso como estudo de caso, por ter conseguido se consolidar por quatro anos como um movimento sócio-territorial, e por ter sido destruída em um processo de reintegração de posse perpetrado pelo Estado. O uso do arcabouço teórico desenvolvido por geógrafos e cientistas de áreas afins possibilita então a análise e o debate sobre a financeirização da moradia, os processos de exclusão e a relação entre os agentes urbanos envolvidos nesse contexto.This work analyzes the history of Ocupação Progresso, taking it as an illustrative case of the exclusionary urban reality that prevails in Brazilian cities. Assuming that the right to housing is foreseen in the constitution and is fundamental to the guarantee of human dignity, the perspective of the research was to understand why this right is systematically neglected, especially when it opposes the right to private property and market logic. For this purpose, Ocupação Progresso was taken as a case study, because it managed to consolidate itself for four years as a socioterritorial movement, and because it was destroyed in a process of reintegration of possession perpetrated by the State. The use of the theoretical framework developed by geographers and scientists from related areas makes it possible to analyze and debate the financialization of housing, exclusion processes and the relationship between urban agents involved in this context

Phantom Friedmann Cosmologies and Higher-Order Characteristics of Expansion

We discuss a more general class of phantom ($p < -\varrho$) cosmologies with various forms of both phantom ($w -1$) matter. We show that many types of evolution which include both Big-Bang and Big-Rip singularities are admitted and give explicit examples. Among some interesting models, there exist non-singular oscillating (or "bounce") cosmologies, which appear due to a competition between positive and negative pressure of variety of matter content. From the point of view of the current observations the most interesting cosmologies are the ones which start with a Big-Bang and terminate at a Big-Rip. A related consequence of having a possibility of two types of singularities is that there exists an unstable static universe approached by the two asymptotic models - one of them reaches Big-Bang, and another reaches Big-Rip. We also give explicit relations between density parameters $\Omega$ and the dynamical characteristics for these generalized phantom models, including higher-order observational characteristics such as jerk and "kerk". Finally, we discuss the observational quantities such as luminosity distance, angular diameter, and source counts, both in series expansion and explicitly, for phantom models. Our series expansion formulas for the luminosity distance and the apparent magnitude go as far as to the fourth-order in redshift $z$ term, which includes explicitly not only the jerk, but also the "kerk" (or "snap") which may serve as an indicator of the curvature of the universe.Comment: REVTEX 4, 23 pages, references updated, to appear in Annals of Physics (N.Y.

A possibilidade de exclusão da indenização securitária em virtude do agravamento do risco nos casos de embriaguez

Este trabalho elucida os motivos que levam as seguradoras a negar a indenização securitária pretendida pelos segurados em razão do sinistro ocorrido com os seus veículos. Além desse ponto, são identificadas as cláusulas que eximem as companhias securitárias da obrigação contratual presente nos contratos de seguro, em razão do agravamento de risco causado pelo segurado ou pelo condutor do veículo segurado, tendo em vista que o risco foi agravado pela embriaguez, ou pelo simples uso de bebida alcóolica, fato que, por si só, já caracteriza o agravamento de risco. Ademais, menciona-se que ao agravar o risco do contrato, o segurado, automaticamente, está descumprindo uma das suas obrigações contratuais. Desse modo, será evidenciada a consequência que este descumprimento causa para o seguro contratado. Nesse contexto, ante à negativa da seguradora, o segurado passa a responder pelos seus atos praticados, assim, a ingestão de bebida alcóolica ou a embriaguez, associada à condução de veículo automotor, são caracterizadas como atos ilícitos, sendo assim, não há que se falar em dever de indenizar pelas seguradoras, tendo em vista a não observância do princípio da boa-fé pelos segurados.The present monography clarifies the reasons that lead insurers to deny the insurance claim sought by the insured due to the accident occured with their vehicles. In addition to this, clauses exempting insurance companies from the contractual obligation contained in the contracts are identified because of the risk increase caused by the insured or the insured vehicle driver, since the risk was aggravated by drunkenness, or by the simple use of alcohol, a fact that, by itself, already characterizes the risk increase. Moreover, it is mentioned that by increasing the risk of the contract, the insured is automatically breaching one of his contractual obligations. That way, it will be evident the consequence that this breach causes for the contracted insurance. In this context, considering the insurer's refusal, the insured person is now liable for his / her acts, thus, drinking alcohol or drunkenness, associated with driving a motor vehicle, are characterized as unlawful acts, so there is no need to talk about to indemnify by the insurers in view of the breach of the principle of good faith by the insured

ESPORTE EDUCACIONAL: EXPERIÊNCIAS NUM PROJETO DE EXTENSÃO COM CRIANÇAS E ADOLESCENTES.

RESUMO O objetivo deste estudo é analisar as contribuições do esporte educacional praticado por crianças e adolescentes de um projeto de extensão e como objetivos secundários ressaltar a importância do esporte educacional na vida de crianças e jovens e legitimar a extensão como ferramenta no processo de ensino e aprendizagem. No projeto, percebemos a necessidade da busca de uma educação voltada à recuperação da transmissão de valores, que são de fato os principais norteadores de um bom relacionamento interpessoal e sociocultural. E durante a realização das práticas pedagógicas foram elucidáveis as contribuições dos valores e atitudes mediadas pelos princípios do esporte educacional inscritos nos princípios educativos. Palavras-Chave: Esporte educacional; crianças e adolescentes; práticas pedagógicas. &nbsp; EDUCATIONAL SPORT: EXPERIENCES IN A CHILD AND TEEN EXTENSION PROJECT ABSTRACT The objective of this study is to analyze the contributions of educational sport played by children and adolescents of an extension project and as secondary objectives to highlight the importance of educational sport in the lives of children and youth and legitimize extension as a tool in the teaching and learning process. In the project, we perceived the need to seek an education aimed at recovering the transmission of values, which are in fact the main drivers of a good interpersonal and sociocultural relationship. And during the realization of the pedagogical practices were elucidated the contributions of the values and attitudes mediated by the principles of educational sport inscribed in the educational principles. Keywords: Educational sport; children and adolescents; pedagogical practices

BREVES REFLEXÕES ACERCA DO USO DE IMAGEM DE ATLETA PROFISSIONAL DE FUTEBOL EM JOGOS ELETRÔNICOS

Enquanto componente essencial da personalidade, a proteção da imagem da pessoa sempre mereceu atenção doutrinária e legislativa. Erigido à categoria de direito fundamental imanente ao ser humano, o direito à imagem guarda estreita sincronia com o princípio da proteção da dignidade da pessoa humana. Estabelecido esse pano de fundo, abordaremos temáticas referentes à licença de uso da imagem de atletas profissionais para disponibilização em jogos eletrônicos. Pontuaremos a eficácia e a extensão do consentimento do titular do direito, bem como as relações jurídicas entre o atleta, entidade desportiva e empresas de tecnologia desenvolvedoras dos games. Por fim, traçaremos pontos de estímulo às reflexões jurídicas pertinentes a casos concretos

EDUCAÇÃO MUSICAL NA BANDA DE MÚSICA DO MUNICÍPIO DE IPIRA

Apresenta-se o relato da prática do Estágio Curricular Supervisionado em Música I, da UNOESC Campus de Capinzal, curso de Licenciatura em Música. O estágio ocorreu no Espaço Cultural, na Banda Municipal na cidade de Ipira-SC. Esse espaço se caracteriza por ser um espaço não formal de educação musical.  Essas instituições ajudam no desenvolvimento dos jovens na sociedade. Diante disso, a estratégia para o desenvolvimento musical junto à Banda Municipal foi o ensino de teoria e percepção musical, no auxilio do crescimento da banda, por meio da teorização, que é de extrema importância para qualquer instrumento, onde se dá a prática musical e de conjunto. Ainda que seja evidente o valor da teoria musical, sua junção com a prática é muito mais efetiva, e promove resultados mais qualitativos e agradáveis ao aluno. Nesse sentido, surge o problema de pesquisa foi: Como desenvolver a teoria e a percepção musical na Banda Municipal de Ipira? Tendo como objetivo: desenvolver a leitura musical e o aprimoramento da percepção musical. A metodologia usada foi qualitativa, expositiva e descritiva, definida como pesquisa ação, que ocorreu por meio da observação em espaço não formal, com posterior planejamento, seguido da intervenção. Portanto, desenvolver a percepção e a teoria musical, foi importante para a banda de música, mostrando que a teoria não precisa ser trabalhada de forma cansativa. Os objetivos foram alcançados pela prática em conjunto, onde se executou a obra “Ó de Alegria” com o uso da partitura musical desenvolvendo a leitura melódica, dando ênfase à percepção musical.Palavras-chave: Espaços não formais. Percepção musical. Teoria musical.   

“CINEMA NEGRO”

O artigo analisa a trajetória de três produtores culturais, Ierê Ferreira, Paulinho Sacramento e Viviane Ferreira. E compreende as formas distintas que esses personagens se relacionam com o Centro Afrocarioca de Cinema, criado em 2007 pelo ator e cineasta Zózimo Bulbul, e com o “cinema negro”, concepção política e estética do campo cinematográfico brasileiro que se destacou na década de 2000. A pesquisa faz uso da metodologia de história oral e do debate sobre memória social para vislumbrar os caminhos da luta antirracista no cinema e audiovisual brasileiro e para evidenciar a diversidade dos projetos do cinema negro

Liquid-infiltrated photonic crystals - enhanced light-matter interactions for lab-on-a-chip applications

Optical techniques are finding widespread use in analytical chemistry for chemical and bio-chemical analysis. During the past decade, there has been an increasing emphasis on miniaturization of chemical analysis systems and naturally this has stimulated a large effort in integrating microfluidics and optics in lab-on-a-chip microsystems. This development is partly defining the emerging field of optofluidics. Scaling analysis and experiments have demonstrated the advantage of micro-scale devices over their macroscopic counterparts for a number of chemical applications. However, from an optical point of view, miniaturized devices suffer dramatically from the reduced optical path compared to macroscale experiments, e.g. in a cuvette. Obviously, the reduced optical path complicates the application of optical techniques in lab-on-a-chip systems. In this paper we theoretically discuss how a strongly dispersive photonic crystal environment may be used to enhance the light-matter interactions, thus potentially compensating for the reduced optical path in lab-on-a-chip systems. Combining electromagnetic perturbation theory with full-wave electromagnetic simulations we address the prospects for achieving slow-light enhancement of Beer-Lambert-Bouguer absorption, photonic band-gap based refractometry, and high-Q cavity sensing.Comment: Invited paper accepted for the "Optofluidics" special issue to appear in Microfluidics and Nanofluidics (ed. Prof. David Erickson). 11 pages including 8 figure

Early and Middle Holocene Hunter-Gatherer Occupations in Western Amazonia: The Hidden Shell Middens

We report on previously unknown early archaeological sites in the Bolivian lowlands, demonstrating for the first time early and middle Holocene human presence in western Amazonia. Multidisciplinary research in forest islands situated in seasonally-inundated savannahs has revealed stratified shell middens produced by human foragers as early as 10,000 years ago, making them the oldest archaeological sites in the region. The absence of stone resources and partial burial by recent alluvial sediments has meant that these kinds of deposits have, until now, remained unidentified. We conducted core sampling, archaeological excavations and an interdisciplinary study of the stratigraphy and recovered materials from three shell midden mounds. Based on multiple lines of evidence, including radiocarbon dating, sedimentary proxies (elements, steroids and black carbon), micromorphology and faunal analysis, we demonstrate the anthropogenic origin and antiquity of these sites. In a tropical and geomorphologically active landscape often considered challenging both for early human occupation and for the preservation of hunter-gatherer sites, the newly discovered shell middens provide evidence for early to middle Holocene occupation and illustrate the potential for identifying and interpreting early open-air archaeological sites in western Amazonia. The existence of early hunter-gatherer sites in the Bolivian lowlands sheds new light on the region's past and offers a new context within which the late Holocene "Earthmovers" of the Llanos de Moxos could have emerged. © 2013 Lombardo et al