Variable patterns of Y chromosome homology in Akodontini rodents (Sigmodontinae): a phylogenetic signal revealed by chromosome painting

The Akodontini is the second most speciose tribe of sigmodontine rodents, one of the most diverse groups of neotropical mammals. Molecular phylogenetic analyses are discordant regarding the interrelationships of genera, with low support for some clades. However, two clades are concordant, one (clade A) with Akodon sensu strictu (excluding Akodon serrensis), "Akodon" serrensis, Bibimys, Deltamys, Juscelinomys, Necromys, Oxymycterus, Podoxymys, Thalpomys and Thaptomys, and another (clade B) with Blarinomys, Brucepattersonius, Kunsia, Lenoxus and Scapteromys. Here, we present chromosome painting using Akodon paranaensis (APA) Y paint, after suppression of simple repetitive sequences, on ten Akodontini genera. Partial Y chromosome homology, in addition to the homology already reported on the Akodon genus, was detected on the Y chromosomes of "A." serrensis, Thaptomys, Deltamys, Necromys and Thalpomys and on Y and X chromosomes in Oxymycterus. In Blarinomys, Brucepattersonius, Scapteromys and Kunsia, no APA Y signal was observed using different hybridization conditions; APA X paint gave positive signals only on the X chromosome in all genera. The Y chromosome homology was variable in size and positioning among the species studied as follow: (1) whole acrocentric Y chromosome in Akodon and "A." serrensis, (2) Yp and pericentromeric region in submetacentric Y of Necromys and Thaptomys, (3) pericentromeric region in acrocentric Y of Deltamys, (4) distal Yq in the acrocentric Y chromosome of Thalpomys and (5) proximal Yq in the acrocentric Y and Xp in the basal clade A genus Oxymycterus. The results suggest that the homology involves pairing (pseudoautosomal) and additional regions that have undergone rearrangement during divergence. The widespread Y homology represents a phylogenetic signal in Akodontini that provides additional evidence supporting the monophyly of clade A. The findings also raise questions about the evolution of the pseudoautosomal region observed in Oxymycterus. The Y chromosomes of these closely related species seem to have undergone dynamic rearrangements, including restructuring and reduction of homologous segments. Furthermore, the changes observed may indicate progressive attrition of the Y chromosome in more distantly related species.

EFFECTS OF ADDING LANTHANUM TO Ni/ZrO2 CATALYSTS ON ETHANOL STEAM REFORMING

EFFECTS OF ADDING LANTHANUM TO Ni/ZrO2 CATALYSTS ON ETHANOL STEAM REFORMING. The catalytic performance of Ni/ZrO2 catalysts loaded with different lanthanum content for steam reforming of ethanol was investigated. Catalysts were characterized by BET surface area, X-ray diffraction, UV-vis spectroscopy, temperature programmed reduction, and X-ray absorption fine structure techniques. Results showed that lanthanum addition led to an increase in the degree of reduction of both NiO and nickel surface species interacting; with the support, due to the higher dispersion effect. The best catalytic performance at 450 degrees C was found for the Ni/2LZ catalyst, which exhibited an effluent gaseous mixture with the highest H-2 yield.

Effect of a single session of aerobic walking exercise on arterial pressure in community-living elderly individuals

Several studies have demonstrated that one exercise session (ES) on a cycloergometer or ergometric treadmill causes a reduction in blood pressure (BP). However, there are few similar studies on walking, which is the exercise modality most available to the elderly. We investigated the immediate and 24-h effects of walking on BP in independent, community-living elderly individuals. Volunteers participated in a single ES and resting control session (CS). Before and after each session, BP was measured by auscultatory and oscillometric methods. After each session, 24-h ambulatory blood pressure monitoring was conducted. An accelerometer was installed 48 h before the sessions and left in place for 5 days. The mean volunteer age was 67.7 +/- 3.5 years; 11 were hypertensive patients under treatment, and 12 were normotensive. In the total sample, there were immediate 14mm Hg and 12 mm Hg reductions in systolic BP (SBP) after the ES according to the auscultatory and oscillometric methods, respectively. Diastolic BP (DBP) was reduced by 4 mm Hg after the ES according to both methods. SBP during wakefulness and sleep and DBP during wakefulness were lower after the ES than after the CS (P<0.01), when wakefulness and sleep were determined individually (variable-time pattern) using data from the activity monitors and provided by the volunteers. The variable-time pattern was more effective in detecting reductions in BP than the fixed-time pattern. Hypertension Research (2012) 35, 457-462; doi: 10.1038/hr.2011.227; published online 9 February 2012

