Evoluzione dei Modelli e delle Tecnologie per il Web: DART e HTML5 come caso di studio

Nell’ultimo decenno si è assisitito ad una frenetica evoluzione delle tecnologie di connessione e trasferimento dati, dagli impianti di fibra ottica sempre più diffusi e performanti, alle varie tecnologie mobile UMTS e LTE. Tutto ciò ha permesso a sempre più persone di poter spendere una maggiore fetta del proprio tempo sulla rete sia per svago che per lavoro. Questo ha portato col tempo l’utente interattivo alla ricerca di servizi remoti che prima usufruiva in locale, sia per motivi di portabilità e di interconnessione, sia per una semplice questione di sincronizzazione fra i vari dispositivi posseduti. Il presente progetto di tesi si pone come obiettivo di indagare con occhio ingegneristico all’evoluzione della struttura del web fino ad identificare e analizzare l’attuale necessità di poter avere in rete tutti quei servizi anche completi e strutturalmente complessi che prima si aveva sul proprio desktop; tutto ciò attraverso l’esempio di un nuovo linguaggio di sviluppo per applicazioni web strutturate proposto da Google: DART. In questa analisi non si potrà prescindere dallo studio attento della tecnologia che sin dagli inizi della rete ha fatto da struttura al web ovvero l’Html e il suo ultimo standard Hmtl5. Nella prima parte verrà mostrata, attraverso un breve percorso, la nascita e lo sviluppo del web, sino ai giorni nostri. Si effettuerà quindi una panoramica, rivisitando tutti più importanti passi che hanno portato la rete internet ad essere ciò che oggi utilizziamo, ponendo una particolare attenzione alle attuali esigenze di progettazione della struttura dei servizi web. Nel secondo capitolo viene introdotta la tecnologia a base del web, l’Html; attraverso una breve analisi dell’evoluzione di quest’ultima si arriverà sino all’attuale HTML5 e alle funzionalità offerte nell’ottica della programmazione web strutturata. Nel terzo capitolo si analizzerà in maniera più approfondita la necessità di un web strutturato e le potenzialità del progetto Dart attraverso alcuni esempi esplicativi. Infine si trarranno alcune conclusioni sull’attuale situazione del web, sulla necessità di un web strutturato e sulla possibilità di riuscita del progetto Dart.

Analisi statica dei Deadlock in Featherweight Java con Futuri

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto

Erosioni dentali nei bambini affetti da GERD

L’erosione dentale è definita come una perdita progressiva e irreversibile dei tessuti duri del dente, a causa di un processo chimico che non coinvolge i batteri. La sua prevalenza è accresciuta negli ultimi anni nella popolazione generale, particolarmente nei bambini e negli adolescenti e rappresenta attualmente un’enorme sfida per la cura della salute orale. L'eziologia delle erosioni è difficile da diagnosticare perché può essere il risultato di una varietà di fattori e si può manifestare in maniera differente in base alla causa che l’ha determinata. L’eziologia può essere intrinseca, cioè derivante dal contenuto acido dello stomaco associato a disordini alimentari come l’anoressia, la bulimia nervosa, il reflusso gastro-esofageo e il regurgito, o estrinseca, derivante dal contenuto acido proveniente dall’ambiente esterno (cibi dietetici, bevande analcoliche, succhi di frutta, ecc). L’erosione è particolarmente frequente nei bambini e poiché i soggetti che presentano erosioni in dentizione decidua hanno un rischio aumentato di manifestare erosioni in dentizione permanente, una diagnosi precoce e una prevenzione attuata in tenera età, aiuterà a prevenire il danno a carico dei denti permanenti. Inoltre se l’erosione dentale non è controllata e stabilizzata, il bambino potrebbe soffrire di severe perdite di superfici dentali, sensibilità dentale, malocclusione, inestetismi o anche ascessi dentali dei denti affetti. Lo studio caso-controllo è stato condotto dalla Sezione di Odontostomatologia del Dipartimento Testa - Collo, in collaborazione con l’Unità Operativa Complessa di Gastroenterologia Pediatrica dell’Azienda Ospedaliera-Univesitaria di Parma. Il gruppo di studio comprende 60 pazienti di età compresa tra i 4 e i 13 anni. Dei 60 bambini arruolati, 30 presentano sintomi e storia clinica di GERD, mentre gli altri 30 sono bambini sani senza alcun sintomo di GERD o di altri disturbi gastrointestinali. Il gruppo campione A include anche soggetti affetti, oltre che dal reflusso gastro-esofageo, da varie forme di disabilità, in alcune delle quali il GERD sembra essere parte del quadro sindromico. I risultati ottenuti dallo studio hanno dimostrato una prevalenza maggiore di erosioni dentali nel gruppo di bambini affetti da GERD, rispetto ai bambini sani, in accordo con quanto riportato dalla letteratura.

