15 citations · 41 across the 17 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CL2015★ 7 cited
Automagically encoding Adverse Drug Reactions in MedDRA
Carlo Combi, Riccardo Lora, Ugo Moretti +2
Pharmacovigilance is the field of science devoted to the collection, analysis and prevention of Adverse Drug Reactions (ADRs). Efficient strategies for the extraction of informatio…
cs.LO2015★ 15 cited
Wave-Style Token Machines and Quantum Lambda Calculi
Ugo Dal Lago, Margherita Zorzi
Particle-style token machines are a way to interpret proofs and programs, when the latter are written following the principles of linear logic. In this paper, we show that token ma…