Il "caso" Maroncelli. Organizzazione del consenso e vincoli massonici nell'Italia radicale e nella New York della Tammany Hall, 1840-1890

Questa tesi parte da un evento “minore” della storia del XIX secolo per tendere, poi, ad alcuni obiettivi particolari. L’evento è costituito da uno strano funerale postumo, quello di Piero Maroncelli, carbonaro finito alla Spielberg, graziato, poi emigrato in Francia e in America, il cui corpo viene sepolto a New York nell’estate del 1846. Quarant’anni dopo, nel 1886, i resti di Maroncelli vengono esumati e – attraverso una “trafila” particolare, di cui è protagonista la Massoneria, da una sponda all’altra dell’Atlantico – solennemente trasferiti nella città natale di Forlì, dove vengono collocati nel pantheon del cimitero monumentale, inaugurato per l’occasione. Gli eventi celebrativi che si consumano a New York e a Forlì sono molto diversi fra loro, anche se avvengono quasi in contemporanea e sotto regie politiche ispirate dal medesimo radicalismo anticlericale. E’ chiaro che Maroncelli è un simbolo e un pretesto: simbolo di un’italianità transnazionale, composta di un “corpo” in transito, fuori dello spazio nazionale, ma appartenente alla patria (quella grande e quella piccola); pretesto per acquisire e rafforzare legami politici, mercè mobilitazioni di massa in un caso fondate sul festival, sulla festa en plein air, nell’altro sui rituali del cordoglio per i “martiri” dell’indipendenza. L’opportunità di comparare questi due contesti – l’Italia, colta nella sua periferia radicale e la New York della Tammany Hall -, non sulla base di ipotesi astratte, ma nella concretezza di un “caso di studio” reale e simultaneo, consente di riflettere sulla pervasività dell’ideologia democratica nella sua accezione ottocentesca, standardizzata dalla Massoneria, e, d’altro canto, sui riti del consenso, colti nelle rispettive tipicità locali. Un gioco di similitudini e di dissomiglianze, quindi. Circa gli obiettivi particolari – al di là della ricostruzione del “caso” Maroncelli -, ho cercato di sondare alcuni temi, proponendone una ricostruzione in primo luogo storiografica. Da un lato, il tema dell’esilio e del trapianto delle esperienze di vita e di relazione al di fuori del proprio contesto d’origine. Maroncelli utilizza, come strumento di identitario e di accreditamento, il fourierismo; la generazione appena successiva alla sua, grazie alla Giovine Italia, possiede già un codice interno, autoctono, cui fare riferimento; alla metà degli anni Cinquanta, ad esso si affiancherà, con successo crescente, la lettura “diplomatica” di ascendenza sabauda. Dall’altro, ho riflettuto sull’aspetto legato ai funerali politici, al cordoglio pubblico, al trasferimento postumo dei corpi. La letteratura disponibile, al riguardo, è assai ricca, e tale da consentire una precisa classificazione del “caso” Maroncelli all’interno di una tipologia della morte laica, ben delineata nell’Italia dell’Ottocento e del primo Novecento. E poi, ancora, ho preso in esame le dinamiche “festive” e di massa, approfondendo quelle legate al mondo dell’emigrazione italiana a Mew York, così distante nel 1886 dall’élite colta di quarant’anni prima, eppure così centrale per il controllo politico della città. Dinamiche alle quali fa da contrappunto, sul versante forlivese, la visione del mondo radicale e massonico locale, dominato dalla figura di Aurelio Saffi e dal suo tentativo di plasmare un’immagine morale e patriottica della città da lasciare ai posteri. Quasi un’ossessione, per il vecchio triumviro della Repubblica romana (morirà nel 1890), che interviene sulla toponomastica, sull’edilizia cemeteriale, sui pantheon civico, sui “ricordi” patriottici. Ho utilizzato fonti secondarie e di prima mano. Anche sulle prime, quantitativamente assai significative, mi sono misurata con un lavoro di composizione e di lettura comparata prima mai tentato. La giustapposizione di chiavi di lettura apparentemente distanti, ma giustificate dalla natura proteiforme e complicata del nostro “caso”, apre, a mio giudizio, interessanti prospettive di ricerca. Circa le fonti di prima mano, ho attinto ai fondi disponibili su Maroncelli presso la Biblioteca comunale di Forlì, alle raccolte del Grande Oriente d’Italia a Roma, a periodici italoamericani assai rari, sparsi in diverse biblioteche italiane, da Milano a Roma. Mi rendo conto che la quantità dei materiali reperiti, sovente molto eterogenei, avrebbero imposto una lettura delle fonti più accurata di quella che, in questa fase della ricerca, sono riuscita a condurre. E’ vero, però, che le suggestioni già recuperabili ad un’analisi mirata al contenuto principale – le feste, la propaganda, il cordoglio – consentono la tessitura di una narrazione non forzata, nella quale il ricordo della Repubblica romana viaggia da una sponda all’altra dell’Atlantica, insieme ai resti di Maroncelli; nella quale il rituale massonico funge da facilitatore e da “mediatore culturale”; nella quale, infine, il linguaggio patriottico e la koinè democratica trans-nazionale riescono incredibilmente a produrre o a incarnare identità. Per quanto tempo? La risposta, nel caso forlivese, è relativamente facile; in quello della “colonia” italiana di New York, presto alterata nella sua connotazione demografica dalla grande emigrazione transoceanica, le cose appaiono più complesse. E, tuttavia, nel 1911, cinquantesimo dell’Unità, qualcuno, nella grande metropoli americana, si sarebbe ricordato di Maroncelli, sia pure in un contesto e con finalità del tutto diverse rispetto al 1886: segno che qualcosa, sotto traccia, era sopravvissuto.

