ZORZI, Margherita
ZORZI, Margherita
DIPARTIMENTO DI INFORMATICA
A "Game semantical" intuitionistic realizability validating Markov's principle
2014-01-01 F., Aschieri; Zorzi, Margherita
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics
2016-01-01 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results
2017-01-01 Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo
A Logical Framework for XML Reference Specification
2015-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A Qualitative Modal Representation of Quantum Register Transformations
2008-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
A simple algorithm for the lexical classification of comparable adjectives
2018-01-01 Cristani, Matteo; Chito', Ilaria; Tomazzoli, Claudio; Zorzi, Margherita
Automagically Encoding Adverse Drug Reactions in MedDRA
2015-01-01 Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo
Automatic Generation of Dictionaries: the journalistic lexicon case.
2019-01-01 Cristani, Matteo; Tomazzoli, Claudio; Zorzi, Margherita
Early training in programming: from high school to college
2017-01-01 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita
General ramified recurrence is sound for polynomial time
2010-01-01 Dal Lago, U.; Martini, S.; Zorzi, Margherita
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic
2012-01-01 Zorzi, Margherita; Aschieri, F.
It could rain: weather forecasting as a reasoning process
2018-01-01 Cristani, Matteo; Domenichini, Francesco; Olivieri, Francesco; Tomazzoli, Claudio; Zorzi, Margherita
Making sentiment analysis algorithms scalable
2018-01-01 Cristani, Marco; Cristani, Matteo; Pesarin, Anna; Tomazzoli, Claudio; Zorzi, Margherita
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions
2017-01-01 Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Moretti, Ugo
Non-determinism, non-termination and the strong normalization of System T
2013-01-01 F., Aschieri; Zorzi, Margherita
qPCF: a language for quantum circuit computations
2017-01-01 Paolini, Luca; Zorzi, Margherita
Quantum programming made easy
2019-01-01 Paolini, Luca; Roversi, Luca; Zorzi, Margherita
Quantum State Transformations and Branching Distributed Temporal Logic
2014-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
Towards a logical framework for diagnostic reasoning
2018-01-01 Cristani, M.; Olivieri, F.; Tomazzoli, C.; Zorzi, M.
Wave-Style Token Machines and Quantum Lambda Calculi
2015-01-01 U., Dal Lago; Zorzi, Margherita
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A "Game semantical" intuitionistic realizability validating Markov's principle | 1-gen-2014 | F., Aschieri; Zorzi, Margherita | |
| A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics | 1-gen-2016 | Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita | |
| A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results | 1-gen-2017 | Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo | |
| A Logical Framework for XML Reference Specification | 1-gen-2015 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
| A Qualitative Modal Representation of Quantum Register Transformations | 1-gen-2008 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
| A simple algorithm for the lexical classification of comparable adjectives | 1-gen-2018 | Cristani, Matteo; Chito', Ilaria; Tomazzoli, Claudio; Zorzi, Margherita | |
| Automagically Encoding Adverse Drug Reactions in MedDRA | 1-gen-2015 | Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo | |
| Automatic Generation of Dictionaries: the journalistic lexicon case. | 1-gen-2019 | Cristani, Matteo; Tomazzoli, Claudio; Zorzi, Margherita | |
| Early training in programming: from high school to college | 1-gen-2017 | Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita | |
| General ramified recurrence is sound for polynomial time | 1-gen-2010 | Dal Lago, U.; Martini, S.; Zorzi, Margherita | |
| Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic | 1-gen-2012 | Zorzi, Margherita; Aschieri, F. | |
| It could rain: weather forecasting as a reasoning process | 1-gen-2018 | Cristani, Matteo; Domenichini, Francesco; Olivieri, Francesco; Tomazzoli, Claudio; Zorzi, Margherita | |
| Making sentiment analysis algorithms scalable | 1-gen-2018 | Cristani, Marco; Cristani, Matteo; Pesarin, Anna; Tomazzoli, Claudio; Zorzi, Margherita | |
| Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions | 1-gen-2017 | Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Moretti, Ugo | |
| Non-determinism, non-termination and the strong normalization of System T | 1-gen-2013 | F., Aschieri; Zorzi, Margherita | |
| qPCF: a language for quantum circuit computations | 1-gen-2017 | Paolini, Luca; Zorzi, Margherita | |
| Quantum programming made easy | 1-gen-2019 | Paolini, Luca; Roversi, Luca; Zorzi, Margherita | |
| Quantum State Transformations and Branching Distributed Temporal Logic | 1-gen-2014 | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | |
| Towards a logical framework for diagnostic reasoning | 1-gen-2018 | Cristani, M.; Olivieri, F.; Tomazzoli, C.; Zorzi, M. | |
| Wave-Style Token Machines and Quantum Lambda Calculi | 1-gen-2015 | U., Dal Lago; Zorzi, Margherita |