Síntesis y caracterización de nanopartículas y películas delgadas por métodos físicos a partir de aleaciones con efecto de memoria de forma.

Tesis (Doctor en Ciencias de la Ingeniería Mecánica con Especialidad en Materiales) UANL, 2011.

Il linguaggio Alloy come ausilio nella specifica formale di modelli UML

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.

Effect of Paramuricea clavata (Risso, 1826) "forest" on the benthic populations of Tremiti Islands Effetto "foresta" di Paramuricea clavata (Risso, 1826) sui popolamenti bentonici delle Isole Tremiti

Mediterranean coralligenous habitats are biogenic reefs characterised by high species diversity and built mainly by encrusting calcareous red algae, growing in dim light conditions. The global climate change and several human activities may threaten species living in these habitats, especially some of those that are considered particularly relevant in structuring and in maintaining the complexity and diversity of the benthic assemblages. Among them, the red gorgonian, Paramuricea clavata (Risso, 1826), which can form dense populations, in the last decades showed worrying mass mortality events. Understand the role of this “animal forests” in the coralligenous assemblages is of fundamental importance in order to design appropriate monitoring programs and conservation policies, especially in the marine protected areas. For this purpose, benthic assemblages were studied in presence and absence of red gorgonians at two sites at the Tremiti islands. Overall, the benthic assemblages significantly differed among sites, nevertheless in both places, clear differences between assemblages associated and not associated to the gorgonian forests were found. In particular, encrusting corallinered algae were significantly more abundant in the gorgonian understories at both sites. This result indicates that the gorgonians may promote the development of calcareous algae, which are the main builders of the coralligenous habitats. Moreover species diversity resulted higher in the assemblages associated to the gorgonians. The present study highlights the role of Paramuricea clavata as a relevant ecosystem engineer in the coralligenous habitats.

La memoria di lavoro nell'interpretazione simultanea

Riassunto Tesi Nella presente dissertazione viene esposto un esperimento condotto con la partecipazione di 13 studenti del Corso Magistrale di Interpretazione di Conferenza della Scuola di Lingue e Letterature, Traduzione e Interpretazione di Forlì al fine di comprendere se la memoria di lavoro possa essere potenziata in seguito ad un periodo di 7 mesi nel quale gli studenti si sono costantemente confrontati con lezioni ed esercizi di memorizzazione, interpretazione simultanea e interpretazione consecutiva. Nel primo capitolo, dopo una breve introduzione agli studi riguardanti la memoria, vengono descritti i diversi tipi di quest'ultima che congiuntamente alla memoria di lavoro, vengono attivati durante l'interpretazione simultanea. Nel secondo capitolo la memoria di lavoro viene messa in relazione con l'interpretazione simultanea. Oltre alle teorie più influenti circa i meccanismi cognitivi e le singole attività che sottendono il processo dell’IS, vengono esposti i principali modelli di elaborazione dell'informazione durante l'attività in questione. In chiusura del secondo capitolo, vengono esposti brevemente altri aspetti cruciali per l'interpretazione simultanea, utili al fine di comprendere le teorie sviluppate e gli studi condotti in merito: attenzione, chunking, soppressione articolatoria e ripetizione subvocalica, accennando inoltre ad un'interessante ricerca condotta per monitorare l'attivazione e il mutamento delle diverse aree cerebrali durante l'utilizzo di una lingua straniera. Nel terzo capitolo vengono passati in rassegna i principali studi empirici condotti sull'interpretazione simultanea per comprendere il comportamento della memoria di lavoro. Infine, nel quarto capitolo viene presentato l'esperimento condotto allo scopo di verificare l'ipotesi alla base della presente tesi: un aumento dell'esperienza in IS può condurre al potenziamento ML. Dopo aver esposto lo scopo, il metodo e il materiale vengono presentati i risultati che, sebbene siano stati raccolti su un campione abbastanza esiguo, vanno a confermare l'ipotesi all'origine della ricerca.

Relazione del pio istituto di S. Michele a Ripa Grande, eretto dalla santa memoria di PP. Innocenzo XII.

Preface signed: Giuseppe Vai, segretario e prelato deputato.

Memoria di Luigi Preti sul nuovo teatro di Mantova.

Lithographic plate depicting the exterior of the theater by Angelo Campi after a design by Luigi Canonica.

Entaphia; in memoria di Emilio Pozzi la scuola torinese di storia antica.

"Emilio Pozzi": p.[v]-ix.

Scritti storici in memoria di Giovanni Monticolo a cura di C. Cipolla, R. Sabbadini, P.S. Leicht [ed altri] ...

Mode of access: Internet.

Memoria di Francesco Accordino, marchese, rappresentante alla Camera dei comuni del General parlamento di Sicilia, sopra taluni miglioramenti che possan farsi in Sicilia libera e indipendente, li 25 maggio 1848.

Mode of access: Internet.

Elogio detto alla memoria di Ercole Consalvi, cardinale diacono di S. Maria a' Martiri.

Mode of access: Internet.

Inscrizioni latine seguite da traduzione italiana, tributate all'augusta memoria di S.M. Maria Cristina di Savoja /

Mode of access: Internet.

Stanze alla memoria di Lord Byron.

Mode of access: Internet.

Solenni funerali celebrati alla santa memoria di Leone XII. P.O.M. nella real chiesa di Santa Chiara nel giorno X. di marzo 1829.

Mode of access: Internet.

Ultimi uffizii renduti all'immortal memoria di Leone XII. nella Metropolitana chiesa di Napoli dal cardinale Luigi Ruffo Scilla a di XVI. febbrajo MDCCCXXIX.

Mode of access: Internet.