Too Big to Ignore: Global Partnership on Small-Scale Fisheries Research - the Latin America and Caribbean network

Too Big to Ignore (TBTI; www.toobigtoignore.net) is a research network and knowledge mobilization partnership established to elevate the profile of small-scale fisheries (SSF), to argue against their marginalization in national and international policies, and to develop research and governance capacity to address global fisheries challenges. Network participants and partners are conducting global and comparative analyses, as well as in-depth studies of SSF in the context of local complexity and dynamics, along with a thorough examination of governance challenges, to encourage careful consideration of this sector in local, regional and global policy arenas. Comprising 15 partners and 62 researchers from 27 countries, TBTI conducts activities in five regions of the world. In Latin America and the Caribbean (LAC) region, we are taking a participative approach to investigate and promote stewardship and self-governance in SSF, seeking best practices and success stories that could be replicated elsewhere. As well, the region will focus to promote sustainable livelihoods of coastal communities. Key activities include workshops and stakeholder meetings, facilitation of policy dialogue and networking, as well as assessing local capacity needs and training. Currently, LAC members are putting together publications that examine key issues concerning SSF in the region and best practices, with a first focus on ecosystem stewardship. Other planned deliverables include comparative analysis, a regional profile on the top research issues on SSF, and a synthesis of SSF knowledge in LAC

Hepatocyte nuclear factors 1α/4α and forkhead box A2 regulate the solute carrier 2A2 (Slc2a2) gene expression in the liver and kidney of diabetic rats

AIMS: Solute carrier 2a2 (Slc2a2) gene codifies the glucose transporter GLUT2, a key protein for glucose flux in hepatocytes and renal epithelial cells of proximal tubule. In diabetes mellitus, hepatic and tubular glucose output has been related to Slc2a2/GLUT2 overexpression; and controlling the expression of this gene may be an important adjuvant way to improve glycemic homeostasis. Thus, the present study investigated transcriptional mechanisms involved in the diabetes-induced overexpression of the Slc2a2 gene. MAIN METHODS: Hepatocyte nuclear factors 1α and 4α (HNF-1α and HNF-4α), forkhead box A2 (FOXA2), sterol regulatory element binding protein-1c (SREBP-1c) and the CCAAT-enhancer-binding protein (C/EBPβ) mRNA expression (RT-PCR) and binding activity into the Slc2a2 promoter (electrophoretic mobility assay) were analyzed in the liver and kidney of diabetic and 6-day insulin-treated diabetic rats. KEY FINDINGS: Slc2a2/GLUT2 expression increased by more than 50% (P<0.001) in the liver and kidney of diabetic rats, and 6-day insulin treatment restores these values to those observed in non-diabetic animals. Similarly, the mRNA expression and the binding activity of HNF-1α, HNF-4α and FOXA2 increased by 50 to 100% (P<0.05 to P<0.001), also returning to values of non-diabetic rats after insulin treatment. Neither the Srebf1 and Cebpb mRNA expression, nor the SREBP-1c and C/EBP-β binding activity was altered in diabetic rats. SIGNIFICANCE: HNF-1α, HNF-4α and FOXA2 transcriptional factors are involved in diabetes-induced overexpression of Slc2a2 gene in the liver and kidney. These data point out that these transcriptional factors are important targets to control GLUT2 expression in these tissues, which can contribute to glycemic homeostasis in diabetes.

A Fuzzy Ontology-Driven Approach to Semantic Interoperability in e-Government Big Data

With the increasing production of information from e-government initiatives, there is also the need to transform a large volume of unstructured data into useful information for society. All this information should be easily accessible and made available in a meaningful and effective way in order to achieve semantic interoperability in electronic government services, which is a challenge to be pursued by governments round the world. Our aim is to discuss the context of e-Government Big Data and to present a framework to promote semantic interoperability through automatic generation of ontologies from unstructured information found in the Internet. We propose the use of fuzzy mechanisms to deal with natural language terms and present some related works found in this area. The results achieved in this study are based on the architectural definition and major components and requirements in order to compose the proposed framework. With this, it is possible to take advantage of the large volume of information generated from e-Government initiatives and use it to benefit society.

