On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Does time ever fly or slow down? The difficult interpretation of psychophysical data on time perception.

Time perception is studied with subjective or semi-objective psychophysical methods. With subjective methods, observers provide quantitative estimates of duration and data depict the psychophysical function relating subjective duration to objective duration. With semi-objective methods, observers provide categorical or comparative judgments of duration and data depict the psychometric function relating the probability of a certain judgment to objective duration. Both approaches are used to study whether subjective and objective time run at the same pace or whether time flies or slows down under certain conditions. We analyze theoretical aspects affecting the interpretation of data gathered with the most widely used semi-objective methods, including single-presentation and paired-comparison methods. For this purpose, a formal model of psychophysical performance is used in which subjective duration is represented via a psychophysical function and the scalar property. This provides the timing component of the model, which is invariant across methods. A decisional component that varies across methods reflects how observers use subjective durations to make judgments and give the responses requested under each method. Application of the model shows that psychometric functions in single-presentation methods are uninterpretable because the various influences on observed performance are inextricably confounded in the data. In contrast, data gathered with paired-comparison methods permit separating out those influences. Prevalent approaches to fitting psychometric functions to data are also discussed and shown to be inconsistent with widely accepted principles of time perception, implicitly assuming instead that subjective time equals objective time and that observed differences across conditions do not reflect differences in perceived duration but criterion shifts. These analyses prompt evidence-based recommendations for best methodological practice in studies on time perception.

Filling in gaps of Drosophila melanogaster urate degradation metabolic pathway using metabolomics approaches: towards the core metabolome of the fruit fly

The primary goal of systems biology is to integrate complex omics data, and data obtained from traditional experimental studies in order to provide a holistic understanding of organismal function. One way of achieving this aim is to generate genome-scale metabolic models (GEMs), which contain information on all metabolites, enzyme-coding genes, and biochemical reactions in a biological system. Drosophila melanogaster GEM has not been reconstructed to date. Constraint-free genome-wide metabolic model of the fruit fly has been reconstructed in our lab, identifying gaps, where no enzyme was identified and metabolites were either only produced or consume. The main focus of the work presented in this thesis was to develop a pipeline for efficient gap filling using metabolomics approaches combined with standard reverse genetics methods, using 5-hydroxyisourate hydrolase (5-HIUH) as an example. 5-HIUH plays a role in urate degradation pathway. Inability to degrade urate can lead to inborn errors of metabolism (IEMs) in humans, including hyperuricemia. Based on sequence analysis Drosophila CG30016 gene was hypothesised to encode 5- HIUH. CG30016 knockout flies were examined to identify Malpighian tubules phenotype, and shortened lifespan might reflect kidney disorders in hyperuricemia in humans. Moreover, LC-MS analysis of mutant tubules revealed that CG30016 is involved in purine metabolism, and specifically urate degradation pathway. However, the exact role of the gene has not been identified, and the complete method for gap filling has not been developed. Nevertheless, thanks to the work presented here, we are a step closer towards the development of a gap-filling pipeline in Drosophila melanogaster GEM. Importantly, the areas that require further optimisation were identified and are the focus of future research. Moreover, LC-MS analysis confirmed that tubules rather than the whole fly were more suitable for metabolomics analysis of purine metabolism. Previously, Dow/Davies lab has generated the most complete tissue-specific transcriptomic atlas for Drosophila – FlyAtlas.org, which provides data on gene expression across multiple tissues of adult fly and larva. FlyAtlas revealed that transcripts of many genes are enriched in specific Drosophila tissues, and that it is possible to deduce the functions of individual tissues within the fly. Based on FlyAtlas data, it has become clear that the fly (like other metazoan species) must be considered as a set of tissues, each 2 with its own distinct transcriptional and functional profile. Moreover, it revealed that for about 30% of the genome, reverse genetic methods (i.e. mutation in an unknown gene followed by observation of phenotype) are only useful if specific tissues are investigated. Based on the FlyAtlas findings, we aimed to build a primary tissue-specific metabolome of the fruit fly, in order to establish whether different Drosophila tissues have different metabolomes and if they correspond to tissue-specific transcriptome of the fruit fly (FlyAtlas.org). Different fly tissues have been dissected and their metabolome elucidated using LC-MS. The results confirmed that tissue metabolomes differ significantly from each other and from the whole fly, and that some of these differences can be correlated to the tissue function. The results illustrate the need to study individual tissues as well as the whole organism. It is clear that some metabolites that play an important role in a given tissue might not be detected in the whole fly sample because their abundance is much lower in comparison to other metabolites present in all tissues, which prevent the detection of the tissue-specific compound.

Effect of milling time on mechanical properties of fly ash incorporated cement mortars

Abstract. Currently, thermal energy generation through coal combustion produces ash particles which cause serious environmental problems and which are known as Fly Ash (FA). FA main components are oxides of silicon, aluminum, iron, calcium and magnesium in addition, toxic metals such as arsenic and cobalt. The use of fly ash as a cement replacement material increases long term strength and durability of concrete. In this work, samples were prepared by replacing cement by ground fly ash in 10, 20 and 30% by weight. The characterization of raw materials and microstructure was obtained by Scanning Electron Microscopy (SEM) and X-ray diffraction (XRD). The final results showed that the grinding process significantly improves the mechanical properties of all samples when compared replacing a mortar made with cement by ground fly ash and the reference samples without added fly ash. The beneficial effect of the ground fly ash can increase the use of this product in precast concrete industry

