A study on set variable representations in constraint programming

Il lavoro presentato in questa tesi si colloca nel contesto della programmazione con vincoli, un paradigma per modellare e risolvere problemi di ricerca combinatoria che richiedono di trovare soluzioni in presenza di vincoli. Una vasta parte di questi problemi trova naturale formulazione attraverso il linguaggio delle variabili insiemistiche. Dal momento che il dominio di tali variabili può essere esponenziale nel numero di elementi, una rappresentazione esplicita è spesso non praticabile. Recenti studi si sono quindi focalizzati nel trovare modi efficienti per rappresentare tali variabili. Pertanto si è soliti rappresentare questi domini mediante l'uso di approssimazioni definite tramite intervalli (d'ora in poi rappresentazioni), specificati da un limite inferiore e un limite superiore secondo un'appropriata relazione d'ordine. La recente evoluzione della ricerca sulla programmazione con vincoli sugli insiemi ha chiaramente indicato che la combinazione di diverse rappresentazioni permette di raggiungere prestazioni di ordini di grandezza superiori rispetto alle tradizionali tecniche di codifica. Numerose proposte sono state fatte volgendosi in questa direzione. Questi lavori si differenziano su come è mantenuta la coerenza tra le diverse rappresentazioni e su come i vincoli vengono propagati al fine di ridurre lo spazio di ricerca. Sfortunatamente non esiste alcun strumento formale per paragonare queste combinazioni. Il principale obiettivo di questo lavoro è quello di fornire tale strumento, nel quale definiamo precisamente la nozione di combinazione di rappresentazioni facendo emergere gli aspetti comuni che hanno caratterizzato i lavori precedenti. In particolare identifichiamo due tipi possibili di combinazioni, una forte ed una debole, definendo le nozioni di coerenza agli estremi sui vincoli e sincronizzazione tra rappresentazioni. Il nostro studio propone alcune interessanti intuizioni sulle combinazioni esistenti, evidenziandone i limiti e svelando alcune sorprese. Inoltre forniamo un'analisi di complessità della sincronizzazione tra minlex, una rappresentazione in grado di propagare in maniera ottimale vincoli lessicografici, e le principali rappresentazioni esistenti

Studio ed Analisi di tecniche di container migration con supporto alla persistenza in scenari di Edge Computing

Il numero di dispositivi IoT connessi alla rete è in costante aumento e con loro i dati da essi prodotti. Le tradizionali soluzioni di elaborazione e archiviazione dati non saranno più sufficientemente performanti in quanto la mole di dati crescerà in maniera esponenziale nei prossimi anni. Nuovi approcci spingono all'introduzione di uno strato intermedio tra il creatore del dato e il luogo dove deve essere depositato, uno di questi approcci è l'Edge computing; ma la gestione dei servizi in esecuzione al suo interno rappresenta una nuova sfida. Nella distribuzione di servizi si stanno evolvendo i container, i quali offrono il vantaggio di essere migrati tra calcolatori con una facilità maggiore rispetto a un'applicazione. In questo lavoro di tesi è stato creato un servizio che possa gestire e spostare container Docker, con annesso il proprio stato di esecuzione, in un cluster di nodi Edge. Lo sviluppo è stato impostato in un'ottica che prevede che vari nodi Edge connessi in rete possano creare in autonomia un cluster dove al suo interno sia presente un nodo Leader e diversi nodi Follower. L'elezione del Leader avviene tra i nodi scambiandosi un valore di fitness, che è compreso tra 0 e 1 ed indica quanto il nodo è performante. Il design dell'architettura è stato studiato per essere fault tolerance nei confronti del Leader e dei nodi Follower. Il Leader ha il compito principale di raccogliere i valori di fitness dai nodi Follower del cluster e indire la migrazione di container Docker sulla base di policy studiate ad hoc, le quali tengono conto anche dei valori fitness specifici su ogni singolo container. Il motivo che ha spinto la creazione dell'applicazione è quello di creare un servizio che effettui varie migrazioni al fine di uniformare i valori di fitness dei vari nodi del cluster

Dipartimenti di Prevenzione durante la pandemia tra le criticità strutturali e l’emergenza

I dipartimenti di prevenzione, entità scarsamente integrate finora nelle aziende sanitarie locali di cui fanno parte, sono state coinvolte in prima linea durante le diverse ondate della pandemia. L'obiettivo del contributo è comprendere se e come questa esperienza abbia contribuito a mutare nel breve e nel lungo termine il posizionamento di questi dipartimenti nelle aziende sanitarie lovali

L'evoluzione del marketing nelle aziende sanitarie

È ormai riconosciuta l’importanza del marketing come strumento per la promozione della salute, o per sostenere le strategie volte a contrastare la “disinformazione” e migliorare i processi decisionali dell’utente in una logica di empowermen

Studio ed analisi di soluzioni di localizzazione indoor multi sorgente basate su tecniche di fingerprint

L'argomento principale di questa tesi è la localizzazione indoor, affrontata mediante la creazione di un'applicazione Android con il fine ultimo di localizzare un'utente all'interno di un ambiente chiuso. Le funzionalità principali che l'applicazione svolge sono due, analizzare un ambiente per raccogliervene i dati, ed riutilizzarli per fini localizzativi. Nella prima parte l'applicazione rileva i dati di un ambiente. I dati provengono da Access Point, Beacon Bluetooth e Rete Cellulare, tali dati sono salvati in un database in MongoDB. Le informazioni archiviate nella banca dati sono associate al nome dell'edificio e dell'ambiente nel quale i dati sono stati rilevati. Nella seconda parte dell'applicazione i dati archiviati nel database vengono confrontati con dei nuovi, rilevati nel momento in cui un'utente desidera localizzarsi. Il confronto dei dati avviene con l'ausilio di algoritmi di Pattern Matching. Gli algoritmi che analizzano i dati sono stati valutati sulla base del loro successo al fine di ottenere quale tra quelli usati detiene un risultato migliore

Assetto organizzativo e forme di gestione per progetti

Si propone non solo quale manuale di aggiornamento teorico sui modelli più avanzati di project management ma anche come strumento di lavoro immediatamente utile per quanti vogliano implementare nelle organizzazioni dell'healthcare nuovi processi di eccellenza fondati su metodologie rigorose ed "evidenze di efficacia" in grado di rispondere alla domanda di cura di una società sempre più complessa e dinamica