Simulations of glacial/interglacial cycles with simple box-models. The ocean CO2 source during deglaciations

Máster en Oceanografía

Caratterizzazione dinamica sperimentale del rinforzo di pavimentazioni stradali con geogriglie tramite box test

Nella presente tesi viene affrontato il comportamento di materiali granulari sotto carico dinamico. In particolare, viene presentata la sperimentazione di laboratorio seguita presso il Nottingham Transportation Engineering Centre dell'Università di Nottingham, la costruzione del box test e le prove dinamiche eseguite sul materiale granulare rinforzato e non.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Synthesis and surface modification of semiconductor nanocrystals

The last decade has witnessed an exponential growth of activities in the field of nanoscience and nanotechnology worldwide, driven both by the excitement of understanding new science and by the potential hope for applications and economic impacts. The largest activity in this field up to date has been in the synthesis and characterization of new materials consisting of particles with dimensions in the order of a few nanometers, so-called nanocrystalline materials. [1-8] Semiconductor nanomaterials such as III/V or II/VI compound semiconductors exhibit strong quantum confinement behavior in the size range from 1 to 10 nm. Therefore, preparation of high quality semiconductor nanocrystals has been a challenge for synthetic chemists, leading to the recent rapid progress in delivering a wide variety of semiconducting nanomaterials. Semiconductor nanocrystals, also called quantum dots, possess physical properties distinctly different from those of the bulk material. Typically, in the size range from 1 to 10 nm, when the particle size is changed, the band gap between the valence and the conduction band will change, too. In a simple approximation a particle in a box model has been used to describe the phenomenon[9]: at nanoscale dimensions the degenerate energy states of a semiconductor separate into discrete states and the system behaves like one big molecule. The size-dependent transformation of the energy levels of the particles is called “quantum size-effect”. Quantum confinement of both the electron and hole in all three dimensions leads to an increase in the effective bandgap of the material with decreasing crystallite size. Consequently, both the optical absorption and emission of semiconductor nanaocrystals shift to the blue (higher energies) as the size of the particles gets smaller. This color tuning is well documented for CdSe nanocrystals whose absorption and emission covers almost the whole visible spectral range. As particle sizes become smaller the ratio of surface atoms to those in the interior increases, which has a strong impact on particle properties, too. Prominent examples are the low melting point [8] and size/shape dependent pressure resistance [10] of semiconductor nanocrystals. Given the size dependence of particle properties, chemists and material scientists now have the unique opportunity to change the electronic and chemical properties of a material by simply controlling the particle size. In particular, CdSe nanocrystals have been widely investigated. Mainly due to their size-dependent optoelectronic properties [11, 12] and flexible chemical processibility [13], they have played a distinguished role for a number of seminal studies [11, 12, 14, 15]. Potential technical applications have been discussed, too. [8, 16-27] Improvement of the optoelectronic properties of semiconductor nanocrystals is still a prominent research topic. One of the most important approaches is fabricating composite type-I core-shell structures which exhibit improved properties, making them attractive from both a fundamental and a practical point of view. Overcoating of nanocrystallites with higher band gap inorganic materials has been shown to increase the photoluminescence quantum yields by eliminating surface nonradiative recombination sites. [28] Particles passivated with inorganic shells are more robust than nanocrystals covered by organic ligands only and have greater tolerance to processing conditions necessary for incorporation into solid state structures or for other applications. Some examples of core-shell nanocrystals reported earlier include CdS on CdSe [29], CdSe on CdS, [30], ZnS on CdS, [31] ZnS on CdSe[28, 32], ZnSe on CdSe [33] and CdS/HgS/CdS [34]. The characterization and preparation of a new core-shell structure, CdSe nanocrystals overcoated by different shells (CdS, ZnS), is presented in chapter 4. Type-I core-shell structures as mentioned above greatly improve the photoluminescence quantum yield and chemical and photochemical stability of nanocrystals. The emission wavelengths of type-I core/shell nanocrystals typically only shows a small red-shift when compared to the plain core nanocrystals. [30, 31, 35] In contrast to type-I core-shell nanocrystals, only few studies have been conducted on colloidal type-II core/shell structures [36-38] which are characterized by a staggered alignment of conduction and valence bands giving rise to a broad tunability of absorption and emission wavelengths, as was shown for CdTe/CdSe core-shell nanocrystals. [36] The emission of type-II core/shell nanocrystals mainly originates from the radiative recombination of electron-hole pairs across the core-shell interface leading to a long photoluminescence lifetime. Type-II core/shell nanocrystals are promising with respect to photoconduction or photovoltaic applications as has been discussed in the literature.[39] Novel type-II core-shell structures with ZnTe cores are reported in chapter 5. The recent progress in the shape control of semiconductor nanocrystals opens new fields of applications. For instance, rod shaped CdSe nanocrystals can enhance the photo-electro conversion efficiency of photovoltaic cells, [40, 41] and also allow for polarized emission in light emitting diodes. [42, 43] Shape control of anisotropic nanocrystals can be achieved by the use of surfactants, [44, 45] regular or inverse micelles as regulating agents, [46, 47] electrochemical processes, [48] template-assisted [49, 50] and solution-liquid-solution (SLS) growth mechnism. [51-53] Recently, formation of various CdSe nanocrystal shapes has been reported by the groups of Alivisatos [54] and Peng, [55] respectively. Furthermore, it has been reported by the group of Prasad [56] that noble metal nanoparticles can induce anisotropic growth of CdSe nanocrystals at lower temperatures than typically used in other methods for preparing anisotropic CdSe structures. Although several approaches for anisotropic crystal growth have been reported by now, developing new synthetic methods for the shape control of colloidal semiconductor nanocrystals remains an important goal. Accordingly, we have attempted to utilize a crystal phase control approach for the controllable synthesis of colloidal ZnE/CdSe (E = S, Se, Te) heterostructures in a variety of morphologies. The complex heterostructures obtained are presented in chapter 6. The unique optical properties of nanocrystals make them appealing as in vivo and in vitro fluorophores in a variety of biological and chemical investigations, in which traditional fluorescence labels based on organic molecules fall short of providing long-term stability and simultaneous detection of multiple emission colours [References]. The ability to prepare water soluble nanocrystals with high stability and quantum yield has led to promising applications in cellular labeling, [57, 58] deep-tissue imaging, [59, 60] and assay labeling [61, 62]. Furthermore, appropriately solubilized nanocrystals have been used as donors in fluorescence resonance energy transfer (FRET) couples. [63-65] Despite recent progress, much work still needs to be done to achieve reproducible and robust surface functionalization and develop flexible (bio-) conjugation techniques. Based on multi-shell CdSe nanocrystals, several new solubilization and ligand exchange protocols have been developed which are presented in chapter 7. The organization of this thesis is as follows: A short overview describing synthesis and properties of CdSe nanocrystals is given in chapter 2. Chapter 3 is the experimental part providing some background information about the optical and analytical methods used in this thesis. The following chapters report the results of this work: synthesis and characterization of type-I multi-shell and type-II core/shell nanocrystals are described in chapter 4 and chapter 5, respectively. In chapter 6, a high–yield synthesis of various CdSe architectures by crystal phase control is reported. Experiments about surface modification of nanocrystals are described in chapter 7. At last, a short summary of the results is given in chapter 8.