The Simon effect and its time courses: an investigation

The objective of the current thesis is to investigate the temporal dynamics (i.e., time courses) of the Simon effect, both from a theoretical and experimental point of view, for a better understanding of whether a) one or more process are responsible for the Simon effect and b) how this/these mechanism/s differently influence performance. In the first theoretical (i.e., “Theoretical Overview”) part, I examined in detail the process and justification for analyzing the temporal dynamics of the Simon effect and the assumptions that underlie interpretation of the results which have been obtained in the existing literature so far. In the second part (“Experimental Investigations”), though, I experimentally investigated several issues which the existing literature left unsolved, in order to get further evidence in favor or in contrast with the mainstream models which are currently used to account for the different Simon effect time courses. Some points about the experiments are worth mentioning: First, all the experiments were conducted in the laboratory, facing participants with stimuli presented on a PC screen and then recording their responses. Both stimuli presentation and response collection was controlled by the E-Prime software. The dependent variables of interest were always behavioral measures of performance, such as velocity and accuracy. Second, the most part of my experiments had been conducted at the Communication Sciences Department (University of Bologna), under Prof. Nicoletti’s supervision. The remaining part, though, had been conducted at the Psychological Sciences Department of Purdue University (West Lafayette, Indiana, USA), where I collaborated for one year as a visiting student with Prof. Proctor and his team. Third, my experimental pool was entirely composed by healthy and young students, since the cognitive functioning of elderly people was not the target of my research.

La testimonianza come fonte di conoscenza irriducibile

La testimonianza è riconosciuta in epistemologia come una fonte fondamentale di conoscenza. Meno consenso c’è riguardo lo status epistemico delle credenze formate e intrattenute su base testimoniale: la questione è se la testimonianza fornisca di per sé le ragioni per affidarvisi, o se tali ragioni siano riducibili alla giustificazione fornita da percezione, memoria e ragionamento. Il dibattito circa lo status epistemico delle credenze acquisite tramite testimonianza ha dato origine a due linee di pensiero contrapposte: il riduzionismo e l’anti-riduzionismo. Secondo gli antiriduzionisti, che si rifanno al pensiero di Thomas Reid, la testimonianza è una fonte basica di giustificazione, alla pari di percezione, memoria e ragionamento. Ciò significa che il soggetto che riceve testimonianza è giustificato a crederne il contenuto in assenza di defeaters rilevanti. I riduzionisti, che fanno capo al lavoro di David Hume, sostengono al contrario che, oltre all’assenza di defeaters rilevanti, per poter credere giustificatamente il contenuto di una testimonianza il soggetto deve essere in possesso di ragioni positive non-testimoniali. Queste ragioni sono normalmente rintracciate in un’induzione che parte dalla memoria dell’osservazione di una generale conformità tra i fatti e le testimonianze, e conclude che un certo tipo di testimone, di circostanza, di contesto, o di contenuto veicolato sono fonti attendibili di informazioni. La critica principale che viene mossa contro l’antiriduzionismo è che sembra approvare la credulità e l’irresponsabilità epistemica . Mostrerò al contrario che la conoscenza testimoniale non sia riducibile ad alcun tipo di inferenza e che la giustificazione che fornisce è in linea con un resoconto del processo che costituisce testimonianza in termini di norme e di committment. Sosterrò una tesi antiriduzionista basata su un resoconto affidabilista della giustificazione che si spiega nei termini dell’esercizio di abilità epistemiche acquisite entro un ambiente epistemico dove le stesse sono profondamente radicate. Un resoconto dell’asserzione nei termini delle norme da cui è regolata mostrerà che la credenza testimoniale è giustificata in virtù della conoscenza che è presupposta dall’asserzione, che della testimonianza è la forma paradigmatica.

