Luís Baptista

Learn More
In urban environments, anthropogenic noise can interfere with animal communication. Here we study the influence of urban noise on the cultural evolution of bird songs. We studied three adjacent dialects of white-crowned sparrow songs over a 30-year time span. Urban noise, which is louder at low frequencies, increased during our study period and therefore(More)
This paper addresses the interaction between randomization, with restart strategies, and learning, an often crucial technique for proving unsatisfiability. We use instances of SAT from the hardware verification domain to provide evidence that randomization can indeed be essential in solving real-world satisfiable instances of SAT. More interestingly, our(More)
Isoniazid (INH) is a front-line drug used in the treatment of tuberculosis (TB), a disease that remains a major cause of death worldwide. Isoniazid is a prodrug, requiring activation in the mycobacterial cell by the catalase-peroxidase (CP) enzyme. Recent studies have suggested that acetylation of INH by the arylamine-N-acetyltransferase from Mycobacterium(More)
This paper proposes a stochastic, and complete, backtrack search algorithm for Propositional Satisfiability (SAT). In recent years, randomization has become pervasive in SAT algorithms. Incomplete algorithms for SAT, for example the ones based on local search, often resort to randomization. Complete algorithms also resort to randomization. These include,(More)
Bird song is typically used by males to attract females.As a consequence of the vocal learning process, the acoustic morphology of male songs shows marked geographic variation.Whether females use variation in male songs to choose mates has been controversial (reviewed by Catchpole & Slater, 1995). In some species, the song types that females produce when(More)
Arylamine N-acetyltransferases (NATs) are cytosolic enzymes, highly polymorphic, present in both eukaryotes and prokaryotes. These enzymes play an important role in the detoxification and activation of xenobiotics as well as in the synthesis of endogenous compounds. Specific NATs have been pointed out in the literature as possible therapeutic targets. In(More)