Design of a Dinuclear Nickel(II) Bioinspired Hydrolase to Bind Covalently to Silica Surfaces: Synthesis, Magnetism, and Reactivity Studies

Presented herein is the design of a dinuclear Ni-II synthetic hydrolase [Ni-2(HBPPAMFF)(mu-OAc)(2)(H2O)]-BPh4 (1) (H(2)BPPAMFF = 2-[(N-benzyl-N-2-pyridylmethylamine)]-4-methyl-6-[N-(2-pyridylmethyl)aminomethyl)])-4- methyl-6-formylphenol) to be covalently attached to silica surfaces, while maintaining its catalytic activity. An aldehyde-containing ligand (H(2)BPPAMFF) provides a reactive functional group that can serve as a cross-linking group to bind the complex to an organoalkoxysilane and later to the silica surfaces or directly to amino-modified surfaces. The dinuclear Ni-II complex covalently attached to the silica surfaces was fully characterized by different techniques. The catalytic turnover number (k(cat)) of the immobilized (NiNiII)-Ni-II catalyst in the hydrolysis of 2,4-bis(dinitrophenyl)phosphate is comparable to the homogeneous reaction; however, the catalyst interaction with the support enhanced the substrate to complex association constant, and consequently, the catalytic efficiency (E - k(cat)/K-M) and the supported catalyst can be reused for subsequent diester hydrolysis reactions.

The double task of preventing malnutrition and overweight: a quasi-experimental community-based trial

Background: The Maternal-Child Pastoral is a volunteer-based community organization of the Dominican Republic that works with families to improve child survival and development. A program that promotes key practices of maternal and child care through meetings with pregnant women and home visits to promote child growth and development was designed and implemented. This study aims to evaluate the impact of the program on nutritional status indicators of children in the first two years of age. Methods: A quasi-experimental design was used, with groups paired according to a socioeconomic index, comparing eight geographical areas of intervention with eight control areas. The intervention was carried out by lay health volunteers. Mothers in the intervention areas received home visits each month and participated in a group activity held biweekly during pregnancy and monthly after birth. The primary outcomes were length and body mass index for age. Statistical analyses were based on linear and logistic regression models. Results: 196 children in the intervention group and 263 in the control group were evaluated. The intervention did not show statistically significant effects on length, but point estimates found were in the desired direction: mean difference 0.21 (95%CI −0.02; 0.44) for length-for-age Z-score and OR 0.50 (95%CI 0.22; 1.10) for stunting. Significant reductions of BMI-for-age Z-score (−0.31, 95%CI −0.49; -0.12) and of BMI-for-age > 85th percentile (0.43, 95%CI 0.23; 0.77) were observed. The intervention showed positive effects in some indicators of intermediary factors such as growth monitoring, health promotion activities, micronutrient supplementation, exclusive breastfeeding and complementary feeding. Conclusions: Despite finding effect measures pointing to effects in the desired direction related to malnutrition, we could only detect a reduction in the risk of overweight attributable to the intervention. The findings related to obesity prevention may be of interest in the context of the nutritional transition. Given the size of this study, the results are encouraging and we believe a larger study is warranted.

Increased interleukin-10 and interferon-γ levels in Plasmodium vivax malaria suggest a reciprocal regulation which is not altered by IL-10 gene promoter polymorphism

