Isomorfismo tra alberi: algoritmi e complessità computazionale

La trattazione è volta all'esposizione dell'algoritmo di Lindell per determinare in logspazio se due alberi sono isomorfi. Un'ampia parte introduttiva richiama i prerequisiti teorici necessari alla comprensione della parte di esposizione dell'algoritmo.

Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Family Tree Applicazione web per la gestione degli alberi genealogici e creazione della propria storia familiare.

In questa tesi viene descritta l'analisi, progettazione e realizzazione di una applicazione web per la creazione degli alberi genealogici. Partendo da una serie di motivazione personali e uno studio sui rapporti bilaterali di parentela nel campo della genealogia, sono stati delineati le basi per la costruzione del progetto.

Incerteza e estratégias miméticas - um estudo sobre isomorfismo estrutural entre 'internet start-ups' no Brasil

Esta pesquisa visa investigar o fenômeno dos novos empreendimentos (start-ups) ligados à internet no contexto brasileiro, tendo como base teórica a corrente neoinstitucionalista e a hipótese que as empresas brasileiras de internet apresentam um comportamento mimético em relação aos pioneiros do setor, nos EUA e no Brasil, como uma estratégia de legitimação visando a captação de recursos face à incerteza dominante neste setor. Para atingir este objetivo são empregados tanto métodos qualitativos (entrevistas) quanto métodos quantitativos (questionários e tratamento estatístico) apoiados de uma revisão bibliográfica detalhada.

Isomorfismo e cerimonialismo em gestão empresarial: pesquisa empírica sobre a difusão de certificações ISO-9000 no Brasil

Esta pesquisa analisa a difusão das certificações ISO-9000 no Brasil sob o prisma da teoria neo-institucional e de referências sobre modismos gerenciais nas organizações. A premissa é de que muitas dessas decisões de certificação - que se tornou muito popular nas empresas brasileiras desde 1990 - só podem ser entendidas plenamente à luz de sua natureza modal e institucionalizada, e que muitas desses processos podem refletir adoções cerimoniais (isto é "para inglês ver"). Através de questionários aplicados em empresas que buscaram a certificação ISO no Brasil, o estudo procura entender melhor fatores ligados à tomada de decisão sobre a adoção, à estratégia de implantação, aos resultados percebidos e aos mecanismos de justificação dos programas.

Informatização da operação e da gestão de uma unidade de saúde de alta complexidade do sistema único de saúde (SUS): estudo de caso do instituto de medicina integral Prof. Fernando Figueira (Imip) sob o enfoque do isomorfismo institucional

O trabalho buscou identificar e avaliar a escolha do Imip à luz da teoria neoinstitucional, mediante os mecanismos isomórficos que caracterizam o campo das organizações de saúde. Trata-se de um estudo de caso, tendo o Imip como objeto de análise, voltado especificamente para dois modelos de informatização da operação e da gestão, a fim de verificar qual o mais adequado para as especificidades da instituição, incluindo o aspecto financeiro, custo/benefício. O primeiro modelo se refere a um sistema próprio de informatização; o segundo a um modelo de sistema de gestão já existente, comercializado por empresa especializada nesta tecnologia. A metodologia abrangeu pesquisas bibliográficas, documentais e de campo. O referencial teórico foi a teoria neoinstitucional e o trabalho de campo constou de uma pesquisa incluindo observação simples, visando compor variáveis dos dois modelos avaliados, e coleta de dados realizada por meio da aplicação de dois questionários: um questionário aberto, com os dirigentes do Imip, e um questionário misto, com cem colaboradores, utilizadores do sistema, escolhidos aleatoriamente, por sorteio. Entre os achados se identificou claras referências ao isomorfismo, principalmente o mimético, nas percepções dos indivíduos respondentes. Ao final da pesquisa, foi possível concluir que a contratação de um sistema de gestão hospitalar, já existente no mercado, concebido e comercializado por empresa de tecnologia especializada no segmento da saúde, justificou-se como a melhor escolha para a organização, pois, as semelhanças existentes entre os processos do Instituto e aqueles contidos no sistema eram muito mais relevantes que suas particularidades. Outro fator relevante levou em consideração os elevados custos para uma única instituição desenvolver e manter sozinha um sistema atualizado segundo as exigências normativas e técnicas necessárias às organizações de saúde e os padrões de qualidade da informação estabelecidos pelo SUS.

