Deductive and Inductive Probabilistic Programming

Understanding the environmental, social and economic policy impacts of envi- ronmental taxes in developing countries ne- cessitates further in-depth research, analysis, and ex

 PRIN, Istituzioni democratiche e amministrazioni d'Europa: coesione e innovazione al tempo della crisi economica (coord. Francesco Merloni; coord. Unità locale Prof. Rolando

 Stage presso la Salvatore Ferragamo S.p.A., nell’ambito del Controllo di Gestione, ufficio Investimenti..

Another patch of residual radio emission is present in the north-east of the im- age (source G3), close-by to a point source surrounded by a fainter large-scale signal and where the

Every quantum circuit is approximately equivalent to a circuit built from CNOT and from four specific quantum gates... Universal Collections

This fact can be attributed primarily to the higher currents developed during the tests with respect to the experiments with bare stainless steel anodes: maximum

Larsen and Skou [12] first proved that bisimilarity for reactive probabilistic systems can be given a logical characterization: two processes are bisimilar if and only if they

The focus of the paper is the analysis of the programming style to be used for model- ing the maximum bisimulation problem in a way as declarative way as possible in some dialects