Bioacoustic analysis of advertisement call in Hyla nana and Hyla sanborni (Anura, Hylidae) in Botucatu, São Paulo, Brazil

As características relacionadas à comunicação sonora em duas espécies aparentadas, Hyla nana e H. sanborni, pertencentes ao grupo nana de espécies, foram estudadas, entre agosto de 1997 e junho de 1999, em duas poças permanentes de grande porte em área aberta na região de Botucatu, Estado de São Paulo. Foram obtidas gravações de 131 exemplares, 71 indivíduos de H. nana e 58 de H. sanborni, durante início de atividade de vocalização e atividade de vocalização em coro. Houve diferença nos ritmos de emissão de notas dos cantos entre o início das atividades e durante os coros. O canto de anúncio das espécies consiste na emissão de séries consecutivas de notas simples, pulsadas, com taxa de repetição rápida. Hyla nana e H. sanborni apresentam dois tipos de notas em seu canto de anúncio, denominados aqui como tipos A e B. Notas do tipo A, introdutórias, apresentam maior duração e número de pulsos, e suas emissões foram mais freqüentes durante o início das atividades de vocalização. As notas introdutórias são as primeiras da série emitida em atividade de coro. As notas do tipo B, secundárias, são curtas e com menor número de pulsos, sendo emitidas durante as vocalizações em coro. Os dois tipos de notas encontrados diferem significativamente em sua estrutura temporal. As duas espécies apresentaram segregação acústica tanto na estrutura espectral como na temporal de seus cantos de anúncio.

Natural History of the Lutz's Frog Cycloramphus lutzorum Heyer, 1983 (Anura: Cycloramphidae) in the Brazilian Atlantic Forest: Description of the Advertisement Call, Tadpole, and Karyotype

We describe the advertisement call, tadpole, karyotype, and additional information on the natural history of Cycloramphus lutzorum from southern Brazil. Sonograms were generated from digitally recorded calls. Tadpoles were collected in the field for description in the lab, and an adult was collected for karyotyping. Data on seasonal activity were gathered monthly from November 2005 to November 2007. All tadpoles (N = 21), juveniles (N = 18), and adults (N = 52) were found exclusively in streams. Reproduction, as identified by calling frogs, occurred from July through November. Frogs call all day long, but mostly at dusk, from rock crevices inside the stream edges near the splash zone. The call is short and loud, with 11 pulsed notes, of 491-641 ms, with a dominant frequency of 0.98-1.39 kHz. We describe the exotrophic and semiterrestrial tadpoles, always found in constantly humid vertical rock walls in the stream. Tadpoles of C. lutzorum are recognized by differences in labial tooth row formula, eye diameter, body shape, position of nares, and development of tail. Like congeneric species, the karyotype of C. lutzorum comprises 26 metacentric and submetacentric chromosomes. Cycloramphus lutzorum is restricted to and adapted for living in fast flowing streams, many of which are threatened by deforestation, pollution, and habitat loss. Therefore, we recommend the status of C. lutzorum be changed from its current "Data Deficient" to "Near Threatened (NT)" in the IUCN species red list.

The advertisement call of Dendropsophus nahdereri (Anura, Hylidae, Dendropsophini).

The Dendropsophus marmoratus group is composed of eight species known for their explosive breeding habits and morphologically characterized by a bark-like dorsum, warty skin around the lower lips and an extremely large vocal sac. Within this group, D. nahdereri is the only species with distribution restricted to the southern region of Brazil. Apart from the original description and its tadpole, nothing else is known about this species. Using a mechanistic definition of note, we describe the advertisement call of D. nahdereri, which is similar to the advertisement calls of other species of the group and frequently has "final pulseclusters" as defined in the text.

Advertisement call of Scinax littoralis and S. angrensis (Amphibia: Anura: Hylidae), with notes on the reproductive activity of S. littoralis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Redescription and reevaluation of the generic status of Leptodactylus dantasi (Amphibia, Anura, Leptodactylidae) and description of its unusual advertisement call

Leptodactylus dantasi Bokermann is redescribed from adult specimens collected in Parque Nacional da Serra do Divisor, State of Acre, Brazil, near the border between the Brazilian state of Acre and Peru. We propose the inclusion of this species in the genus Hydrolaetare. A new diagnostic character observed for the genus is the presence of fringes of fingers, and fringes and webbing of toes, finely serrate; the serrate edge of the fringe and webbing can be keratinized in males, females, and subadults. Hydrolaetare dantasi (Bokermann) is characterized by robust body and limbs, a broad and depressed head, slightly shorter than wide, and long, pointed and basally webbed toes. Hydrolaetare dantasi differs from the only other species in this genus, Hydrolaetare schmidti (Cochran and Goin), mainly by having toes webbed basally (fully webbed in H. schmidti). The advertisement call of H. dantasi is composed of two components; an initial note produced by the impact of the vocal sac against the ground and a second note corresponding to a long whistle of ascending frequency. The initial note is a percussive sound and represents an unusual form of sound emission in anurans; the second note is a vocalization.

Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

A graph-based framework for thermal faceprint characterization

Thermal faceprint has been paramount in the last years. Since we can handle with face recognition using images acquired in the infrared spectrum, an unique individual's signature can be obtained through the blood vessels network of the face. In this work, we propose a novel framework for thermal faceprint extraction using a collection of graph-based techniques, which were never used to this task up to date. A robust method of thermal face segmentation is also presented. The experiments, which were conducted over the UND Collection C dataset, have showed promising results. © 2011 Springer-Verlag.

Semiautomatic dental recognition using a graph-based segmentation algorithm and teeth shapes features

Dental recognition is very important for forensic human identification, mainly regarding the mass disasters, which have frequently happened due to tsunamis, airplanes crashes, etc. Algorithms for automatic, precise, and robust teeth segmentation from radiograph images are crucial for dental recognition. In this work we propose the use of a graph-based algorithm to extract the teeth contours from panoramic dental radiographs that are used as dental features. In order to assess our proposal, we have carried out experiments using a database of 1126 tooth images, obtained from 40 panoramic dental radiograph images from 20 individuals. The results of the graph-based algorithm was qualitatively assessed by a human expert who reported excellent scores. For dental recognition we propose the use of the teeth shapes as biometric features, by the means of BAS (Bean Angle Statistics) and Shape Context descriptors. The BAS descriptors showed, on the same database, a better performance (EER 14%) than the Shape Context (EER 20%). © 2012 IEEE.

The advertisement call of dendropsophus tritaeniatus (Bokermann, 1965) (Anura: Hylidae)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Context-sensitive analysis of x86 obfuscated executables

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)