New records of the harlequin frog Atelopus nahumae RUIZ-CARRANZA, ARDILA-ROBAYO & HERNANDEZ-CAMACHO, 1994, in the Sierra Nevada de Santa Marta (Colombia), with notes of its distribution (Anura: Bufonidae)

The known distribution of the harlequin frog, Atelopus nahumae RUIZ-CARRANZA, ARDILA-ROBAYO & HERNANDEZ-CAMACHO, 1994, is reported along with three new locality records in the northwestern Sierra Nevada de Santa Marta (Colombia). In the new localities, observations were made on the frog's mating behavior. This report adds the Cordoba River Basin, another high valley of the Sierra Nevada de Santa Marta, to the known range of A. nahumae. Nevertheless, the general distribution of the species in this region is largely unknown.

New species of Fissiphallius Martens 1988 from Brazil and notes on the morphology of Fissiphalliidae (Arachnida, Opiliones)

The seventh species of Fissiphallidae, Fissiphallius orube sp. nov., and the fourth from Brazil (type locality state of Acre, Cruzeiro do Sul, at the Moa river), is described. The new species differs from the remaining species of the family in lacking a pergula, having a knob at the base of the rutrum, and the ocularium spiniform projection with apical portion single or divided in two to three parts.

Novos táxons e novos registros sobre Cerambycidae (Coleoptera) Neotropicais

Novos táxons e novos registros sobre Cerambycidae (Coleoptera) Neotropicais. Novos táxons descritos em Cerambycinae, Eligmodermini: Eligmoderma lara sp. nov. da Venezuela; Elaphidiini: Cratericus gen. nov., espécie-tipo, C. divaricatus sp. nov., da Jamaica. Em Lamiinae, Desmiphorini: Capillicornis gen. nov., espécie-tipo, C. basilaris sp. nov. do Equador; Cotycicuiara acuminata sp. nov. do Panamá; C. guiana sp. nov. da Guiana Francesa; Eupromerini: Puanama skillmani sp. nov. do Brasil (Rondônia). Novos registros são feitos para Temnopis martinezi Martins, 1995 (Oemini) e Estoloides (E.) aurantius Martins & Galileo, 2010 (Desmiphorini). A localidade-tipo de Hovorelus adiectus Galileo & Martins, 2010 (Prioninae, Anacolini) é corrigida e novos dados são acrescentados.

A new species of Leporinus Agassiz, 1829 from the upper Rio Paraná basin (Characiformes, Anostomidae) with redescription of L. elongatus Valenciennes, 1850 and L. obtusidens (Valenciennes, 1837)

Leporinus obtusidens Valenciennes, 1837 and L. elongatus Valenciennes, 1850 are redescribed based on the type specimens, including those of their junior synonyms, and recently collected specimens. Leporinus obtusidens is considered to be widespread, occuring in the river drainages of La Plata, São Francisco, and Parnaíba. Leporinus aguapeiensis Campos, 1945, described from the upper Rio Paraná, and L. silvestrii Boulenger, 1902, described from the Rio Paraguay, are considered junior synonyms of L. obtusidens. Leporinus elongatus is endemic to the Rio Jequitinhonha and Rio Pardo, two eastern Brazilian river basins, and the locality cited for the lectotype, Rio São Fransico, likely to be erroneous. Leporinus crassilabris Borodin, 1929, and L. crassilabris breviceps Borodin, 1929, both described from the Rio Jequitinhonha, are considered junior synynoms of L. elongatus. A new species of Leporinus, endemic to the upper Rio Paraná, very similar and sometimes mistaken with L. obtusidens, is formally described. In addition, comments on Leporinus pachyurus Valenciennes, 1850 and on L. bimaculatus Castelnau, 1855 are provided, and a lectotype for L. bimaculatus is selected.

Brazilian mosquito (Diptera: Culicidae) fauna: I. Anopheles species from Porto Velho, Rondônia state, western Amazon, Brazil

