Large-scale Network Analysis on Distributed Architectures

Questa dissertazione esamina le sfide e i limiti che gli algoritmi di analisi di grafi incontrano in architetture distribuite costituite da personal computer. In particolare, analizza il comportamento dell'algoritmo del PageRank così come implementato in una popolare libreria C++ di analisi di grafi distribuiti, la Parallel Boost Graph Library (Parallel BGL). I risultati qui presentati mostrano che il modello di programmazione parallela Bulk Synchronous Parallel è inadatto all'implementazione efficiente del PageRank su cluster costituiti da personal computer. L'implementazione analizzata ha infatti evidenziato una scalabilità negativa, il tempo di esecuzione dell'algoritmo aumenta linearmente in funzione del numero di processori. Questi risultati sono stati ottenuti lanciando l'algoritmo del PageRank della Parallel BGL su un cluster di 43 PC dual-core con 2GB di RAM l'uno, usando diversi grafi scelti in modo da facilitare l'identificazione delle variabili che influenzano la scalabilità. Grafi rappresentanti modelli diversi hanno dato risultati differenti, mostrando che c'è una relazione tra il coefficiente di clustering e l'inclinazione della retta che rappresenta il tempo in funzione del numero di processori. Ad esempio, i grafi Erdős–Rényi, aventi un basso coefficiente di clustering, hanno rappresentato il caso peggiore nei test del PageRank, mentre i grafi Small-World, aventi un alto coefficiente di clustering, hanno rappresentato il caso migliore. Anche le dimensioni del grafo hanno mostrato un'influenza sul tempo di esecuzione particolarmente interessante. Infatti, si è mostrato che la relazione tra il numero di nodi e il numero di archi determina il tempo totale.

Präparation eines reinen metastabilen 7 Li +-Ionenstrahls für die Präzisionsspektroskopie im Speicherring

An dem Schwerionenspeicherring TSR (MPI für Kernphysik, Heidelberg) wurde ein 7 Li +-Ionenstrahl geringer Dichte durch RF-Bunchen und Laserkühlung präpariert.Die Phasenraumverteilung in dem Strahl wurde durch Laser- spektroskopie an Ionen im metastabilen Zustand untersucht. Ein umlaufsynchrones, zeitaufgelöstes Meßverfahren für das Fluoreszenzlicht ermöglichte die Bestimmung der räumlichen Struktur mit dieser rein optischen Methode.Durch einen speziellen Präparationsschritt wurden die Ionen im Grundzustand aus dem Speicherring entfernt. Der sonst dominierende Heizeffekt der strahlinternen Streuung war dadurch vernachlässigbar und es konnte eine Temperatur von 160 mK erreicht werden.Der präparierte Ionenstrahl bietet besondere Eigenschaften im Hinblick auf Präzisionsexperimente, bei denen mit möglichst ungestörten Ionen gearbeitet werden soll. Es wird gezeigt, daß die Phasenraumverteilung der Ionen nicht mehr durch Ion-Ion-Wechselwirkungen bestimmt ist und daß der verbleibende Heizmechanismus durch die Streuung am Restgas erklärt werden kann.1993 wurde durch Laserspektroskopie an 7 Li + im TSR die spezielle Relativitätstheorie im Hinblick auf die relativistische Zeitdilatation experimentell getestet. In diesem Zusammenhang wird das zu erwartende Ergebnis eines Experimentes diskutiert, das, basierend auf den in dieser Arbeit vorgestellten Verfahren, einen erneuten Test der relativistischen Zeitdilatation mit verbesserter Genauigkeit durchführen könnte.

Machine learning methods for prediction of disulphide bonding states of cysteine residues in proteins

