923 resultados para problemi additivi sui numeri primi
Resumo:
Cambiamenti di habitat in ambienti marini: uno studio sperimentale sulla perdita di foreste a Cystoseira barbata (Stackhouse) C. Agardh e sui popolamenti che le sostituiscono La presente tesi affronta il tema scientifico generale di come prevedere e mitigare la perdita di habitat marini naturali causata dalle attività umane. La tesi si è focalizzata sugli habitat subtidali a “canopy” formati da macroalghe brune a tallo eretto dell’ordine Fucales, che per morfologia, ruolo ed importanza ecologica possono essere paragonate alle “foreste” in ambienti terrestri temperati. Questi sistemi sono tra i più produttivi in ambienti marini, e sono coinvolti in importanti processi ecologici, offrendo cibo, protezione, riparo ed ancoraggio a diverse altre specie animali e vegetali, modificando i gradienti naturali di luce, sedimentazione e idrodinamismo, e partecipando al ciclo dei nutrienti. Sulle coste temperate di tutto il mondo, le foreste di macroalghe a canopy sono in forte regressione su scala locale, regionale e globale. Questo fenomeno, che sta accelerando a un ritmo sempre più allarmante, sta sollevando interesse e preoccupazione. Infatti, data la loro importanza, la perdita di questi habitat può avere importanti conseguenze ecologiche ed economiche, tra cui anche il possibile declino della pesca che è stato osservato in alcune aree in seguito alla conseguente riduzione della produttività complessiva dei sistemi marini costieri. Nel Mar Mediterraneo questi tipi di habitat sono originati prevalentemente da alghe appartenenti al genere Cystoseira, che sono segnalate in forte regressione in molte regioni. Gli habitat a Cystoseira che ancora persistono continuano ad essere minacciati da una sineregia di impatti antropici, ed i benefici complessivi delle misure di protezione fin ora attuate sono relativamente scarsi. Scopo della presente tesi era quello di documentare la perdita di habitat a Cystoseira (prevalentemente Cystoseira barbata (Stackhouse) C. Agardh) lungo le coste del Monte Conero (Mar Adriatico centrale, Italia), e chiarire alcuni dei possibili meccanismi alla base di tale perdita. Studi precedentemente condotti nell’area di studio avevano evidenziato importanti cambiamenti nella composizione floristica e della distribuzione di habitat a Cystoseira in quest’area, e avevano suggerito che la scarsa capacità di recupero di questi sistemi potesse essere regolata da interazioni tra Cystoseira e le nuove specie dominanti sui substrati lasciati liberi dalla perdita di Cystoseira. Attraverso ripetute mappature dell’habitat condotte a partire da Luglio 2008 fino a Giugno 2010, ho documentato la perdita progressiva delle poche, e sempre più frammentate, patch di habitat originate da questa specie in due siti chiamati La Vela e Due Sorelle. Attraverso successivi esperimenti, ho poi evidenziato le interazioni ecologiche tra le specie dominanti coinvolte in questi cambiamenti di habitat, al fine di identificare possibili meccanismi di feedback che possano facilitare la persistenza di ciascun habitat o, viceversa, l’insediamento di habitat alternativi. La mappatura dell’habitat ha mostrato un chiaro declino della copertura, della densità e della dimensione degli habitat a Cystoseira (rappresentati soprattutto dalla specie C. barbata e occasionalmente C. compressa che però non è stata inclusa nei successivi esperimenti, d’ora in avanti per semplicità verrà utilizzato unicamente il termine Cystoseira per indicare questo habitat) durante il periodo di studio. Nel sito Due Sorelle le canopy a Cystoseira sono virtualmente scomparse, mentre a La Vela sono rimaste poche, sporadiche ed isolate chiazze di Cystoseira. Questi habitat a canopy sono stati sostituiti da nuovi habitat più semplici, tra cui soprattutto letti di mitili, feltri algali e stand monospecifici di Gracilaira spp.. La mappatura dell’habitat ha inoltre sottolineato una diminuzione del potenziale di recupero del sistema con un chiaro declino del reclutamento di Cystoseira durante tutto il periodo di studio. Successivamente ho testato se: 1) una volta perse, il recupero di Cystoseira (reclutamento) possa essere influenzato dalle interazioni con le nuove specie dominanti, quali mitili e feltri algali; 2) il reclutamento di mitili direttamente sulle fronde di Cystoseira (sia talli allo stadio adulto che giovanili) possa influenzare la sopravvivenza e la crescita della macroalga; 3) la sopravvivenza e la crescita delle nuove specie dominanti, in particolare mitili, possa essere rallentata dalla presenza di canopy di Cystoseira. I risultati dimostrano che le nuove specie dominanti insediatesi (feltri algali e mitili), possono inibire il reclutamento di Cystoseira, accelerandone il conseguente declino. L’effetto diretto dei mitili sulle fronde non è risultato particolarmente significativo né per la sopravvivenza di Cystoseira che finora non è risultata preclusa in nessun stadio di sviluppo, né per la crescita, che nel caso di individui adulti è risultata leggermente, ma non significativamente, più elevata per le fronde pulite dai mitili, mentre è stato osservato il contrario per i giovanili. La presenza di canopy a Cystoseira, anche se di piccole dimensioni, ha limitato la sopravvivenza di mitili. Questi risultati complessivamente suggeriscono che una foresta di macroalghe in buone condizioni può avere un meccanismo di autoregolazione in grado di facilitare la propria persistenza. Quando però il sistema inizia a degradarsi e a frammentarsi progressivamente, i cambiamenti delle condizioni biotiche determinati dall’aumento di nuove specie dominanti contribuiscono alla mancanza di capacità di recupero del sistema. Pertanto le strategie per una gestione sostenibile di questi sistemi dovrebbero focalizzarsi sui primi segnali di cambiamenti in questo habitat e sui possibili fattori che ne mantengono la resilienza.
Resumo:
The Time-Of-Flight (TOF) detector of ALICE is designed to identify charged particles produced in Pb--Pb collisions at the LHC to address the physics of strongly-interacting matter and the Quark-Gluon Plasma (QGP). The detector is based on the Multigap Resistive Plate Chamber (MRPC) technology which guarantees the excellent performance required for a large time-of-flight array. The construction and installation of the apparatus in the experimental site have been completed and the detector is presently fully operative. All the steps which led to the construction of the TOF detector were strictly followed by a set of quality assurance procedures to enable high and uniform performance and eventually the detector has been commissioned with cosmic rays. This work aims at giving a detailed overview of the ALICE TOF detector, also focusing on the tests performed during the construction phase. The first data-taking experience and the first results obtained with cosmic rays during the commissioning phase are presented as well and allow to confirm the readiness state of the TOF detector for LHC collisions.
Resumo:
In questa Tesi forniamo una libreria di funzioni aritmetiche che operano in spazio logaritmico rispetto all'input. Partiamo con un'analisi dei campi in cui è necessario o conveniente porre dei limiti, in termini di spazio utilizzato, alla computazione di un determinato software. Vista la larga diffusione del Web, si ha a che fare con collezioni di dati enormi e che magari risiedono su server remoti: c'è quindi la necessità di scrivere programmi che operino su questi dati, pur non potendo questi dati entrare tutti insieme nella memoria di lavoro del programma stesso. In seguito studiamo le nozioni teoriche di Complessità, in particolare quelle legate allo spazio di calcolo, utilizzando un modello alternativo di Macchina di Turing: la Offline Turing Machine. Presentiamo quindi un nuovo “modello” di programmazione: la computazione bidirezionale, che riteniamo essere un buon modo di strutturare la computazione limitata in spazio. Forniamo poi una “guida al programmatore” per un linguaggio di recente introduzione, IntML, che permettere la realizzazione di programmi logspace mantenendo però il tradizionale stile di programmazione funzionale. Infine, per mostrare come IntML permetta concretamente di scrivere programmi limitati in spazio, realizziamo una libreria di funzioni aritmetiche che operano in spazio logaritmico. In particolare, mostriamo funzioni per calcolare divisione intera e resto sui naturali, e funzioni per confrontare, sommare e moltiplicare numeri espressi come parole binarie.
Resumo:
Il mio lavoro di tesi è partito da uno studio approfondito del contesto in cui si trova la Darsena di Ravenna, la mia area di progetto. Tutta la storia dell’evoluzione di Ravenna è legata soprattutto a due fattori principali: la necessità di difendersi dalle incursioni esterne e il continuo adattarsi alle trasformazioni del territorio soprattutto per quanto riguarda la linea di costa e il corso dei due fiumi che la circondano, il Ronco e il Montone. Questi due fattori hanno fatto si che Ravenna sia apparsa, sin dai primi secoli d. C., una città cinta da grandi mura, circondate da fiumi. Il Ronco e il Montone, sono poi diventati, a metà del XVI sec. i protagonisti principali della storia di Ravenna. I diversi progetti che si sono susseguiti nel tempo per cercare di deviarli e allontanarli dalla città, dato che ormai rappresentavano solo un grosso pericolo di alluvione, hanno determinato l’abbandono del primo porto della città, voluto dall’imperatore Augusto e la nascita dell’attuale canale Candiano. Fin dall’inizio il nuovo porto di Ravenna ha presentato una serie di problemi legati alla scarsa profondità del fondale e ai costi di manutenzione, a tal punto che le attività del porto sono sempre state molto limitate. Oggi la Darsena di città è caratterizzata da una moltitudine di edifici di archeologia industriale, risalenti al boom economico degli anni ’50, che risultano per la maggior parte, in uno stato di degrado e abbandono, incominciato con la crisi petrolifera degli anni ’70. A partire dal P.R.G. del 1993, si sono messi in atto una serie di iniziative atte a rivitalizzare e reintegrare quest’area all’interno della città storica, in modo che non sembri più un’entità separata ma che possa diventare un grande potenziale di sviluppo per la città stessa. La politica di riqualificazione del waterfront non riguarda solo Ravenna, ma è una strategia che molte città del modo hanno adottato negli ultimi decenni per ridare lustro alla città stessa e, allo stesso tempo recuperare zone spesso lasciate al loro destino. Fra queste città ho scelto di approfondirne cinque, Baltimora, Barcellona, Genova, Amburgo e Bilbao, evidenziando le diverse situazioni ma soprattutto le diverse motivazioni che le hanno spinte a raggiungere la medesima conclusione, quella che l’area portuale rappresenta un grande fattore di sviluppo. La mia attenzione poi si è spostata su quale attività potesse essere più adatta ad assolvere questo obiettivo. Ho pensato di progettare un museo e una serie di edifici ad esso collegati, come un centro di ricerca con residenze annesse e una torre belvedere, che dessero all’area la possibilità di essere vissuta in tutto l’arco della giornata e per tutto l’anno. Prima di affrontare direttamente la parte progettuale ho cercato di capire quale fosse la tipologia di museo e quali fossero i principali elementi indispensabili che caratterizzano questi edifici. Durante lo studio di questi casi ho classificato i musei secondo 5 categorie diverse, la galleria, la rotonda, la corte, la spirale e la pianta libera, che rispecchiano anche lo sviluppo storico di questa particolare tipologia architettonica. In base a tutte queste considerazioni ho affrontato il mio progetto. L’area presa in esame è caratterizzata da un’ampia superficie su cui insistono tre imponenti edifici di archeologia industriale molto degradati e utilizzati come magazzini dalla società proprietaria dell’area. Due di questi presentano un orientamento parallelo alla tessitura dei campi, il terzo invece segue un orientamento proprio. Oltre a queste due trame nell’area se ne può rilevare una terza legata all’andamento del canale. Queste grandi cattedrali del lavoro mi hanno fatto subito pensare di poterle utilizzare come spazi espositivi per mostre permanenti e temporanee, mantenendo intatta la loro struttura portante. Ho deciso di immergere l’edificio più imponente dei tre, che si trova in asse con la strada veicolare di accesso dalla città, in una grande corte verde delimitata ai lati da due nuovi edifici a L adibiti a veri e propri musei. Se da una parte questi musei costituiscono i limiti della corte, dall’altra rappresentano le quinte sceniche di aree completamenti differenti. Il museo adiacente al canale si affaccia su una grande piazza pavimentata dove troneggia l’edificio di archeologia industriale più simile ad una basilica e che accoglie i visitatori che arrivano tramite la navetta costiera; l’altro invece guarda verso il centro di ricerca e le residenze universitarie legati tra loro da un grande campo lungo completamente verde. A concludere la composizione ho pensato ad una torre belvedere dalla pianta circolare che potesse assorbire tutte le diverse direzioni e che si trova proprio in asse con il terzo edificio di archeologia industriale e a contatto con l’acqua. Per quanto riguarda l’organizzazione interna dei musei ho scelto di proporre due sezioni dello stesso museo con caratteristiche ben distinte. Il primo museo riguarda la storia della civiltà marinara di Ravenna ed è caratterizzato da ambienti conclusi lungo un percorso prestabilito che segue un criterio cronologico, il secondo invece presenta una pianta abbastanza libera dove i visitatori possono scegliere come e su cosa indirizzare la propria visita. Questa decisione è nata dalla volontà di soddisfare le esigenze di tutta l’utenza, pensando soprattutto alla necessità di coinvolgere persone giovani e bambini. Il centro di ricerca è organizzato planimetrica mente come una grande C, dove le due ali più lunghe ospitano i laboratori mentre l’ala più corta rappresenta l’ingresso sottolineato da un portico aggettante sulla corte. Simmetricamente si trovano i sette volumi delle residenze. Ognuno di questi può alloggiare sei studenti in altrettanti monolocali con servizi annessi, e presenta al piano terra aree di relax e sale lettura comuni. La torre belvedere invece riveste un ruolo più commerciale ospitando negozi, uffici per le varie associazioni legate al mare e un ristorante su più livelli, fino ad arrivare alla lanterna, che, come il faro per le navi, diventa un vero segno di riconoscimento e di orientamento dell’area sia dal mare che dalla città.
Resumo:
Il confronto in corso tra gli esperti di management sanitario sui dipartimenti ospedalieri, la crescente attenzione sui modelli di organizzazione a rete e le indagini sui servizi sanitari condotte con strumenti di analisi dei network hanno rappresentato la base su cui sviluppare il disegno dello studio. La prospettiva relazionale e le tecniche di social network analysis (Sna) sono state impiegate in un indagine empirica effettuata presso tre Dipartimenti Ospedalieri dell’Azienda USL di Bologna per osservare la struttura delle relazioni che intercorrono nell’ambito dei dipartimenti, tra le unità operative e tra i clinici, al fine di assicurare il quotidiano svolgersi dei processi clinico assistenziali dei pazienti. L’indagine si è posta tre obiettivi. Il primo è quello di confrontare la rete delle relazioni “reali” che intercorrono tra unità operative e tra clinici con le relazioni “progettate” attraverso l’afferenza delle unità operative nei dipartimenti e dei singoli clinici nelle unità operative. In sostanza si tratta di confrontare, con intenti esclusivamente conoscitivi, la struttura organizzativa formale – istituzionale con quella “informale”, che emerge dalle relazioni giornaliere tra i professionisti. In secondo luogo si intende comprendere se e come i fattori di natura attributiva che caratterizzano i singoli rispondenti, (es. età, sesso, laurea, anni di permanenza in azienda, ecc.) incidano sulla natura e sull’intensità delle relazioni e delle collaborazioni intrattenute con i colleghi all’interno dell’azienda. L’analisi ha un intento “esplicativo”, in quanto si cerca di indagare come le similitudini nelle caratteristiche individuali possano o meno incidere sull’intensità degli scambi e quindi delle collaborazioni tra professionisti. Il terzo obiettivo è volto a comprendere se e come i fattori attributivi e/o relazionali siamo in grado di spiegare l’attitudine mostrata dai singoli professionisti rispetto l’adozione di un approccio alla pratica clinica ispirato all’Evidence based medicine. Lo scopo è quello di verificare se la disponibilità / orientamento ad operare in una prospettiva evidence based sia più legata ad elementi e caratteristiche personali piuttosto che all’influenza esercitata da coloro con i quali si entra in contatto per motivi lavorativi. La relativa semplicità della fase di indagine ha indotto ad arricchire i contenuti e gli obiettivi originari del lavoro allo scopo di correlare indicatori relazionali e attributivi con indicatori di “performance”, in particolare di efficienza e appropriatezza. Le relazioni sono state rilevate attraverso un questionario sociometrico inserito in uno spazio web accessibile dalla rete ospedaliera e compilato online da parte dei medici. Il questionario è stato organizzato in tre sezioni: la prima per la raccolta di informazioni anagrafiche e dati attributivi dei clinici; la seconda volta a raccogliere i dati relazionali, funzionali e di consulenza, verso le equipe di professionisti (unità operative) e verso i singoli colleghi clinici; la terza sezione è dedicata alla raccolta di informazioni sull’utilizzo delle evidenze scientifiche a supporto della propria pratica clinica (consultazione di riviste, banche dati, rapporti di HTA, etc,) e sulla effettiva possibilità di accesso a tali strumenti. L’azienda ha fornito i dati di struttura e la base dati degli indicatori di attività delle UO arruolate nello studio. La compliance complessiva per i tre dipartimenti è stata pari a circa il 92% (302 rispondenti su un campione di 329 medici.). Non si sono rilevate differenze significative sulla compliance per i tre dipartimenti considerati. L’elaborazione dei dati è stata effettuata mediante specifici software per l’analisi delle reti sociali, UCINET 6 per il calcolo degli indicatori relazionali (centralità, densità, structural holes etc.), e Pajek per l’analisi grafica dei network. L’ultima fase è stata realizzata con l’ausilio del software statistico STATA vers. 10. L’analisi dei risultati è distinta in due 2 fasi principali. In primis è stato descritto il network di relazioni professionali rilevate, sono stai calcolati i relativi indicatori di centralità relazionale e verificato il grado di sovrapposizione tra struttura formale dei dipartimenti in studio con le relazioni informali che si stabiliscono tra di essi nell’ambito clinico. Successivamente è stato analizzato l’impatto che le relazioni esercitano sulla propensione da parte dei singoli medici a utilizzare nuove evidenze scientifiche I primi risultati emersi dallo studio forniscono interessanti evidenze, con particolare riguardo al dato di un discreto grado di “sovrapposizione” tra struttura formale e informale delle unità organizzative in studio e a correlazioni significative tra fattori relazionali e attitudine dei medici verso l’utilizzo dell’approccio EBM. Altre evidenze, in specie la correlazione tra “centralità” degli attori organizzativi e alcuni indicatori di performance /appropriatezza, meritano ulteriori approfondimenti e una definitiva validazione. In conclusione lo studio dimostra che la prospettiva relazionale e la Sna consentono di porre in evidenza caratteristiche dei dipartimenti, dei suoi attori e delle loro reti di reciproche relazioni, in grado di favorire la comprensione di alcune dinamiche ricercate proprio attraverso l’organizzazione dipartimentale e quindi di specifico interesse per il management, i clinici e quanti altri impegnati nella gestione e nello sviluppo di questo modello di organizzazione dell’ospedale.
Resumo:
Fin dai primi approcci alla città dell'Aquila, quando ancora non la conoscevamo e attraverso libri e articoli in rete cercavamo di capire la sua storia e la sua identità, abbiamo riconosciuto chiaramente quanto fosse importante la sua università. Le testimonianze precedenti il sisma parlavano di una città universitaria con quasi 30000 iscritti in continua crescita, viva e attiva, una città giovane; quelle posteriori il 6 aprile 2009 invece erano le richieste di aiuto da parte di docenti e fuorisede che si rifiutavano di abbandonare quello che per loro era diventato un importante punto di riferimento per la loro vita e la loro formazione. Forse anche perchè noi stesse studentesse, abbiamo fin da subito sentito il dovere di occuparci di questo angoscioso problema, da un lato per essere solidali verso i nostri sfortunati colleghi, dall'altro per non permettere un ulteriore abbandono dell'ateneo aquilano da parte di altri studenti. Lo slogan apparso sui cartelloni di alcuni studenti aquilani durante una manifestazione fatta per sensibilizzare la popolazione sulla loro situazione palesa il loro attaccamento alla città e la loro volontà di continuare a farne parte e partecipare alla sua ricostruzione: "Noi siamo il cuore de L'Aquila". L’Università dell’Aquila vuole tornare nel centro storico. A confermare questa volontà, più volte espressa, c’è l’acquisizione della vecchia struttura dell’ospedale San Salvatore nei pressi della Fontana Luminosa, dove verrà realizzato il nuovo polo umanistico. La nuova sede di Lettere e filosofia, situata nella parte più nuova dell’ex complesso ospedaliero sarà aperta per il prossimo anno accademico e nell'ultima porzione di struttura acquistata si insedierà anche la facoltà di Scienze della formazione. “L’Università deve tornare nel centro storico - ha affermato il rettore Ferdinando di Orio nella conferenza stampa di presentazione dell’iniziativa - perché deve tornare a rappresentare ciò che L’Aquila è, ovvero una città universitaria”. Da qui un percorso di studio che partendo dalla storia della città e della sua università ci ha portato fino alla scelta dell'area, secondo noi la più adatta ad ospitare servizi per gli studenti universitari e permettere un tempestivo approccio al problema. Un'area che si è rivelata piena di potenzialità e per noi possibile punto di riferimento per la rinascita del centro storico aquilano. Dagli studi preliminari svolti è infatti emerso che l'area di progetto è attualmente poco sfruttata benchè la sua posizione sia assolutamente favorevole. Importante è per esempio la vicinanza alla stazione ferroviaria, usata da studenti fuori sede soprattutto della conca aquilana, professori e ospiti che devono raggiungere la città. Il piazzale della stazione ferroviaria, assieme alla via XX Settembre sono poi importanti fermate del servizio urbano ed extraurbano pubblico che collegano l'area con l'università, l'ospedale, e l'autostazione di Collemaggio. Altrettanto rilevante è parsa la prossimità dell'area al centro storico ed il fatto che si presenti agibile nella quasi sua totalità il che permette di poter pensare ad un intervento di ricostruzione tempestivo. Oltre alle mura storiche, la zona di progetto si trova nelle immediate vicinanze di altre due importanti emergenze: la Fontana delle 99 cannelle, uno dei più importanti e più significativi monumenti dell’Aquila e l'edificio dell'ex-mattatoio, struttura di archeologia industriale nella quale il Comune ha scelto di localizzare temporaneamente il Museo Nazionale d'Abruzzo. Attraverso la realizzazione di questo importante spazio espositivo insieme con il restauro della Fontana delle novantanove Cannelle e della Porta Rivera a cura del FAI, sarà possibile ripristinare un polo di attrazione culturale e monumentale. L’operazione assume inoltre un valore simbolico, poiché viene effettuato in un luogo di primaria importanza, legato all’origine stessa della città, che farà da battistrada per la riappropriazione del centro storico. Noi ci affianchiamo quindi a questo importante intervento e alle ultime direttive segnalate dal Comune e dall'Ateneo che dimostrano la loro volontà di riappropriarsi del centro storico, localizzando nell'area i servizi che dopo il sisma risultano necessari affinché gli studenti possano continuare i loro studi nella città e andando a potenziare il sistema museale già presente per creare un importante polo didattico e culturale.
Resumo:
In questa tesi ci focalizzeremo sul connubio TV ed internet che rivoluzionerà l’erogazione dei servizi verso i telespettatori e di conseguenza il marketing pubblicitario in questo contesto. Partiremo dalla storia della televisione in Italia e dei dispositivi TV per poi analizzare i primi fenomeni di utilizzo televisivo del canale web e la conseguente nascita dei primi social media e servizi di video on demand. La seconda parte di questa tesi farà una larga panoramica sul marketing televisivo ed il web marketing, fino ad arrivare al punto di massima prossimità tra i due canali, ovvero l’advertising correlato ai contenuti video presenti sul web. Nella terza ed ultima parte analizzeremo le prime piattaforme di WebTV e servizi di internet television, per poi focalizzarci sui probabili risvolti e prospettive future sia a livello di fruizione dei contenuti che pubblicitario. Questo fenomeno avrà una netta influenza nel Marketing considerando che dal 1984 la TV è il mezzo che raccoglie la maggior parte degli investimenti pubblicitari ed il web è il media in maggiore ascesa a livello di penetrazione e popolarità negli ultimi anni.
Resumo:
Nel lavoro di tesi qui presentato si indaga l'applicazione di tecniche di apprendimento mirate ad una più efficiente esecuzione di un portfolio di risolutore di vincoli (constraint solver). Un constraint solver è un programma che dato in input un problema di vincoli, elabora una soluzione mediante l'utilizzo di svariate tecniche. I problemi di vincoli sono altamente presenti nella vita reale. Esempi come l'organizzazione dei viaggi dei treni oppure la programmazione degli equipaggi di una compagnia aerea, sono tutti problemi di vincoli. Un problema di vincoli è formalizzato da un problema di soddisfacimento di vincoli(CSP). Un CSP è descritto da un insieme di variabili che possono assumere valori appartenenti ad uno specico dominio ed un insieme di vincoli che mettono in relazione variabili e valori assumibili da esse. Una tecnica per ottimizzare la risoluzione di tali problemi è quella suggerita da un approccio a portfolio. Tale tecnica, usata anche in am- biti come quelli economici, prevede la combinazione di più solver i quali assieme possono generare risultati migliori di un approccio a singolo solver. In questo lavoro ci preoccupiamo di creare una nuova tecnica che combina un portfolio di constraint solver con tecniche di machine learning. Il machine learning è un campo di intelligenza articiale che si pone l'obiettivo di immettere nelle macchine una sorta di `intelligenza'. Un esempio applicativo potrebbe essere quello di valutare i casi passati di un problema ed usarli in futuro per fare scelte. Tale processo è riscontrato anche a livello cognitivo umano. Nello specico, vogliamo ragionare in termini di classicazione. Una classicazione corrisponde ad assegnare ad un insieme di caratteristiche in input, un valore discreto in output, come vero o falso se una mail è classicata come spam o meno. La fase di apprendimento sarà svolta utilizzando una parte di CPHydra, un portfolio di constraint solver sviluppato presso la University College of Cork (UCC). Di tale algoritmo a portfolio verranno utilizzate solamente le caratteristiche usate per descrivere determinati aspetti di un CSP rispetto ad un altro; queste caratteristiche vengono altresì dette features. Creeremo quindi una serie di classicatori basati sullo specifico comportamento dei solver. La combinazione di tali classicatori con l'approccio a portfolio sara nalizzata allo scopo di valutare che le feature di CPHydra siano buone e che i classicatori basati su tali feature siano affidabili. Per giusticare il primo risultato, eettueremo un confronto con uno dei migliori portfolio allo stato dell'arte, SATzilla. Una volta stabilita la bontà delle features utilizzate per le classicazioni, andremo a risolvere i problemi simulando uno scheduler. Tali simulazioni testeranno diverse regole costruite con classicatori precedentemente introdotti. Prima agiremo su uno scenario ad un processore e successivamente ci espanderemo ad uno scenario multi processore. In questi esperimenti andremo a vericare che, le prestazioni ottenute tramite l'applicazione delle regole create appositamente sui classicatori, abbiano risultati migliori rispetto ad un'esecuzione limitata all'utilizzo del migliore solver del portfolio. I lavoro di tesi è stato svolto in collaborazione con il centro di ricerca 4C presso University College Cork. Su questo lavoro è stato elaborato e sottomesso un articolo scientico alla International Joint Conference of Articial Intelligence (IJCAI) 2011. Al momento della consegna della tesi non siamo ancora stati informati dell'accettazione di tale articolo. Comunque, le risposte dei revisori hanno indicato che tale metodo presentato risulta interessante.