This study contributes to knowledge of Anopheles species, including vectors of Plasmodium from the western Brazilian Amazon in Porto Velho, Rondônia State. The sampling area has undergone substantial environmental changes as a consequence of agricultural and hydroelectric projects, which have caused intensive deforestation and favored habitats for some mosquito species. The purpose of this study was to diagnose the occurrence of anopheline species from collections in three locations along an electric-power transmission line. Each locality was sampled three times from 2010 to 2011. The principal adult mosquitoes captured in Shannon trap were Anopheles darlingi, An. triannulatus, An. nuneztovari l.s., An.gilesi and An. costai. In addition, larvae were collected in ground breeding sites for Anopheles braziliensis, An. triannulatus, An. darlingi, An. deaneorum, An. marajoara, An. peryassui, An. nuneztovari l.s. and An. oswaldoi-konderi. Anopheles darlingi was the most common mosquito in the region. We discuss Culicidae systematics, fauna distribution, and aspects of malaria in altered habitats of the western Amazon.

Comparação quantitativa da comunidade de aves de um fragmento de floresta semidecidual do interior do Estado de São Paulo em intervalo de 30 anos

Few studies have evaluated long-term changes in avian abundance in forest remnants. To compare both species richness and abundance of the bird community in a forest fragment located in the municipality of Gália, state of São Paulo, southeastern Brazil, we surveyed forest birds using transect counts. We compared our results with a survey conducted 30 years earlier at the same locality and further classified bird species according to their food habits to eventually predict fluctuations of specific abundance. Although species with population declines predominated in the community, all trophic categories had species which increased their abundances. Most species prone to move around remnants decreased in abundance. We suggest that, regarding specific abundances, trophic categories may be equally affected as a result of fragmentation processes and that the forest regeneration of this remnant may have led to the loss of edge species. Species that suffered from abundance loss during this time period may become locally extinct in the near future.

Morphological and molecular studies on the Brazilian native red seaweed Laurencia oliveirana (Rhodomelaceae, Ceramiales)

Morphological and molecular studies were carried out on Laurencia oliveirana from the type locality (Arraial do Cabo, Rio de Janeiro, Brazil). This species is easily recognized by its small size, sub-erect habit forming intricate cushion-like tufts and unilateral pectinate branching. The species displays all the typical characters of the genus Laurencia, such as the production of the first pericentral cell underneath the basal cell of the trichoblast, tetrasporangia produced from particular pericentral cells, with the third and fourth pericentral cells becoming fertile, without production of additional pericentral cells, spermatangial branches produced from one of two laterals on the suprabasal cell of trichoblasts, and procarp-bearing segment with five pericentral cells. Details of tetrasporangial plants and development of procarp and male plants are described for the first time for the species. The phylogenetic position of L. oliveirana was inferred by analysis of the chloroplast-encoded rbcL gene sequences from 57 taxa. In all phylogenetic analyses, L. oliveirana grouped with L. caraibica, L. caduciramulosa, L. venusta and L. natalensis, forming a monophyletic clade within the Laurencia sensu stricto. The genetic divergence between L. oliveirana and the molecularly closest species, L. caraiba collected in Brazil, was 2.3%.

Denominal Verbs in Brazilian Portuguese: distinguishing between diachronic and synchronic structures within Distributed Morphology approach

Recent work on argument structure has shown that there must be a synchronic relation between nouns and derived verbs that can be treated in structural terms. However, a simple phonological/morphological identity or diachronic derivation between a verb and a noun cannot guarantee that there is a denominal structure in a synchronic approach. In this paper we observe the phenomenon of Denominal Verbs in Brazilian Portuguese and argue for a distinction between etymological and synchronic morphological derivation. The objectives of this paper are 1) to identify synchronic and formal criteria to define which diachronic Denominal Verbs can also be considered denominal under a synchronic analysis; and 2) to detect in which cases the label "denominal" can be justifiably abandoned. Based on results of argument structure tests submitted to the judgments of native speakers, it was possible to classify the supposed homogenous Denominal Verbs class into three major groups: Real Denominal Verbs, Root-derived Verbs, and Ambiguous Verbs. In a Distributed Morphology approach, it was possible to explain the distinction between these groups based on the ideia of phases in words and the locality of restriction in the interpretation of roots.

Two new species and a review of the inseminating freshwater fish genus Monotocheirodon (Characiformes: Characidae) from Peru and Bolivia

Two new species of inseminating freshwater fishes of the genus Monotocheirodon, family Characidae, are described from Peru. Males and females of both new species have an external, visually obvious urogenital papilla that was not detected in the females in previous studies, with this longer in males, which use it as an inseminating organ. A third inseminating species from Bolivia, Monotocheirodon pearsoni, unstudied in any detail since its original description in 1924, is redescribed. This latter species lacks an inseminating organ. Monotocheirodon is redescribed, its phylogenetic relationships are briefly discussed and it is suggested that it is possibly related to the stevardiin genera Ceratobranchia, Othonocheirodus, and Odontostoechus.