The goal of this thesis work is to develop a computational method based on machine learning techniques for predicting disulfide-bonding states of cysteine residues in proteins, which is a sub-problem of a bigger and yet unsolved problem of protein structure prediction. Improvement in the prediction of disulfide bonding states of cysteine residues will help in putting a constraint in the three dimensional (3D) space of the respective protein structure, and thus will eventually help in the prediction of 3D structure of proteins. Results of this work will have direct implications in site-directed mutational studies of proteins, proteins engineering and the problem of protein folding. We have used a combination of Artificial Neural Network (ANN) and Hidden Markov Model (HMM), the so-called Hidden Neural Network (HNN) as a machine learning technique to develop our prediction method. By using different global and local features of proteins (specifically profiles, parity of cysteine residues, average cysteine conservation, correlated mutation, sub-cellular localization, and signal peptide) as inputs and considering Eukaryotes and Prokaryotes separately we have reached to a remarkable accuracy of 94% on cysteine basis for both Eukaryotic and Prokaryotic datasets, and an accuracy of 90% and 93% on protein basis for Eukaryotic dataset and Prokaryotic dataset respectively. These accuracies are best so far ever reached by any existing prediction methods, and thus our prediction method has outperformed all the previously developed approaches and therefore is more reliable. Most interesting part of this thesis work is the differences in the prediction performances of Eukaryotes and Prokaryotes at the basic level of input coding when ‘profile’ information was given as input to our prediction method. And one of the reasons for this we discover is the difference in the amino acid composition of the local environment of bonded and free cysteine residues in Eukaryotes and Prokaryotes. Eukaryotic bonded cysteine examples have a ‘symmetric-cysteine-rich’ environment, where as Prokaryotic bonded examples lack it.

Time-of-flight two-photon photoemission spectromicroscopy with femtosecond laser radiation

Time-of-flight photoemission spectromicroscopy was used to measure and compare the two-photon photoemission (2PPE) spectra of Cu and Ag nanoparticles with linear dimensions ranging between 40 nm and several 100 nm, with those of the corresponding homogeneous surfaces. 2PPE was induced employing femtosecond laser radiation from a frequency-doubled Ti:sapphire laser in the spectral range between 375 nm and 425 nm with a pulse width of 200 fs and a repetition rate of 80 MHz. The use of a pulsed radiation source allowed us to use a high-resolution photoemission electron microscope as imaging time-of-flight spectrometer, and thus to obtain spectroscopic information about the laterally resolved electron signal. Ag nanoparticle films have been deposited on Si(111) by electron-beam evaporation, a technique leading to hemispherically-shaped Ag clusters. Isolated Cu nanoparticles have been generated by prolonged heating of a polycrystalline Cu sample. If compared to the spectra of the corresponding homogeneous surfaces, the Cu and Ag nanoparticle spectra are characterized by a strongly enhanced total 2PPE yield (enhancement factor up to 70), by a shift (about 0.1 eV) of the Fermi level onset towards lower final state energies, by a reduction of the work function (typically by 0.2 eV) and by a much steeper increase of the 2PPE yield towards lower final state energies. The shift of the Fermi level onset in the nanoparticle spectra has been explained by a positive unit charge (localized photohole) residing on the particle during the time-scale relevant for the 2PPE process (few femtoseconds). The total 2PPE yield enhancement and the different overall shape of the spectra have been explained by considering that the laser frequency was close to the localized surface plasmon resonance of the Cu and Ag nanoparticles. The synchronous oscillations induced by the laser in the metal electrons enhance the near-zone (NZ) field, defined as the linear superposition of the laser field and the field produced in the vicinity of the particles by the forced charge oscillations. From the present measurements it is clear that the NZ field behavior is responsible for the 2PPE enhancement and affects the 2PPE spatial and energy distribution and its dynamics. In particular, its strong spatial dependence allows indirect transitions through real intermediate states to take place in the metal clusters. Such transitions are forbidden by momentum conservation arguments and are thus experimentally much less probable on homogeneous surfaces. Further, we investigated specially tailored moon-shaped small metal nanostructures, whose NZ field was theoretically predicted, and compared the calculation with the laterally resolved 2PPE signal. We could show that the 2PPE signal gives a clear fingerprint of the theoretically predicted spatial dependence of the NZ field. This potential of our method is highly attractive in the novel field of plasmonics.

Analysis and Implementation of Multiphase-Multilevel Inverter for Open-Winding Loads

