Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Saadat, Milad"'
Autor:
Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Saadat, Milad, Seeliger, Maximilian, Žikelić, Đorđe
Polynomial Horn clauses with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyHorn which is a tool for solving polynomial Horn clauses in which variables on both sides of t
Externí odkaz:
http://arxiv.org/abs/2408.03796
The development of data-driven approaches for solving differential equations has been followed by a plethora of applications in science and engineering across a multitude of disciplines and remains a central focus of active scientific inquiry. Howeve
Externí odkaz:
http://arxiv.org/abs/2407.01848
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:
Saadat, Milad, Aghlichanche, Alireza, Ataelahi, Ali, Mohammadi, Omid, Shafii, Mohammad Behshad
Publikováno v:
In International Journal of Heat and Mass Transfer 1 November 2022 196
Autor:
Aghlichanche, Alireza, Ataelahi, Ali, Saadat, Milad, Mohammadi, Omid, Shafii, Mohammad Behshad
Publikováno v:
In International Communications in Heat and Mass Transfer June 2022 135
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 Chemical Engineering and Processing - Process Intensification January 2020 147
Publikováno v:
Physics of Fluids; May2024, Vol. 36 Issue 5, p1-17, 17p
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.