Infraestructura polivalente basada en sensores inalámbricos aplicada a la monitorización medioambiental georreferenciada.

Máster Universitario en Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería (SIANI)

Self-organising coordination systems

Many research fields are pushing the engineering of large-scale, mobile, and open systems towards the adoption of techniques inspired by self-organisation: pervasive computing, but also distributed artificial intelligence, multi-agent systems, social networks, peer-topeer and grid architectures exploit adaptive techniques to make global system properties emerge in spite of the unpredictability of interactions and behaviour. Such a trend is visible also in coordination models and languages, whenever a coordination infrastructure needs to cope with managing interactions in highly dynamic and unpredictable environments. As a consequence, self-organisation can be regarded as a feasible metaphor to define a radically new conceptual coordination framework. The resulting framework defines a novel coordination paradigm, called self-organising coordination, based on the idea of spreading coordination media over the network, and charge them with services to manage interactions based on local criteria, resulting in the emergence of desired and fruitful global coordination properties of the system. Features like topology, locality, time-reactiveness, and stochastic behaviour play a key role in both the definition of such a conceptual framework and the consequent development of self-organising coordination services. According to this framework, the thesis presents several self-organising coordination techniques developed during the PhD course, mainly concerning data distribution in tuplespace-based coordination systems. Some of these techniques have been also implemented in ReSpecT, a coordination language for tuple spaces, based on logic tuples and reactions to events occurring in a tuple space. In addition, the key role played by simulation and formal verification has been investigated, leading to analysing how automatic verification techniques like probabilistic model checking can be exploited in order to formally prove the emergence of desired behaviours when dealing with coordination approaches based on self-organisation. To this end, a concrete case study is presented and discussed.

Genesis of metasomatic sapphirine-corundum-spinel-bearing granulites in Sri Lanka

The goal of the present study is to understand the mechanism of mass transfer, the composition and the role of fluids during crustal metasomatism in high-temperature metamorphic terranes. A well constrained case study, a locality at Rupaha, Sri Lanka was selected. It is located in the Highland Complex of Sri Lanka, which represents a small, but important fragment of the super-continent Gondwana. Excellent exposures of ultramafic rocks, which are embedded in granulites, were found at 10 localities. These provide a unique background for understanding the metasomatic processes. The boundary between the ultramafic and the granulite rocks are lined with metasomatic reaction zones up to 50cm in width. Progressing from the ultramafics to the granulite host rock, three distinct zones with the following mineral assemblages can be distinguished: (1). phlogopite + spinel + sapphirine, (2). spinel + sapphirine and (3). corundum + biotite + plagioclase. In order to assess the P-T-t path, the peak metamorphism and the exhumation history were constrained using different thermobarometers, as well as a diffusion model of garnet zoning. A maximum temperature of 875 ± 20oC (Opx-Cpx thermometer) and at the peak pressure of 9.0 ± 0.1 kbar (Grt-Cpx-Pl-Qtz) was calculated for the silicic granulite. The ultramafic rocks recorded a peak temperature of 840 ± 70oC (Opx-Cpx thermometer) at 9 kbar. Coexisting spinel and sapphirine from the reaction zone yield a temperature of 820 ± 40oC. This is in agreement with the peak-temperatures recorded in the adjacent granulites and ultramafics rocks. The structural concordance of the ultramafic rocks with the siliceous granulite host rock further support the suggestion, that all units have experienced the same peak metamorphism. Diffusion modeling of retrograde zoning in garnets from mafic granulites suggests a three-step cooling history. A maximum cooling rate of 1oC/Ma is estimated during the initial stage of cooling, followed by a cooling rate of ~30oC/Ma. The outermost rims of garnet indicate a slightly slower cooling rate at about 10-15oC/Ma. The sequences of mineral zones, containing a variety of Al-rich, silica undersaturated minerals in the reaction zones separating the ultramafic rocks from the silica-rich rocks can be explained by a diffusion model. This involves the diffusion of Mg from ultramafic rocks across the layers, and K and Si diffuse in opposite direction. Chemical potential of Mg and Si generated continuous monotonic gradient, allowing steady state diffusional transport across the profile. The strong enrichment in Al, and the considerable loss of Si, during the formation of reaction bands can be inferred from isocon diagrams. Some Al was probably added to the reaction zones, while Si was lost. This is most likely due to fluids percolating parallel to the zones at the boundary of the rock units. This study has shown that not only pressure and temperature conditions but most importantly PH2O and the concentration of the chlorine and fluorine in aqueous fluids also control the mass transport in different geological environments.