Evaluating the Impact of the Number of Access Points in Mobile Robots Localization Using Artificial Neural Networks

Localization is information of fundamental importance to carry out various tasks in the mobile robotic area. The exact degree of precision required in the localization depends on the nature of the task. The GPS provides global position estimation but is restricted to outdoor environments and has an inherent imprecision of a few meters. In indoor spaces, other sensors like lasers and cameras are commonly used for position estimation, but these require landmarks (or maps) in the environment and a fair amount of computation to process complex algorithms. These sensors also have a limited field of vision. Currently, Wireless Networks (WN) are widely available in indoor environments and can allow efficient global localization that requires relatively low computing resources. However, the inherent instability in the wireless signal prevents it from being used for very accurate position estimation. The growth in the number of Access Points (AP) increases the overlap signals areas and this could be a useful means of improving the precision of the localization. In this paper we evaluate the impact of the number of Access Points in mobile nodes localization using Artificial Neural Networks (ANN). We use three to eight APs as a source signal and show how the ANNs learn and generalize the data. Added to this, we evaluate the robustness of the ANNs and evaluate a heuristic to try to decrease the error in the localization. In order to validate our approach several ANNs topologies have been evaluated in experimental tests that were conducted with a mobile node in an indoor space.

Efficient local unfolding with ancestor stacks for full prolog

The integration of powerful partial evaluation methods into practical compilers for logic programs is still far from reality. This is related both to 1) efficiency issues and to 2) the complications of dealing with practical programs. Regarding efnciency, the most successful unfolding rules used nowadays are based on structural orders applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding rule based on the notion of covering ancestors which can be used in combination with any structural order and allows a stack-based implementation without losing any opportunities for specialization. Regarding the second issue, we propose assertion-based techniques which allow our approach to deal with real programs that include (Prolog) built-ins and external predicates in a very extensible manner. Finally, we report on our implementation of these techniques in a practical partial evaluator, embedded in a state of the art compiler which uses global analysis extensively (the Ciao compiler and, specifically, its preprocessor CiaoPP). The performance analysis of the resulting system shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations.

Determinacy analysis for logic programs using mode and type information

We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic (because they cali other predicates that can produce more than one solution). Applications of such determinacy information include detecting programming errors, performing certain high-level program transformations for improving search efñciency, optimizing low level code generation and parallel execution, and estimating tighter upper bounds on the computational costs of goals and data sizes, which can be used for program debugging, resource consumption and granularity control, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efncient.

Abstract interpretation-based code certification for pervasive systems: Preliminary experiments

Proof carrying code is a general methodology for certifying that the execution of an untrusted mobile code is safe, according to a predefined safety policy. The basic idea is that the code supplier attaches a certifícate (or proof) to the mobile code which, then, the consumer checks in order to ensure that the code is indeed safe. The potential benefit is that the consumer's task is reduced from the level of proving to the level of checking, a much simpler task. Recently, the abstract interpretation techniques developed in logic programming have been proposed as a basis for proof carrying code [1]. To this end, the certifícate is generated from an abstract interpretation-based proof of safety. Intuitively, the verification condition is extracted from a set of assertions guaranteeing safety and the answer table generated during the analysis. Given this information, it is relatively simple and fast to verify that the code does meet this proof and so its execution is safe. This extended abstract reports on experiments which illustrate several issues involved in abstract interpretation-based code certification. First, we describe the implementation of our system in the context of CiaoPP: the preprocessor of the Ciao multi-paradigm (constraint) logic programming system. Then, by means of some experiments, we show how code certification is aided in the implementation of the framework. Finally, we discuss the application of our method within the área of pervasive systems which may lack the necessary computing resources to verify safety on their own. We herein illustrate the relevance of the information inferred by existing cost analysis to control resource usage in this context. Moreover, since the (rather complex) analysis phase is replaced by a simpler, efficient checking process at the code consumer side, we believe that our abstract interpretation-based approach to proof-carrying code becomes practically applicable to this kind of systems.

