Zobrazeno 1 - 10
of 82
pro vyhledávání: '"Park, Daejun"'
We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synt
Externí odkaz:
http://arxiv.org/abs/1712.05581
Publikováno v:
In Preventive Medicine November 2022 164
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.
Publikováno v:
In Drug and Alcohol Dependence 1 November 2021 228
Autor:
Pascucci, Domenico, Sassano, Michele, Nurchis, Mario Cesare, Cicconi, Michela, Acampora, Anna, Park, Daejun, Morano, Carmen, Damiani, Gianfranco
Publikováno v:
In Health policy February 2021 125(2):191-202
Publikováno v:
Child & Adolescent Social Work Journal; Aug2024, Vol. 41 Issue 4, p605-616, 12p
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.
Publikováno v:
Health & Social Work. Feb2023, Vol. 48 Issue 1, p33-42. 10p.
Publikováno v:
Journal of Racial and Ethnic Health Disparities; December 2024, Vol. 11 Issue: 6 p3606-3617, 12p