Zobrazeno 1 - 10
of 344
pro vyhledávání: '"Jovanović, Ana"'
Alloy is well known a declarative modeling language. A key strength of Alloy is its scenario finding toolset, the Analyzer, which allows users to explore all valid scenarios that adhere to the model's constraints up to a user-provided scope. Despite
Externí odkaz:
http://arxiv.org/abs/2406.09524
Autor:
Jovanovic, Ana, Sullivan, Allison
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debugging of their implementations after they are built. Alloy is a declar
Externí odkaz:
http://arxiv.org/abs/2402.06624
Autor:
Jovanovic, Ana, Sullivan, Allison
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties be-fore systems are built, to automated testing and debugging of their implementations after they are built. Alloy is a decla
Externí odkaz:
http://arxiv.org/abs/2110.11898
Autor:
Kostic, Milutin, Milojevic, Teodora, Buzejic, Jelena, Spasić Stojakovic, Marija, Maslak, Jovana, Ilic, Mihailo, Jakovljevic, Ana, Munjiza Jovanovic, Ana, Podgorac, Ana, Dabetic, Marija, Vezmar, Milica, Lazarevic, Miloš
Publikováno v:
In Journal of Affective Disorders Reports April 2024 16
Publikováno v:
In AJIC: American Journal of Infection Control February 2024 52(2):176-182
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.
Autor:
Jovanović, Ana S., Georgijev, Ivana
Publikováno v:
BEOIBERÍSTICA - Revista de Estudios Ibéricos, Latinoamericanos y Comparativos / BEOIBERÍSTICA - Journal of Iberian, Latin American and Comparative Studies. 7(1):137-158
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1135149
Publikováno v:
Vojnosanitetski Pregled, Vol 80, Iss 8, Pp 698-706 (2023)
Background/Aim. There is a constant increase in the need to use third-party reproductive cells among couples who are unable to conceive with their own reproductive cells or in order to prevent the passing of an existing hereditary genetic disorder to
Externí odkaz:
https://doaj.org/article/2cc612c0e4404c7c80026901426a1cd5
Autor:
Hopkin, Robert J., Cabrera, Gustavo H., Jefferies, John L., Yang, Meng, Ponce, Elvira, Brand, Eva, Feldt-Rasmussen, Ulla, Germain, Dominique P., Guffon, Nathalie, Jovanovic, Ana, Kantola, Ilkka, Karaa, Amel, Martins, Ana M., Tøndel, Camilla, Wilcox, William R., Yoo, Han-Wook, Burlina, Alessandro P., Mauer, Michael
Publikováno v:
In Molecular Genetics and Metabolism February 2023 138(2)