Zobrazeno 1 - 10
of 4 263
pro vyhledávání: '"Mallozzi A"'
In this note we develop a generalisation of the $\lambda$-Core solution for non-cooperative games in normal form. We show that this generalised $\lambda$-Core is non-empty for the class of separable games that admit a socially optimal Nash equilibriu
Externí odkaz:
http://arxiv.org/abs/2408.06086
Autor:
Gilles, Robert P., Mallozzi, Lina
We introduce a new network centrality measure founded on the Gately value for cooperative games with transferable utilities. A directed network is interpreted as representing control or authority relations between players--constituting a hierarchical
Externí odkaz:
http://arxiv.org/abs/2308.02274
Autor:
Mallozzi, Piergiuseppe
Zero-knowledge proof (ZKP) frameworks have the potential to revolutionize the handling of sensitive data in various domains. However, deploying ZKP frameworks with real-world data presents several challenges, including scalability, usability, and int
Externí odkaz:
http://arxiv.org/abs/2307.06408
Autor:
Mallozzi, Piergiuseppe, Nuzzo, Pierluigi, Piterman, Nir, Schneider, Gerardo, Pelliccione, Patrizio
Effectively specifying and implementing robotic missions poses a set of challenges to software engineering for robotic systems. These challenges stem from the need to formalize and execute a robot's high-level tasks while considering various applicat
Externí odkaz:
http://arxiv.org/abs/2306.08144
Autor:
Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this pape
Externí odkaz:
http://arxiv.org/abs/2303.17751
Autor:
Mallozzi, Piergiuseppe, Sibai, Hussein, Incer, Inigo, Seshia, Sanjit A., Sangiovanni-Vincentelli, Alberto
We propose a context-sensitive grammar for the systematic exploration of the design space of the topology of 3D robots, particularly unmanned aerial vehicles. It defines production rules for adding components to an incomplete design topology modeled
Externí odkaz:
http://arxiv.org/abs/2302.13980
We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications at various levels of abstraction and implement them using a library o
Externí odkaz:
http://arxiv.org/abs/2211.11908
Autor:
Gilles, Robert P., Mallozzi, Lina
We investigate Gately's solution concept for cooperative games with transferable utilities. Gately's conception introduced a bargaining solution that minimises the maximal quantified ``propensity to disrupt'' the negotiation process of the players ov
Externí odkaz:
http://arxiv.org/abs/2208.10189
Publikováno v:
In Children and Youth Services Review November 2024 166
Autor:
Ergin Coskun, MD, Ian J. Wellington, MD, Chirag Chaudhary, MD, Kathleen Crea, MLS, Mark P. Cote, DPT, MSCTR, John M. Rhee, MD, Scott Mallozzi, MD, Isaac L. Moss, MDCM, MASc, FRCSC, Hardeep Singh, MD
Publikováno v:
North American Spine Society Journal, Vol 18, Iss , Pp 100324- (2024)
Background: Chin-on-chest deformity is a rare and severely disabling condition characterized by kyphotic deformity in the cervicothoracic spine. To treat this deformity, various osteotomy techniques were described. Methods: A comprehensive literature
Externí odkaz:
https://doaj.org/article/efe1e2ad0bc448d8bc37cea901366246