On the Design of a Boolean-network Robot Swarm: Collective Recognition of Ground Patterns.

Uno dei principali ambiti di ricerca dell’intelligenza artificiale concerne la realizzazione di agenti (in particolare, robot) in grado di aiutare o sostituire l’uomo nell’esecuzione di determinate attività. A tal fine, è possibile procedere seguendo due diversi metodi di progettazione: la progettazione manuale e la progettazione automatica. Quest’ultima può essere preferita alla prima nei contesti in cui occorra tenere in considerazione requisiti quali flessibilità e adattamento, spesso essenziali per lo svolgimento di compiti non banali in contesti reali. La progettazione automatica prende in considerazione un modello col quale rappresentare il comportamento dell’agente e una tecnica di ricerca (oppure di apprendimento) che iterativamente modifica il modello al fine di renderlo il più adatto possibile al compito in esame. In questo lavoro, il modello utilizzato per la rappresentazione del comportamento del robot è una rete booleana (Boolean network o Kauffman network). La scelta di tale modello deriva dal fatto che possiede una semplice struttura che rende agevolmente studiabili le dinamiche tuttavia complesse che si manifestano al suo interno. Inoltre, la letteratura recente mostra che i modelli a rete, quali ad esempio le reti neuronali artificiali, si sono dimostrati efficaci nella programmazione di robot. La metodologia per l’evoluzione di tale modello riguarda l’uso di tecniche di ricerca meta-euristiche in grado di trovare buone soluzioni in tempi contenuti, nonostante i grandi spazi di ricerca. Lavori precedenti hanno gia dimostrato l’applicabilità e investigato la metodologia su un singolo robot. Lo scopo di questo lavoro è quello di fornire prova di principio relativa a un insieme di robot, aprendo nuove strade per la progettazione in swarm robotics. In questo scenario, semplici agenti autonomi, interagendo fra loro, portano all’emergere di un comportamento coordinato adempiendo a task impossibili per la singola unità. Questo lavoro fornisce utili ed interessanti opportunità anche per lo studio delle interazioni fra reti booleane. Infatti, ogni robot è controllato da una rete booleana che determina l’output in funzione della propria configurazione interna ma anche dagli input ricevuti dai robot vicini. In questo lavoro definiamo un task in cui lo swarm deve discriminare due diversi pattern sul pavimento dell’arena utilizzando solo informazioni scambiate localmente. Dopo una prima serie di esperimenti preliminari che hanno permesso di identificare i parametri e il migliore algoritmo di ricerca, abbiamo semplificato l’istanza del problema per meglio investigare i criteri che possono influire sulle prestazioni. E’ stata così identificata una particolare combinazione di informazione che, scambiata localmente fra robot, porta al miglioramento delle prestazioni. L’ipotesi è stata confermata applicando successivamente questo risultato ad un’istanza più difficile del problema. Il lavoro si conclude suggerendo nuovi strumenti per lo studio dei fenomeni emergenti in contesti in cui le reti booleane interagiscono fra loro.

Nonlinear Control Strategies for Cooperative Control of Multi-Robot Systems

This thesis deals with distributed control strategies for cooperative control of multi-robot systems. Specifically, distributed coordination strategies are presented for groups of mobile robots. The formation control problem is initially solved exploiting artificial potential fields. The purpose of the presented formation control algorithm is to drive a group of mobile robots to create a completely arbitrarily shaped formation. Robots are initially controlled to create a regular polygon formation. A bijective coordinate transformation is then exploited to extend the scope of this strategy, to obtain arbitrarily shaped formations. For this purpose, artificial potential fields are specifically designed, and robots are driven to follow their negative gradient. Artificial potential fields are then subsequently exploited to solve the coordinated path tracking problem, thus making the robots autonomously spread along predefined paths, and move along them in a coordinated way. Formation control problem is then solved exploiting a consensus based approach. Specifically, weighted graphs are used both to define the desired formation, and to implement collision avoidance. As expected for consensus based algorithms, this control strategy is experimentally shown to be robust to the presence of communication delays. The global connectivity maintenance issue is then considered. Specifically, an estimation procedure is introduced to allow each agent to compute its own estimate of the algebraic connectivity of the communication graph, in a distributed manner. This estimate is then exploited to develop a gradient based control strategy that ensures that the communication graph remains connected, as the system evolves. The proposed control strategy is developed initially for single-integrator kinematic agents, and is then extended to Lagrangian dynamical systems.

