It is clear for everybody that security protocols need to be proven. Indeed, a security breach in one of these distributed programs, may have a dramatic impact. A typical example are the (electronic) voting protocols, which we fear will be soon widely used. But what does “proven” mean? A formal proof requires a formal model, both for the protocol executions and for the security properties. Ther...

The conference Photon 2009 on the structure and the interactions of the photon included sessions on photon-photon collisions and a future high-energy photon linear collider. This summary of theoretical contributions to the conference therefore has two parts. I will discuss the physics potential of photon colliders with an emphasis on the study of electroweak physics and the search for physics b...

In 1966 F. J. Inglefinger, A. S. Relman, and M. Finland published a book Controversy in Internal Medicine.' Even at that late date, the authors of one of the chapters vigorously defended the position that the drug treatment of essential hypertension was of no benefit. The question was hotly debated during the 1950s and 1960s. In fact, many authorities strongly opposed such treatment, arguing th...

Prior studies in the automatic classification of voice quality have mainly studied use acoustic speech signal as input. Recently, a few been carried out by jointly using both and neck surface accelerometer (NSA) signals inputs, extracting MFCCs glottal source features. This study examines simultaneously-recorded NSA (breathy, modal, pressed) features derived from three self-supervised pre-train...

Recently, self-supervised learning (SSL) from unlabelled speech data has gained increased attention in the automatic recognition (ASR) community. Typical SSL methods include autoregressive predictive coding (APC), Wav2vec2.0, and hidden unit BERT (HuBERT). However, models are biased to pretraining data. When finetuned with another domain, domain shifting occurs might cause limited knowledge tra...