Background In human malaria, the naturally-acquired immune response can result in either the elimination of the parasite or a persistent response mediated by cytokines that leads to immunopathology. The cytokines are responsible for all the symptoms, pathological alterations and the outcome of the infection depends on the reciprocal regulation of the pro and anti-inflammatory cytokines. IL-10 and IFN-gamma are able to mediate this process and their production can be affected by single nucleotide polymorphisms (SNPs) on gene of these cytokines. In this study, the relationship between cytokine IL-10/IFN-gamma levels, parasitaemia, and their gene polymorphisms was examined and the participation of pro-inflammatory and regulatory balance during a natural immune response in Plasmodium vivax-infected individuals was observed. Methods The serum levels of the cytokines IL-4, IL-12, IFN-gamma and IL-10 from 132 patients were evaluated by indirect enzyme-linked immunosorbent assays (ELISA). The polymorphism at position +874 of the IFN-gamma gene was identified by allele-specific polymerase chain reaction (ASO-PCR) method, and the polymorphism at position -1082 of the IL-10 gene was analysed by PCR-RFLP (PCR-Restriction Fragment Length Polymorphism). Results The levels of a pro- (IFN-gamma) and an anti-inflammatory cytokine (IL-10) were significantly higher in P. vivax-infected individuals as compared to healthy controls. The IFN-gamma levels in primoinfected patients were significantly higher than in patients who had suffered only one and more than one previous episode. The mutant alleles of both IFN-gamma and IL-10 genes were more frequent than the wild allele. In the case of the IFNG+874 polymorphism (IFN-gamma) the frequencies of the mutant (A) and wild (T) alleles were 70.13% and 29.87%, respectively. Similar frequencies were recorded in IL-10-1082, with the mutant (A) allele returning a frequency of 70.78%, and the wild (G) allele a frequency of 29.22%. The frequencies of the alleles associated with reduced production of both IFN-gamma and IL-10 were high, but this effect was only observed in the production of IFN-gamma. Conclusions This study has shown evidence of reciprocal regulation of the levels of IL-10 and IFN-gamma cytokines in P. vivax malaria, which is not altered by the presence of polymorphism in the IL-10 gene.

Phylogeography of the neotropical Anopheles triannulatus complex (Diptera: Culicidae) supports deep structure and complex patterns

Abstract Background The molecular phylogenetic relationships and population structure of the species of the Anopheles triannulatus complex: Anopheles triannulatus s.s., Anopheles halophylus and the putative species Anopheles triannulatus C were investigated. Methods The mitochondrial COI gene, the nuclear white gene and rDNA ITS2 of samples that include the known geographic distribution of these taxa were analyzed. Phylogenetic analyses were performed using Bayesian inference, Maximum parsimony and Maximum likelihood approaches. Results Each data set analyzed septely yielded a different topology but none provided evidence for the seption of An. halophylus and An. triannulatus C, consistent with the hypothesis that the two are undergoing incipient speciation. The phylogenetic analyses of the white gene found three main clades, whereas the statistical parsimony network detected only a single metapopulation of Anopheles triannulatus s.l. Seven COI lineages were detected by phylogenetic and network analysis. In contrast, the network, but not the phylogenetic analyses, strongly supported three ITS2 groups. Combined data analyses provided the best resolution of the trees, with two major clades, Amazonian (clade I) and trans-Andean + Amazon Delta (clade II). Clade I consists of multiple subclades: An. halophylus + An. triannulatus C; trans-Andean Venezuela; central Amazonia + central Bolivia; Atlantic coastal lowland; and Amazon delta. Clade II includes three subclades: Panama; cis-Andean Colombia; and cis-Venezuela. The Amazon delta specimens are in both clades, likely indicating local sympatry. Spatial and molecular variance analyses detected nine groups, corroborating some of subclades obtained in the combined data analysis. Conclusion Combination of the three molecular markers provided the best resolution for differentiation within An. triannulatus s.s. and An. halophylus and C. The latest two species seem to be very closely related and the analyses performed were not conclusive regarding species differentiation. Further studies including new molecular markers would be desirable to solve this species status question. Besides, results of the study indicate a trans-Andean origin for An. triannulatus s.l. The potential implications for malaria epidemiology remain to be investigated.

Efeito da adição de lantânio em catalisadores de Ni/ZrO2 aplicados na reação de reforma a vapor de etanol

The catalytic performance of Ni/ZrO2 catalysts loaded with different lanthanum content for steam reforming of ethanol was investigated. Catalysts were characterized by BET surface area, X-ray diffraction, UV-vis spectroscopy, temperature programmed reduction, and X-ray absorption fine structure techniques. Results showed that lanthanum addition led to an increase in the degree of reduction of both NiO and nickel surface species interacting with the support, due to the higher dispersion effect. The best catalytic performance at 450 ºC was found for the Ni/12LZ catalyst, which exhibited an effluent gaseous mixture with the highest H2 yield.

