Host Galaxy Contribution to the Colours of `Red' Quasars

We describe an algorithm that measures self-consistently the relative galaxy contribution in a sample of radio-quasars from their optical spectra alone. This is based on a spectral fitting method which uses the size of the characteristic 4000\AA~ feature of elliptical galaxy SEDs. We apply this method to the Parkes Half-Jansky Flat Spectrum sample of Drinkwater et al. (1997) to determine whether emission from the host galaxy can significantly contribute to the very red optical-to-near-infrared colours observed. We find that at around $2\sigma$ confidence, most of the reddening in unresolved (mostly quasar-like) sources is unlikely to be due to contamination by a red stellar component.Comment: 11 pages, 11 figures. Accepted for Publication in Monthly Notices of the Royal Astronomical Societ

The study of ionospheric anomalies in Japan area during 1998–2010 by Kon et al.: An inaccurate claim of earthquake-related signatures?

The problem of identifying precursory signals of earthquakes in the hope of mitigate the seismic hazard is a very important topic, but inaccurate documentations of precursory signatures decrease the credibility of this field of research. The statistical analysis by Kon et al. (2011) shows that there is tendency of positive total electron content (TEC) anomalies to occur 1–5 days before 52 M > 6 earthquakes which struck Japan during 1998–2010. Kon et al. (2011) also report in detail three selected case studies claiming the occurrence of TEC anomalies possibly related to large and destructive earthquakes. This paper casts doubts on the possibility that in the three cases the TEC disturbances were caused by seismic events suggesting that these TEC changes could be induced by normal variations of the global geomagnetic activity. As a consequence, also the results of the Superimposed Epoch Analysis performed by Kon et al. (2011) could be seriously influenced by global magnetospheric signals

Progetto e sviluppo di un verificatore efficiente del bytecode java

La tecnologia Java Card costituisce il punto di contatto tra il linguaggio di programmazione Java e l’ambiente operativo di sistemi con un numero limitato di risorse. Java è un linguaggio interpretato: il codice assemblato viene eseguito su una macchina virtuale, la Java Virtual Machine (JVM), che garantisce l’indipendenza del codice dalla particolare piattaforma hardware/software. La JVM gioca inoltre un ruolo centrale per quanto riguarda la sicurezza e la correttezza del codice eseguito: la sicurezza è legata a meccanismi che controllano i diritti di accesso a informazioni e funzionalità, la correttezza garantisce invece che i meccanismi di sicurezza non vengano by-passati. Il “verificatore” è il modulo della JVM che analizza la correttezza del codice: la tecnologia corrente non consente l’implementazione di un verificatore “standard” direttamente on-card perché il processo di verifica richiede in genere un numero elevato di risorse. In questa tesi viene proposto un verificatore che ottimizza l’utilizzo delle risorse attraverso una analisi del grafo di flusso del codice: l’idea di base è di scomporre il codice in blocchi indipendenti e di rendere dinamica l’allocazione delle risorse applicando l’algoritmo di verifica ad ogni blocco. Le risorse da allocare sono solo quelle necessarie alla verifica di un sotto-insieme di istruzioni: la complessità del processo di verifica diminuisce e la realizzazione di un verificatore on-card diventa un obiettivo raggiungibile. E’ stato inoltre sviluppato un prototipo a partire dal codice di un verificatore open-source