Fast switched current analog memory

In this paper is presented the structure of a fast Switched Current (SI) analog memory and its integration with a high energy nuclear physics experiment equipment. A special emphasis is focused on the structure of the elementary memory cell, the SI flash A/D converter, and the sampling commands generation. There can be found also a short comparation of the SI and SC techniques for analog memories

Pixel segmented ionization chamber for therapeutical beams of photons and hadrons

Abstract A fast and precise detector to monitor on-line the dose delivered by an active scanning therapeutical beam has been built and tested

Argomenti di logica

Nella parte "Elementi di teoria dei modelli" ho presentato tre tipi di argomenti. I risultati su interpolazione e definibilità (dovuti a Lyndon, Robinson e Beth) che completano la metateoria classica delle teorie del I ordine. I teoremi di compattezza e di Loewenheim-Skolem che mettono in luce peculiarità, capacità espressive e "debolezze" di quelle stesse teorie del I ordine. E, infine, la elegante costruzione degli ultraprodotti, risalente a Skolem, ma molto più recentemente sviluppata da Løs e altri, che ha permesso di ottenere importanti risultati, come la compattezza, per via puramente semantica

Argomenti di logica

Nella parte "Elementi di teoria dei modelli" ho presentato tre tipi di argomenti. I risultati su interpolazione e definibilità (dovuti a Lyndon, Robinson e Beth) che completano la metateoria classica delle teorie del I ordine. I teoremi di compattezza e di Loewenheim-Skolem che mettono in luce peculiarità, capacità espressive e "debolezze" di quelle stesse teorie del I ordine. E, infine, la elegante costruzione degli ultraprodotti, risalente a Skolem, ma molto più recentemente sviluppata da Løs e altri, che ha permesso di ottenere importanti risultati, come la compattezza, per via puramente semantica