Research work carried out in focusing a novel multiphase-multilevel ac motor drive system much suitable for low-voltage high-current power applications. In specific, six-phase asymmetrical induction motor with open-end stator winding configuration, fed from four standard two-level three-phase voltage source inverters (VSIs). Proposed synchronous reference frame control algorithm shares the total dc source power among the 4 VSIs in each switching cycle with three degree of freedom. Precisely, first degree of freedom concerns with the current sharing between two three-phase stator windings. Based on modified multilevel space vector pulse width modulation shares the voltage between each single VSIs of two three-phase stator windings with second and third degree of freedom, having proper multilevel output waveforms. Complete model of whole ac motor drive based on three-phase space vector decomposition approach was developed in PLECS - numerical simulation software working in MATLAB environment. Proposed synchronous reference control algorithm was framed in MATLAB with modified multilevel space vector pulse width modulator. The effectiveness of the entire ac motor drives system was tested. Simulation results are given in detail to show symmetrical and asymmetrical, power sharing conditions. Furthermore, the three degree of freedom are exploited to investigate fault tolerant capabilities in post-fault conditions. Complete set of simulation results are provided when one, two and three VSIs are faulty. Hardware prototype model of quad-inverter was implemented with two passive three-phase open-winding loads using two TMS320F2812 DSP controllers. Developed McBSP (multi-channel buffered serial port) communication algorithm able to control the four VSIs for PWM communication and synchronization. Open-loop control scheme based on inverse three-phase decomposition approach was developed to control entire quad-inverter configuration and tested with balanced and unbalanced operating conditions with simplified PWM techniques. Both simulation and experimental results are always in good agreement with theoretical developments.

Controllo Vettoriale generalizzato per Macchine Elettriche Trifase

Nell’ambito della presente tesi verrà descritto un approccio generalizzato per il controllo delle macchine elettriche trifasi; la prima parte è incentrata nello sviluppo di una metodologia di modellizzazione generale, ossia in grado di descrivere, da un punto di vista matematico, il comportamento di una generica macchina elettrica, che possa quindi includere in sé stessa tutte le caratteristiche salienti che possano caratterizzare ogni specifica tipologia di macchina elettrica. Il passo successivo è quello di realizzare un algoritmo di controllo per macchine elettriche che si poggi sulla teoria generalizzata e che utilizzi per il proprio funzionamento quelle grandezze offerte dal modello unico delle macchine elettriche. La tipologia di controllo che è stata utilizzata è quella che comunemente viene definita come controllo ad orientamento di campo (FOC), per la quale sono stati individuati degli accorgimenti atti a migliorarne le prestazioni dinamiche e di controllo della coppia erogata. Per concludere verrà presentata una serie di prove sperimentali con lo scopo di mettere in risalto alcuni aspetti cruciali nel controllo delle macchine elettriche mediante un algoritmo ad orientamento di campo e soprattutto di verificare l’attendibilità dell’approccio generalizzato alle macchine elettriche trifasi. I risultati sperimentali confermano quindi l’applicabilità del metodo a diverse tipologie di macchine (asincrone e sincrone) e sono stati verificate nelle condizioni operative più critiche: bassa velocità, alta velocità bassi carichi, dinamica lenta e dinamica veloce.

Asynchrone Replikation geprägter und nicht geprägter Chromosomenregionen und Expression relevanter Entwicklungsgene in Präimplantationsembryonen der Maus

