no code implementations • 18 Jun 2020 • Davide Trotta, Margherita Zorzi
In this paper we describe an extension of Benton's Linear-Non-Linear type theory and model for which we can prove some extra properties that make the system better behaved as far as its theory is concerned.
Logic in Computer Science Programming Languages
no code implementations • 28 Jan 2019 • Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
Meteorological forecasting provides reliable prediction about the future weather within a given interval of time.
no code implementations • 12 Dec 2016 • Carlo Combi, Margherita Zorzi, Gabriele Pozzani, Ugo Moretti
The collection of narrative spontaneous reports is an irreplaceable source for the prompt detection of suspected adverse drug reactions (ADRs): qualified domain experts manually revise a huge amount of narrative descriptions and then encode texts according to MedDRA standard terminology.
no code implementations • 26 Jun 2015 • Carlo Combi, Riccardo Lora, Ugo Moretti, Marco Pagliarini, Margherita Zorzi
It is a complex work, which has to be manually implemented by the pharmacovigilance experts.