9,834 research outputs found
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)
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 level. However, we will show that B-physics constraints
are crucial in excluding the possibility of wrong sign scenarios in the case
where 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
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
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
- …