Zobrazeno 1 - 10
of 4 171
pro vyhledávání: '"P. Lluch"'
Partially observable Markov Decision Processes (POMDPs) are a standard model for agents making decisions in uncertain environments. Most work on POMDPs focuses on synthesizing strategies based on the available capabilities. However, system designers
Externí odkaz:
http://arxiv.org/abs/2405.10768
Autor:
Broccia, Giovanna, ter Beek, Maurice H., Lafuente, Alberto Lluch, Spoletini, Paola, Ferrari, Alessio
Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communication between different stakeholders involved in system security evalu
Externí odkaz:
http://arxiv.org/abs/2404.06386
Attack Trees are a graphical model of security used to study threat scenarios. While visually appealing and supported by solid theories and effective tools, one of their main drawbacks remains the amount of effort required by security experts to desi
Externí odkaz:
http://arxiv.org/abs/2402.12040
Autor:
Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Lafuente, Alberto Lluch, Vandin, Andrea
We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on the feature-oriented language QFLan in the PL engineering domain, allowi
Externí odkaz:
http://arxiv.org/abs/2401.13019
Autor:
Juan Serra Lluch
Publikováno v:
VLC Arquitectura, Vol 11, Iss 2, Pp 1-4 (2024)
Externí odkaz:
https://doaj.org/article/a149f311068a4abfb665889385af530d
Endovascular guidewire manipulation is essential for minimally-invasive clinical applications (Percutaneous Coronary Intervention (PCI), Mechanical thrombectomy techniques for acute ischemic stroke (AIS), or Transjugular intrahepatic portosystemic sh
Externí odkaz:
http://arxiv.org/abs/2304.09286
Publikováno v:
ACS Omega, Vol 9, Iss 40, Pp 41968-41977 (2024)
Externí odkaz:
https://doaj.org/article/479cfb1ff0724eb380ef7dd78f8102eb
Autor:
Sandra Torres-Ruiz, Iris Garrido-Cano, Ana Lameirinhas, Octavio Burgués, Cristina Hernando, María Teresa Martínez, Federico Rojo, Begoña Bermejo, Marta Tapia, Juan Antonio Carbonell-Asins, Carlos Javier Peña, Ana Lluch, Juan Miguel Cejalvo, Eduardo Tormo, Pilar Eroles
Publikováno v:
Cell Death Discovery, Vol 10, Iss 1, Pp 1-13 (2024)
Abstract Despite progress in breast cancer treatment, a significant portion of patients still relapse because of drug resistance. The involvement of microRNAs in cancer progression and chemotherapy response is well established. Therefore, this study
Externí odkaz:
https://doaj.org/article/3a1b2fe95e2d47d181a620741b4f85f7
Graphical security models constitute a well-known, user-friendly way to represent the security of a system. These kinds of models are used by security experts to identify vulnerabilities and assess the security of a system. The manual construction of
Externí odkaz:
http://arxiv.org/abs/2302.14479
Autor:
María Fernández-Billón, Elena Jordana-Lluch, Aina E. Llambías-Cabot, María A. Gomis-Font, Pablo Fraile-Ribot, Rosa I. Torrandell, Pamela J. Colman-Vega, Óscar Murillo, María D. Macià, Antonio Oliver
Publikováno v:
Biofilm, Vol 8, Iss , Pp 100231- (2024)
Objectives: New combinations of β-lactams and β-lactamase inhibitors, such as ceftolozane/tazobactam could be useful to combat biofilm-driven chronic infections by extensively resistant (XDR) Pseudomonas aeruginosa but resistance development by mut
Externí odkaz:
https://doaj.org/article/8bebbc899d964ea5b572ef3acde7ec3b