A Phase Space Box-counting based Method for Arrhythmia Prediction from Electrocardiogram Time Series

Arrhythmia is one kind of cardiovascular diseases that give rise to the number of deaths and potentially yields immedicable danger. Arrhythmia is a life threatening condition originating from disorganized propagation of electrical signals in heart resulting in desynchronization among different chambers of the heart. Fundamentally, the synchronization process means that the phase relationship of electrical activities between the chambers remains coherent, maintaining a constant phase difference over time. If desynchronization occurs due to arrhythmia, the coherent phase relationship breaks down resulting in chaotic rhythm affecting the regular pumping mechanism of heart. This phenomenon was explored by using the phase space reconstruction technique which is a standard analysis technique of time series data generated from nonlinear dynamical system. In this project a novel index is presented for predicting the onset of ventricular arrhythmias. Analysis of continuously captured long-term ECG data recordings was conducted up to the onset of arrhythmia by the phase space reconstruction method, obtaining 2-dimensional images, analysed by the box counting method. The method was tested using the ECG data set of three different kinds including normal (NR), Ventricular Tachycardia (VT), Ventricular Fibrillation (VF), extracted from the Physionet ECG database. Statistical measures like mean (μ), standard deviation (σ) and coefficient of variation (σ/μ) for the box-counting in phase space diagrams are derived for a sliding window of 10 beats of ECG signal. From the results of these statistical analyses, a threshold was derived as an upper bound of Coefficient of Variation (CV) for box-counting of ECG phase portraits which is capable of reliably predicting the impeding arrhythmia long before its actual occurrence. As future work of research, it was planned to validate this prediction tool over a wider population of patients affected by different kind of arrhythmia, like atrial fibrillation, bundle and brunch block, and set different thresholds for them, in order to confirm its clinical applicability.

