Association of genetic variants in the promoter region of genes encoding p22phox (CYBA) and glutamate cysteine ligase catalytic subunit (GCLC) and renal disease in patients with type 1 diabetes mellitus

Background Oxidative stress is recognized as a major pathogenic factor of cellular damage caused by hyperglycemia. NOX/NADPH oxidases generate reactive oxygen species and NOX1, NOX2 and NOX4 isoforms are expressed in kidney and require association with subunit p22phox (encoded by the CYBA gene). Increased expression of p22phox was described in animal models of diabetic nephropathy. In the opposite direction, glutathione is one of the main endogenous antioxidants whose plasmatic concentrations were reported to be reduced in diabetes patients. The aim of the present investigation was to test whether functional single nucleotide polymorphisms (SNPs) in genes involved in the generation of NADPH-dependent O2•- (-675 T → A in CYBA, unregistered) and in glutathione metabolism (-129 C → T in GCLC [rs17883901] and -65 T → C in GPX3 [rs8177412]) confer susceptibility to renal disease in type 1 diabetes patients. Methods 401 patients were sorted into two groups according to the presence (n = 104) or absence (n = 196) of overt diabetic nephropathy or according to glomerular filtration rate (GFR) estimated by Modification of Diet in Renal Disease (MDRD) equation: ≥ 60 mL (n = 265) or < 60 mL/min/1.73 m2 (n = 136) and were genotyped. Results No differences were found in the frequency of genotypes between diabetic and non-diabetic subjects. The frequency of GFR < 60 mL/min was significantly lower in the group of patients carrying CYBA genotypes T/A+A/A (18.7%) than in the group carrying the T/T genotype (35.3%) (P = 0.0143) and the frequency of GFR < 60 mL/min was significantly higher in the group of patients carrying GCLC genotypes C/T+T/T (47.1%) than in the group carrying the C/C genotype (31.1%) (p = 0.0082). Logistic regression analysis identified the presence of at least one A allele of the CYBA SNP as an independent protection factor against decreased GFR (OR = 0.38, CI95% 0.14-0.88, p = 0.0354) and the presence of at least one T allele of the GCLC rs17883901 SNP as an independent risk factor for decreased GFR (OR = 2.40, CI95% 1.27-4.56, p = 0.0068). Conclusions The functional SNPs CYBA -675 T → A and GCLC rs17883901, probably associated with cellular redox imbalances, modulate the risk for renal disease in the studied population of type 1 diabetes patients and require validation in additional cohorts.

Armazenamento refrigerado de morango submetido a altas concentrações de CO2

Temperatura de 0ºC associada a atmosferas com 12 a 20% de CO2 têm sido recomendadas como condição ideal para o armazenamento de morango. Entretanto, as redes de distribuição e comercialização de produtos hortícolas no Brasil geralmente não possuem cadeia de frio, ou a possuem em temperatura entre 10 e 15ºC. Este trabalho teve como objetivo avaliar a qualidade e conservação do morango 'Oso Grande' sob temperatura de 10ºC associada com altas concentrações de dióxido de carbono. Os morangos foram selecionados, resfriados e armazenados a 10ºC em mini-câmaras herméticas, onde foram aplicadas as distintas concentrações de CO2 (0,03, 10, 20, 40 e 80%) combinadas com 20% de O2. Os morangos foram avaliados a cada 2 dias até se tornarem impróprios para o consumo. As concentrações de 20 e 40% de CO2 permitiram a conservação dos morangos por até 8 dias; já aqueles com 0,03% de CO2 duraram apenas 2 dias. Os morangos a 80% de CO2 mantiveram ótima aparência por 6 dias, porém foram considerados inadequados para o consumo por apresentarem elevados teores de acetaldeído (40,92 µg g-1) e de etanol (1.053 µg g-1), provenientes do processo fermentativo. A perda de massa fresca dos morangos foi inferior a 2%, demonstrando a eficiência da técnica utilizada para o controle da umidade relativa no armazenamento. Os frutos acondicionados com 0,03 e 80% de CO2 apresentaram a maior perda de firmeza, sendo que ao final do armazenamento esta foi de 40% em relação à firmeza inicial. Já os morangos armazenados com 20 e 40% de CO2 perderam apenas 28% da firmeza inicial. Apesar da diferença estatística na coloração externa do morango, essa foi visualmente imperceptível. Os morangos 'Oso Grande' armazenados a 10ºC sob atmosfera controlada com 40% de CO2 associado com 20% de O2 mantiveram suas características comerciais por 8 dias.

