Zobrazeno 1 - 10
of 290
pro vyhledávání: '"Saveri P."'
Integrating symbolic knowledge and data-driven learning algorithms is a longstanding challenge in Artificial Intelligence. Despite the recognized importance of this task, a notable gap exists due to the discreteness of symbolic representations and th
Externí odkaz:
http://arxiv.org/abs/2405.14389
Autor:
Saveri, Gaia, Bortolussi, Luca
The integration of cyber-physical systems (CPS) into everyday life raises the critical necessity of ensuring their safety and reliability. An important step in this direction is requirement mining, i.e. inferring formally specified system properties
Externí odkaz:
http://arxiv.org/abs/2405.14355
Deep learning methods for time series have already reached excellent performances in both prediction and classification tasks, including anomaly detection. However, the complexity inherent in Cyber Physical Systems (CPS) creates a challenge when it c
Externí odkaz:
http://arxiv.org/abs/2405.10608
Autor:
Saveri, Gaia, Bortolussi, Luca
Logic is the main formal language to perform automated reasoning, and it is further a human-interpretable language, at least for small formulae. Learning and optimising logic requirements and rules has always been an important problem in Artificial I
Externí odkaz:
http://arxiv.org/abs/2305.03143
Autor:
Charles L. Wiseman, Jarrod P. Holmes, Carmen Calfa, Shaker R. Dakhil, Saveri Bhattacharya, George E. Peoples, Markus D. Lacher, Miguel Lopez-Lago, Alex Kharazi, Giuseppe Del Priore, Mingjin Chang, Daniel L. Adams, William V. Williams
Publikováno v:
Human Vaccines & Immunotherapeutics, Vol 20, Iss 1 (2024)
This Phase I/IIa open-label, single-arm clinical trial addressing advanced, refractory, metastatic breast cancer was conducted at six medical centers in the United States. We repeated inoculations with irradiated SV-BR-1-GM, a breast cancer cell line
Externí odkaz:
https://doaj.org/article/67922cae6ff54870900ebf2a5b42091c
Autor:
Saveri, Gaia, Bortolussi, Luca
Graph Neural Networks (GNNs) have been recently leveraged to solve several logical reasoning tasks. Nevertheless, counting problems such as propositional model counting (#SAT) are still mostly approached with traditional solvers. Here we tackle this
Externí odkaz:
http://arxiv.org/abs/2205.04423
Autor:
Nicole O. Williams, Dionisia Quiroga, Courtney Johnson, Adam Brufsky, Mara Chambers, Saveri Bhattacharya, Maria Patterson, Sagar D. Sardesai, Daniel Stover, Maryam Lustberg, Anne M. Noonan, Mathew Cherian, Darlene M. Bystry, Kasey L. Hill, Min Chen, Mitch A. Phelps, Michael Grever, Julie A. Stephens, Bhuvaneswari Ramaswamy, William E. Carson, Robert Wesolowski
Publikováno v:
Therapeutic Advances in Medical Oncology, Vol 15 (2023)
Background: Heat shock protein 90 (HSP90) is a molecular chaperone required for stabilization of client proteins over-activated in triple-negative breast cancer (TNBC). Over-expression of HSP90 client proteins has been implicated in paclitaxel resist
Externí odkaz:
https://doaj.org/article/c53632218637477c91145bbc4eb4d598
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.