Zobrazeno 1 - 10
of 563
pro vyhledávání: '"Bruni Roberto"'
Autor:
Tregua Marco, Bruni Roberto
Publikováno v:
ITM Web of Conferences, Vol 51, p 04004 (2023)
This research considers the interplay among new technologies – mostly digital –, new ventures, and the new emerging city contexts leading to support the urban transformation to improve quality of life. The need to provide public services in an ef
Externí odkaz:
https://doaj.org/article/35c67a88079242288683d6cb9ec0efe4
Publikováno v:
Journal of Place Management and Development, 2024, Vol. 17, Issue 4, pp. 527-557.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/JPMD-09-2023-0097
Sound over-approximation methods have been proved effective for guaranteeing the absence of errors, but inevitably they produce false alarms that can hamper the programmers. Conversely, under-approximation methods are aimed at bug finding and are fre
Externí odkaz:
http://arxiv.org/abs/2310.18156
We formulate, in lattice-theoretic terms, two novel algorithms inspired by Bradley's property directed reachability algorithm. For finding safe invariants or counterexamples, the first algorithm exploits over-approximations of both forward and backwa
Externí odkaz:
http://arxiv.org/abs/2307.02817
Publikováno v:
MATEC Web of Conferences, Vol 297, p 06003 (2019)
The purpose of the study is to propose a procedure for choosing a business model of a machine-building enterprise, depending on the degree of utilization of scientific knowledge of the company’s employees in the production. The subject of the artic
Externí odkaz:
https://doaj.org/article/5390592067184c67b265267d0619a762
Autor:
Ascari, Flavio1 (AUTHOR) flavio.ascari@phd.unipi.it, Bruni, Roberto1 (AUTHOR) roberto.bruni@unipi.it, Gori, Roberta1 (AUTHOR) roberta.gori@unipi.it
Publikováno v:
ACM Transactions on Programming Languages & Systems. Sep2024, Vol. 46 Issue 3, p1-31. 31p.
Autor:
Mladenović, Dušan, Bruni, Roberto, Filieri, Raffaele, Ismagilova, Elvira, Kalia, Prateek, Jirásek, Michal
Publikováno v:
In Technology in Society December 2024 79
Autor:
BRUNI, ROBERTO1 bruni@di.unipi.it, GIACOBAZZI, ROBERTO2 gori@di.unipi.it, GORI, ROBERTA1 roberto.giacobazzi@univr.it, RANZATO, FRANCESCO3 roberto.giacobazzi@univr.it
Publikováno v:
Journal of the ACM. Apr2023, Vol. 70 Issue 2, p1-45. 45p.
Autor:
Moret, Federica, Spada, Enea, Ceccanti, Marco, Libonati, Laura, D'Andrea, Edoardo, Villano, Umbertina, Madonna, Elisabetta, Chionne, Paola, Carocci, Alberto, Pisani, Giulio, Fionda, Laura, Antonini, Giovanni, Petrucci, Antonio, Bruni, Roberto, Ciccaglione, Anna Rita, Taliani, Gloria, Rivano Capparuccia, Marco, Nobile-Orazio, Eduardo, Inghilleri, Maurizio, Cambieri, Chiara
Publikováno v:
In Journal of the Neurological Sciences 15 April 2024 459
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used to enable or inhibit each reaction, and are produced by reactions. En
Externí odkaz:
http://arxiv.org/abs/2008.13016