Cis- und trans-Regulation bei Drosophila-T-Box-Genen

Die räumliche und zeitliche Organisation von Genexpression ist für die Entwicklung und das Funktionieren eines jeden Lebewesens von immenser Bedeutung. Dazu laufen eine Vielzahl von Regulationsprozessen auf unterschiedlichen Ebenen ab. In dieser Arbeit wurden im ersten Teil Untersuchungen zur Genregulation des Drosophila optomotor-blind Genes und zur Funktion des Omb Proteins durchgeführt. Eine Mutante, der ein großer Teil der upstream regulatory region (URR) fehlt wurde erzeugt, aus einer Vielzahl von Linien isoliert und molekular charakterisiert. Die biologischen Auswirkungen dieser Deletion werden in Shen et al. (2008) beschrieben. Plasmide zur Erzeugung transgener Fliegen, mit deren Hilfe eine bereits von Sivasankaran et al. (2000) durchgeführte Enhancer-reporter-Analyse vervollständigt werden sollte, wurden hergestellt. Die bereits bekannte Inversion In(1)ombH31 wurde molekular kartiert. Eine Reihe von Konstrukten mit Punktmutationen in der Omb T-Domäne wurden generiert, die unter anderem über deren Funktion hinsichtlich DNA-Protein Interaktion und einer potentiellen Metallionenbindefähigkeit (ATCUN) hin Aufschluss geben sollen. Des Weiteren wurde eine Reihe von P-Element-Deletionslinien auf den Verlust eines alternativen omb Transkriptionsstartpunktes hin untersucht, mit dem Ziel eine vollständige Protein-Nullmutante zur Verfügung zu haben. Der zweite Abschnitt dieser Arbeit befasste sich mit der Erzeugung von Dpp-GFP-Fusionskonstrukten, mit deren Hilfe weitere Erkenntnisse über den Dpp-Langstreckentransport erhofft werden. Es wurde außerdem damit begonnen bei einem weitern Drosophila T-Box Transkriptionsfaktor, Optomotor-blind related gene-1 (Org-1), eine Reihe von Varianten mit homopolymeren polyAlanin und polyGlutamin Expansionen unterschiedlicher Länge herzustellen. Durch Experimente mit diesen Konstrukten soll Aufschluss darüber gewonnen werden, ob Glutamin-Expansionen, wie in der Literatur vorgeschlagen, aktivierend und Alanin-Expansionen in Transkriptionsfaktoren vielleicht reprimierend auf Genaktivität wirken. Letztlich wurden in dieser Arbeit im Rahmen des DROSDEL Projektes (Ryder et al., 2004, 2007) Deletionen in der distalen Hälfte des Chromosomenarms 3R hergestellt. Der DROSDEL Deletionskit, der durch eine Kooperation europäischer Labore entstand stellt der Drosophila Forschung einen umfassenden Satz molekular basengenau definierter Defizienzen zur Verfügung.