Deciphering proteome dynamics using cell-type selective metabolic protein labeling in the fruit fly Drosophila melanogaster

Otto-von-Guericke-Universität Magdeburg, Fakultät für Naturwissenschaften, Dissertation, 2016

Evaluating potential olive orchard sugar food sources for the olive fly parasitoid Psyttalia concolor

Olive fruit fly Bactrocera oleae (Rossi) (Diptera: Tephritidae) is a major olive pest in the Mediterranean basin where increasing insecticide resistance has enhanced damage and necessitates more reliance on other control strategies, such as biological control. Provision of floral resources has been reported to improve the effectiveness of natural enemies. Here, we tested the effect of six plant nectars and two honeydew sources on the survival of Psyttalia concolor (Szépligeti) (Hymenoptera: Braconidae), a parasitoid wasp used in the biological control of olive fruit fly. Our results showed a positive effect on survival associated with nectars of Anchusa azurea Mill., Rosmarinus officinalis L., Lavatera cretica L. and Calamintha nepeta (L.) Savi, while honeydew proved to be a valuable alternative food source. When offering flowers directly to insects, Anchusa azurea, Lavatera cretica, and Foeniculum vulgare L. were found to be the most beneficial species, indicating also that P. concolor feeds predominantly on shallow corollas.

South American fruit fly Anastrepha fraterculus damage and management in Vitis vinifera table grapes in southern Brazil.

2011

Proposta di traduzione di The Boy Who Could Fly di Sally Gardner: tradurre letteratura gender positive per giovani lettori

Questa tesi presenta la proposta di traduzione del romanzo "The Boy Who Could Fly" della scrittrice e illustratrice britannica Sally Gardner, e nasce dall’interesse per i modelli maschili positivi nella letteratura per l’infanzia e per ragazzi. Il libro fa parte della bibliografia del progetto G-Book, progetto finanziato dall’Unione Europea e a cura del Centro MeTRa dell’Università di Bologna volto alla promozione della letteratura gender positive per l’infanzia e per ragazzi. L’autrice tratta con ironia argomenti delicati come la valorizzazione della diversità e le relazioni familiari e tra coetanei. La tesi è suddivisa in quattro capitoli. Il primo capitolo è dedicato all’evoluzione della letteratura per l’infanzia e per ragazzi in una prospettiva gender positive, al ruolo della scuola nell’educazione alla lettura e alla sensibilizzazione per un’effettiva uguaglianza di genere e ai principali atti legislativi. Vengono presentati il Centro MeTRa, il progetto G-Book, l’analisi delle pubblicazioni per fasce d’età e delle relative questioni traduttive e, da ultimo, viene affrontato il rapporto degli italiani con la lettura. Il secondo capitolo contiene una presentazione dell’autrice, delle sue opere, dei caratteri salienti del romanzo e dei temi affrontati. Nel terzo capitolo viene esposta la scelta relativa al tema della presente tesi, ovvero i male characters e come i modelli maschili positivi possano avere un’influenza nella lotta per la parità di genere e per il superamento degli stereotipi. In questa parte dell’elaborato viene analizzata più a fondo la bibliografia G-Book e vengono presentati i capitoli del romanzo che sono stati tradotti. Il quarto capitolo comprende il commento alla traduzione e la tesi termina con due possibili collocazioni editoriali di The Boy Who Could Fly e la scheda di lettura del libro.

Discovery Of A Rare Pterosaur Bone Bed In A Cretaceous Desert With Insights On Ontogeny And Behavior Of Flying Reptiles.

A pterosaur bone bed with at least 47 individuals (wing spans: 0.65-2.35 m) of a new species is reported from southern Brazil from an interdunal lake deposit of a Cretaceous desert, shedding new light on several biological aspects of those flying reptiles. The material represents a new pterosaur, Caiuajara dobruskii gen. et sp. nov., that is the southermost occurrence of the edentulous clade Tapejaridae (Tapejarinae, Pterodactyloidea) recovered so far. Caiuajara dobruskii differs from all other members of this clade in several cranial features, including the presence of a ventral sagittal bony expansion projected inside the nasoantorbital fenestra, which is formed by the premaxillae; and features of the lower jaw, like a marked rounded depression in the occlusal concavity of the dentary. Ontogenetic variation of Caiuajara dobruskii is mainly reflected in the size and inclination of the premaxillary crest, changing from small and inclined (∼ 115°) in juveniles to large and steep (∼ 90°) in adults. No particular ontogenetic features are observed in postcranial elements. The available information suggests that this species was gregarious, living in colonies, and most likely precocial, being able to fly at a very young age, which might have been a general trend for at least derived pterosaurs.

Efeito da adição de cinza da casca de arroz em misturas cimento-casca de arroz

