Zobrazeno 1 - 10
of 7 271
pro vyhledávání: '"A. Denaro"'
Autor:
Braione, Pietro, Denaro, Giovanni
Symbolic execution is at the core of many techniques for program analysis and test generation. Traditional symbolic execution of programs with numeric inputs enjoys the property of forking as many analysis traces as the number of analyzed program pat
Externí odkaz:
http://arxiv.org/abs/2407.16827
Autor:
Ameli, Mostafa, Mcquade, Sean, Lee, Jonathan W., Bunting, Matthew, Nice, Matthew, Wang, Han, Barbour, William, Weightman, Ryan, Denaro, Chris, Delorenzo, Ryan, Hornstein, Sharon, Davis, Jon F., Timsit, Dan, Wagner, Riley, Xu, Rita, Mahmood, Malaika, Mahmood, Mikail, Monache, Maria Laura Delle, Seibold, Benjamin, Work, Daniel B., Sprinkle, Jonathan, Piccoli, Benedetto, Bayen, Alexandre M.
Previous controlled experiments on single-lane ring roads have shown that a single partially autonomous vehicle (AV) can effectively mitigate traffic waves. This naturally prompts the question of how these findings can be generalized to field operati
Externí odkaz:
http://arxiv.org/abs/2404.15533
Autor:
Hayat, Amaury, Alanqary, Arwa, Bhadani, Rahul, Denaro, Christopher, Weightman, Ryan J., Xiang, Shengquan, Lee, Jonathan W., Bunting, Matthew, Gollakota, Anish, Nice, Matthew W., Gloudemans, Derek, Zachar, Gergely, Davis, Jon F., Monache, Maria Laura Delle, Seibold, Benjamin, Bayen, Alexandre M., Sprinkle, Jonathan, Work, Daniel B., Piccoli, Benedetto
The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were us
Externí odkaz:
http://arxiv.org/abs/2310.18151
Autor:
Alfio Distefano, Laura Orlando, Konstantinos Partsinevelos, Lucia Longhitano, Rosalia Emma, Massimo Caruso, Nunzio Vicario, Simona Denaro, Ang Sun, Antonio Giordano, Barbara Tomasello, Amer M. Alanazi, Giovanni Li Volti, Angela Maria Amorini
Publikováno v:
Journal of Translational Medicine, Vol 22, Iss 1, Pp 1-21 (2024)
Abstract Background Tobacco smoking is the leading cause of preventable death and disease worldwide, with over 8 million annual deaths attributed to cigarette smoking. This study investigates the impact of cigarette smoke and heated tobacco products
Externí odkaz:
https://doaj.org/article/5f6c36c8c8ef4140a042978e27da557f
Autor:
Ashton Huppert, Luca Ambrosio, Kenneth Nwosu, Annie Pico, Fabrizio Russo, Gianluca Vadalà, Rocco Papalia, Vincenzo Denaro
Publikováno v:
BMC Musculoskeletal Disorders, Vol 25, Iss 1, Pp 1-13 (2024)
Abstract Background With life expectancy on the rise, there has been an increase in patients with concomitant degenerative hip and spine pathology, defined as hip-spine syndrome (HSS). Patients affected by HSS may require both total hip arthroplasty
Externí odkaz:
https://doaj.org/article/97f7625b110644c6b3110a571be3a22e
Autor:
Simona D’Aprile, Simona Denaro, Alessandro Lavoro, Saverio Candido, Sebastiano Giallongo, Filippo Torrisi, Lucia Salvatorelli, Giacomo Lazzarino, Angela Maria Amorini, Giuseppe Lazzarino, Gaetano Magro, Daniele Tibullo, Massimo Libra, Cesarina Giallongo, Nunzio Vicario, Rosalba Parenti
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-14 (2024)
Abstract Glioblastoma (GBM) represents an aggressive brain tumor, characterized by intra- and inter-tumoral heterogeneity and therapy resistance, leading to unfavourable prognosis. An increasing number of studies pays attention on the regulation of f
Externí odkaz:
https://doaj.org/article/7eaa9777b99146f5a184b1842ad52832
Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differs from the traditional approach of pursuing testability measurements b
Externí odkaz:
http://arxiv.org/abs/2307.16185
Autor:
Sergio De Salvatore, Umile Giuseppe Longo, Bruno Vincenzi, Francesco Pantano, Giuliano Zollo, Giovanni Calabrese, Vincenzo Denaro
Publikováno v:
BMC Musculoskeletal Disorders, Vol 25, Iss 1, Pp 1-15 (2024)
Abstract Purpose Implanted devices used in metastatic spine tumor surgery (MSTS) include pedicle screws, fixation plates, fixation rods, and interbody devices. A material to be used to fabricate any of these devices should possess an array of propert
Externí odkaz:
https://doaj.org/article/ef2399a2356b44d59f927d0cf74fade8
Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testing requirements mandated by the certification standards, while control
Externí odkaz:
http://arxiv.org/abs/2209.11138
Autor:
Umile Giuseppe Longo, Rocco Papalia, Alessandro Mazzola, Stefano Campi, Sergio De Salvatore, Vincenzo Candela, Andrea Vaiano, Ilaria Piergentili, Vincenzo Denaro
Publikováno v:
BMC Surgery, Vol 24, Iss 1, Pp 1-9 (2024)
Abstract Background Several studies have compared the pros and cons of simultaneous bilateral versus staged bilateral hip and knee replacement but the outcomes of these two surgical options remains a matter of controversy. This study aimed to evaluat
Externí odkaz:
https://doaj.org/article/19541f23ea394d238199f9647ce919f4