After overviewing the general features of semileptonic decays of the tau lepton, I will recall the most widely used model for them, namely that of Kühn-Santamaŕıa (KS), and I will explain the subsequent works that were done along these lines and that are implemented in the TAUOLA library for analysing tau decays. After that, I will move to the description of our project that aims to achieve a t...

In the stabilised Randall-Sundrum brane world scenario, the radion can have phenomenologically testable effects, which can be measured against precisely measured electroweak physics data. We investigate the effect of two loop radion corrections to KL KS mass difference to set a bound on the radion mass and vacuum expectation value. It is found that the leading two loop corrections are of the or...

We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique outperforms analysis of the same problems using SAT-solvers, while consuming a fraction of the memory SAT-solvers require.

We present a submission to the CogALex 2016 shared task on the corpus-based identification of semantic relations, using LexNET (Shwartz and Dagan, 2016), an integrated path-based and distributional method for semantic relation classification. The reported results in the shared task bring this submission to the third place on subtask 1 (word relatedness), and the first place on subtask 2 (semant...