The rice husk and its ash are abundant and renewable and can be used to obtain alternative building materials. An increase in the consumption of such waste could help minimize the environmental problems from their improper disposal. This study aimed to evaluate the use of ashes as a cargo mineral (filler). However, the rice husk chemically interferes in the conduct of the based cement mixtures. Thus, different mixes cement-rice husk with and without the addition of ash were evaluated in order to highlight the influence of its components (husk; ash), which could otherwise be excluded or be underestimated. Cylindrical samples (test of simple compression and traction by diametrical compression) and samples extracted from manufactured pressed board (test of bending and parallel compression to the surface), were used to evaluate the behavior of different mixtures of components (rice hush; RHA - rice husk ahs). The results of the mechanical tests showed, in general, there is not a statistical difference between the mixtures, which are associated with the chemical suppressive effect of the rice husk ash. The mixture of rice husk of 10 mm, with an addition of 35% of the rice husk ash, is notable for allowing the highest consumption of rice husk and rice husk ash, to reduce 25% the consumption of cement and to allow the storage (without emissions to the atmosphere), around 1.9 ton of CO2 per ton of cement consumed, thus contributing to the reduction of CO2 emissions, which can stimulate rural constructions under an ecological point of view.

Caracterização física e mecânica de argamassas à base de cimento Portland e cinza de casca de arroz residual

Rice husk, employed as an energy source at milling industries in Brazil generates, after burning, a dark ash. This residue is not yet conveniently disposed, being currently dumped on large areas, causing environmental problems. This research intended to evaluate the applications of residual rice husk ashes (RHA) as a partial replacement of cement for mortar production. Rice husk ash was chemically characterized through X-ray fluorescence, determination of carbon content, X-ray diffraction, and laser granulometric analysis. Mortar specimens were submitted to two different exposure conditions: internal and external environments at a maximum period of five months. Physical-mechanical testing were compressive strength and ultrasonic pulse velocity (UPV). Although presenting good mechanical performance, the mortar based on ash (RHA) did not present pozolanicity but it can be employed in cement matrices as inert material (filler).

Risco, corpo e socialidade no voo livre

Universidade Estadual de Campinas . Faculdade de Educação Física

Análise da pozolanicidade da cinza da casca da castanha do caju pelo método de difratometria de raios X

Atualmente, o aproveitamento de resíduos na construção civil tem sido estimulado, uma vez que esse setor apresenta-se como um dos maiores consumidores de materiais naturais em seus processos e produtos. As cinzas ocupam lugar de destaque entre os resíduos agroindustriais por resultarem de processos de geração de energia. Grande parte dessas cinzas possui atividade pozolânica, podendo ser utilizada como substituto parcial do cimento Portland, resultando numa economia significativa de energia e custo. Este trabalho faz parte de uma pesquisa mais ampla, a qual busca avaliar a viabilidade técnica da cinza da casca da castanha de caju (CCCC) como adição mineral em matrizes de cimento Portland, como também, propor uma metodologia de análise de cinzas agroindustriais. Aplicou-se a técnica de difratometria de raios X para avaliar a reatividade do hidróxido de cálcio pela cinza da casca da castanha de caju em pastas, empregaram-se teores de substituição entre 2,5 e 30,0% e os difratogramas das pastas foram comparados com os das pastas confeccionadas com sílica ativa, executados sobre as mesmas condições de ensaio. Os resultados apontam para a ausência de reatividade pozolânica da CCCC com o cimento Portland.

Fire management and the nesting of Athene cunicularia (Aves, Strigidae) in grasslands in central Cerrado, Brazil

Fire management is a common practice in several reserves in the Cerrado, but its influences on bird reproduction remain unknown. In addition, the nesting biology of the Burrowing Owl (Athene cunicularia) has been studied in numerous environments, but not in tropical grasslands managed by fire. This study examined the effects of fire management on the nesting biology of A. cunicularia in Emas National Park, State of Goias, central Brazilian Cerrado. We compared the number of breeding pairs and their burrows in October and November 2009 at 15 study sites in grasslands managed by fire (firebreaks) and unmanaged grasslands adjacent to and distant from firebreaks. We visited active burrows two-four times and described the burrow entrances and sentinel sites and counted and observed adults and young. A total of 19 burrows were found at firebreaks. One and two burrows were found in grasslands adjacent to and distant from firebreaks, respectively. For all burrows found, one to three young reached the adult size, being able to fly and/or run in early November. The 22 burrows found were in the ground, associated or not with termite and ant nests. Most (86.4%) burrows had only one entrance. Only three burrows had two or three entrances. Structures used as sentinel perches by adults were mounds in front of the burrow entrances, termite nests, shrubs and trees. Most of these sentinel sites were shorter than 2 m high and located less than 10 m from the burrow entrance. At Emas National Park, firebreaks appear to provide more attractive conditions to the nesting of A. cunicularia than unmanaged grasslands, likely because of the short herbaceous stratum due to frequent burning of firebreaks. This study suggests that fire management provides suitable conditions for the successful reproduction of A. cunicularia in firebreaks at Emas National Park.