Multi-distributed wireless sensors for monitoring a long distance transport in a reefer container

The study of the temperature gradients in cold stores and containers is a critical issue in the food industry for the quality assurance of products during transport and for minimising losses. This work presents an analysis of the temperatures during the refrigerated transport of 4,320 kg of blueberries in a reefer (set point temperature at ?1ºC) on a container ship from Montevideo (Uruguay) to Verona (Italy). The monitoring was performed by using semi-passive RFID loggers (TurboTag cards). The objective was to carry out a multi-distributed supervision using low-cost, wireless and autonomous sensors for the characterisation of the distribution and spatial gradients of temperatures during a long distance transport. Data analysis shows spatial (phase space) and temporal sequencing diagrams and reveals a significant heterogeneity of temperature at different locations in the container, which highlights the ineffectiveness of a temperature control system based on a single sensor, as is usually done.

Supervisión multidistribuida para el control de procesos de conservación de productos agroalimentarios: optimización de calidad del producto

La presente Tesis está orientada al análisis de la supervisión multidistribuida de tres procesos agroalimentarios: el secado solar, el transporte refrigerado y la fermentación de café, a través de la información obtenida de diferentes dispositivos de adquisición de datos, que incorporan sensores, así como el desarrollo de metodologías de análisis de series temporales, modelos y herramientas de control de procesos para la ayuda a la toma de decisiones en las operaciones de estos entornos. En esta tesis se han utilizado: tarjetas RFID (TemTrip®) con sistema de comunicación por radiofrecuencia y sensor de temperatura; el registrador (i-Button®), con sensor integrado de temperatura y humedad relativa y un tercer prototipo empresarial, módulo de comunicación inalámbrico Nlaza, que integra un sensor de temperatura y humedad relativa Sensirion®. Estos dispositivos se han empleado en la conformación de redes multidistribuidas de sensores para la supervisión de: A) Transportes de producto hortofrutícola realizados en condiciones comerciales reales, que son: dos transportes terrestre de producto de IV gama desde Murcia a Madrid; transporte multimodal (barco-barco) de limones desde Montevideo (Uruguay) a Cartagena (España) y transporte multimodal (barco-camión) desde Montevideo (Uruguay) a Verona (Italia). B) dos fermentaciones de café realizadas en Popayán (Colombia) en un beneficiadero. Estas redes han permitido registrar la dinámica espacio-temporal de temperaturas y humedad relativa de los procesos estudiados. En estos procesos de transporte refrigerado y fermentación la aplicación de herramientas de visualización de datos y análisis de conglomerados, han permitido identificar grupos de sensores que presentan patrones análogos de sus series temporales, caracterizando así zonas con dinámicas similares y significativamente diferentes del resto y permitiendo definir redes de sensores de menor densidad cubriendo las diferentes zonas identificadas. Las metodologías de análisis complejo de las series espacio-temporales (modelos psicrométricos, espacio de fases bidimensional e interpolaciones espaciales) permitieron la cuantificación de la variabilidad del proceso supervisado tanto desde el punto de vista dinámico como espacial así como la identificación de eventos. Constituyendo así herramientas adicionales de ayuda a la toma de decisiones en el control de los procesos. Siendo especialmente novedosa la aplicación de la representación bidimensional de los espacios de fases en el estudio de las series espacio-temporales de variables ambientales en aplicaciones agroalimentarias, aproximación que no se había realizado hasta el momento. En esta tesis también se ha querido mostrar el potencial de un sistema de control basado en el conocimiento experto como es el sistema de lógica difusa. Se han desarrollado en primer lugar, los modelos de estimación del contenido en humedad y las reglas semánticas que dirigen el proceso de control, el mejor modelo se ha seleccionado mediante un ensayo de secado realizado sobre bolas de hidrogel como modelo alimentario y finalmente el modelo se ha validado mediante un ensayo en el que se deshidrataban láminas de zanahoria. Los resultados sugirieron que el sistema de control desarrollado, es capaz de hacer frente a dificultades como las variaciones de temperatura día y noche, consiguiendo un producto con buenas características de calidad comparables a las conseguidas sin aplicar ningún control sobre la operación y disminuyendo así el consumo energético en un 98% con respecto al mismo proceso sin control. La instrumentación y las metodologías de análisis de datos implementadas en esta Tesis se han mostrado suficientemente versátiles y transversales para ser aplicadas a diversos procesos agroalimentarios en los que la temperatura y la humedad relativa sean criterios de control en dichos procesos, teniendo una aplicabilidad directa en el sector industrial ABSTRACT This thesis is focused on the analysis of multi-distributed supervision of three agri-food processes: solar drying, refrigerated transport and coffee fermentation, through the information obtained from different data acquisition devices with incorporated sensors, as well as the development of methodologies for analyzing temporary series, models and tools to control processes in order to help in the decision making in the operations within these environments. For this thesis the following has been used: RFID tags (TemTrip®) with a Radiofrequency ID communication system and a temperature sensor; the recorder (i-Button®), with an integrated temperature and relative humidity and a third corporate prototype, a wireless communication module Nlaza, which has an integrated temperature and relative humidity sensor, Sensirion®. These devices have been used in creating three multi-distributed networks of sensors for monitoring: A) Transport of fruits and vegetables made in real commercial conditions, which are: two land trips of IV range products from Murcia to Madrid; multimodal transport (ship - ship) of lemons from Montevideo (Uruguay) to Cartagena (Spain) and multimodal transport (ship - truck) from Montevideo (Uruguay) to Verona (Italy). B) Two coffee fermentations made in Popayan (Colombia) in a coffee processing plant. These networks have allowed recording the time space dynamics of temperatures and relative humidity of the processed under study. Within these refrigerated transport and fermentation processes, the application of data display and cluster analysis tools have allowed identifying sensor groups showing analogical patterns of their temporary series; thus, featuring areas with similar and significantly different dynamics from the others and enabling the definition of lower density sensor networks covering the different identified areas. The complex analysis methodologies of the time space series (psychrometric models, bi-dimensional phase space and spatial interpolation) allowed quantifying the process variability of the supervised process both from the dynamic and spatial points of view; as well as the identification of events. Thus, building additional tools to aid decision-making on process control brought the innovative application of the bi-dimensional representation of phase spaces in the study of time-space series of environmental variables in agri-food applications, an approach that had not been taken before. This thesis also wanted to show the potential of a control system based on specialized knowledge such as the fuzzy logic system. Firstly, moisture content estimation models and semantic rules directing the control process have been developed, the best model has been selected by an drying assay performed on hydrogel beads as food model; and finally the model has been validated through an assay in which carrot sheets were dehydrated. The results suggested that the control system developed is able to cope with difficulties such as changes in temperature daytime and nighttime, getting a product with good quality features comparable to those features achieved without applying any control over the operation and thus decreasing consumption energy by 98% compared to the same uncontrolled process. Instrumentation and data analysis methodologies implemented in this thesis have proved sufficiently versatile and cross-cutting to apply to several agri-food processes in which the temperature and relative humidity are the control criteria in those processes, having a direct effect on the industry sector.

