Comparing metaheuristic algorithms for error detection in Java programs

Chicano, F., Ferreira M., & Alba E. (2011). Comparing Metaheuristic Algorithms for Error Detection in Java Programs. In Proceedings of Search Based Software Engineering, Szeged, Hungary, September 10-12, 2011. pp. 82–96.Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is the high memory consumption, which limits the size of the programs that can be checked. In the last years, some researchers have focused on the application of guided non-complete stochastic techniques to the search of the state space of such concurrent programs. In this paper, we compare five metaheuristic algorithms for this problem. The algorithms are Simulated Annealing, Ant Colony Optimization, Particle Swarm Optimization and two variants of Genetic Algorithm. To the best of our knowledge, it is the first time that Simulated Annealing has been applied to the problem. We use in the comparison a benchmark composed of 17 Java concurrent programs. We also compare the results of these algorithms with the ones of deterministic algorithms.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. This research has been partially funded by the Spanish Ministry of Science and Innovation and FEDER under contract TIN2008-06491-C04-01 (the M∗ project) and the Andalusian Government under contract P07-TIC-03044 (DIRICOM project)

Caracterização da fontes documentais utilizadas pelos autores dos periódicos oficiais, publicados na 4ª Região da Justiçã do Trabalho

With the objective of characterizing the Law bibliographic sources more used by the magistrates of the 4th Region of Brazilian Labour Court, and identifying which authors are more mentioned and which the criteria used by the authors to the documental citation. This identification will qualify documental core used for documental language development adopted in the Service of Documentation. All papers published by 4th Region were analyzed and lifted up characteristics of the citations, such as: authors more mentioned, journals more mentioned, type of used documental support, citation type more adopted, languages of the citations and age of the mentioned works. A WinISIS database was used for registration of the collected data and for the calculation of variables occurrences

The geometry of Hrushovski constructions, I. The uncollapsed case

An intermediate stage in Hrushovski's construction of flat strongly minimal structures in a relational language L produces omega-stable structures of rank omega. We analyze the pregeometries given by forking on the regular type of rank omega in these structures. We show that varying L can affect the (local) isomorphism type of the pregeometry, but not its finite subpregeometries. A sequel will compare these to the pregeometries of the strongly minimal structures.Comment: 31 page

Wrong sign and symmetric limits and non-decoupling in 2HDMs

We analyse the possibility that, in two Higgs doublet models, one or more of the Higgs couplings to fermions or to gauge bosons change sign, relative to the respective Higgs Standard Model couplings. Possible sign changes in the coupling of a neutral scalar to charged ones are also discussed. These \textit{wrong signs} can have important physical consequences, manifesting themselves in Higgs production via gluon fusion or Higgs decay into two gluons or into two photons. We consider all possible wrong sign scenarios, and also the \textit{symmetric limit}, in all possible Yukawa implementations of the two Higgs doublet model, in two different possibilities: the observed Higgs boson is the lightest CP-even scalar, or the heaviest one. We also analyse thoroughly the impact of the currently available LHC data on such scenarios. With all 8 TeV data analysed, all wrong sign scenarios are allowed in all Yukawa types, even at the 1$\sigma$ level. However, we will show that B-physics constraints are crucial in excluding the possibility of wrong sign scenarios in the case where $\tan \beta$ is below 1. We will also discuss the future prospects for probing the wrong sign scenarios at the next LHC run. Finally we will present a scenario where the alignment limit could be excluded due to non-decoupling in the case where the heavy CP-even Higgs is the one discovered at the LHC.Comment: 20 pages, 15 figure

The Wrong Sign limit in the 2HDM

A sign change in the Higgs couplings to fermions and massive gauge bosons is still allowed in the framework of two-Higgs doublet models (2HDM). In this work we discuss the possible sign changes in the Higgs couplings to fermions and gauge bosons, while reviewing the status of the 8-parameter CP-conserving 2HDM after the Large Hadron Collider 8 TeV run.Comment: 6 pages, 3 figures. Proceedings of the Second Annual Conference on Large Hadron Collider Physics, Columbia University, New York, U.S.A, June 2-7, 2014. arXiv admin note: text overlap with arXiv:1407.439

JAK/STAT controls organ size and fate specification by regulating morphogen production and signalling

A stable pool of morphogen-producing cells is critical for the development of any organ or tissue. Here we present evidence that JAK/STAT signalling in the Drosophila wing promotes the cycling and survival of Hedgehog-producing cells, thereby allowing the stable localization of the nearby BMP/Dpp-organizing centre in the developing wing appendage. We identify the inhibitor of apoptosis dIAP1 and Cyclin A as two critical genes regulated by JAK/STAT and contributing to the growth of the Hedgehog-expressing cell population. We also unravel an early role of JAK/STAT in guaranteeing Wingless-mediated appendage specification, and a later one in restricting the Dpp-organizing activity to the appendage itself. These results unveil a fundamental role of the conserved JAK/STAT pathway in limb specification and growth by regulating morphogen production and signalling, and a function of pro-survival cues and mitogenic signals in the regulation of the pool of morphogen-producing cells in a developing organ

Auditoria de informação : um instrumento a serviço da unidade documentária

Knowledge is universally recognized as the most important strategic value that an organisation has. Despite this recognition many documentation units are being closed or downsized. Organisations, misunderstanding that all information are in Internet, are encouraging information users to acquire, control and manage their own information resources. This made information not found and available when it is necessary. Currently, there exists no standard methodology for performing an information audit. Various information audit methodologies are discussed, evaluated and classified. We offer a simple methodology to be used in juridic information: the structured interview. And we discuss the applicability in Brazilian Labour Justice, as a routine management instrument