Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Hariri, Babak"'
Autor:
Hariri, Babak Bagheri, Tannen, Val
We address the problem of equivalence of count-distinct aggregate queries, prove that the problem is decidable, and can be decided in the third level of Polynomial hierarchy. We introduce the notion of core for conjunctive queries with comparisons as
Externí odkaz:
http://arxiv.org/abs/1509.00100
Autor:
Hariri, Babak Bagheri, Calvanese, Diego, Montali, Marco, De Giacomo, Giuseppe, De Masellis, Riccardo, Felli, Paolo
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 46, pages 651-686, 2013
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such informatio
Externí odkaz:
http://arxiv.org/abs/1402.0569
Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, the Guard-Stage-Milestone (GSM) approach has been recently proposed to
Externí odkaz:
http://arxiv.org/abs/1308.6292
Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. In this paper we study verification of (first-order) mu-calculus variants over relational data-centric dynamic
Externí odkaz:
http://arxiv.org/abs/1203.0024
Autor:
Maeno, Yoshio, Abramowitz, Yigal, Yoon, Sung-Han, Israr, Sharjeel, Jilaihawi, Hasan, Watanabe, Yusuke, Sharma, Rahul, Kawamori, Hiroyuki, Miyasaka, Masaki, Kazuno, Yoshio, Takahashi, Nobuyuki, Hariri, Babak, Mangat, Geeteshwar, Kashif, Mohammad, Chakravarty, Tarun, Nakamura, Mamoo, Cheng, Wen, Makkar, Raj R. *
Publikováno v:
In The American Journal of Cardiology 1 December 2017 120(11):2017-2024
Autor:
Ramzy, Danny, Cheng, Wen, Siegel, Robert J, Thomson, Louise M, Mangat, Geeteshwar, Hariri, Babak, Sawaya, Fadi J, Iversen, Helle K, Chakravarty, Tarun, Søndergaard, Lars, Friedman, John, De Backer, Ole, Berman, Daniel, Kofoed, Klaus F, Jilaihawi, Hasan, Shiota, Takahiro, Abramowitz, Yigal, Jørgensen, Troels H, Rami, Tanya, Israr, Sharjeel, Fontana, Gregory, de Knegt, Martina, Fuchs, Andreas, Lyden, Patrick, Trento, Alfredo, Bhatt, Deepak L, Leon, Martin B, Makkar, Raj R
Publikováno v:
In The Lancet 17-23 June 2017 389(10087):2383-2392
Autor:
Rezai-Hariri, Babak
Most available approaches to assess and compare sustainability of packaging solutions make it difficult for business executives to make decisions between different options: Only one snapshot of a steady state is being evaluated - the LifeCycle of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae759ed0f2380435b6f1bd72a6644636
Autor:
John D. Friedman, Yigal Abramowitz, Nobuyuki Takahashi, Mamoo Nakamura, Yoshio Kazuno, Hasan Jilaihawi, Tarun Chakravarty, Yoshio Maeno, Wen Cheng, Daniel S. Berman, Raj Makkar, Mohammad Kashif, Hariri Babak, Hiroyuki Kawamori
Publikováno v:
European Heart Journal Cardiovascular Imaging
Aims Stent-frame morphology of the newer-generation, balloon-expandable transcatheter heart valve (THV), the SAPIEN 3 (S3), after transcatheter aortic valve implantation (TAVI) is unknown. We evaluated the THV stent-frame morphology post TAVI of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d08571333b39b00f37c83168d0c1570
http://europepmc.org/articles/PMC5066339
http://europepmc.org/articles/PMC5066339
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.