Submandibular glands and the regulation of gastric proliferation and TGFα distribution during rat postnatal development

Rodent gastric mucosa grows and differentiates during suckling-weaning transition. Among the molecules in rat milk, EGF and TGFβ are important peptides in the control of cell proliferation, and together with TGFα, they are also produced by submandibular glands. We aimed to determine the effect of saliva and milk on epithelial cell proliferation in the stomach of rat pups. We also examined the distribution of TGFα in the gastric mucosa after sialoadenectomy (SIALO) and fasting in order to determine whether this growth factor is affected by the deprivation of molecules derived from saliva and milk. SIALO was performed at 14 days and fasting was induced 3 days later. Cell proliferation was evaluated through metaphasic index and TGFα was detected by immunohistochemistry. We observed that whereas SIALO did not alter cell division, since the metaphasic index (MI) was unchanged, fasting stimulated cell proliferation (P < 0.05). After SIALO and fasting, MI was reduced when compared to the fasted group (P < 0.05). We found that TGFα is distributed along gastric gland and SIALO did not interfere in the localization and number of immunolabeled cells, but fasting increased their density when compared to the control (P < 0.05). The association of SIALO and fasting reduced TGFα immunostaining (P < 0.05). Therefore, during fasting, high MI was parallel to increased TGFα in gastric epithelium, but interestingly, this effect was found only in the presence of submandibular glands. We suggest that during suckling, peptides derived from saliva and milk are important to regulate gastric growth.

Insulin and TOR pathways regulate cellular and organismal growth through the myc oncogene in Drosophila