Paleontological studies of Cretaceous vertebrate fossil beds in the Tataouine Basin (southern Tunisia)

The ‘Continental Intercalaire’ deposits of the Tataouine basin of southern Tunisia preserve one of the most diverse Cretaceous vertebrate fauna from Africa. This research project focuses on a detailed revision of the stratigraphic distribution of mid-Cretaceous fossil beds in the Tataouine Basin and includes the description of four, newly discovered vertebrate tracksites. In the Tataouine region, macro- and microvertebrate remains are recovered from three stratigraphic intervals: the lower Douiret Formation (Barremian), the Chenini (rare) and Oum ed Diab members of the Aïn El Guettar Formation (Albian). A detailed, basin-scale revision of the stratigraphic occurrence of fossil-bearing strata indicates 1. lateral facies variability within the context of a low gradient, circalittoral to coastal-plain environment; 2. multiple and diachronous fossil beds which include elasmobranchs, actinopterygians, sarcopterygians, turtles, crocodyliforms, pterosaurs, and non-avian dinosaurs remains. Four vertebrate tracksites have been discovered in the study area: 1. the Middle Jurassic Beni Ghedir site which preserves approximately 130 tridactyl footprints distributed over an area of 200 square meters, representing the oldest evidence of a dinosaur fauna in Tunisia; 2. the late Albian Chenini tracksite, which includes poorly preserved crocodilian tracks and the dinosaur ichnospecies Apulosauripus federicianus; 3. the Cenomanian Ksar Ayaat locality, where footprints assigned to a pleurodiran turtle are exposed, and 4. the upper Cenomanian Jebel Boulouha site which presents almost 100 well-preserved tridactyl tracks referred to small-sized theropods, fossil bird tracks - ichnogenus Koreanaorins – and tracks referred to a mammalian trackmaker, representing the first report of fossil bird and mammal from the Cretaceous of continental Africa and Tunisia respectively. In addition, data collected from the Tunisian tracksites have been compared with coeval tracksites in Italy and Croatia, showing analogies in morphology and paleoenvironment of dinosaur ichnoassociations, supporting the already hypothesized subaerial connection between these areas during the mid-Cretaceous.

UHP metamorphic rocks of the Eastern Rhodope Massif, NE Greece: new constraints from petrology, geochemistry and zircon ages

