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

Characterization of a rare analphoid supernumerary marker chromosome in mosaic

Abstract publicado em: Chromosome Research. 2015;23(Suppl 1):67-8. doi:10.1007/s10577-015-9476-6Analphoid supernumerary marker chromosomes (SMCs) are a rare subclass of SMCs C-band-negative and devoid of alpha-satellite DNA. These marker chromosomes cannot be identified unambiguously by conventional banding techniques alone being necessary to apply molecular cytogenetic methods in favour of a detailed characterization. In this work we report an analphoid SMC involving the terminal long arm of chromosome 7, in 9 years-old boy with several dysmorphic features and severe development delay. Cytogenetic analysis revealed a mosaic karyotype with the presence of an extra SMC, de novo, in 20 % of lymphocytes and 73 % of fibroblast cells. FISH analysis with alpha-satellite probes for all chromosomes, whole chromosome painting probe for chromosome 7, and D7S427 and TelVysion 7q probes, allowed establishing the origin of the SMC as an analphoidmarker resulting of an invdup rearrangement of 7q36-qter region. Affimetrix CytoScan HD microarray analysis, redefined the SMC to arr[hg19] 7q35(143696249-159119707)×2~3, which correspond to a gain of 15.42 Mb and encloses 67 OMIM genes, 16 of which are associated to disease. This result, combined with detailed clinical description, will provide an important means for better genotype-phenotype correlation and a more suitable genetic counselling to the patient and his parents, despite the additional difficulty resulting from being a mosaic (expression varies in different tissues). Analphoid SMCs derived from chromosome 7 are very rare, with only three cases reported so far. With this case we hope contribute to a better understanding of this type of chromosome rearrangements which are difficult for genetic counselling

Temperature and relative humidity requirements for conidiogenesis of Beauveria bassiana (Deuteromycetes: Moniliaceae).

Assays were conducted to assess the number of Beauveria bassiana (Bals) Vuill. conidia on Diatraea saccharalis F. (Lepidoptera: Pyralidae), Nezera viridula (L.) and Piezodorus guildinii (Westwood) (Hemiptera: Pantatormidae) corpses maintained at different levels of relative humidity (RH) (75%, 80%, 90% and 100%) and temperatures (22oC, 26oC, 30oC and 34oC) during five days. The isolates produced conidia when exposed to RH from 75% to 100%. Conidiogenesis was incipient at 75% RH on D.saccharalis larvae, but did not occur on N. viridula and P. guildinii. In ideal conditions od RH and during 10 days, mathematical equations were developed to estimate the number of condia produced by isolates ARSEF 933 and ARSEF 2515. Conidia number were shown to be dependant on RH, temperature, fungal isolate, host species, host stage, and time

The social value of expressing personal and general belief in a just world in different contexts

Research conducted in France and Portugal has consistently found that expressing high versus low Belief in a Personal Just World (BJW-P) is more socially valued. Results concerning the Belief in a General Just World (BJW-G) have been mixed. We propose this reflects a higher resistance of BJW-P social value to contextual changes. Testing this idea was the main goal of three experimental studies conducted in France, Germany and Portugal. In Study 1 (N = 283) participants expressed higher BJW-G when asked to convey a positive versus a negative image in a job application at a bank. The opposite pattern showed up when they applied for a job at a Human Rights NGO, an employment assistance institution and a trade union. Participants expressed higher BJW-P in all contexts, except at the trade union (no significant differences). In Study 2 (N = 489) participants judged bogus candidates who expressed high or low BJW-P/G while applying for a job at the same contexts. The patterns of judgments replicated those of self-presentations in Study 1. In Study 3 (N = 158), participants were asked to judge targets who expressed high versus moderate versus low BJW-P at a trade union. The former target was more socially valued than the other two. High versus low BJW-P expression was associated with higher stamina and less unadjusted self-enhancement. We conclude that in Western societies the expression of BJW-P is more central to the legitimation of the status quo and that of BJW-G is more context sensitive.info:eu-repo/semantics/acceptedVersio

Birds, Ilha Grande, state of Rio de Janeiro, Southeastern Brazil

We provide a list of bird species from our primary surveys and secondary data for an island (Ilha Grande) insoutheastern Brazil. The information derives mainly from primary data collected since 1995, particularly in the oceanicside of the island. The methodologies included capture-mark-recapture studies using mist nets, transects (visual andvocal records) and supplementary observations. Our total species list from primary data is 175 species (127 captured)and 47 species were added from secondary data. This represents 222 species from 58 families. Of this total, 44 areendemic to Atlantic forest and nine are threatened with extinction. Our results are discussed comparing our study areawith another large island included in the Serra do Mar corridor (Ilha de São Sebastião), and also a nearby continentalarea (Paraty). The results indicate the importance of Ilha Grande as a reservoir of bird species of Atlantic forest

Immersion Anomaly of Dirac Operator on Surface in R^3

In previous report (J. Phys. A (1997) 30 4019-4029), I showed that the Dirac field confined in a surface immersed in $R^3$ by means of a mass type potential is governed by the Konopelchenko-Kenmotsu-Weierstrass-Enneper equation. In this article, I quantized the Dirac field and calculated the gauge transformation which exhibits the gauge freedom of the parameterization of the surface. Then using the Ward-Takahashi identity, I showed that the expectation value of the action of the Dirac field is expressed by the Willmore functional and area of the surface.Comment: AMS-Tex Us