You are here

Publications

Primary tabs

  1. Lorenzo Potrich,
    Metodi visivi per la caratterizzazione automatica del moto di bolle di aria in acqua,
  2. Alessandro Cimatti; Roberto Sebastiani,
    Servizi forniti dagli strati Safety Layer e Connection Manager,
    Obiettivo del presente documento è fornire una (proposta preliminare di) descrizione dei servizi forniti agli applicativi dagli strati Connection Manager (CM) e Safety Layer (SL), come perzialmente descritto nei documenti (1) e (3). Tale proposta è risultante della riunione in Ansaldo del 08-05-98 tra Ansaldo e Irst,
  3. Alessandro Cimatti; Roberto Sebastiani,
    Specifica formale dei protocolli Safety Layer e Connection Manager,
    Il presente documento descrive una specifica formale del protocollo di comunicazione tra applicativi in sicurezza basato su ridondanza. Il protocollo è stato suddiviso in due livelli separati, il Safety Layer (SL), come parzialmente descritto nei documenti (1) e (3), ed il Connection Manager (CM). Il S: e il CM sono stati specificati formalmente in SDL, e sono state applicate tecniche di validazione basate su simulazione esaustiva (model checking) attraverso il tool ObjectGEODE Nel presente documento vengono descritti i servizi forniti da tali livelli, e viene descritta la specifica formale delle macchine a stati che realizzano i livelli CM e SL. i dettagli del codice SDL sono descritti nel documento (6).,
  4. Alessandro Cimatti; Roberto Sebastiani,
    Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL,
    Nel presente documento viene descritto in dettaglio il codice SDL della specifica formale dei protocolli Safety Layer (SL) e Connection Manager (CM) descritta in (1). Il modello è realizzato attraverso i meccanismi di 'definizione di tipo' e di 'istanziazione' di SDL. Il codice è ripartito nei fine terminale_lib.pr, contenente la descrizione dei tipi (es. macchina SL, macchina CM), e Modello.pr, contentenente le istanze che realizzano la particolare configurazione analizzata Il presente documento assume che il lettore abbia una certa conoscenza di SDL, e fa esplicito riferimento al listato dei file Modello.pr e terminale_lib.pr allegato.,
  5. Emanuele Pianta; L. Tovena,
    Generating with flexible templates from C-STAR Interchange Format,
    We present a system for generating Italian sentences from the interlingua semantic representation (Interchange Format) adopted within the C-STAR speech to speech translation project. The generation task in our application scenario is made peculiar by: i) a semantically underspecified input representation whose interpretation relies on implicit domain knowledge; ii) the spoken language output, characterized by frequent use of idiomatic forms, fragmentary phrases, etc. iii) a strong requirement for high time efficiency. We discuss how these constraints lead us to develop a template based generator providing a good trade-off betzeen flexibility and efficiency. We overcome the shortcomings of traditional static templates by using flexible templates which allow an elegant treatment of phonological adjustments, morphological agreement (very frequent in Italian) and syntactic constituency phenomena,
  6. Carla Maria Modena; Stefano Messelodi,
    Progetto CODICE*: Alcune considerazioni sulle modalità di valutazione del sistema,
    Queste note raccolgono alcune considerazioni relative alla definizione delle modalità di valutazione del sistema di analisi ed interpretazione di documenti complessi in via di sviluppo nell’ambito del progetto CODICE. Viene messo in evidenza che la possibilità di definire metodi di valutazione generali è attuabile solo per alcune sottoparti del sistema se non per specifiche procedure, mentre la definizione di una validazione globale richiede che sia fissato lo scenario applicativo,
  7. L. Tovena,
    A User's Point of View on the Interlingua IF,
    This report presents a user’s point of view on the semantic representation formalism Interchange Format (IF). It discusses the formalism’s ability to represent the content of specific dialogue units, as well as its means for coding discourse information, and advances specific proposals when needed,
  8. M. Sbetti; Massimo Bersani; Michele Fedrizzi; S. a Beccara; Mariano Anderle,
    Dopant Redistribution Analysis in RiSi2/Si Systems by SIMS,
    The progressive shrinking of microelectronic devices has determined an increasing interest in silicides for contacts and interconnections manufactoring. In particular TiSi2 has shown the most interesting technological features, such as low resistivity, comparable with Al one, a good thermal stability, and the availability of self-aligning processes. The analytical characterization of these materials plays a relevant role in developing and setting up the process necessary for the integration of the related technology in devices manufactoring. We develope an analytical pethodology in order to obtain accurate and reliable dopant depth profiles in TiSi2/Si systems by SIMS analysis. We apply our methodology both to suitable standard samples and to some real device made in an industrial production process,
  9. Massimo Bersani; M. Sbetti; Mariano Anderle,
    A comparison between mass spectrometry techniques on oxynitrides,
    The development of materials and processing in microelectronics needs an increasing parallel improvement of the analytical methodologies, required to geve up-to-date answers to the state of the art in this field. Oxynitride is a typical example. This material has replaced thermal silicon oxide as gate insulator due to the properties of good masking against impurity diffusion, together with the excellent dielectric strenght and the better resistance to dielectric breakdown. These properties allow the manufactoring of gate oxide with a thickness below 80 Å. In this work we present the application of analytical methodologies based on mass spectrometry on oxynitrides. In order to develope a complete analytical methodology, the influence of impact energy and incidence angle on the profile quantification in SIMS analyses has been investigated. Also a comparison between ToF-SIMS and SIMS analyses has been performed, to evaluate the applicability of ToF-SIMS depth profiling to this topic,
  10. Maurizio Del Greco; Giandomenico Nollo; R. Micciolo; P. Pessano; M. Disertori,
    Increased Dispersion of Ventricular Repolarization and Cardiac Death after Myocardial Infarction. A Long Term Follow-up Study,