Cellular localization and mechanism of amyloid precursor protein (APP) homodimer formation in an oxidizing environment

The amyloid precursor protein (APP) is a type I transmembrane glycoprotein, which resembles a cell surface receptor, comprising a large ectodomain, a single spanning transmembrane part and a short C-terminal, cytoplasmic domain. It belongs to a conserved gene family, with over 17 members, including also the two mammalian APP homologues proteins APLP1 and APLP2 („amyloid precursor like proteins“). APP is encoded by 19 exons, of which exons 7, 8, and 15 can be alternatively spliced to produce three major protein isoforms APP770, APP751 and APP695, reflecting the number of amino acids. The neuronal APP695 is the only isoform that lacks a Kunitz Protease Inhibitor (KPI) domain in its extracellular portion whereas the two larger, peripheral APP isoforms, contain the 57-amino-acid KPI insert. rnRecently, research effort has suggested that APP metabolism and function is thought to be influenced by homodimerization and that the oligomerization state of APP could also play a role in the pathology of Alzheimer's disease (AD), by regulating its processing and amyloid beta production. Several independent studies have shown that APP can form homodimers within the cell, driven by motifs present in the extracellular domain, as well as in the juxtamembrane (JM) and transmembrane (TM) regions of the molecule, whereby the exact molecular mechanism and the origin of dimer formation remains elusive. Therefore, we focused in our study on the actual subcellular origin of APP homodimerization within the cell, an underlying mechanism, and a possible impact on dimerization properties of its homologue APLP1. Furthermore, we analyzed homodimerization of various APP isoforms, in particular APP695, APP751 and APP770, which differ in the presence of a Kunitz-type protease inhibitor domain (KPI) in the extracellular region. In order to assess the cellular origin of dimerization under different cellular conditions, we established a mammalian cell culture model-system in CHO-K1 (chinese hamster ovary) cells, stably overexpressing human APP, harboring dilysine based organelle sorting motifs at the very C-terminus [KKAA-Endoplasmic Reticulum (ER); KKFF-Golgi]. In this study we show that APP exists as disulfide-bound, SDS-stable dimers, when it was retained in the ER, unlike when it progressed further to the cis-Golgi, due to the KKFF ER exit determinant. These stable APP complexes were isolated from cells, and analyzed by SDS–polyacrylamide gel electrophoresis under non-reducing conditions, whereas strong denaturing and reducing conditions completely converted those dimers to monomers. Our findings suggested that APP homodimer formation starts early in the secretory pathway and that the unique oxidizing environment of the ER likely promotes intermolecular disulfide bond formation between APP molecules. We particularly visualized APP dimerization employing a variety of biochemical experiments and investigated the origin of its generation by using a Bimolecular Fluorescence Complementation (BiFC) approach with split GFP-APP chimeras. Moreover, using N-terminal deletion constructs, we demonstrate that intermolecular disulfide linkage between cysteine residues, exclusively located in the extracellular E1 domain, represents another mechanism of how an APP sub-fraction can dimerize within the cell. Additionally, mutational studies revealed that cysteines at positions 98 and 105, embedded in the conserved loop region within the E1 domain, are critical for interchain disulfide bond formation. Using a pharmacological treatment approach, we show that once generated in the oxidative environment of the ER, APP dimers remain stably associated during transport, reaching the plasma membrane. In addition, we demonstrate that APP isoforms, encompassing the KPI domain, exhibit a strongly reduced ability to form cis-directed dimers in the ER, whereas trans-directed cell aggregation of Drosophila Schneider (S2)-cells was isoform independent, mediating cell-cell contacts. Thus, suggesting that steric properties of KPI-APP might be the cause for weaker cis-interaction in the ER, compared to APP695. Finally, we provide evidence that APP/APLP1 heterointeractions are likewise initiated in the ER, suggesting a similar mechanism for heterodimerization. Therefore, dynamic alterations of APP between monomeric, homodimeric, and possibly heterodimeric status could at least partially explain some of the variety in the physiological functions of APP.rn