Zum besseren Verständnis der epigenetischen Reprogrammierung nach der Befruchtung, wurde in der vorliegenden Studie unter Verwendung eines Interphase-FISH-Assays eine systematische Analyse des Replikationsverhaltens geprägter und nicht geprägter Chromosomenregionen in Präimplantationsembryonen der Maus durchgeführt. Dabei konnte erstmalig gezeigt werden, dass sowohl geprägte als auch nicht geprägte Chromosomen-regionen direkt nach der Befruchtung asynchron replizieren. Vier von fünf nicht geprägten Chromosomenregionen replizierten erst nach dem Zweizell-Embryostadium synchron. Eine asynchrone Replikation geprägter Regionen wurde während der gesamten Präimplantationsentwicklung und in differenzierten Zellen beobachtet. In Morula-Embryonen zeigten der in diesem Stadium nicht exprimierte Dlk1-Gtl2-Locus sowie der biallelisch exprimierte Igf2r-Locus jedoch eine Relaxation der asynchronen Replikation. In einem weiteren Projekt konnte mit Hilfe eines Multiplex-RT-PCR-Ansatzes die sensitive Detektion von multiplen Transkripten in einzelnen Zellen etabliert werden. Anschließend wurden Expressionsmuster von 17 für die epigenetische Reprogrammierung relevanten Entwicklungs-genen in Präimplantationsembryonen sowie in einzelnen Morula-Blastomeren analysiert. Der Transkriptionsfaktor Pou5f1 wurde in allen Präimplantationsembryonen und allen Morula-Blastomeren detektiert, was auf eine uniforme Reaktivierung der Pluripotenz hinweist. Dagegen variierte die mRNA-Expression verschiedener DNA-Cytosin-5-Methyltransferasen, 5-methyl-CpG-Bindeproteine sowie Enzyme der Basenexzisionsreparatur stark zwischen individuellen Zellen des gleichen Embryos und noch stärker zwischen Zellen verschiedener Embryonen. Diese Ergebnisse zeigen, dass sich das für die Reprogrammierungsmaschinerie kodierende Transkriptom zu bestimmten Entwicklungs-zeitpunkten zwischen einzelnen Blastomeren unterscheidet.

Constraint based methods for allocation and scheduling of periodic applications

This work presents exact algorithms for the Resource Allocation and Cyclic Scheduling Problems (RA&CSPs). Cyclic Scheduling Problems arise in a number of application areas, such as in hoist scheduling, mass production, compiler design (implementing scheduling loops on parallel architectures), software pipelining, and in embedded system design. The RA&CS problem concerns time and resource assignment to a set of activities, to be indefinitely repeated, subject to precedence and resource capacity constraints. In this work we present two constraint programming frameworks facing two different types of cyclic problems. In first instance, we consider the disjunctive RA&CSP, where the allocation problem considers unary resources. Instances are described through the Synchronous Data-flow (SDF) Model of Computation. The key problem of finding a maximum-throughput allocation and scheduling of Synchronous Data-Flow graphs onto a multi-core architecture is NP-hard and has been traditionally solved by means of heuristic (incomplete) algorithms. We propose an exact (complete) algorithm for the computation of a maximum-throughput mapping of applications specified as SDFG onto multi-core architectures. Results show that the approach can handle realistic instances in terms of size and complexity. Next, we tackle the Cyclic Resource-Constrained Scheduling Problem (i.e. CRCSP). We propose a Constraint Programming approach based on modular arithmetic: in particular, we introduce a modular precedence constraint and a global cumulative constraint along with their filtering algorithms. Many traditional approaches to cyclic scheduling operate by fixing the period value and then solving a linear problem in a generate-and-test fashion. Conversely, our technique is based on a non-linear model and tackles the problem as a whole: the period value is inferred from the scheduling decisions. The proposed approaches have been tested on a number of non-trivial synthetic instances and on a set of realistic industrial instances achieving good results on practical size problem.

A clustering method for robust and reliable large scale functional and structural protein sequence annotation

Bioinformatics, in the last few decades, has played a fundamental role to give sense to the huge amount of data produced. Obtained the complete sequence of a genome, the major problem of knowing as much as possible of its coding regions, is crucial. Protein sequence annotation is challenging and, due to the size of the problem, only computational approaches can provide a feasible solution. As it has been recently pointed out by the Critical Assessment of Function Annotations (CAFA), most accurate methods are those based on the transfer-by-homology approach and the most incisive contribution is given by cross-genome comparisons. In the present thesis it is described a non-hierarchical sequence clustering method for protein automatic large-scale annotation, called “The Bologna Annotation Resource Plus” (BAR+). The method is based on an all-against-all alignment of more than 13 millions protein sequences characterized by a very stringent metric. BAR+ can safely transfer functional features (Gene Ontology and Pfam terms) inside clusters by means of a statistical validation, even in the case of multi-domain proteins. Within BAR+ clusters it is also possible to transfer the three dimensional structure (when a template is available). This is possible by the way of cluster-specific HMM profiles that can be used to calculate reliable template-to-target alignments even in the case of distantly related proteins (sequence identity < 30%). Other BAR+ based applications have been developed during my doctorate including the prediction of Magnesium binding sites in human proteins, the ABC transporters superfamily classification and the functional prediction (GO terms) of the CAFA targets. Remarkably, in the CAFA assessment, BAR+ placed among the ten most accurate methods. At present, as a web server for the functional and structural protein sequence annotation, BAR+ is freely available at http://bar.biocomp.unibo.it/bar2.0.

