La circolarita' delle idee nel pensiero medico bolognese: la Societa' Medica Chirurgica in Epoca Pontificia

La tesi di Dottorato, saldamente ancorata alle Medical Humanities, si è concentrata sul modo in cui la storia della letteratura italiana si intreccia con le altre discipline, per arrivare a configurare quell’ampio panorama di storia delle idee che aiuta a valutare l’evoluzione stessa delle credenze e dei pensieri dell’uomo nel corso del tempo. Essa ha contribuito a portare alla luce l’apporto dato dalla Società Medica Chirurgica di Bologna in Epoca Pontificia alla circolarità del pensiero medico, ricordando con forza che le varie correnti storico-mediche non sono appunto il semplice susseguirsi di teorie più o meno esatte. La tesi rende pienamente visibili non solo la struttura e le dinamiche della comunicazione scientifica, ma documenta attraverso la letteratura (anche quella scientifica) la presenza della medicina e delle sue pratiche all’interno della società, soffermandosi sui meccanismi, sui percorsi che legano i fenomeni tra loro; viene declinato anche il complesso e travagliato processo teso a ridefinire la figura del medico durante l’epoca del dominio pontificio nel suo declino, circondata da diffidenze e ostilità. Il fulcro della tesi è dato dalla dimostrazione inconfutabile che esiste ancora un ruolo per la cultura umanistica nella formazione del medico.

Reserva de ley y transposición de directivas europeas

La presente tesis analiza el problema de la validez de las disposiciones de transposición de las Directivas Europeas en los ordenamientos nacionales desde la perspectiva del principio constitucional de reserva de ley. En el primer capítulo se desarrolla un análisis del estado de la cuestión en las jurisprudencias española e italiana. En el segundo se afronta el estudio de los requisitos impuestos por la jurisprudencia del TJUE en relación con las normas por las que se procede a la incorporación en los ordenamientos internos del contenido de las Directivas; teniendo en cuenta que ha de partirse del principio de autonomía institucional y procedimental de los Estados Miembros y que las Directivas, en tanto carentes por razón de su forma de directa aplicabilidad, no pueden sustituir a la ley nacional, el principio de reserva de ley ha de aplicarse en este tipo de operaciones siempre que así lo exija la Constitución nacional. En el tercer capítulo se estudian los efectos que han producido en los ordenamientos italiano, francés y alemán las cláusulas constitucionales "europeas", alcanzándose la fundamental conclusión de que las mismas no han supuesto quiebra alguna de la disciplina general de producción normativa en lo que se refiere a las operaciones de ejecución interna del Derecho Europeo. En el cuarto y último capítulo, en fin, se analiza el sistema italiano de ejecución de las políticas europeas mediante normas reglamentarias y la posible toma en consideración del mismo para la formulación de propuestas de lege ferenda en relación con el Derecho Español.

Le Zone Franche Urbane: Mercato europeo e Ordinamenti tributari

Lo studio delle Zone Franche Urbane all’interno del Diritto tributario europeo non ha potuto prescindere da una introduttiva delimitazione del lavoro, capace di distinguere le diverse tipologie di zone franche esistenti nei Paesi intra/extra Ue. Attraversando i casi-studio di Madeira, delle Azzorre, fino alla istituenda Zona Franca di Bruxelles, Zone d’Economie Urbaine stimulée (ZEUS), si è giunti alla constatazione dell’assenza di una definizione di Zona Franca Urbana: analizzando le esperienze normative vissute in Francia e in Italia, si è potuto tratteggiare il profilo territoriale, soggettivo e oggettivo del sistema agevolativo rivolto al recupero delle aree urbane degradate. La funzione strumentale della fiscalità, esplicitata per mezzo delle ZFU, ha condotto ad una verifica di diritto interno per controllare la legittimità delle scelte nazionali in ragione dei principi costituzionali nazionali, come anche una di diritto europeo per evitare che le scelte nazionali, anche se legittime sul piano interno, possano per gli stessi effetti incentivanti alle attività d'impresa presentarsi come una forma territoriale di aiuti di Stato fiscali. Evidenziando il rapporto tra le ZFU e il Mercato europeo si è voluto, da un lato, effettuare una ricostruzione sistemica necessaria per un’interpretazione delle ZFU che metta in luce le componenti di tale strumento orientate al perseguimento di un interesse socioeconomico, che in prima battuta generi una contraddizione, una deroga ai principi costituzionali e comunitari, per poi “sciogliersi” in una coerente applicazione degli stessi; dall’altro, tentare di elevare le ZFU a misura sistemica dell’Ordinamento europeo. Si è svolto, infine, un ragionamento in termini di federalismo fiscale con riferimento alle ZFU, trovando una adeguata collocazione nel percorso di devoluzione intrapreso dal legislatore nazionale, avendo quali interlocutori privilegiati le Regioni a Statuto Speciale.