Análise do modelo de gestão da incubadora PIEBT sob a perspectiva do isomorfismo organizacional

Este estudo tem como objetivo analisar a gestão de uma incubadora de Empresas, o Programa de Incubação de Empresas de Base Tecnológica (PIEBT). Partindo de uma abordagem qualitativa e quantitativa, buscou-se retratar o processo gerencial da mais antiga Incubadora de empresas amazônica, identificando seu contexto e o nível de adequação de suas práticas ao mais novo modelo de gestão de incubadoras, o Centro de Referência para Apoio a Novos Empreendimentos (CERNE). Para isso, foi discorrido sobre a incubação de empresas, discutindo conceitos de gestão e alguns aspectos da teoria institucional. Os resultados permitiram verificar que a gestão tem foco central no processo de incubação e na captação de recursos e seu nível de adequação ao CERNE encontra-se, predominantemente, em estágio inicial, mas, que, até por pressões de seu campo organizacional, a implementação do modelo é uma meta a ser alcançada. Concluiu-se também que a gestão do PIEBT é circundada por pressões que tendem ao isomorfismo.

Interazioni tra le glicoproteine D, B, H ed L critiche per la fusione indotta dal virus Herpes simplex

Four glycoproteins (gD, gB, gH, and gL) are required for herpes simplex virus (HSV) entry into the cell and for cell-cell fusion in transfected cells. gD serves as the receptor-binding glycoprotein and as the trigger of fusion; the other three glycoproteins execute fusion between the viral envelope and the plasma or endocytic membranes. Little is known on the interaction of gD with gB, gH, and gL. Here, the interactions between herpes simplex virus gD and its nectin1 receptor or between gD, gB, and gH were analyzed by complementation of the N and C portions of split enhanced green fluorescent protein (EGFP) fused to the glycoproteins. Split EGFP complementation was detected between proteins designated gDN + gHC, gDN + gBC, and gHN + gBC + wtgD, both in cells transfected with two or tree glycoproteins and in cells transfected with the four glycoproteins, commited to form syncytia. The in situ assay provides evidence that gD interacts with gH and gB independently one of the other. We further document the interaction between gH and gB. To elucidate which portions of the glycoproteins interact with each other we generated mutants of gD and gB. gD triggers fusion through a specialised domain, named pro-fusion domain (PFD), located C-terminally in the ectodomain. Here, we show that PFD is made of subdomains 1 and 2 (amino acids 260–285 and 285–310) and that each one partially contributed to herpes simplex virus infectivity. Chimeric gB molecules composed of HSV and human herpesvirus 8 (HHV8) sequences failed to reach the cell surface and to complement a gB defective virus. By means of pull down experiments we analyzed the interactions of HSV-HHV8 gB chimeras with gH or gD fused to the strep-tag. The gB sequence between aa residues 219-360 was identified as putative region of interaction with gH or critical to the interaction.

Identificazione dei fenotipi clinici dell’insufficienza renale cronica che predicono la progressione della malattia. Un’applicazione della tecnica degli alberi decisionali