High gradient magnetic separation (HGMS) of erythrocytes infected with plasmodium falciparum

This thesis was undertaken to explore possible applications of high gradient magnetic separation (HGMS) for the separation of RBCs infected with Plasmodium falciparum, with the dual aim of establishing a novel and superior method for isolating late-stage infected cells, and of obtaining synchronized cell cultures.rnThe presented work presents protocols for HGMS of parasitized RBCs that fulfil these aims. Late-stage parasitized cell can be isolated essentially devoid of contamination with non-infected and ring-stage infected cells. Such an easy method for a highly quantitative and qualitative purification has not yet been reported. Synchronous cultures can be obtained both following depletion of late-stage infected cells, and following isolation of the latter. The quality of synchronization cultures matches that of sorbitol lysis, the current standard method for malaria culture synchronization. An advantage of HGMS is the avoidance of osmotic stress for RBCs. The new methods further have the appeal of high reproducibility, cost-effectiveness, and simple protocol.rnIt should be possible to take the methods beyond Plasmodium infected RBCs. Most magnetic separation techniques in the sector of biomedical research employ columns with a hydrophilic polymer-coated matrix. Our procedure employs an optimized buffer system. Polymer coating becomes unnecessary and uncoated columns are available at a fraction of the cost.

Visual-somatosensory interactions in mental representations of the body and the face

The body is represented in the brain at levels that incorporate multisensory information. This thesis focused on interactions between vision and cutaneous sensations (i.e., touch and pain). Experiment 1 revealed that there are partially dissociable pathways for visual enhancement of touch (VET) depending upon whether one sees one’s own body or the body of another person. This indicates that VET, a seeming low-level effect on spatial tactile acuity, is actually sensitive to body identity. Experiments 2-4 explored the effect of viewing one’s own body on pain perception. They demonstrated that viewing the body biases pain intensity judgments irrespective of actual stimulus intensity, and, more importantly, reduces the discriminative capacities of the nociceptive pathway encoding noxious stimulus intensity. The latter effect only occurs if the pain-inducing event itself is not visible, suggesting that viewing the body alone and viewing a stimulus event on the body have distinct effects on cutaneous sensations. Experiment 5 replicated an enhancement of visual remapping of touch (VRT) when viewing fearful human faces being touched, and further demonstrated that VRT does not occur for observed touch on non-human faces, even fearful ones. This suggests that the facial expressions of non-human animals may not be simulated within the somatosensory system of the human observer in the same way that the facial expressions of other humans are. Finally, Experiment 6 examined the enfacement illusion, in which synchronous visuo-tactile inputs cause another’s face to be assimilated into the mental self-face representation. The strength of enfacement was not affected by the other’s facial expression, supporting an asymmetric relationship between processing of facial identity and facial expressions. Together, these studies indicate that multisensory representations of the body in the brain link low-level perceptual processes with the perception of emotional cues and body/face identity, and interact in complex ways depending upon contextual factors.

An all-solid state laser system for the laser ion source RILIS and in-source laser spectroscopy of astatine at ISOLDE,CERN

This doctoral thesis describes the extension of the resonance ionization laser ion source RILIS at CERN/ISOLDE by the addition of an all-solid state tunable titanium:sapphire (Ti:Sa) laser system to complement the well-established system of dye lasers. Synchronous operation of the so called Dual RILIS system of Ti:Sa and dye lasers was investigated and the potential for increased ion beam intensity, reliability, and reduced setup time has been demonstrated. In-source resonance ionization spectroscopy was performed at ISOLDE/CERN and at ISAC/TRIUMF radioactive ion beam facilities to develop an efficient and selective three-colour ionization scheme for the purely radioactive element astatine. A LabVIEW based monitoring, control and measurement system was conceived which enabled, in conjunction with Dual RILIS operation, the spectroscopy of high lying Rydberg states, from which the ionization potential of the astatine atom was determined for the first time experimentally.