Software tools and efficient algorithms for the feature detection, feature tracking, event localization, and visualization of large sets of atmospheric data

Data sets describing the state of the earth's atmosphere are of great importance in the atmospheric sciences. Over the last decades, the quality and sheer amount of the available data increased significantly, resulting in a rising demand for new tools capable of handling and analysing these large, multidimensional sets of atmospheric data. The interdisciplinary work presented in this thesis covers the development and the application of practical software tools and efficient algorithms from the field of computer science, aiming at the goal of enabling atmospheric scientists to analyse and to gain new insights from these large data sets. For this purpose, our tools combine novel techniques with well-established methods from different areas such as scientific visualization and data segmentation. In this thesis, three practical tools are presented. Two of these tools are software systems (Insight and IWAL) for different types of processing and interactive visualization of data, the third tool is an efficient algorithm for data segmentation implemented as part of Insight.Insight is a toolkit for the interactive, three-dimensional visualization and processing of large sets of atmospheric data, originally developed as a testing environment for the novel segmentation algorithm. It provides a dynamic system for combining at runtime data from different sources, a variety of different data processing algorithms, and several visualization techniques. Its modular architecture and flexible scripting support led to additional applications of the software, from which two examples are presented: the usage of Insight as a WMS (web map service) server, and the automatic production of a sequence of images for the visualization of cyclone simulations. The core application of Insight is the provision of the novel segmentation algorithm for the efficient detection and tracking of 3D features in large sets of atmospheric data, as well as for the precise localization of the occurring genesis, lysis, merging and splitting events. Data segmentation usually leads to a significant reduction of the size of the considered data. This enables a practical visualization of the data, statistical analyses of the features and their events, and the manual or automatic detection of interesting situations for subsequent detailed investigation. The concepts of the novel algorithm, its technical realization, and several extensions for avoiding under- and over-segmentation are discussed. As example applications, this thesis covers the setup and the results of the segmentation of upper-tropospheric jet streams and cyclones as full 3D objects. Finally, IWAL is presented, which is a web application for providing an easy interactive access to meteorological data visualizations, primarily aimed at students. As a web application, the needs to retrieve all input data sets and to install and handle complex visualization tools on a local machine are avoided. The main challenge in the provision of customizable visualizations to large numbers of simultaneous users was to find an acceptable trade-off between the available visualization options and the performance of the application. Besides the implementational details, benchmarks and the results of a user survey are presented.

Teoria del consenso e applicazione al problema del coordinamento del moto di robot.

Il sempre crescente numero di applicazioni di reti di sensori, robot cooperanti e formazioni di veicoli, ha fatto sì che le problematiche legate al coordinamento di sistemi multi-agente (MAS) diventassero tra le più studiate nell’ambito della teoria dei controlli. Esistono numerosi approcci per affrontare il problema, spesso profondamente diversi tra loro. La strategia studiata in questa tesi è basata sulla Teoria del Consenso, che ha una natura distribuita e completamente leader-less; inoltre il contenuto informativo scambiato tra gli agenti è ridotto al minimo. I primi 3 capitoli introducono ed analizzano le leggi di interazione (Protocolli di Consenso) che permettono di coordinare un Network di sistemi dinamici. Nel capitolo 4 si pensa all'applicazione della teoria al problema del "loitering" circolare di più robot volanti attorno ad un obiettivo in movimento. Si sviluppa a tale scopo una simulazione in ambiente Matlab/Simulink, che genera le traiettorie di riferimento di raggio e centro impostabili, a partire da qualunque posizione iniziale degli agenti. Tale simulazione è stata utilizzata presso il “Center for Research on Complex Automated Systems” (CASY-DEI Università di Bologna) per implementare il loitering di una rete di quadrirotori "CrazyFlie". I risultati ed il setup di laboratorio sono riportati nel capitolo 5. Sviluppi futuri si concentreranno su algoritmi locali che permettano agli agenti di evitare collisioni durante i transitori: il controllo di collision-avoidance dovrà essere completamente indipendente da quello di consenso, per non snaturare il protocollo di Consenso stesso.

