Zobrazeno 1 - 10
of 105
pro vyhledávání: '"Zorzi, Margherita"'
We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deduction -- only one introducti
Externí odkaz:
http://arxiv.org/abs/2007.11875
Autor:
Trotta, Davide, Zorzi, Margherita
Linear type theories, of various types and kinds, are of fundamental importance in most programming language research nowadays. In this paper we describe an extension of Benton's Linear-Non-Linear type theory and model for which we can prove some ext
Externí odkaz:
http://arxiv.org/abs/2006.10604
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning a single p
Externí odkaz:
http://arxiv.org/abs/2001.02029
Autor:
Cristani, Matteo, Domenichini, Francesco, Tomazzoli, Claudio, Viganò, Luca, Zorzi, Margherita
Meteorological forecasting provides reliable prediction about the future weather within a given interval of time. Meteorological forecasting can be viewed as a form of hybrid diagnostic reasoning and can be mapped onto an integrated conceptual framew
Externí odkaz:
http://arxiv.org/abs/1901.09867
qPCF is a paradigmatic quantum programming language that ex- tends PCF with quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data that can be duplicated and manipulated in flexible ways by means of a dependent ty
Externí odkaz:
http://arxiv.org/abs/1809.05723
Publikováno v:
EPTCS 292, 2019, pp. 133-147
We present IQu, namely a quantum programming language that extends Reynold's Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative programming with high-order features, mediated by a simple type theory. IQu mildly me
Externí odkaz:
http://arxiv.org/abs/1711.00774
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 acc
Externí odkaz:
http://arxiv.org/abs/1612.03762
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Pharmacovigilance is the field of science devoted to the collection, analysis and prevention of Adverse Drug Reactions (ADRs). Efficient strategies for the extraction of information about ADRs from free text resources are essential to support the wor
Externí odkaz:
http://arxiv.org/abs/1506.08052
Autor:
Lago, Ugo Dal, Zorzi, Margherita
Publikováno v:
EPTCS 176, 2015, pp. 64-78
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 machines also make sense when the programs at hand are those of a simple
Externí odkaz:
http://arxiv.org/abs/1502.04774