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

Performance of concrete incorporating amorphous silica residue and biomass fly ash

L'industrie du ciment est l'une des principales sources d'émission de dioxyde de carbone. L'industrie mondiale du ciment contribue à environ 7% des émissions de gaz à effet de serre dans l'atmosphère. Afin d'aborder les effets environnementaux associés à la fabrication de ciment exploitant en permanence les ressources naturelles, il est nécessaire de développer des liants alternatifs pour fabriquer du béton durable. Ainsi, de nombreux sous-produits industriels ont été utilisés pour remplacer partiellement le ciment dans le béton afin de générer plus d'économie et de durabilité. La performance d'un additif de ciment est dans la cinétique d'hydratation et de la synergie entre les additions et de ciment Portland. Dans ce projet, deux sous-produits industriels sont étudiés comme des matériaux cimentaires alternatifs: le résidu de silice amorphe (RSA) et les cendres des boues de désencrage. Le RSA est un sous-produit de la production de magnésium provenant de l'Alliance Magnésium des villes d'Asbestos et Thedford Mines, et les cendres des boues de désencrage est un sous-produit de la combustion des boues de désencrage, l'écorce et les résidus de bois dans le système à lit fluidisé de l'usine de Brompton située près de Sherbrooke, Québec, Canada. Récemment, les cendres des boues de désencrage ont été utilisées comme des matériaux cimentaires alternatifs. L'utilisation de ces cendres comme matériau cimentaire dans la fabrication du béton conduit à réduire la qualité des bétons. Ces problèmes sont causés par des produits d'hydratation perturbateurs des cendres volantes de la biomasse quand ces cendres sont partiellement mélangées avec du ciment dans la fabrication du béton. Le processus de pré-mouillage de la cendre de boue de désencrage avant la fabrication du béton réduit les produits d'hydratation perturbateurs et par conséquent les propriétés mécaniques du béton sont améliorées. Les approches pour étudier la cendre de boue de désencrage dans ce projet sont : 1) caractérisation de cette cendre volante régulière et pré-humidifiée, 2) l'étude de la performance du mortier et du béton incorporant cette cendre volante régulière et pré-humidifiée. Le RSA est un nouveau sous-produit industriel. La haute teneur en silice amorphe en RSA est un excellent potentiel en tant que matériau cimentaire dans le béton. Dans ce projet, l'évaluation des RSA comme matériaux cimentaires alternatifs compose trois étapes. Tout d'abord, la caractérisation par la détermination des propriétés minéralogiques, physiques et chimiques des RSA, ensuite, l'optimisation du taux de remplacement du ciment par le RSA dans le mortier, et enfin l'évaluation du RSA en remplacement partiel du ciment dans différents types de béton dans le système binaire et ternaire. Cette étude a révélé que le béton de haute performance (BHP) incorporant le RSA a montré des propriétés mécaniques et la durabilité, similaire du contrôle. Le RSA a amélioré les propriétés des mécaniques et la durabilité du béton ordinaire (BO). Le béton autoplaçant (BAP) incorporant le RSA est stable, homogène et a montré de bonnes propriétés mécaniques et la durabilité. Le RSA avait une bonne synergie en combinaison de liant ternaire avec d'autres matériaux cimentaires supplémentaires. Cette étude a montré que le RSA peut être utilisé comme nouveaux matériaux cimentaires dans le béton.

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.

Il ruolo del casting nella riabilitazione del soggetto neurologico: una scoping review