Software per l'analisi di Big Data su più livelli e sua applicazione a tracce di Google

Con l'avanzare della tecnologia, i Big Data hanno assunto un ruolo importante. In questo lavoro è stato implementato, in linguaggio Java, un software volto alla analisi dei Big Data mediante R e Hadoop/MapReduce. Il software è stato utilizzato per analizzare le tracce rilasciate da Google, riguardanti il funzionamento dei suoi data center.

Analisi e realizzazione di una piattaforma basate sul Cloud Computing per il trattamento dei Big Data.

L'elaborato introduce i concetti di Big Data, Cloud Computing e le tipologie di paradigmi basati sul calcolo parallelo. Trasformando questi concetti in pratica tramite un caso di studio sui Big Data. Nell'elaborato si spiega l'architettura proposta per l'elaborazione di report in formato pdf. Analaizando in fine i risultati ottenuti.

Suche nach Zielgenen des T-Box-Transkriptionsfaktors Optomotor-blind aus Drosophila melanogaster

Zusammenfassung:rnrnDas Ziel der Arbeit bestand darin mehr über die Funktion des T-Box Transkriptionsfaktors Omb zu erfahren. Dm omb ist der nächste Verwandte zu Hs Tbx2/3, die wegen ihrer Rolle bei verschiedenen Krebsarten für die Entwicklung neuer Therapien bedeutsam sind. rnIn drei, von Herrn Pflugfelder hergestellten, omb Allelen l(1)omb282, l(1)omb12, l(1)omb15 wurden neue Mutationen kartiert. Dabei handelt es sich um zwei missense-Mutationen und eine Stopmutation. Sie betreffen Aminosäurereste, die in allen T-Box Proteinen konserviert sind und daher vermutlich lebenswichtige Proteinabschnitte betreffen. In EMSA Versuchen konnte gezeigt werden, dass die missense-Mutationen die DNA-Bindung des Omb-T Proteins verhindern.rnFür die Suche nach Omb Zielgenen wurden Gene und phylogenetisch konservierte TBE-Genabschnitte auf ihre Regulation durch Omb getestet. Dabei wurde das Expressionsmuster von Genen mitels in situ und das Muster von enhancer getriebener β-Gal Expression histochemisch oder durch Immunfärbung von wildtypischen und l(1)omb15 Larven des dritten Stadiums verglichen. rnUpstream der mirr Transkriptionseinheit wurde ein cis-regulatorisches TBE-Fragment identifiziert, das ein Aktivitätsmuster in Flügelimaginalscheiben zeigte, welches dem von Mirr nahe kommt. Sowohl ein Omb Verlust als auch die Mutation der TBE Sequenz führten zu einer ähnlichen ektopischen Aktivierung des Fragments, was auf eine Abhängigkeit von Omb hinweist. rnIn der intronischen Sequenz von inv wurde ebenfalls ein TBE-Fragment entdeckt, das eine β-Gal-Aktivität in Flügelscheiben des späten L3 Stadiums anterior der A/P Grenze zeigte. Diese Expression könnte sich mit der späten für en/inv beschriebenen Expression (Blair, 1992) decken. Immunfärbungen bestätigten, dass der Verlust dieser Aktivität in omb0 tatsächlich durch den Verlust von Omb hervorgerufen wird und nicht durch eine Entwicklungsverzögerung der Larven verursacht wird.rnSchließlich wurde durch die Reparatur von TBX Expressionsvektoren eine Konstruktreihe (Legler, 2010) fertiggestellt, mit deren Hilfe die Auswirkungen einer Überexpression auf die Zellmotilität in Drosophila untersucht werden kann. Das soll helfen den Einfluss von TBX Proteinen auf die Invasivität von Krebszellen zu verstehen.rn