Avaliação das inclinações dentárias obtidas no tratamento ortodôntico com bráquetes autoligados utilizando tomografia computadorizada

O objetivo deste trabalho foi analisar a expressão dos torques dentários em pacientes tratados com aparelhos ortodônticos fixos com bráquetes autoligados, utilizando tomografias computadorizadas. Para este estudo, foi selecionada uma amostra clínica de 10 pacientes, seguindo como critérios de inclusão, indivíduos que apresentavam dentição permanente e todos os dentes presentes, com apinhamento superior ou igual a 4 mm, tratados sem extração. Todos os pacientes foram tratados na clínica da pós-graduação em Ortodontia da Universidade Metodista de São Paulo, utilizando-se bráquetes autoligados Damon 2 ORMCO na prescrição padrão. Foram realizadas medições das inclinações dos dentes anteriores, de canino a canino, superiores e inferiores, realizadas por meio de imagens tomográficas obtidas em um tomógrafo computadorizado volumétrico NewTom, em seu modelo DVT-9000 (NIM Verona - Itália), obtidas em dois tempos: antes do início do tratamento ortodôntico (denominado de T1) e depois do tratamento ortodôntico, após a inserção do último fio de nivelamento, de calibre 0,019 x 0,025 de aço inoxidável(denominado de T2). Para auxílio destas mensurações, foi utilizado o software QR-DVT 9000 e após análise dos resultados foram aplicados testes estatíscos (testes "t" pareado e Dalberg) e observou-se que as inclinações dos dentes do segmento anterior aumentaram, principalmente, nos caninos e incisivos laterais superiores, incisivos centrais e laterais inferiores. Os dentes apresentaram valores de inclinação diferentes da prescrição, tanto no início quanto no final do tratamento, denotando a incapacidade do fio 0,019 x 0,025 de aço inoxidável em reproduzir os torques indicados na prescrição padrão utilizada neste presente estudo.(AU)

