Zobrazeno 1 - 10
of 42
pro vyhledávání: '"NIKOUEI, MOHAMMAD"'
Dedicated to Tony Hoare. In a paper published in 1972 Hoare articulated the fundamental notions of hiding invariants and simulations. Hiding: invariants on encapsulated data representations need not be mentioned in specifications that comprise the AP
Externí odkaz:
http://arxiv.org/abs/1910.14560
Relational properties arise in many settings: relating two versions of a program that use different data representations, noninterference properties for security, etc. The main ingredient of relational verification, relating aligned pairs of intermed
Externí odkaz:
http://arxiv.org/abs/1611.08992
Autor:
Azam, Saeid, Nikouei, Mohammad
In this work, we study the concept of the length function and some of its combinatorial properties for the class of extended affine root systems of type $A_1$. We introduce a notion of root basis for these root systems, and using a unique expression
Externí odkaz:
http://arxiv.org/abs/1207.2250
Autor:
Azam, Saeid, Nikouei, Mohammad
In this paper, we offer a presentation for the Weyl group of an affine reflection system $R$ of type $A_1$ as well as a presentation for the so called hyperbolic Weyl group associated with an affine reflection system of type $A_1$. Applying these pre
Externí odkaz:
http://arxiv.org/abs/1207.2244
Autor:
Nikouei, Mohammad Ali1,2 (AUTHOR) M.Nikouei@atu.ac.ir, Zandieh, Mostafa3 (AUTHOR), Amiri, Maghsoud1 (AUTHOR)
Publikováno v:
Journal of Industrial & Production Engineering. Sep2022, Vol. 39 Issue 6, p494-503. 10p.
Autor:
Nikouei, Mohammad Ali1,2 (AUTHOR), Mosaffa, Elias3 (AUTHOR) elyas_mosaffa@yahoo.com, Amiri, Maghsoud1 (AUTHOR) Amiri@atu.ac.ir
Publikováno v:
Polymer Composites. Nov2021, Vol. 42 Issue 11, p6106-6115. 10p.
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:
Malaekeh-Nikouei, Bizhan, Malaekeh-Nikouei, Mohammad, Oskuee, Reza Kazemi, Ramezani, Mohammad
Publikováno v:
In Nanomedicine: Nanotechnology, Biology, and Medicine 2009 5(4):457-462