A new armored catfish species of the genus Hypostomus Lacépède, 1803 (Siluriformes: Loricariidae) from the upper rio Xingu basin, Brazil

A new armored catfish species of the genus Hypostomus is described from the upper rio Xingu basin, Mato Grosso State, Brazil. The new species is diagnosed from congeners by having high number of teeth (58 to 101, mean 77 on premaxilla, and 58 to 105, mean 80 on dentary), dark spots over body and fins, and abdomen mostly naked. The new species is known from the rapids of the rio Culuene, where it is sympatric with Hypostomus faveolus.

Systematics of the Oswaldoi Complex (Anopheles, Nyssorhynchus) in South America

Abstract Background Effective malaria control relies on accurate identification of those Anopheles mosquitoes responsible for the transmission of Plasmodium parasites. Anopheles oswaldoi s.l. has been incriminated as a malaria vector in Colombia and some localities in Brazil, but not ubiquitously throughout its Neotropical range. This evidence together with variable morphological characters and genetic differences supports that An. oswaldoi s.l. compromises a species complex. The recent fully integrated redescription of An. oswaldoi s.s. provides a solid taxonomic foundation from which to molecularly determine other members of the complex. Methods DNA sequences of the Second Internal Transcribed Spacer (ITS2 - rDNA) (n = 192) and the barcoding region of the Cytochrome Oxidase I gene (COI - mtDNA) (n = 110) were generated from 255 specimens of An. oswaldoi s.l. from 33 localities: Brazil (8 localities, including the lectotype series of An. oswaldoi), Ecuador (4), Colombia (17), Trinidad and Tobago (1), and Peru (3). COI sequences were analyzed employing the Kimura-two-parameter model (K2P), Bayesian analysis (MrBayes), Mixed Yule-Coalescent model (MYC, for delimitation of clusters) and TCS genealogies. Results Separate and combined analysis of the COI and ITS2 data sets unequivocally supported four separate species: two previously determined (An. oswaldoi s.s. and An. oswaldoi B) and two newly designated species in the Oswaldoi Complex (An. oswaldoi A and An. sp. nr. konderi). The COI intra- and inter-specific genetic distances for the four taxa were non-overlapping, averaging 0.012 (0.007 to 0.020) and 0.052 (0.038 to 0.064), respectively. The concurring four clusters delineated by MrBayes and MYC, and four independent TCS networks, strongly confirmed their separate species status. In addition, An. konderi of Sallum should be regarded as unique with respect to the above. Despite initially being included as an outgroup taxon, this species falls well within the examined taxa, suggesting a combined analysis of these taxa would be most appropriate. Conclusions: Through novel data and retrospective comparison of available COI and ITS2 DNA sequences, evidence is shown to support the separate species status of An. oswaldoi s.s., An. oswaldoi A and An. oswaldoi B, and at least two species in the closely related An. konderi complex (An. sp. nr. konderi, An. konderi of Sallum). Although An. oswaldoi s.s. has never been implicated in malaria transmission, An. oswaldoi B is a confirmed vector and the new species An. oswaldoi A and An. sp. nr. konderi are circumstantially implicated, most likely acting as secondary vectors.

Desarrollo de un videojuego multiplataforma en Java

[ES] El trabajo consistirá en abordar el desarrollo de un videojuego utilizando el lenguaje de programación Java y una librería especializada en desarrollo de videojuegos. Crearemos un videojuego del género plataformas. Para ello utilizaremos una vista en dos dimensiones, el jugador controlará un personaje humanoide con el que deberá atravesar una serie de niveles. Los niveles estarán agrupados en mundos con distintas temáticas (nieve, espacio, etc.) y en ellos el jugador se encontrará con múltiples obstáculos y enemigos. Los mundos se definen como agrupaciones de diez niveles en las que en el décimo nivel de cada mundo (nivel final) el jugador se enfrenta a un enemigo con una complejidad mayor al resto. Un ejemplo de videojuego de plataformas similar al que se va a desarrollar sería: "Super Mario Bros.". La librería que utilizaremos permite el desarrollo de videojuegos de escritorio y para móviles utilizando el mismo código. Es multiplataforma y soporta Windows, Linux, Mac OS X, Android, iOS, y navegadores con soporte WebGL.