La definizione di criminalità organizzata nella letteratura giuridica e nella normativa interna ed internazionale

Non può dirsi ancora raggiunta una completa, appagante e condivisa definizione di criminalità organizzata: eppure tale concetto viene ampiamente utilizzato, entrando nel linguaggio comune e –soprattutto- in quello normativo e giurisprudenziale. Attraverso il susseguirsi di numerosi interventi legislativi, abbiamo assistito alla progressiva elaborazione del c.d. doppio binario: di una normativa, cioè, ad hoc per i reati di criminalità organizzata, caratterizzata da un rilevante arretramento delle ordinarie soglie di garanzia previste dall’ordinamento giuridico. Alla luce di prioritarie esigenze di legalità si giustifica l’impellente necessità di giungere alla elaborazione di una precisa definizione di criminalità organizzata. A tale fine, nel corso del presente lavoro, sono stati esaminati i principali approcci definitori individuati a livello socio-criminologico, giurisprudenziale ed in ambito normativo, con particolare attenzione al diritto penale e processual-penalistico; si è inoltre proceduto all’analisi delle principali definizioni riscontrabili a livello comunitario ed internazionale.

Da Java a Objective-C: Porting e dispositivi portatili

La tesi si propone di studiare il rapporto tra i due linguaggi di programmazione più diffusi per dispositivi portatili, e si concentra in particolare sul porting dal diffusissimo linguaggio Java all'emergente Objective-C. Strumenti come J2ObjC e Codename One saranno studiati e comparati.

Engineering Concurrent and Event-driven Web Apps: An Agent-Oriented Approach based on the simpAL Language

Web is constantly evolving, thanks to the 2.0 transition, HTML5 new features and the coming of cloud-computing, the gap between Web and traditional desktop applications is tailing off. Web-apps are more and more widespread and bring several benefits compared to traditional ones. On the other hand reference technologies, JavaScript primarly, are not keeping pace, so a paradim shift is taking place in Web programming, and so many new languages and technologies are coming out. First objective of this thesis is to survey the reference and state-of-art technologies for client-side Web programming focusing in particular on what concerns concurrency and asynchronous programming. Taking into account the problems that affect existing technologies, we finally design simpAL-web, an innovative approach to tackle Web-apps development, based on the Agent-oriented programming abstraction and the simpAL language. == Versione in italiano: Il Web è in continua evoluzione, grazie alla transizione verso il 2.0, alle nuove funzionalità introdotte con HTML5 ed all’avvento del cloud-computing, il divario tra le applicazioni Web e quelle desktop tradizionali va assottigliandosi. Le Web-apps sono sempre più diffuse e presentano diversi vantaggi rispetto a quelle tradizionali. D’altra parte le tecnologie di riferimento, JavaScript in primis, non stanno tenendo il passo, motivo per cui la programmazione Web sta andando incontro ad un cambio di paradigma e nuovi linguaggi e tecnologie stanno spuntando sempre più numerosi. Primo obiettivo di questa tesi è di passare al vaglio le tecnologie di riferimento ed allo stato dell’arte per quel che riguarda la programmmazione Web client-side, porgendo particolare attenzione agli aspetti inerenti la concorrenza e la programmazione asincrona. Considerando i principali problemi di cui soffrono le attuali tecnologie passeremo infine alla progettazione di simpAL-web, un approccio innovativo con cui affrontare lo sviluppo di Web-apps basato sulla programmazione orientata agli Agenti e sul linguaggio simpAL.

Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and Webots Platforms

