Zobrazeno 1 - 10
of 3 769
pro vyhledávání: '"Faggian A."'
Quantum lambda calculus has been studied mainly as an idealized programming language -- the evaluation essentially corresponds to a deterministic abstract machine. Very little work has been done to develop a rewriting theory for quantum lambda calcul
Externí odkaz:
http://arxiv.org/abs/2411.14856
Publikováno v:
Proc. ACM Program. Lang. 8, POPL, Article 84 (January 2024)
Bayesian networks (BNs) are graphical \emph{first-order} probabilistic models that allow for a compact representation of large probability distributions, and for efficient inference, both exact and approximate. We introduce a \emph{higher-order} prog
Externí odkaz:
http://arxiv.org/abs/2311.04651
Normal form bisimilarities are a natural form of program equivalence resting on open terms, first introduced by Sangiorgi in call-by-name. The literature contains a normal form bisimilarity for Plotkin's call-by-value $\lambda$-calculus, Lassen's \em
Externí odkaz:
http://arxiv.org/abs/2303.08161
Autor:
Faggian, Claudia, Guerrieri, Giulio
We present a technique to study normalizing strategies when termination is asymptotic, that is, it appears as a limit, as opposite to reaching a normal form in a finite number of steps. Asymptotic termination occurs in several settings, such as effec
Externí odkaz:
http://arxiv.org/abs/2204.08772
Autor:
Pappalardo, Omar, Benfari, Giovanni, Jenkins, William, Foley, Thomas, Araoz, Philip, Redaelli, Alberto, Onorati, Francesco, Faggian, Giuseppe, Michelena, Hector I., Votta, Emiliano, Enriquez-Sarano, Maurice
Publikováno v:
In International Journal of Cardiology 15 October 2024 413
Publikováno v:
In Bioresource Technology January 2025 415
Publikováno v:
BMC Infectious Diseases, Vol 24, Iss 1, Pp 1-17 (2024)
Abstract Predictive models for vector-borne diseases (VBDs) are instrumental to understanding the potential geographic spread of VBDs and therefore serve as useful tools for public health decision-making. However, predicting the emergence of VBDs at
Externí odkaz:
https://doaj.org/article/92636e4cf5914f70b1dc320d83ab73a0
Autor:
Marta Faggian, Silvia Lucchetti, Sara Ferrari, Gabriele De Nadai, Stefano Francescato, Giovanni Baratto, Nicola De Zordi, Silvia-Maria Stanic, Gregorio Peron, Stefania Sut, Alessandra Semenzato, Stefano Dall’Acqua
Publikováno v:
Applied Sciences, Vol 14, Iss 22, p 10603 (2024)
The sourcing of raw materials with low environmental impact, e.g., “upcycled” ingredients from short supply chains, has currently become necessary, and agri-food waste represents a very attractive hub to produce innovative cosmetic extracts. In t
Externí odkaz:
https://doaj.org/article/0ebbb782558d46c1bdbb152385ef0f71
Publikováno v:
In Papers in Regional Science August 2024 103(4)
Autor:
Francica, Alessandra, Benvegnù, Luciana, San Biagio, Livio, Tropea, Ilaria, Luciani, Giovanni Battista, Faggian, Giuseppe, Onorati, Francesco
Publikováno v:
In The Journal of Thoracic and Cardiovascular Surgery May 2024 167(5):1705-1713