Nano-Power Integrated Circuits for Energy Harvesting

The energy harvesting research field has grown considerably in the last decade due to increasing interests in energy autonomous sensing systems, which require smart and efficient interfaces for extracting power from energy source and power management (PM) circuits. This thesis investigates the design trade-offs for minimizing the intrinsic power of PM circuits, in order to allow operation with very weak energy sources. For validation purposes, three different integrated power converter and PM circuits for energy harvesting applications are presented. They have been designed for nano-power operations and single-source converters can operate with input power lower than 1 μW. The first IC is a buck-boost converter for piezoelectric transducers (PZ) implementing Synchronous Electrical Charge Extraction (SECE), a non-linear energy extraction technique. Moreover, Residual Charge Inversion technique is exploited for extracting energy from PZ with weak and irregular excitations (i.e. lower voltage), and the implemented PM policy, named Two-Way Energy Storage, considerably reduces the start-up time of the converter, improving the overall conversion efficiency. The second proposed IC is a general-purpose buck-boost converter for low-voltage DC energy sources, up to 2.5 V. An ultra-low-power MPPT circuit has been designed in order to track variations of source power. Furthermore, a capacitive boost circuit has been included, allowing the converter start-up from a source voltage VDC0 = 223 mV. A nano-power programmable linear regulator is also included in order to provide a stable voltage to the load. The third IC implements an heterogeneous multisource buck-boost converter. It provides up to 9 independent input channels, of which 5 are specific for PZ (with SECE) and 4 for DC energy sources with MPPT. The inductor is shared among channels and an arbiter, designed with asynchronous logic to reduce the energy consumption, avoids simultaneous access to the buck-boost core, with a dynamic schedule based on source priority.

Excitability properties of mouse motor axons in the mutant SOD1(G93A) model of amyotrophic lateral sclerosis

Non-invasive excitability studies of motor axons in patients with amyotrophic lateral sclerosis (ALS) have revealed a changing pattern of abnormal membrane properties with disease progression, but the heterogeneity of the changes has made it difficult to relate them to pathophysiology. The SOD1(G93A) mouse model of ALS displays more synchronous motoneuron pathology. Multiple excitability measures of caudal and sciatic nerves in mutant and wild-type mice were compared before onset of signs and during disease progression (4-19 weeks), and they were related to changes in muscle fiber histochemistry. Excitability differences indicated a modest membrane depolarization in SOD1(G93A) axons at about the time of symptom onset (8 weeks), possibly due to deficient energy supply. Previously described excitability changes in ALS patients, suggesting altered sodium and potassium conductances, were not seen in the mice. This suggests that those changes relate to features of the human disease that are not well represented in the animal model.

Intermittent spike-wave dynamics in a heterogeneous, spatially extended neural mass model

Generalised epileptic seizures are frequently accompanied by sudden, reversible transitions from low amplitude, irregular background activity to high amplitude, regular spike-wave discharges (SWD) in the EEG. The underlying mechanisms responsible for SWD generation and for the apparently spontaneous transitions to SWD and back again are still not fully understood. Specifically, the role of spatial cortico-cortical interactions in ictogenesis is not well studied. We present a macroscopic, neural mass model of a cortical column which includes two distinct time scales of inhibition. This model can produce both an oscillatory background and a pathological SWD rhythm. We demonstrate that coupling two of these cortical columns can lead to a bistability between out-of-phase, low amplitude background dynamics and in-phase, high amplitude SWD activity. Stimuli can cause state-dependent transitions from background into SWD. In an extended local area of cortex, spatial heterogeneities in a model parameter can lead to spontaneous reversible transitions from a desynchronised background to synchronous SWD due to intermittency. The deterministic model is therefore capable of producing absence seizure-like events without any time dependent adjustment of model parameters. The emergence of such mechanisms due to spatial coupling demonstrates the importance of spatial interactions in modelling ictal dynamics, and in the study of ictogenesis.