Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Abbassi, Ali"'
We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational operations of Alloy into
Externí odkaz:
http://arxiv.org/abs/1906.05881
Publikováno v:
In Gait & Posture July 2022 96:154-159
Publikováno v:
Recherches en Langue et Littérature Françaises; Printemps/Ete2024, Vol. 18 Issue 33, p1-21, 21p
Autor:
Alaei, Mina1 alaei.101_mina@yahoo.com, Abbassi, Ali2
Publikováno v:
Revue des Études de la Langue Française. Summer/Fall2020, Vol. 12 Issue 2, p67-84. 18p.
Autor:
Mohséna, Hannané, Abbassi, Ali
Publikováno v:
ALKEMIE. Revue semestrielle de littérature et philosophie / ALCHEMY. Semiannual journal of literature and philosophy. (12):205-216
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=220797
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.
Publikováno v:
Energy Conversion and Management. 48:1435-1449
In the present paper, we propose a detailed numerical study of the influence of Prandtl number on the hydrodynamic and thermal behaviour of a laminar buoyant free jet. Both round and plane nozzle geometry configurations are studied and compared. Vari
Autor:
Abbassi, Ali, Mohséna, Hannané
L’œuvre de Colette est celle d’une romancière de l’amour, mais pas seulement. L’auteur s’interroge aussi sur le temps qui passe, la vieillesse, la mort. Cette fatalité à laquelle elle ne peut se résigner est aussitôt vécue chez elle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83fb488758296e9b79c72eae238ef50e
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.