In this PhD thesis, a multidisciplinary study has been carried out on metagranitoids and paragneisses from the Eastern Rhodope Massif, northern Greece, to decipher the pre-Alpine magmatic and geodynamic evolution of the Rhodope Massif and to correlate the eastern part with the western/central parts of the orogen. The Rhodope Massif, which occupies the major part of NE Greece and S Bulgaria, represents the easternmost part of the Internal Hellenides. It is regarded as a nappe stack of high-grade units, which is classically subdivided into an upper unit and a lower unit, separated by a SSE-NNW trending thrust plane, the Nestos thrust. Recent research in the central Greek Rhodope Massif revealed that the two units correspond to two distinct terranes of different age, the Permo-Carboniferous Thracia Terrane, which was overthrusted by the Late Jurassic/Early Cretaceous Rhodope Terrane. These terranes are separated by the Nestos suture, a composite zone comprising metapelites, metabasites, metagranitoids and marbles, which record high-pressure and even ultrahigh-pressure metamorphism in places. Similar characteristic rock associations were investigated during this study along several well-constrained cross sections in vincity to the Ada, Sidiro and Kimi villages in the Greek Eastern Rhodope Massif. Field evidence revealed that the contact zone of the two terranes in the Eastern Rhodope Massif is characterized by a mélange of metapelites, migmatitic amphibolites/eclogites, strongly sheared orthogneisses and marbles. The systematical occurrence of this characteristic rock association between the terranes implies that the Nestos suture is a continuous belt throughout the Greek Rhodope Massif. In this study, a new UHP locality could be established and for the first time in the Greek Rhodope, metamorphic microdiamonds were identified in situ in their host zircons using Laser-Raman spectroscopy. The presence of the diamonds as well as element distribution patterns of the zircons, obtained by TOF-SIMS, indicate metamorphic conditions of T > 1000 °C and P > 4 GPa. The high-pressure and ultrahigh-pressure rocks of the mélange zone are considered to have formed during the subduction of the Nestos Ocean in Jurassic times at ~150 Ma. Melting of metapelitic rocks at UHP conditions facilitated the exhumation to lower crustal levels. To identify major crust forming events, basement granitoids were dated by LA-SF-ICPMS and SHRIMP-II U-Pb analyses of zircons. The geochronological results revealed that the Eastern Rhodope Massif consists of two crustal units, a structurally lower Permo-Carboniferous unit corresponding to the Thracia Terrane and a structurally upper Late Jurassic/Early Cretaceous unit corresponding to the Rhodope Terrane, like it was documented for the Central Rhodope Massif. Inherited zircons in the orthogneisses from the Thracia Terrane of the Eastern Rhodope Massif indicate the presence of a pre-existing Neoproterozoic and Ordovician-Silurian basement in this region. Triassic magmatism is witnessed by the zircons of few orthogneisses from the easternmost Rhodope Massif and is interpreted to be related to rifting processes. Whole-rock major and trace element analyses indicate that the metagranitoids from both terranes originated in a subduction-related magmatic-arc environment. The Sr-Nd isotope data for both terranes of the Eastern and Central Rhodope Massif suggest a mixed crust-mantle source with variable contributions of older crustal material as already indicated by the presence of inherited zircons. Geochemical and isotopic similarity of the basement of the Thracia Terrane and the Pelagonian Zone implies that the Thracia Terrane is a fragment of a formerly unique Permo-Carboniferous basement, separated by rifting and opening of the Meliata-Maliac ocean system in Triassic times. A branch of the Meliata-Maliac ocean system, the Nestos Ocean, subducted northwards in Late Jurassic times leading to the formation of the Late Jurassic/Early Cretaceous Rhodope magmatic arc on remnants of the Thracia Terrane as suggested by inherited Permo-Carboniferous zircons. The ~150 Ma zircon ages of the orthogneisses from the Rhodope Terrane indicate that subduction-related magmatism and HP/UHP metamorphism occurred during the same subduction phase. Subduction ceased due to the closure of the Nestos Ocean in the Late Jurassic/Early Cretaceous. The post-Jurassic evolution of the Rhodope Massif is characterized by the exhumation of the Rhodope core complex in the course of extensional tectonics associated with late granite intrusions in Eocene to Miocene times.

Use of shared memory in the context of embedded multi-core processors: exploration of the technology and its limits

Modern embedded systems embrace many-core shared-memory designs. Due to constrained power and area budgets, most of them feature software-managed scratchpad memories instead of data caches to increase the data locality. It is therefore programmers’ responsibility to explicitly manage the memory transfers, and this make programming these platform cumbersome. Moreover, complex modern applications must be adequately parallelized before they can the parallel potential of the platform into actual performance. To support this, programming languages were proposed, which work at a high level of abstraction, and rely on a runtime whose cost hinders performance, especially in embedded systems, where resources and power budget are constrained. This dissertation explores the applicability of the shared-memory paradigm on modern many-core systems, focusing on the ease-of-programming. It focuses on OpenMP, the de-facto standard for shared memory programming. In a first part, the cost of algorithms for synchronization and data partitioning are analyzed, and they are adapted to modern embedded many-cores. Then, the original design of an OpenMP runtime library is presented, which supports complex forms of parallelism such as multi-level and irregular parallelism. In the second part of the thesis, the focus is on heterogeneous systems, where hardware accelerators are coupled to (many-)cores to implement key functional kernels with orders-of-magnitude of speedup and energy efficiency compared to the “pure software” version. However, three main issues rise, namely i) platform design complexity, ii) architectural scalability and iii) programmability. To tackle them, a template for a generic hardware processing unit (HWPU) is proposed, which share the memory banks with cores, and the template for a scalable architecture is shown, which integrates them through the shared-memory system. Then, a full software stack and toolchain are developed to support platform design and to let programmers exploiting the accelerators of the platform. The OpenMP frontend is extended to interact with it.