Neural network modelling of the wave-structure interaction processes

This thesis presents a new Artificial Neural Network (ANN) able to predict at once the main parameters representative of the wave-structure interaction processes, i.e. the wave overtopping discharge, the wave transmission coefficient and the wave reflection coefficient. The new ANN has been specifically developed in order to provide managers and scientists with a tool that can be efficiently used for design purposes. The development of this ANN started with the preparation of a new extended and homogeneous database that collects all the available tests reporting at least one of the three parameters, for a total amount of 16’165 data. The variety of structure types and wave attack conditions in the database includes smooth, rock and armour unit slopes, berm breakwaters, vertical walls, low crested structures, oblique wave attacks. Some of the existing ANNs were compared and improved, leading to the selection of a final ANN, whose architecture was optimized through an in-depth sensitivity analysis to the training parameters of the ANN. Each of the selected 15 input parameters represents a physical aspect of the wave-structure interaction process, describing the wave attack (wave steepness and obliquity, breaking and shoaling factors), the structure geometry (submergence, straight or non-straight slope, with or without berm or toe, presence or not of a crown wall), or the structure type (smooth or covered by an armour layer, with permeable or impermeable core). The advanced ANN here proposed provides accurate predictions for all the three parameters, and demonstrates to overcome the limits imposed by the traditional formulae and approach adopted so far by some of the existing ANNs. The possibility to adopt just one model to obtain a handy and accurate evaluation of the overall performance of a coastal or harbor structure represents the most important and exportable result of the work.

Oswald Mathias Ungers: Belvederestraße 60. Zu einer neuen Archtektur.

La presente Tesi di Dottorato intende affrontare una lettura critica della Casa in Belvederestraße 60, realizzata dall’architetto Oswald Mathias Ungers (Kaisersesch, 12 luglio 1926 – Köln, 30 settembre 2007), nel 1958-’59 a Köln-Müngersdorf, come studio per sé ed abitazione per la propria famiglia. Questo primo oggetto della ricerca viene considerato evidente espressione delle convinzioni formali e compositive dell’architetto, negli anni Cinquanta e Sessanta. A differenza di altri progetti residenziali coevi ed antecedenti, frutto di un’elaborazione autonoma, la prima casa che costruisce per sé riflette una maggiore libertà di pensiero, dettata dalla coincidenza delle figure di progettista e committente; a ciò si aggiunge anche una precisa volontà dichiarativa ed ideologica. Proprio quest’ultimo aspetto permette di introdurre il secondo oggetto della Tesi: il manifesto “ideologico”, Zu einer neuen Architektur, scritto dallo stesso Oswald Mathias Ungers e da Reinhard Gieselmann, alla fine del 1960; un breve testo che espone, con toni perentori ed inappellabili, il punto di vista dei due architetti nei confronti di un panorama architettonico e critico, caratterizzato da una sterilità di pensiero dilagante, a causa dell’egemonia costruttiva funzionalista. La ricerca indaga quindi le forti reciprocità delle due opere: casa e testo, viste in chiave di “manifesto scritto e manifesto costruito”. Il primo legame tra i due soggetti è senza dubbio la concomitanza temporale, (tra il 1958 ed il 1960) associata ad un rapporto causa-effetto, tale per cui il manifesto viene redatto a difesa delle aspre critiche scaturite dalla pubblicazione della casa sulla rivista Bauwelt. Il secondo nesso è la possibilità di comprendere le accezioni effettive dei termini impiegati nella redazione del testo, attraverso le forme di una delle opere maggiormente personali dell’architetto, estraendone il senso e conferendogli un’immagine architettonica. Si vuole creare così un rapporto biunivoco di traducibilità, dell’architettura nello scritto e della semantica ungersiana in azioni compositive.

La storia del cinema muto a Bologna attraverso la documentazione d'epoca. Protagonisti, imprese, spettacoli e luoghi per la gestione dell'immaginario della società urbana (1896-1925).