Stato dell'arte della progettazione automatica di programmi per robot

La comprensione delle proprietà e delle meccaniche di funzionamento dei sistemi complessi e dinamici che ci circondano è uno degli obiettivi principali delle discipline ingegneristiche e scientifiche. Lo sviluppo nel campo dell'Intelligenza Artificiale ha permesso la creazione di entità robotiche sempre più intelligenti, in grado di manifestare comportamenti notevoli e di raggiungere gli obiettivi prefissati: la progettazione di software di controllo ha velocemente ricevuto una crescente responsabilità. Questo elaborato si propone di inquadrare in generale la situazione della progettazione di software di controllo robotici, focalizzandosi in particolare sulle tecniche di progettazione automatica di programmi per robot: dopo aver inquadrato il background su cui si basa la progettazione automatica ed aver mostrato una panoramica dei principali metodi di progettazione diretta, vengono elencate e spiegate le tecniche più utilizzate ed interessanti della progettazione automatica di programmi per robot.

Applicazione del linguaggio ad agenti Jason per la programmazione di alto livello di robot

I sistemi software rivestono nel campo dell'informatica un ruolo di fondamentale importanza. Negli ultimi anni una caratteristica richiesta ai sistemi è la decentralizzazione del controllo, nell'ottica di un sistema visto come connessioni di parti che possono interagire, e dove ciascuna parte possiede un certo grado di autonomia nella scelta delle attività che devono essere compiute. In tale contesto si introduce il paradigma degli agenti, in quanto include sia aspetti relativi ai modelli computazionali, sia aspetti relativi ai linguaggi. Nella tesi si esplora l'applicazione del linguaggio di programmazione Jason applicato alla programmazione dei controllori di robot. In particolare, si esplora ciò che riguarda il comportamento individuale dell'agente.

Extracting FSA descriptions of robot behaviours from the dynamics of automatically designed controller networks

Automatic design has become a common approach to evolve complex networks, such as artificial neural networks (ANNs) and random boolean networks (RBNs), and many evolutionary setups have been discussed to increase the efficiency of this process. However networks evolved in this way have few limitations that should not be overlooked. One of these limitations is the black-box problem that refers to the impossibility to analyze internal behaviour of complex networks in an efficient and meaningful way. The aim of this study is to develop a methodology that make it possible to extract finite-state automata (FSAs) descriptions of robot behaviours from the dynamics of automatically designed complex controller networks. These FSAs unlike complex networks from which they're extracted are both readable and editable thus making the resulting designs much more valuable.

Tesi sperimentale per valutare l'esperienza chirurgica nell'uso del robot Da Vinci Si

Questa tesi si compone di due parti tra loro correlate. Nella prima viene analizzato l’attuale stato dell’arte in ambito di robot chirurgici e, successivamente, sono illustrate le caratteristiche tecniche e funzionali del robot chirurgico Da Vinci Si e ne viene evidenziata la mancanza di sensori in grado di fornire all’utilizzatore un feedback aptico. La seconda parte propone uno studio che ha lo scopo di dimostrare come l’esperienza del chirurgo riesca a sopperire alla mancanza di un sensore in grado di fornire un riscontro della forza impressa sugli strumenti nel campo operatorio. A questo proposito, vengono illustrati i risultati del test appositamente costruito, cui è stato sottoposto un campione di chirurghi di diversi ambiti specialistici, per dimostrare come l’esperienza e la destrezza consentono all’utilizzatore del robot Da Vinci Si di ricevere un’indicazione della forza impressa sui tessuti del campo operatorio tramite un riscontro visivo.

Videogame localization. A case study: Final Fantasy XII

