Zobrazeno 1 - 10
of 167
pro vyhledávání: '"A. Djéridane"'
The use of Boolean Satisfiability (SAT) solver for hardware verification incurs exponential run-time in several instances. In this work we have proposed an efficient quantum SAT (qSAT) solver for equivalence checking of Boolean circuits employing Gro
Externí odkaz:
http://arxiv.org/abs/2409.03917
Autor:
Mechraoui, Ibtissam, Mahfoudi, Reguia, Djeridane, Amar, Yilmaz, Mustafa Abdullah, Yousfi, Mohamed
Publikováno v:
In Biocatalysis and Agricultural Biotechnology September 2024 60
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:
Hachani, Soumaya, Hamia, Chahrazed, Boukhalkhal, Sarah, Silva, Artur M.S., Djeridane, Amar, Yousfi, Mohamed
Publikováno v:
In NFS Journal November 2018 13:10-22
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:
I.E. Rabia, A. Harim, M. Slaouti, M.W. Aitsiali, A. Salhi, A. Bouakkaz, H. Hammadi, A. Djéridane
Publikováno v:
Annales de Dermatologie et de Vénéréologie - FMC. 2:A281-A282
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c13f7342bee67a6aa86d2f6b2b329285
https://doi.org/10.1016/j.fander.2022.09.473
https://doi.org/10.1016/j.fander.2022.09.473
Autor:
Meier, J., Kroll, U., Benagli, S., Fesquet, L., Steinhauser, J., Borello, D., Orhan, J.-B., Djeridane, Y., Vallat-Sauvain, E., Fecioru-Morariu, M., Mereu, B., Kalas, J., Hoetzel, J., Losio, P., Kupich, M., Kluth, O., Eisenhammer, T., Weidman, D., Marjanovic, S., Kohnke, G.
Publikováno v:
In Energy Procedia 2012 15:179-188
Publikováno v:
Radiation Research, 2008 Mar 01. 169(3), 337-343.
Externí odkaz:
https://www.jstor.org/stable/30130582
Autor:
A. Salhi, H. Zouleikha, N. Cheddani, F. Toukal, K. Aitbelkacem, H. Sahel, S. Zoubiri, A. Djéridane, B. Dahmani, A. Aitbenamar
Publikováno v:
Annales de Dermatologie et de Vénéréologie - FMC. 2:A197
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b2e067cc2e88385456c10ba00d9a678
https://doi.org/10.1016/j.fander.2022.09.303
https://doi.org/10.1016/j.fander.2022.09.303