A large body of literature documents in both mice and Drosophila the involvement of Insulin pathway in growth regulation, probably due to its role in glucose and lipid import, nutrient storage, and translation of RNAs implicated in ribosome biogenesis (Vanhaesebroeck et al. 2001). Moreover several lines of evidence implicate this pathway as a causal factor in cancer (Sale, 2008; Zeng and Yee 2007; Hursting et al., 2007; Chan et al., 2008). With regards to Myc, studies in cell culture have implied this family of transcription factors as regulators of the cell cycle that are rapidly induced in response to growth factors. Myc is a potent oncogene, rearranged and overexpressed in a wide range of human tumors and necessary during development. Its conditional knock-out in mice results in reduction of body weight due to defect in cell proliferation (Trumpp et al. 2001). Evidence from in vivo studies in Drosophila and mammals suggests a critical function for myc in cell growth regulation (Iritani and Eisenman 1999; Johnston et al. 1999; Kim et al. 2000; de Alboran et al. 2001; Douglas et al. 2001). This role is supported by our analysis of Myc target genes in Drosophila, which include genes involved in RNA binding, processing, ribosome biogenesis and nucleolar function (Orain et al 2003, Bellosta et al., 2005, Hulf et al, 2005). The fact that Insulin signaling and Myc have both been associated with growth control suggests that they may interact with each other. However, genetic evidence suggesting that Insulin signaling regulates Myc in vivo is lacking. In this work we were able to show, for the first time, a direct modulation of dMyc in response to Insulin stimulation/silencing both in vitro and in vivo. Our results suggest that dMyc up-regulation in response to DILPs signaling occurs both at the mRNA and potein level. We believe dMyc protein accumulation after Insulin signaling activation is conditioned to AKT-dependent GSK3β/sgg inactivation. In fact, we were able to demonstate that dMyc protein stabilization through phosphorylation is a conserved feature between Drosophila and vertebrates and requires multiple events. The final phosphorylation step, that results in a non-stable form of dMyc protein, ready to be degraded by the proteasome, is performed by GSK3β/sgg kinase (Sears, 2004). At the same time we demonstrated that CKI family of protein kinase are required to prime dMyc phosphorylation. DILPs and TOR/Nutrient signalings are known to communicate at several levels (Neufeld, 2003). For this reason we further investigated TOR contribution to dMyc-dependent growth regulation. dMyc protein accumulates in S2 cells after aminoacid stimulation, while its mRNA does not seem to be affected upon TORC1 inhibition, suggesting that the Nutrient pathway regulates dMyc mostly post-transcriptionally. In support to this hypothesis, we observed a TORC1-dependent GSK3β/sgg inactivation, further confirming a synergic effect of DILPs and Nutrients on dMyc protein stability. On the other hand, our data show that Rheb but not S6K, both downstream of the TOR kinase, contributes to the dMyc-induced growth of the eye tissue, suggesting that Rheb controls growth independently of S6K.. Moreover, Rheb seems to be able to regulate organ size during development inducing cell death, a mechanism no longer occurring in absence of dmyc. These observations suggest that Rheb might control growth through a new pathway independent of TOR/S6K but still dependent on dMyc. In order to dissect the mechanism of dMyc regulation in response to these events, we analyzed the relative contribution of Rheb, TOR and S6K to dMyc expression, biochemically in S2 cells and in vivo in morphogenetic clones and we further confirmed an interplay between Rheb and Myc that seems to be indipendent from TOR. In this work we clarified the mechanisms that stabilize dMyc protein in vitro and in vivo and we observed for the first time dMyc responsiveness to DILPs and TOR. At the same time, we discovered a new branch of the Nutrient pathway that appears to drive growth through dMyc but indipendently from TOR. We believe our work shed light on the mechanisms cells use to grow or restrain growth in presence/absence of growth promoting cues and for this reason it contributes to understand the physiology of growth control.

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.

Synchronization and Detection Techniques for Navigation and Communication Systems

Synchronization is a key issue in any communication system, but it becomes fundamental in the navigation systems, which are entirely based on the estimation of the time delay of the signals coming from the satellites. Thus, even if synchronization has been a well known topic for many years, the introduction of new modulations and new physical layer techniques in the modern standards makes the traditional synchronization strategies completely ineffective. For this reason, the design of advanced and innovative techniques for synchronization in modern communication systems, like DVB-SH, DVB-T2, DVB-RCS, WiMAX, LTE, and in the modern navigation system, like Galileo, has been the topic of the activity. Recent years have seen the consolidation of two different trends: the introduction of Orthogonal Frequency Division Multiplexing (OFDM) in the communication systems, and of the Binary Offset Carrier (BOC) modulation in the modern Global Navigation Satellite Systems (GNSS). Thus, a particular attention has been given to the investigation of the synchronization algorithms in these areas.

Tecniche di ottimizzazione del software per sistemi su singolo chip per applicazioni di Nomadic Computing