Globalization has influenced all economic sectors and the demand for translation services has increased like never before. The videogame industry has become a worldwide phenomenon worth billions. Many people around the globe, male and female, children and adults alike, choose this leisure activity and enjoy it like reading or watching a film. It is a global phenomenon capable of producing as much revenue and anticipation as the film industry. Most games are developed in Japanese or English and the new global market requires this product to be translated into many other languages. The scenario has brought about a new field of specialization in translation studies, commonly known as videogame localization. The emergence of this new field calls not only for a review of translation studies, but also a shift in the role that some translators and translated products are expected to play within a globalized world. The aim of this dissertation is to provide an overview of videogame localization and its challenges under the guidance of a professional translator such as Alexander O. Smith, who agreed to provide counsel through several Skype interviews. This provided a first-hand insight into how translation decisions are carried out by game translators. Alexander O. Smith was a former translator for Square Enix, one of the biggest Japanese videogame developer, publisher and distribution company in the market. He now works as an independent translator and in 2003 he founded the localization agency called Kajiya Productions with his friend and fellow translator Joseph Reeder. Together with Alexander O. Smith, the twelfth installment of the Final Fantasy series by Square Enix has been chosen as a very good example of the issues and challenges brought on by videogame localization. The game which revealed itself to be one of the most fun, challenging and rewarding professional experiences of Alexander O. Smith.

RFID tag localization with virtual multi-antenna systems

In questa tesi si sono valutate le prestazioni di un sistema di localizzazione multi-antenna di tag radio frequency identification (RFID) passivi in ambiente indoor. Il sistema, composto da un reader in movimento che percorre una traiettoria nota, ha come obiettivo localizzare il tag attraverso misure di fase; più precisamente la differenza di fase tra il segnale di interrogazione, emesso dal reader, e il segnale ricevuto riflesso dal tag che è correlato alla distanza tra di essi. Dopo avere eseguito una ricerca sullo stato dell’arte di queste tecniche e aver derivato il criterio maximum likelihood (ML) del sistema si è proceduto a valutarne le prestazioni e come eventuali fattori agissero sul risultato di localizzazione attraverso simulazioni Matlab. Come ultimo passo si è proceduto a effettuare una campagna di misure, testando il sistema in un ambiente reale. Si sono confrontati i risultati di localizzazione di tutti gli algoritmi proposti quando il reader si muove su una traiettoria rettilinea e su una traiettoria angolare, cercando di capire come migliorare i risultati.

Localization, web communication and seo for museum websites: The case of the Pinacoteca di Brera

La presente tesi di laurea si concentra sulla localizzazione in inglese di varie sezioni del nuovo sito web della Pinacoteca di Brera. Il progetto di localizzazione è stato contestualizzato da un lato all’interno della letteratura sulla comunicazione museale, e dall’altro sulla comunicazione web, per poter avanzare proposte di miglioramento alla luce di ricerche nel campo della SEO (Search Engine Optimization). Lo studio della comunicazione museale si è arricchito grazie all’esperienza di documentazione presso la University of Leicester (UK). La tesi mira a porre le basi per la produzione di contenuti museali adatti ad una lettura sul web, in modo da offrire non solo una traduzione ben fatta dal punto di vista linguistico e culturale, ma anche facilmente fruibile per un utente online e reperibile attraverso motori di ricerca. L’elaborato intende fornire ai musei italiani alcuni spunti di riflessione circa possibili miglioramenti delle proprie piattaforme online grazie alla localizzazione e ad un’analisi approfondita dei contenuti web secondo principi di usabilità e visibilità. Il capitolo 1 introduce la letteratura sugli studi museali, prestando particolare attenzione alla comunicazione. Il capitolo 2 fornisce una panoramica generale sul web: vengono suggerite buone pratiche di web writing, analizzate le strategie di SEO per migliorare la visibilità dei siti e delineato le principali caratteristiche del processo di localizzazione. Il capitolo 3 riunisce i due universi finora esplorati individualmente, ovvero i musei e il web, concentrandosi sulla comunicazione online dei musei e concludendo con uno schema di valutazione dei siti dei musei. Il capitolo 4 applica le strategie precedentemente discusse al caso specifico della Pinacoteca di Brera, concentrandosi sulla valutazione del sito, sulla localizzazione di alcune sezioni e sulla proposta di strategie SEO. Infine, il capitolo 5 tira le fila dell’intero lavoro mettendo in evidenza i principali risultati ottenuti.