Avaliação das inclinações dentárias obtidas no tratamento ortodôntico com bráquetes autoligados utilizando tomografia computadorizada

O objetivo deste trabalho foi analisar a expressão dos torques dentários em pacientes tratados com aparelhos ortodônticos fixos com bráquetes autoligados, utilizando tomografias computadorizadas. Para este estudo, foi selecionada uma amostra clínica de 10 pacientes, seguindo como critérios de inclusão, indivíduos que apresentavam dentição permanente e todos os dentes presentes, com apinhamento superior ou igual a 4 mm, tratados sem extração. Todos os pacientes foram tratados na clínica da pós-graduação em Ortodontia da Universidade Metodista de São Paulo, utilizando-se bráquetes autoligados Damon 2 ORMCO na prescrição padrão. Foram realizadas medições das inclinações dos dentes anteriores, de canino a canino, superiores e inferiores, realizadas por meio de imagens tomográficas obtidas em um tomógrafo computadorizado volumétrico NewTom, em seu modelo DVT-9000 (NIM Verona - Itália), obtidas em dois tempos: antes do início do tratamento ortodôntico (denominado de T1) e depois do tratamento ortodôntico, após a inserção do último fio de nivelamento, de calibre 0,019 x 0,025 de aço inoxidável(denominado de T2). Para auxílio destas mensurações, foi utilizado o software QR-DVT 9000 e após análise dos resultados foram aplicados testes estatíscos (testes "t" pareado e Dalberg) e observou-se que as inclinações dos dentes do segmento anterior aumentaram, principalmente, nos caninos e incisivos laterais superiores, incisivos centrais e laterais inferiores. Os dentes apresentaram valores de inclinação diferentes da prescrição, tanto no início quanto no final do tratamento, denotando a incapacidade do fio 0,019 x 0,025 de aço inoxidável em reproduzir os torques indicados na prescrição padrão utilizada neste presente estudo.(AU)

Bullettino senese di storia patria.

Inventario generale del R. Archivio di stato in Siena. Parte seconda. Consiglio generale. 1915. 128 p. (Issued and bound with v. 21).

I quadri della Galleria e altri oggetti d'arte del comune di Prato : descritti e illustrati con documenti inediti /

Includes bibliographical references.

Catalogue de la bibliothèque de la ville de Turin.

Mode of access: Internet.

Scelta di architetture antiche e moderne della città di Firenze /

Each volume has added engraved title-page: Studio d'architettura civile.

Avaliação das inclinações dentárias obtidas no tratamento ortodôntico com bráquetes autoligados utilizando tomografia computadorizada

O objetivo deste trabalho foi analisar a expressão dos torques dentários em pacientes tratados com aparelhos ortodônticos fixos com bráquetes autoligados, utilizando tomografias computadorizadas. Para este estudo, foi selecionada uma amostra clínica de 10 pacientes, seguindo como critérios de inclusão, indivíduos que apresentavam dentição permanente e todos os dentes presentes, com apinhamento superior ou igual a 4 mm, tratados sem extração. Todos os pacientes foram tratados na clínica da pós-graduação em Ortodontia da Universidade Metodista de São Paulo, utilizando-se bráquetes autoligados Damon 2 ORMCO na prescrição padrão. Foram realizadas medições das inclinações dos dentes anteriores, de canino a canino, superiores e inferiores, realizadas por meio de imagens tomográficas obtidas em um tomógrafo computadorizado volumétrico NewTom, em seu modelo DVT-9000 (NIM Verona - Itália), obtidas em dois tempos: antes do início do tratamento ortodôntico (denominado de T1) e depois do tratamento ortodôntico, após a inserção do último fio de nivelamento, de calibre 0,019 x 0,025 de aço inoxidável(denominado de T2). Para auxílio destas mensurações, foi utilizado o software QR-DVT 9000 e após análise dos resultados foram aplicados testes estatíscos (testes "t" pareado e Dalberg) e observou-se que as inclinações dos dentes do segmento anterior aumentaram, principalmente, nos caninos e incisivos laterais superiores, incisivos centrais e laterais inferiores. Os dentes apresentaram valores de inclinação diferentes da prescrição, tanto no início quanto no final do tratamento, denotando a incapacidade do fio 0,019 x 0,025 de aço inoxidável em reproduzir os torques indicados na prescrição padrão utilizada neste presente estudo.(AU)