I moderni sistemi embedded sono equipaggiati con risorse hardware che consentono l’esecuzione di applicazioni molto complesse come il decoding audio e video. La progettazione di simili sistemi deve soddisfare due esigenze opposte. Da un lato è necessario fornire un elevato potenziale computazionale, dall’altro bisogna rispettare dei vincoli stringenti riguardo il consumo di energia. Uno dei trend più diffusi per rispondere a queste esigenze opposte è quello di integrare su uno stesso chip un numero elevato di processori caratterizzati da un design semplificato e da bassi consumi. Tuttavia, per sfruttare effettivamente il potenziale computazionale offerto da una batteria di processoriè necessario rivisitare pesantemente le metodologie di sviluppo delle applicazioni. Con l’avvento dei sistemi multi-processore su singolo chip (MPSoC) il parallel programming si è diffuso largamente anche in ambito embedded. Tuttavia, i progressi nel campo della programmazione parallela non hanno mantenuto il passo con la capacità di integrare hardware parallelo su un singolo chip. Oltre all’introduzione di multipli processori, la necessità di ridurre i consumi degli MPSoC comporta altre soluzioni architetturali che hanno l’effetto diretto di complicare lo sviluppo delle applicazioni. Il design del sottosistema di memoria, in particolare, è un problema critico. Integrare sul chip dei banchi di memoria consente dei tempi d’accesso molto brevi e dei consumi molto contenuti. Sfortunatamente, la quantità di memoria on-chip che può essere integrata in un MPSoC è molto limitata. Per questo motivo è necessario aggiungere dei banchi di memoria off-chip, che hanno una capacità molto maggiore, come maggiori sono i consumi e i tempi d’accesso. La maggior parte degli MPSoC attualmente in commercio destina una parte del budget di area all’implementazione di memorie cache e/o scratchpad. Le scratchpad (SPM) sono spesso preferite alle cache nei sistemi MPSoC embedded, per motivi di maggiore predicibilità, minore occupazione d’area e – soprattutto – minori consumi. Per contro, mentre l’uso delle cache è completamente trasparente al programmatore, le SPM devono essere esplicitamente gestite dall’applicazione. Esporre l’organizzazione della gerarchia di memoria ll’applicazione consente di sfruttarne in maniera efficiente i vantaggi (ridotti tempi d’accesso e consumi). Per contro, per ottenere questi benefici è necessario scrivere le applicazioni in maniera tale che i dati vengano partizionati e allocati sulle varie memorie in maniera opportuna. L’onere di questo compito complesso ricade ovviamente sul programmatore. Questo scenario descrive bene l’esigenza di modelli di programmazione e strumenti di supporto che semplifichino lo sviluppo di applicazioni parallele. In questa tesi viene presentato un framework per lo sviluppo di software per MPSoC embedded basato su OpenMP. OpenMP è uno standard di fatto per la programmazione di multiprocessori con memoria shared, caratterizzato da un semplice approccio alla parallelizzazione tramite annotazioni (direttive per il compilatore). La sua interfaccia di programmazione consente di esprimere in maniera naturale e molto efficiente il parallelismo a livello di loop, molto diffuso tra le applicazioni embedded di tipo signal processing e multimedia. OpenMP costituisce un ottimo punto di partenza per la definizione di un modello di programmazione per MPSoC, soprattutto per la sua semplicità d’uso. D’altra parte, per sfruttare in maniera efficiente il potenziale computazionale di un MPSoC è necessario rivisitare profondamente l’implementazione del supporto OpenMP sia nel compilatore che nell’ambiente di supporto a runtime. Tutti i costrutti per gestire il parallelismo, la suddivisione del lavoro e la sincronizzazione inter-processore comportano un costo in termini di overhead che deve essere minimizzato per non comprometterre i vantaggi della parallelizzazione. Questo può essere ottenuto soltanto tramite una accurata analisi delle caratteristiche hardware e l’individuazione dei potenziali colli di bottiglia nell’architettura. Una implementazione del task management, della sincronizzazione a barriera e della condivisione dei dati che sfrutti efficientemente le risorse hardware consente di ottenere elevate performance e scalabilità. La condivisione dei dati, nel modello OpenMP, merita particolare attenzione. In un modello a memoria condivisa le strutture dati (array, matrici) accedute dal programma sono fisicamente allocate su una unica risorsa di memoria raggiungibile da tutti i processori. Al crescere del numero di processori in un sistema, l’accesso concorrente ad una singola risorsa di memoria costituisce un evidente collo di bottiglia. Per alleviare la pressione sulle memorie e sul sistema di connessione vengono da noi studiate e proposte delle tecniche di partizionamento delle strutture dati. Queste tecniche richiedono che una singola entità di tipo array venga trattata nel programma come l’insieme di tanti sotto-array, ciascuno dei quali può essere fisicamente allocato su una risorsa di memoria differente. Dal punto di vista del programma, indirizzare un array partizionato richiede che ad ogni accesso vengano eseguite delle istruzioni per ri-calcolare l’indirizzo fisico di destinazione. Questo è chiaramente un compito lungo, complesso e soggetto ad errori. Per questo motivo, le nostre tecniche di partizionamento sono state integrate nella l’interfaccia di programmazione di OpenMP, che è stata significativamente estesa. Specificamente, delle nuove direttive e clausole consentono al programmatore di annotare i dati di tipo array che si vuole partizionare e allocare in maniera distribuita sulla gerarchia di memoria. Sono stati inoltre sviluppati degli strumenti di supporto che consentono di raccogliere informazioni di profiling sul pattern di accesso agli array. Queste informazioni vengono sfruttate dal nostro compilatore per allocare le partizioni sulle varie risorse di memoria rispettando una relazione di affinità tra il task e i dati. Più precisamente, i passi di allocazione nel nostro compilatore assegnano una determinata partizione alla memoria scratchpad locale al processore che ospita il task che effettua il numero maggiore di accessi alla stessa.