La crescente disponibilità di dispositivi meccanici e -soprattutto - elettronici le cui performance aumentano mentre il loro costo diminuisce, ha permesso al campo della robotica di compiere notevoli progressi. Tali progressi non sono stati fatti unicamente per ciò che riguarda la robotica per uso industriale, nelle catene di montaggio per esempio, ma anche per quella branca della robotica che comprende i robot autonomi domestici. Questi sistemi autonomi stanno diventando, per i suddetti motivi, sempre più pervasivi, ovvero sono immersi nello stesso ambiente nel quale vivono gli essere umani, e interagiscono con questi in maniera proattiva. Essi stanno compiendo quindi lo stesso percorso che hanno attraversato i personal computer all'incirca 30 anni fa, passando dall'essere costosi ed ingombranti mainframe a disposizione unicamente di enti di ricerca ed università, ad essere presenti all'interno di ogni abitazione, per un utilizzo non solo professionale ma anche di assistenza alle attività quotidiane o anche di intrattenimento. Per questi motivi la robotica è un campo dell'Information Technology che interessa sempre più tutti i tipi di programmatori software. Questa tesi analizza per prima cosa gli aspetti salienti della programmazione di controllori per robot autonomi (ovvero senza essere guidati da un utente), quindi, come l'approccio basato su agenti sia appropriato per la programmazione di questi sistemi. In particolare si mostrerà come un approccio ad agenti, utilizzando il linguaggio di programmazione Jason e quindi l'architettura BDI, sia una scelta significativa, dal momento che il modello sottostante a questo tipo di linguaggio è basato sul ragionamento pratico degli esseri umani (Human Practical Reasoning) e quindi è adatto alla implementazione di sistemi che agiscono in maniera autonoma. Dato che le possibilità di utilizzare un vero e proprio sistema autonomo per poter testare i controllori sono ridotte, per motivi pratici, economici e temporali, mostreremo come è facile e performante arrivare in maniera rapida ad un primo prototipo del robot tramite l'utilizzo del simulatore commerciale Webots. Il contributo portato da questa tesi include la possibilità di poter programmare un robot in maniera modulare e rapida per mezzo di poche linee di codice, in modo tale che l'aumento delle funzionalità di questo risulti un collo di bottiglia, come si verifica nella programmazione di questi sistemi tramite i classici linguaggi di programmazione imperativi. L'organizzazione di questa tesi prevede un capitolo di background nel quale vengono riportare le basi della robotica, della sua programmazione e degli strumenti atti allo scopo, un capitolo che riporta le nozioni di programmazione ad agenti, tramite il linguaggio Jason -quindi l'architettura BDI - e perché tale approccio è adatto alla programmazione di sistemi di controllo per la robotica. Successivamente viene presentata quella che è la struttura completa del nostro ambiente di lavoro software che comprende l'ambiente ad agenti e il simulatore, quindi nel successivo capitolo vengono mostrate quelle che sono le esplorazioni effettuate utilizzando Jason e un approccio classico (per mezzo di linguaggi classici), attraverso diversi casi di studio di crescente complessità; dopodiché, verrà effettuata una valutazione tra i due approcci analizzando i problemi e i vantaggi che comportano questi. Infine, la tesi terminerà con un capitolo di conclusioni e di riflessioni sulle possibili estensioni e lavori futuri.

Caratterizzazione della flora microbica orale in diverse categorie di pazienti sindromici in età evolutiva.