Background:i soggetti con esiti di una lesione del SNC sono caratterizzati da un quadro clinico comprensivo di segni negativi e segni positivi come la spasticità e possono andare incontro a molteplici problematiche,come le contracture,che limitano il recupero motorio del paziente favorendo l’immobilità e l’aumento della spasticità,contribuendo alla persistenza della condizione stessa.Il casting si inserisce in questo contesto come trattamento conservativo sui fattori non neurali delle contracture e della spasticità e sembra portare beneficio anche ad alcuni meccanismi neurali della spasticità.Obiettivo:l’obiettivo di questa Scoping review è una mappatura della letteratura esistente sul ruolo del casting all’interno della riabilitazione dei soggetti neurologici,fornendo una descrizione dei protocolli nei vari studi e identificando evidenze e lacune per aiutare la ricerca futura.Metodi:sono state interrogate le banche dati PEDro,PubMed,Cochrane Library ponendo come limiti la lingua inglese,italiana e l’età dei partecipanti maggiore di 19 aa.Gli articoli ottenuti sono stati selezionati con i criteri di eleggibilità e sono stati inclusi SR,RCT,case report,case series e studi osservazionali.Risultati:la Review ha incluso 10 fonti di evidenza.Gli articoli fanno riferimento a diversi tipi di interventi di casting:unito alla tossina botulinica,allo splinting, allo stretching,al motor training o da solo.Conclusioni:dall’analisi delle fonti di evidenza emerge il potenziale degli interventi di casting in un contesto multidisciplinare.Si evidenzia la necessità di condurre ulteriori studi che descrivano i particolari del trattamento riabilitativo con casting,che si concentrino su una selezione di outcome e di scale di valutazione in linea con l'ICF e che approfondiscano il contributo del casting alla riabilitazione del soggetto neurologico,per guidare i clinici e i fisioterapisti nella scelta ed erogazione di tale intervento e fornire prove di efficacia ulteriori a suo supporto.

Silk Fibroin And Sodium Alginate Blend: Miscibility And Physical Characteristics.

Films of silk fibroin (SF) and sodium alginate (SA) blends were prepared by solution casting technique. The miscibility of SF and SA in those blends was evaluated and scanning electron microscopy (SEM) revealed that SF/SA 25/75 wt.% blends underwent microscopic phase separation, resulting in globular structures composed mainly of SF. X-ray diffraction indicated the amorphous nature of these blends, even after a treatment with ethanol that turned them insoluble in water. Thermal analyses of blends showed the peaks of degradation of pristine SF and SA shifted to intermediate temperatures. Water vapor permeability, swelling capacity and tensile strength of SF films could be enhanced by blending with SA. Cell viability remained between 90 and 100%, as indicated by in vitro cytotoxicity test. The SF/SA blend with self-assembled SF globules can be used to modulate structural and mechanical properties of the final material and may be used in designing high performance wound dressing.

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.

Nitric Oxide-releasing Poly(vinyl Alcohol) Film For Increasing Dermal Vasodilation.

Pathological conditions associated with the impairment of nitric oxide (NO) production in the vasculature, such as Raynaud's syndrome and diabetic angiopathy, have stimulated the development of new biomaterials capable of delivering NO topically. With this purpose, we modified poly(vinyl-alcohol) (PVA) by chemically crosslinking it via esterification with mercaptosuccinic acid. This reaction allowed the casting of sulfhydrylated PVA (PVA-SH) films. Differential scanning calorimetry and X-ray diffractometry showed that the crosslinking reaction completely suppressed the crystallization of PVA, leading to a non-porous film with a homogeneous distribution of -SH groups. The remaining free hydroxyl groups in the PVA-SH network conferred partial hydrophylicity to the material, which was responsible for a swelling degree of ca. 110%. The PVA-SH films were subjected to an S-nitrosation reaction of the -SH groups, yielding a PVA containing S-nitrosothiol groups (PVA-SNO). Amperometric and chemiluminescence measurements showed that the PVA-SNO films were capable of releasing NO spontaneously after immersion in physiological medium. Laser Doppler-flowmetry, used to assess the blood flow in the dermal microcirculation, showed that the topical application of hydrated PVA-SNO films on the health skin led to a dose- and time-dependent increase of more than 5-fold in the dermal baseline blood flow in less than 10min, with a prolonged action of more than 4h during continuous application. These results show that PVA-SNO films might emerge as a new material with potential for the topical treatment of microvascular skin disorders.

Caracterização físico-química de filmes comestíveis de amido adicionado de acerola (Malphigia emarginata D.C.)

Edibles films are an alternative to synthetic materials used for packing food products. Barbados cherry is rich in vitamin C and carotenoids. The aim of this study was to characterize and develop films by casting from cassava starch, lyophilized Barbados cherry pulp and glycerol. The films were characterized with respect to thickness, water vapor permeability (WVP), water solubility, vitamin C, carotene and mechanical properties. The interaction of pulp and glycerol reduced film thickness. An increase in pulp concentration up to 60% increased WVP but beyond this concentration reduced both WVP and solubility leading to an increased level of vitamin C and β carotene in the films.