Zobrazeno 1 - 10
of 15 754
pro vyhledávání: '"Lluch, A."'
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
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
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:
David Mantle, Hannah Rowbottom, Jacob Jones, Indiia Margarita Potts, Nadia Turton, Mollie Dewsbury, Guillermo Lopez-Lluch, Iain P. Hargreaves
Publikováno v:
Oxygen, Vol 4, Iss 2, Pp 122-138 (2024)
The generation of energy within cells is a fundamental process enabling cell survival, and as such it represents a potential target in cancer therapy. In this article, we therefore review the relative contributions of glycolysis and oxidative phospho
Externí odkaz:
https://doaj.org/article/6c463e37f37c417597df025ddee7652f
Autor:
Gloria Garavito De Egea, Alex Domínguez-Vargas, Luis Fang, Nicole Pereira-Sanandrés, Jonathan Rodríguez, Gustavo Aroca-Martinez, Zilac Espítatela, Clara Malagón, Antonio Iglesias-Gamarra, Ana Moreno-Woo, Guillermo López-Lluch, Eduardo Egea
Publikováno v:
Egyptian Journal of Medical Human Genetics, Vol 25, Iss 1, Pp 1-10 (2024)
Abstract Background Adiponectin and leptin are pivotal in the regulation of metabolism. Pediatric lupus nephritis (pLN), a manifestation of childhood systemic lupus erythematosus (SLE) affecting the kidneys, is associated with impaired adipokine leve
Externí odkaz:
https://doaj.org/article/bd3c36b5935e4f6398c55a7e968a3f91
Autor:
Anna Ponjoan, Jordi Blanch, Ester Fages-Masmiquel, Ruth Martí-Lluch, Lia Alves-Cabratosa, María del Mar Garcia-Gil, Gina Domínguez-Armengol, Francesc Ribas-Aulinas, Lluís Zacarías-Pons, Rafel Ramos
Publikováno v:
Alzheimer’s Research & Therapy, Vol 16, Iss 1, Pp 1-10 (2024)
Abstract Background Cardiovascular health has been associated with dementia onset, but little is known about the variation of such association by sex and age considering dementia subtypes. We assessed the role of sex and age in the association betwee
Externí odkaz:
https://doaj.org/article/23e02cc1f0a2484abc48c1bac1cc4a8e
Autor:
Samuel Miravet-Verde, Rocco Mazzolini, Carolina Segura-Morales, Alicia Broto, Maria Lluch-Senar, Luis Serrano
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-17 (2024)
Abstract Identifying open reading frames (ORFs) being translated is not a trivial task. ProTInSeq is a technique designed to characterize proteomes by sequencing transposon insertions engineered to express a selection marker when they occur in-frame
Externí odkaz:
https://doaj.org/article/4737d8ad11ee4bcea5a868ec42cd75f1