La salute orale dei soggetti affetti da patologie sistemiche responsabili di disabilità fisiche e/o psichiche, in particolare in età evolutiva, è un obiettivo da perseguire di primaria importanza al fine di migliorare la qualità della vita del bambino e garantirgli un buon inserimento nel contesto sociale. Ricerche sperimentali e cliniche hanno individuato i momenti eziopatogenetici delle diverse problematiche che si riscontrano a carico del cavo orale, con una frequenza superiore nei pazienti disabili rispetto alla restante popolazione, attribuendo ai batteri formanti la placca e a quelli con la capacità di indurre un danno parodontale un ruolo chiave. Diversi sono stati i protocolli di prevenzione e terapia proposti nel tempo, costruiti proprio in relazione all’età del soggetto ed alla tipologia della disabilità; tuttavia risulta di fondamentale importanza chiarire il complesso rapporto tra la popolazione microbica orale e l'ospite nello stato di malattia. In un contesto del genere, intento del lavoro di ricerca è proprio quello di portare a termine un progetto di bonifica dentaria su un gruppo di pazienti in età compresa tra i 2 e i 17 anni, affetti da patologie sistemiche e patologie del cavo orale, sulla base di un profilo microbiologico, a partire da tamponi salivari e prelievi parodontali. Stilando il profilo microbiologico del “gruppo campione” e confrontandolo con quello di un gruppo di pazienti di controllo, lo studio si propone di riuscire a delineare i miglioramenti, qualora ci fossero, post terapia odontostomatologica e di riuscire a trovare una base microbiologica alle patologie extra -orali annesse.

Stato della salute orale in pazienti istituzionalizzati affetti da patologie neuropsichiatriche

Le patologie di pertinenza odontostomatologica in pazienti adulti istituzionalizzati affetti da disabilità neuropsichiatrica presentano un’alta prevalenza; scopo del presente lavoro è stato la valutazione della prevalenza di carie (DMFT, SIC) e lo stato di igiene orale (OHI-S) in un gruppo di 103 (72 maschi, 31 femmine, età media 51) pazienti degli Istituti del P.O. Corberi e della RSD Beato Papa Giovanni XIII di Limbiate (MB). E’ stato valutata la collaborazione alla visita con la scala di Frankl, si è definito lo stato funzionale del paziente, in base alla Classificazione Internazionale del Funzionamento, della Disabilità e della Salute (ICF) e si è valutata con un questionario la motivazione degli operatori sanitari a stili di salute orale. Lo studio ha evidenziato un DMFT medio pari a 16,14 e SIC pari a 23,8, valori non correlabili con l'età del soggetto. L’OHI-S medio è pari a 3,46, dato che si presenza correlato con il tempo intercorso dall’ultima visita odontoiatrica. Dal confronto con un gruppo di soggetti sani della stessa età risultano significativamente più elevati i valori della componente (M) e (F) del DMFT e di tutte le componenti dell’OHI-S. Il campione è stato diviso in due gruppi a seconda della loro pregressa collaborazione al trattamento odontoiatrico e sono stati confrontati i dati ricavati dalla checklist ICF. Il gruppo collaborante ha mostrato livelli di funzionalità superiori per quanto riguarda le capacità di osservare, parlare e l’assistenza personale. Dalle risposte del personale socio-sanitario ermerge scarsa informazione sulle tecniche di igiene orale domiciliare quotidiana del paziente assistito. I risultati di questo studio confermano l'alta prevalenza di carie e scarsa igiene orale in soggetti istituzionalizzati con disabilità neuropsichiatrica. L'ICF si è dimostrata una utile guida per la valutazione dell�approccio comportamentale più idoneo in fase di trattamento. Infine, si evidenzia l’importanza di una formazione continua degli operatori socio-sanitari.

L'Orientamento politico come fattore di differenziazione delle politiche pubbliche locali: I casi di Modena e Verona