Architetture di interconnessione per sistemi su singolo chip e per sistemi ad integrazione tridimensionale

I continui sviluppi nel campo della fabbricazione dei circuiti integrati hanno comportato frequenti travolgimenti nel design, nell’implementazione e nella scalabilità dei device elettronici, così come nel modo di utilizzarli. Anche se la legge di Moore ha anticipato e caratterizzato questo trend nelle ultime decadi, essa stessa si trova a fronteggiare attualmente enormi limitazioni, superabili solo attraverso un diverso approccio nella produzione di chip, consistente in pratica nella sovrapposizione verticale di diversi strati collegati elettricamente attraverso speciali vias. Sul singolo strato, le network on chip sono state suggerite per ovviare le profonde limitazioni dovute allo scaling di strutture di comunicazione condivise. Questa tesi si colloca principalmente nel contesto delle nascenti piattaforme multicore ad alte prestazioni basate sulle 3D NoC, in cui la network on chip viene estesa nelle 3 direzioni. L’obiettivo di questo lavoro è quello di fornire una serie di strumenti e tecniche per poter costruire e aratterizzare una piattaforma tridimensionale, cosi come dimostrato nella realizzazione del testchip 3D NOC fabbricato presso la fonderia IMEC. Il primo contributo è costituito sia una accurata caratterizzazione delle interconnessioni verticali (TSVs) (ovvero delle speciali vias che attraversano l’intero substrato del die), sia dalla caratterizzazione dei router 3D (in cui una o più porte sono estese nella direzione verticale) ed infine dal setup di un design flow 3D utilizzando interamente CAD 2D. Questo primo step ci ha permesso di effettuare delle analisi dettagliate sia sul costo sia sulle varie implicazioni. Il secondo contributo è costituito dallo sviluppo di alcuni blocchi funzionali necessari per garantire il corretto funziomento della 3D NoC, in presenza sia di guasti nelle TSVs (fault tolerant links) che di deriva termica nei vari clock tree dei vari die (alberi di clock indipendenti). Questo secondo contributo è costituito dallo sviluppo delle seguenti soluzioni circuitali: 3D fault tolerant link, Look Up Table riconfigurabili e un sicnronizzatore mesocrono. Il primo è costituito fondamentalmente un bus verticale equipaggiato con delle TSV di riserva da utilizzare per rimpiazzare le vias guaste, più la logica di controllo per effettuare il test e la riconfigurazione. Il secondo è rappresentato da una Look Up Table riconfigurabile, ad alte prestazioni e dal costo contenuto, necesaria per bilanciare sia il traffico nella NoC che per bypassare link non riparabili. Infine la terza soluzione circuitale è rappresentata da un sincronizzatore mesocrono necessario per garantire la sincronizzazione nel trasferimento dati da un layer and un altro nelle 3D Noc. Il terzo contributo di questa tesi è dato dalla realizzazione di un interfaccia multicore per memorie 3D (stacked 3D DRAM) ad alte prestazioni, e dall’esplorazione architetturale dei benefici e del costo di questo nuovo sistema in cui il la memoria principale non è piu il collo di bottiglia dell’intero sistema. Il quarto ed ultimo contributo è rappresentato dalla realizzazione di un 3D NoC test chip presso la fonderia IMEC, e di un circuito full custom per la caratterizzazione della variability dei parametri RC delle interconnessioni verticali.