Cross-layer optimizations in multi-hop ad hoc networks

Unlike traditional wireless networks, characterized by the presence of last-mile, static and reliable infrastructures, Mobile ad Hoc Networks (MANETs) are dynamically formed by collections of mobile and static terminals that exchange data by enabling each other's communication. Supporting multi-hop communication in a MANET is a challenging research area because it requires cooperation between different protocol layers (MAC, routing, transport). In particular, MAC and routing protocols could be considered mutually cooperative protocol layers. When a route is established, the exposed and hidden terminal problems at MAC layer may decrease the end-to-end performance proportionally with the length of each route. Conversely, the contention at MAC layer may cause a routing protocol to respond by initiating new routes queries and routing table updates. Multi-hop communication may also benefit the presence of pseudo-centralized virtual infrastructures obtained by grouping nodes into clusters. Clustering structures may facilitate the spatial reuse of resources by increasing the system capacity: at the same time, the clustering hierarchy may be used to coordinate transmissions events inside the network and to support intra-cluster routing schemes. Again, MAC and clustering protocols could be considered mutually cooperative protocol layers: the clustering scheme could support MAC layer coordination among nodes, by shifting the distributed MAC paradigm towards a pseudo-centralized MAC paradigm. On the other hand, the system benefits of the clustering scheme could be emphasized by the pseudo-centralized MAC layer with the support for differentiated access priorities and controlled contention. In this thesis, we propose cross-layer solutions involving joint design of MAC, clustering and routing protocols in MANETs. As main contribution, we study and analyze the integration of MAC and clustering schemes to support multi-hop communication in large-scale ad hoc networks. A novel clustering protocol, named Availability Clustering (AC), is defined under general nodes' heterogeneity assumptions in terms of connectivity, available energy and relative mobility. On this basis, we design and analyze a distributed and adaptive MAC protocol, named Differentiated Distributed Coordination Function (DDCF), whose focus is to implement adaptive access differentiation based on the node roles, which have been assigned by the upper-layer's clustering scheme. We extensively simulate the proposed clustering scheme by showing its effectiveness in dominating the network dynamics, under some stressing mobility models and different mobility rates. Based on these results, we propose a possible application of the cross-layer MAC+Clustering scheme to support the fast propagation of alert messages in a vehicular environment. At the same time, we investigate the integration of MAC and routing protocols in large scale multi-hop ad-hoc networks. A novel multipath routing scheme is proposed, by extending the AOMDV protocol with a novel load-balancing approach to concurrently distribute the traffic among the multiple paths. We also study the composition effect of a IEEE 802.11-based enhanced MAC forwarding mechanism called Fast Forward (FF), used to reduce the effects of self-contention among frames at the MAC layer. The protocol framework is modelled and extensively simulated for a large set of metrics and scenarios. For both the schemes, the simulation results reveal the benefits of the cross-layer MAC+routing and MAC+clustering approaches over single-layer solutions.

Tecniche per il controllo dinamico del consumo di potenza per piattaforme system-on-chip