La tesi ha per oggetto lo studio delle politiche pubbliche locali ed in particolare delle politiche sociali che dal 2011 sono diventate politiche esclusivamente territoriali. L’obiettivo è quello di verificare se il differente orientamento politico delle amministrazioni genera politiche differenti. Per verificare le ipotesi si sono scelti 2 Comuni simili sul piano delle variabili socio-economiche, ma guidati da giunte con orientamento politico differente: il Comune di Modena a guida Partito Democratico e il Comune di Verona con un sindaco leghista a capo di una giunta di centro-destra. Nella prima parte vengono esposti ed analizzati i principali paradigmi di studio delle politiche (rational choice, paradigma marxista, economia del benessere, corporativismo e pluralismo, neo-istituzionalismo e paradigma relazionale) e viene presentato il paradigma che verrà utilizzato per l’analisi delle politiche (paradigma relazionale). Per la parte empirica si è proceduto attraverso interviste in profondità effettuate ai due Assessori alle Politiche sociali e ai due Dirigenti comunali dei Comuni e a 18 organizzazioni di Terzo settore impegnate nella costruzione delle politiche e selezionate attraverso la metodologia “a palla di neve”. Sono analizzate le disposizioni normative in materia di politica sociale, sia per la legislazione regionale che per quella comunale. L’analisi dei dati ha verificato l’ipotesi di ricerca nel senso che l’orientamento politico produce politiche differenti per quanto riguarda il rapporto tra Pubblica Amministrazione e Terzo settore. Per Modena si può parlare di una scelta di esternalizzazione dei servizi che si accompagna ad un processo di internalizzazione dei servizi tramite le ASP; a Verona almeno per alcuni settori delle politiche (disabilità e anziani) sono stati realizzati processi di sussidiarietà e di governance. Per la fase di programmazione l’orientamento politico ha meno influenza e la programmazione mostra caratteristiche di tipo “top-down”.

Sviluppo di un'applicazione bioinformatica per la gestione dei dati di antibiotico sensibilità di isolati clinici

Il problema dell'antibiotico-resistenza è un problema di sanità pubblica per affrontare il quale è necessario un sistema di sorveglianza basato sulla raccolta e l'analisi dei dati epidemiologici di laboratorio. Il progetto di dottorato è consistito nello sviluppo di una applicazione web per la gestione di tali dati di antibiotico sensibilità di isolati clinici utilizzabile a livello di ospedale. Si è creata una piattaforma web associata a un database relazionale per avere un’applicazione dinamica che potesse essere aggiornata facilmente inserendo nuovi dati senza dover manualmente modificare le pagine HTML che compongono l’applicazione stessa. E’ stato utilizzato il database open-source MySQL in quanto presenta numerosi vantaggi: estremamente stabile, elevate prestazioni, supportato da una grande comunità online ed inoltre gratuito. Il contenuto dinamico dell’applicazione web deve essere generato da un linguaggio di programmazione tipo “scripting” che automatizzi operazioni di inserimento, modifica, cancellazione, visualizzazione di larghe quantità di dati. E’ stato scelto il PHP, linguaggio open-source sviluppato appositamente per la realizzazione di pagine web dinamiche, perfettamente utilizzabile con il database MySQL. E’ stata definita l’architettura del database creando le tabelle contenenti i dati e le relazioni tra di esse: le anagrafiche, i dati relativi ai campioni, microrganismi isolati e agli antibiogrammi con le categorie interpretative relative al dato antibiotico. Definite tabelle e relazioni del database è stato scritto il codice associato alle funzioni principali: inserimento manuale di antibiogrammi, importazione di antibiogrammi multipli provenienti da file esportati da strumenti automatizzati, modifica/eliminazione degli antibiogrammi precedenti inseriti nel sistema, analisi dei dati presenti nel database con tendenze e andamenti relativi alla prevalenza di specie microbiche e alla chemioresistenza degli stessi, corredate da grafici. Lo sviluppo ha incluso continui test delle funzioni via via implementate usando reali dati clinici e sono stati introdotti appositi controlli e l’introduzione di una semplice e pulita veste grafica.