Studio storiografico condotto su fonti archivistiche, filmiche e sulla stampa locale e specializzata che ricostruisce dettagliatamente l'ambiente cittadino d'inizio Novecento nel quale si sono diffusi i primi spettacoli cinematografici, determinandone le caratteristiche e tracciandone l'evoluzione fra 1896 e 1925. L'avvento della cinematografia è strettamente connesso a un processo di modernizzazione del volto urbano, degli stili di vita, delle idee e il cinema si salda a queste istanze di rinnovamento, con una precisa ricaduta sull'immagine della città e sull'esperienza dei suoi cittadini appartenenti alle diverse classi sociali.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Support infrastructures for multimedia services with guaranteed continuity and QoS

Advances in wireless networking and content delivery systems are enabling new challenging provisioning scenarios where a growing number of users access multimedia services, e.g., audio/video streaming, while moving among different points of attachment to the Internet, possibly with different connectivity technologies, e.g., Wi-Fi, Bluetooth, and cellular 3G. That calls for novel middlewares capable of dynamically personalizing service provisioning to the characteristics of client environments, in particular to discontinuities in wireless resource availability due to handoffs. This dissertation proposes a novel middleware solution, called MUM, that performs effective and context-aware handoff management to transparently avoid service interruptions during both horizontal and vertical handoffs. To achieve the goal, MUM exploits the full visibility of wireless connections available in client localities and their handoff implementations (handoff awareness), of service quality requirements and handoff-related quality degradations (QoS awareness), and of network topology and resources available in current/future localities (location awareness). The design and implementation of the all main MUM components along with extensive on the field trials of the realized middleware architecture confirmed the validity of the proposed full context-aware handoff management approach. In particular, the reported experimental results demonstrate that MUM can effectively maintain service continuity for a wide range of different multimedia services by exploiting handoff prediction mechanisms, adaptive buffering and pre-fetching techniques, and proactive re-addressing/re-binding.

Structural analysis of combinatorial optimization problem characteristics and their resolution using hybrid approaches

Many combinatorial problems coming from the real world may not have a clear and well defined structure, typically being dirtied by side constraints, or being composed of two or more sub-problems, usually not disjoint. Such problems are not suitable to be solved with pure approaches based on a single programming paradigm, because a paradigm that can effectively face a problem characteristic may behave inefficiently when facing other characteristics. In these cases, modelling the problem using different programming techniques, trying to ”take the best” from each technique, can produce solvers that largely dominate pure approaches. We demonstrate the effectiveness of hybridization and we discuss about different hybridization techniques by analyzing two classes of problems with particular structures, exploiting Constraint Programming and Integer Linear Programming solving tools and Algorithm Portfolios and Logic Based Benders Decomposition as integration and hybridization frameworks.

Dynamic services in mobile ad hoc networks

The increasing diffusion of wireless-enabled portable devices is pushing toward the design of novel service scenarios, promoting temporary and opportunistic interactions in infrastructure-less environments. Mobile Ad Hoc Networks (MANET) are the general model of these higly dynamic networks that can be specialized, depending on application cases, in more specific and refined models such as Vehicular Ad Hoc Networks and Wireless Sensor Networks. Two interesting deployment cases are of increasing relevance: resource diffusion among users equipped with portable devices, such as laptops, smart phones or PDAs in crowded areas (termed dense MANET) and dissemination/indexing of monitoring information collected in Vehicular Sensor Networks. The extreme dynamicity of these scenarios calls for novel distributed protocols and services facilitating application development. To this aim we have designed middleware solutions supporting these challenging tasks. REDMAN manages, retrieves, and disseminates replicas of software resources in dense MANET; it implements novel lightweight protocols to maintain a desired replication degree despite participants mobility, and efficiently perform resource retrieval. REDMAN exploits the high-density assumption to achieve scalability and limited network overhead. Sensed data gathering and distributed indexing in Vehicular Networks raise similar issues: we propose a specific middleware support, called MobEyes, exploiting node mobility to opportunistically diffuse data summaries among neighbor vehicles. MobEyes creates a low-cost opportunistic distributed index to query the distributed storage and to determine the location of needed information. Extensive validation and testing of REDMAN and MobEyes prove the effectiveness of our original solutions in limiting communication overhead while maintaining the required accuracy of replication degree and indexing completeness, and demonstrates the feasibility of the middleware approach.

Argumentation and artifacts for intelligent multi-agent systems

Reasoning under uncertainty is a human capacity that in software system is necessary and often hidden. Argumentation theory and logic make explicit non-monotonic information in order to enable automatic forms of reasoning under uncertainty. In human organization Distributed Cognition and Activity Theory explain how artifacts are fundamental in all cognitive process. Then, in this thesis we search to understand the use of cognitive artifacts in an new argumentation framework for an agent-based artificial society.