E-LIB Suche - Ergebnisse für: BONACINA, Maria Paola

1

Programa de extensão educação continuada em saúde: vamos fa..:

Ascari, Rosana Amora ; Aruda, Odair Bonacina ; Brutti, Nicole Sangoi..
OBSERVATÓRIO DE LA ECONOMÍA LATINOAMERICANA. 22 (2024) 7 - p. e5853 , 2024

Link: https://doi.org/10.55905..

2

Multi-decadal improvements in the ecological quality of Eur..:

Sinclair, James S. ; Welti, Ellen A. R. ; Altermatt, Florian...
Nature Ecology & Evolution. 8 (2024) 3 - p. 430-441 , 2024

Link: https://doi.org/10.1038/..

3

QSMA: A New Algorithm for Quantified Satisfiability Modulo ..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Vauthier, Christophe - p. 78-95 , 2023

Link: https://doi.org/10.1007/..

4

COVID-19 Acute Respiratory Distress Syndrome: Treatment wit..:

Piluso, Martina ; Ferrari, Clarissa ; Pagani, Silvia...
Advances in Respiratory Medicine. 91 (2023) 5 - p. 383-396 , 2023

Link: https://doi.org/10.3390/..

5

Reasoning about Quantifiers in SMT: The QSMA algorithm:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Bonacina, Maria Paola - p. 1-1 , 2023

Link: https://doi.org/10.34727..

6

The bacterial tubulin homolog FtsZ generates electrical osc..:

Carabajal, Mónica P.A. ; Bonacina, Julieta ; Scarinci, Noelia...
Biochemical and Biophysical Research Communications. 687 (2023) - p. 149186 , 2023

Link: https://doi.org/10.1016/..

7

Semantically-Guided Goal-Sensitive Reasoning: Decision Proc..:

Bonacina, Maria Paola ; Winkler, Sarah
Journal of Automated Reasoning. 67 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

8

The glucose transporter 2 regulates CD8+ T cell function vi..:

Fu, Hongmei ; Vuononvirta, Juho ; Fanti, Silvia...
Nature Metabolism. 5 (2023) 11 - p. 1969-1985 , 2023

Link: https://doi.org/10.1038/..

9

QSMA: a new algorithm for quantified satisfiability modulo ..:

Maria Paola Bonacina ; Stéphane Graham-Lengrand ; Christophe Vauthier
ispartofbook:Proceedings of the 29th International Conference on Automated Deduction (CADE). , 2023

Link: https://hdl.handle.net/1..

10

Semantically-guided goal-sensitive reasoning: decision proc..:

Maria Paola Bonacina ; Sarah Winkler
info:eu-repo/semantics/altIdentifier/wos/WOS:000912449200001. , 2023

Link: https://hdl.handle.net/1..

11

Reasoning about quantifiers in SMT: the QSMA algorithm:

Maria Paola Bonacina
info:eu-repo/semantics/altIdentifier/isbn/978-3-85448-060-0. , 2023

Link: https://hdl.handle.net/1..

12

Proposal of a novel approach to reference instrument and pr..:

Bonacina, Camilla Nicol ; Tafani Alunno, Paolo ; Mastromatteo, Massimo...
Measurement. 203 (2022) - p. 111882 , 2022

Link: https://doi.org/10.1016/..

13

On the strength of Sherali-Adams and Nullstellensatz as pro..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bonacina, Ilario ; Bonet, Maria Luisa - p. 1-12 , 2022

Link: https://dl.acm.org/doi/1..

14

Shared risk factors for COVID‐19 and preeclampsia in the fi..:

Serrano, Berta ; Mendoza, Manel ; Garcia‐Aguilar, Paula...
Acta Obstetricia et Gynecologica Scandinavica. 101 (2022) 7 - p. 803-808 , 2022

Link: https://doi.org/10.1111/..

15

Larry Wos: Visions of Automated Reasoning:

Beeson, Michael ; Bonacina, Maria Paola ; Kinyon, Michael.
Journal of Automated Reasoning. 66 (2022) 4 - p. 439-461 , 2022

Link: https://doi.org/10.1007/..