Providing support for multimedia applications on low-power mobile devices remains a significant research challenge. This is primarily due to two reasons: • Portable mobile devices have modest sizes and weights, and therefore inadequate resources, low CPU processing power, reduced display capabilities, limited memory and battery lifetimes as compared to desktop and laptop systems. • On the other hand, multimedia applications tend to have distinctive QoS and processing requirementswhichmake themextremely resource-demanding. This innate conflict introduces key research challenges in the design of multimedia applications and device-level power optimization. Energy efficiency in this kind of platforms can be achieved only via a synergistic hardware and software approach. In fact, while System-on-Chips are more and more programmable thus providing functional flexibility, hardwareonly power reduction techniques cannot maintain consumption under acceptable bounds. It is well understood both in research and industry that system configuration andmanagement cannot be controlled efficiently only relying on low-level firmware and hardware drivers. In fact, at this level there is lack of information about user application activity and consequently about the impact of power management decision on QoS. Even though operating system support and integration is a requirement for effective performance and energy management, more effective and QoSsensitive power management is possible if power awareness and hardware configuration control strategies are tightly integratedwith domain-specificmiddleware services. The main objective of this PhD research has been the exploration and the integration of amiddleware-centric energymanagement with applications and operating-system. We choose to focus on the CPU-memory and the video subsystems, since they are the most power-hungry components of an embedded system. A second main objective has been the definition and implementation of software facilities (like toolkits, API, and run-time engines) in order to improve programmability and performance efficiency of such platforms. Enhancing energy efficiency and programmability ofmodernMulti-Processor System-on-Chips (MPSoCs) Consumer applications are characterized by tight time-to-market constraints and extreme cost sensitivity. The software that runs on modern embedded systems must be high performance, real time, and even more important low power. Although much progress has been made on these problems, much remains to be done. Multi-processor System-on-Chip (MPSoC) are increasingly popular platforms for high performance embedded applications. This leads to interesting challenges in software development since efficient software development is a major issue for MPSoc designers. An important step in deploying applications on multiprocessors is to allocate and schedule concurrent tasks to the processing and communication resources of the platform. The problem of allocating and scheduling precedenceconstrained tasks on processors in a distributed real-time system is NP-hard. There is a clear need for deployment technology that addresses thesemulti processing issues. This problem can be tackled by means of specific middleware which takes care of allocating and scheduling tasks on the different processing elements and which tries also to optimize the power consumption of the entire multiprocessor platform. This dissertation is an attempt to develop insight into efficient, flexible and optimalmethods for allocating and scheduling concurrent applications tomultiprocessor architectures. It is a well-known problem in literature: this kind of optimization problems are very complex even in much simplified variants, therefore most authors propose simplified models and heuristic approaches to solve it in reasonable time. Model simplification is often achieved by abstracting away platform implementation ”details”. As a result, optimization problems become more tractable, even reaching polynomial time complexity. Unfortunately, this approach creates an abstraction gap between the optimization model and the real HW-SW platform. The main issue with heuristic or, more in general, with incomplete search is that they introduce an optimality gap of unknown size. They provide very limited or no information on the distance between the best computed solution and the optimal one. The goal of this work is to address both abstraction and optimality gaps, formulating accurate models which accounts for a number of ”non-idealities” in real-life hardware platforms, developing novel mapping algorithms that deterministically find optimal solutions, and implementing software infrastructures required by developers to deploy applications for the targetMPSoC platforms. Energy Efficient LCDBacklightAutoregulation on Real-LifeMultimediaAp- plication Processor Despite the ever increasing advances in Liquid Crystal Display’s (LCD) technology, their power consumption is still one of the major limitations to the battery life of mobile appliances such as smart phones, portable media players, gaming and navigation devices. There is a clear trend towards the increase of LCD size to exploit the multimedia capabilities of portable devices that can receive and render high definition video and pictures. Multimedia applications running on these devices require LCD screen sizes of 2.2 to 3.5 inches andmore to display video sequences and pictures with the required quality. LCD power consumption is dependent on the backlight and pixel matrix driving circuits and is typically proportional to the panel area. As a result, the contribution is also likely to be considerable in future mobile appliances. To address this issue, companies are proposing low power technologies suitable for mobile applications supporting low power states and image control techniques. On the research side, several power saving schemes and algorithms can be found in literature. Some of them exploit software-only techniques to change the image content to reduce the power associated with the crystal polarization, some others are aimed at decreasing the backlight level while compensating the luminance reduction by compensating the user perceived quality degradation using pixel-by-pixel image processing algorithms. The major limitation of these techniques is that they rely on the CPU to perform pixel-based manipulations and their impact on CPU utilization and power consumption has not been assessed. This PhDdissertation shows an alternative approach that exploits in a smart and efficient way the hardware image processing unit almost integrated in every current multimedia application processors to implement a hardware assisted image compensation that allows dynamic scaling of the backlight with a negligible impact on QoS. The proposed approach overcomes CPU-intensive techniques by saving system power without requiring either a dedicated display technology or hardware modification. Thesis Overview The remainder of the thesis is organized as follows. The first part is focused on enhancing energy efficiency and programmability of modern Multi-Processor System-on-Chips (MPSoCs). Chapter 2 gives an overview about architectural trends in embedded systems, illustrating the principal features of new technologies and the key challenges still open. Chapter 3 presents a QoS-driven methodology for optimal allocation and frequency selection for MPSoCs. The methodology is based on functional simulation and full system power estimation. Chapter 4 targets allocation and scheduling of pipelined stream-oriented applications on top of distributed memory architectures with messaging support. We tackled the complexity of the problem by means of decomposition and no-good generation, and prove the increased computational efficiency of this approach with respect to traditional ones. Chapter 5 presents a cooperative framework to solve the allocation, scheduling and voltage/frequency selection problem to optimality for energyefficient MPSoCs, while in Chapter 6 applications with conditional task graph are taken into account. Finally Chapter 7 proposes a complete framework, called Cellflow, to help programmers in efficient software implementation on a real architecture, the Cell Broadband Engine processor. The second part is focused on energy efficient software techniques for LCD displays. Chapter 8 gives an overview about portable device display technologies, illustrating the principal features of LCD video systems and the key challenges still open. Chapter 9 shows several energy efficient software techniques present in literature, while Chapter 10 illustrates in details our method for saving significant power in an LCD panel. Finally, conclusions are drawn, reporting the main research contributions that have been discussed throughout this dissertation.