The primary aim of this dissertation to identify subgroups of patients with chronic kidney disease (CKD) who have a differential risk of progression of illness and the secondary aim is compare 2 equations to estimate the glomerular filtration rate (GFR). To this purpose, the PIRP (Prevention of Progressive Kidney Disease) registry was linked with the dialysis and mortality registries. The outcome of interest is the mean annual variation of GFR, estimated using the Chronic Kidney Disease Epidemiology Collaboration (CKD-EPI) equation. A decision tree model was used to subtype CKD patients, based on the non-parametric procedure CHAID (Chi-squared Automatic Interaction Detector). The independent variables of the model include gender, age, diabetes, hypertension, cardiac diseases, body mass index, baseline serum creatinine, haemoglobin, proteinuria, LDL cholesterol, tryglycerides, serum phoshates, glycemia, parathyroid hormone and uricemia. The decision tree model classified patients into 10 terminal nodes using 6 variables (gender, age, proteinuria, diabetes, serum phosphates and ischemic cardiac disease) that predict a differential progression of kidney disease. Specifically, age <=53 year, male gender, proteinuria, diabetes and serum phosphates >3.70 mg/dl predict a faster decrease of GFR, while ischemic cardiac disease predicts a slower decrease. The comparison between GFR estimates obtained using MDRD4 and CKD-EPI equations shows a high percentage agreement (>90%), with modest discrepancies for high and low age and serum creatinine levels. The study results underscore the need for a tight follow-up schedule in patients with age <53, and of patients aged 54 to 67 with diabetes, to try to slow down the progression of the disease. The result also emphasize the effective management of patients aged>67, in whom the estimated decrease in glomerular filtration rate corresponds with the physiological decrease observed in the absence of kidney disease, except for the subgroup of patients with proteinuria, in whom the GFR decline is more pronounced.

Previsione di temporali tramite indici di instabilità ed alberi decisionali

La previsione dei temporali rappresenta una delle operazioni più impegnative e complesse per chi svolge il mestiere di meteorologo, soprattutto se effettuata con molte ore di anticipo rispetto all'evento; ciò è riconducibile alla molteplicità di parametri da cui questi fenomeni dipendono ed all'incertezza che si riscontra nella simulazione degli indici di instabilità. In questo elaborato viene presentata ed approfondita una tecnica di elaborazione dei dati provenienti da radiosondaggi previsti, con lo scopo di migliorare la previsione dei temporali relativa al giorno successivo. Nel 1987 Colquhoun elaborò un albero decisionale per la previsione di temporali in Australia, basato sul superamento di soglie degli indici di instabilità. Qui di seguito, si propone di testare la validità dello stesso schema decisionale alla previsione di temporali in Pianura Padana ed in particolare in Emilia Romagna, procedendo ad un confronto tra gli eventi previsti ed i fenomeni osservati; la previsione si basa sull'output dell'albero decisionale utilizzando gli indici di instabilità previsti dai LAM COSMO-I7 e COSMO-I2 nel periodo +24/+48 ore, mentre l'osservazione dei temporali viene ricavata tramite consultazione quotidiana di METAR,SYNOP,SYREP, e mappe di fulminazioni relative al quadriennio 2010-2013. L'indice assunto per valutare l'affidabilità delle previsioni fornite è il Threat Score che presenta due limiti fondamentali: la dipendenza dal numero di eventi e l'incapacità di differenziare i falsi allarmi dai mancati allarmi. Ciò nonostante, questo indice rappresenta il miglior modo per ricavare una informazione complessiva e definire se la previsione fornita corrisponde ad una buona previsione. Lo stesso test viene effettuato sull'albero decisionale in uso presso la sala operativa di ARPA-SIM e dal confronto con l'albero di Colquhoun si deducono i limiti legati alla modellistica numerica che fornisce i dati in input. Infine il test sui parametri termodinamici previsti dai modelli COSMO-I2 e COSMO-I7 dimostra gli errori commessi sulla previsione a +24 e +36 ore dalle simulazioni. Questo lavoro si pone all'interno di un progetto più ampio di verifica della modellistica numerica sviluppata dal consorzio COSMO, al quale l'Italia aderisce attraverso la collaborazione di ARPA Emilia Romagna, ARPA Piemonte ed Aeronautica Militare. In particolare sono sottoposte a test le performances dei due modelli LAM sviluppati completamente in Italia ed utilizzati anche dal Dipartimento della protezione civile nazionale.