Zobrazeno 1 - 10
of 259
pro vyhledávání: '"Paola Giannini"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such calculi the aim is to enforce, by typing, good properties for all partic
Externí odkaz:
https://doaj.org/article/21d4672e6b9c4d0bab27f79d120a30b3
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 293, Iss Proc. DCM 2018 and ITRS 2018, Pp 39-55 (2019)
Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory. We present an al
Externí odkaz:
https://doaj.org/article/4e5d5dec17b8402e87e55ef0179ee0d3
Autor:
Giulia Graziani, Aurora Cirillo, Paola Giannini, Stefano Conti, Christophe El-Nakhel, Youssef Rouphael, Alberto Ritieni, Claudio Di Vaio
Publikováno v:
Agriculture, Vol 12, Iss 2, p 227 (2022)
The negative impacts of extreme heat and drought on olive plants have driven the quest for mitigation approaches based on the use of biostimulants, which have proved to be effective in contrasting environmental stresses. The aim of our study was to e
Externí odkaz:
https://doaj.org/article/2e37c293460146d581661816611245cb
Autor:
Giandomenico Corrado, Christophe El-Nakhel, Giulia Graziani, Antonio Pannico, Armando Zarrelli, Paola Giannini, Alberto Ritieni, Stefania De Pascale, Marios C. Kyriacou, Youssef Rouphael
Publikováno v:
Horticulturae, Vol 7, Iss 8, p 211 (2021)
Neglected and underutilized species (NUS) offer largely unexplored opportunities for providing nutritious plant food, while making agro-ecosystems more diverse and resilient to climate change. The aim of this work was to explore the potential of two
Externí odkaz:
https://doaj.org/article/7a393ab6515d4d4499408461faaffbac
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 60-74 (2016)
Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched with named checkpoints. Computations can either go forward or roll back
Externí odkaz:
https://doaj.org/article/34aa9f3ee8374af09052025372a21e04
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and inte
Externí odkaz:
https://doaj.org/article/3c6c4a67270f4f78b79399eae29d1e50
In type-and-coeffect systems , contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bottom-up, combining, for each term, the coeffects of its subterms, throu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d04008904332c07f1e3ad302c94debd
http://arxiv.org/abs/2209.07439
http://arxiv.org/abs/2209.07439
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 144, Iss Proc. DCM 2013, Pp 41-56 (2014)
We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current loca
Externí odkaz:
https://doaj.org/article/25b9941ee3e348839169e2bec1cc4bf6
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 81-93 (2013)
We define an extension of the simply-typed lambda calculus where two different binding mechanisms, by position and by name, nicely coexist. In the former, as in standard lambda calculus, the matching between parameter and argument is done on a positi
Externí odkaz:
https://doaj.org/article/8dbd641bc1c049cc94400de46871b0e2
Publikováno v:
Proceedings of the 17th International Conference on Software Technologies.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::772a85bea3f2659adf39f8ac2d49104f
https://doi.org/10.5220/0011316600003266
https://doi.org/10.5220/0011316600003266