Applicazione di strumenti e metodi per la gestione ambientale di un territorio vasto - Sviluppo di un sistema di gestione ambientale in un ente pubblico secondo lo schema europeo EMAS e analisi di un sistema energetico territoriale

Environmental Management includes many components, among which we can include Environmental Management Systems (EMS), Environmental Reporting and Analysis, Environmental Information Systems and Environmental Communication. In this work two applications are presented: the developement and implementation of an Environmental Management System in local administrations, according to the European scheme "EMAS", and the analysis of a territorial energy system through scenario building and environmental sustainability assessment. Both applications are linked by the same objective, which is the quest for more scientifically sound elements; in fact, both EMS and energy planning are oftec carachterized by localism and poor comparability. Emergy synthesis, proposed by ecologist H.T. Odum and described in his book "Environmental Accounting: Emergy and Environmental Decision Making" (1996) has been chosen and applied as an environmental evaluation tool, in order complete the analysis with an assessment of the "global value" of goods and processes. In particular, eMergy syntesis has been applied in order to improve the evaluation of the significance of environmental aspects in an EMS, and in order to evaluate the environmental performance of three scenarios of future evolution of the energy system. Regarding EMS, in this work an application of an EMS together with the CLEAR methodology for environmental accounting is discussed, in order to improve the identification of the environmental aspects; data regarding environmental aspects and significant ones for 4 local authorities are also presented, together with a preliminary proposal for the integration of the assessment of the significance of environmental aspects with eMergy synthesis. Regarding the analysis of an energy system, in this work the carachterization of the current situation is presented together with the overall energy balance and the evaluation of the emissions of greenhouse gases; moreover, three scenarios of future evolution are described and discussed. The scenarios have been realized with the support of the LEAP software ("Long Term Energy Alternatives Planning System" by SEI - "Stockholm Environment Institute"). Finally, the eMergy synthesis of the current situation and of the three scenarios is shown.

Definition, realization and evaluation of a software reference architecture for use in space applications

A recent initiative of the European Space Agency (ESA) aims at the definition and adoption of a software reference architecture for use in on-board software of future space missions. Our PhD project placed in the context of that effort. At the outset of our work we gathered all the industrial needs relevant to ESA and all the main European space stakeholders and we were able to consolidate a set of technical high-level requirements for the fulfillment of them. The conclusion we reached from that phase confirmed that the adoption of a software reference architecture was indeed the best solution for the fulfillment of the high-level requirements. The software reference architecture we set on building rests on four constituents: (i) a component model, to design the software as a composition of individually verifiable and reusable software units; (ii) a computational model, to ensure that the architectural description of the software is statically analyzable; (iii) a programming model, to ensure that the implementation of the design entities conforms with the semantics, the assumptions and the constraints of the computational model; (iv) a conforming execution platform, to actively preserve at run time the properties asserted by static analysis. The nature, feasibility and fitness of constituents (ii), (iii) and (iv), were already proved by the author in an international project that preceded the commencement of the PhD work. The core of the PhD project was therefore centered on the design and prototype implementation of constituent (i), a component model. Our proposed component model is centered on: (i) rigorous separation of concerns, achieved with the support for design views and by careful allocation of concerns to the dedicated software entities; (ii) the support for specification and model-based analysis of extra-functional properties; (iii) the inclusion space-specific concerns.