Progetto e sviluppo di un algoritmo per la pianificazione ottimizzata della distribuzione con viaggi sincronizzati

Il lavoro di tesi svolto riguarda la progettazione e lo sviluppo di un algoritmo per la pianificazione ottimizzata della distribuzione con viaggi sincronizzati; il metodo sviluppato è un algoritmo mateuristico. I metodi mateuristici nascono dall’integrazione di algoritmi esatti, utilizzati all’interno di un framework metaeuristico, scelto come paradigma di soluzione del problema. La combinazione di componenti esatte e algoritmi metaeuristici ha lo scopo di sfruttare i vantaggi di entrambi gli approcci: grazie all'uso di componenti esatte, è possibile operare in modo efficace e di concentrarsi su alcuni dei vincoli del problema, mentre, con l'utilizzo di un framework metaeuristico, si può efficacemente esplorare grandi aree dello spazio di ricerca in tempi accettabili. Il problema analizzato nel lavoro di tesi è un problema di trasporto, ovvero il Vehicle Routing Problem con finestre temporali e vincoli di sincronizzazione a coppie (VRPTWPS). Il problema richiede di individuare un piano di organizzazione ottimizzato per i viaggi di consegna merci presso un insieme di clienti; ogni cliente richiede che la consegna avvenga all’interno di orari predefiniti; un sottoinsieme di essi richiede, inoltre, che la consegna venga effettuata con la presenza di esattamente due addetti. La presenza di quest’ultimo vincolo richiede, dunque, che due incaricati, indipendentemente dai viaggi di visita che questi effettuano, si incontrino presso uno stesso cliente nello stesso istante. Il vincolo di sincronizzazione rende il problema difficile da risolvere in maniera ottimizzata con i tradizionali metodi di ricerca locale; da ciò nasce l’uso dei metodi mateuristici per la risoluzione ottimizzata del problema. Grazie all’utilizzo di algoritmi esatti, i metodi mateuristici riescono a trattare in maniera più efficace alcuni vincoli dei problemi da risolvere.

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.

Reexamining the Role of Incarceration and Stigma in Criminal Law

One of the ways by which the legal system has responded to different sets of problems is the blurring of the traditional boundaries of criminal law, both procedural and substantive. This study aims to explore under what conditions does this trend lead to the improvement of society's welfare by focusing on two distinguishing sanctions in criminal law, incarceration and social stigma. In analyzing how incarceration affects the incentive to an individual to violate a legal standard, we considered the crucial role of the time constraint. This aspect has not been fully explored in the literature on law and economics, especially with respect to the analysis of the beneficiality of imposing either a fine or a prison term. We observed that that when individuals are heterogeneous with respect to wealth and wage income, and when the level of activity can be considered a normal good, only the middle wage and middle income groups can be adequately deterred by a fixed fines alone regime. The existing literature only considers the case of the very poor, deemed as judgment proof. However, since imprisonment is a socially costly way to deprive individuals of their time, other alternatives may be sought such as the imposition of discriminatory monetary fine, partial incapacitation and other alternative sanctions. According to traditional legal theory, the reason why criminal law is obeyed is not mainly due to the monetary sanctions but to the stigma arising from the community’s moral condemnation that accompanies conviction or merely suspicion. However, it is not sufficiently clear whether social stigma always accompanies a criminal conviction. We addressed this issue by identifying the circumstances wherein a criminal conviction carries an additional social stigma. Our results show that social stigma is seen to accompany a conviction under the following conditions: first, when the law coincides with the society's social norms; and second, when the prohibited act provides information on an unobservable attribute or trait of an individual -- crucial in establishing or maintaining social relationships beyond mere economic relationships. Thus, even if the social planner does not impose the social sanction directly, the impact of social stigma can still be influenced by the probability of conviction and the level of the monetary fine imposed as well as the varying degree of correlation between the legal standard violated and the social traits or attributes of the individual. In this respect, criminal law serves as an institution that facilitates cognitive efficiency in the process of imposing the social sanction to the extent that the rest of society is boundedly rational and use judgment heuristics. Paradoxically, using criminal law in order to invoke stigma for the violation of a legal standard may also serve to undermine its strength. To sum, the results of our analysis reveal that the scope of criminal law is narrow both for the purposes of deterrence and cognitive efficiency. While there are certain conditions where the enforcement of criminal law may lead to an increase in social welfare, particularly with respect to incarceration and stigma, we have also identified the channels through which they could affect behavior. Since such mechanisms can be replicated in less costly ways, society should first try or seek to employ these legal institutions before turning to criminal law as a last resort.

Espressione dell'Enzima ad Azione Immunoregolatoria Indoleamina 2,3-Diossigenasi nella Leucemia Mieloide Acuta dell'Adulto: correlazioni Clinico-Biologiche

L’enzima IDO interviene nella via di degradazione del triptofano, essenziale per la vita cellulare; l’iperespressione di IDO favorisce la creazione di un microambiente immunotollerante. Nelle LAM IDO è funzionalmente attivo nelle cellule blastiche e determina l’acquisizione di un fenotipo regolatorio da parte delle cellule T alloreattive; l’espressione della proteina aumenta in modo consensuale con l’evoluzione clinica della patologia. Scopo della Tesi è indagare l’esistenza di una correlazione tra l’iperespressione di IDO da parte delle cellule leucemiche, le caratteristiche di rischio alla diagnosi e l’outcome dei pazienti. Sono stati esaminati 45 pazienti adulti affetti da LAM afferiti all’Istituto di Ematologia di Bologna. I pazienti sono stati stratificati a seconda di: età di insorgenza della leucemia, secondarietà a Mielodisplasia o radio chemioterapia, iperleucocitosi, citogenetica, biologia molecolare (sono state valutate le alterazioni a carico dei geni FLT3 ed NPM). I pazienti sono stati analizzati per l’espressione del gene IDO mediante RT-PCR, seguita da Western Blot, allo scopo di stabilire la presenza di una proteina attiva; successivamente si è proceduto a verificare l’esistenza di una correlazione tra l’espressione di IDO e le caratteristiche di rischio alla diagnosi per identificare una relazione tra l’espressione del gene ed un subset di pazienti a prognosi favorevole o sfavorevole. Dei 45 pazienti adulti affetti da LAM il 28,9% è risultato negativo per l’espressione di IDO, mentre il rimanente 71,1% è risultato positivo ed è stato suddiviso in tre ulteriori categorie, in base ai livelli di espressione. I dati non sembrano al momento suggerire l’esistenza di una correlazione tra l’espressione di IDO e le caratteristiche di rischio alla diagnosi. Nel gruppo di pazienti ad elevata espressione di IDO si riscontra un rate di resistenza alla chemioterapia di induzione più elevato, con una quota di pazienti resistenti pari al 71,4%, contro il 23,1% nel gruppo di pazienti IDO-negativi.