Zobrazeno 1 - 10
of 92
pro vyhledávání: '"Magniez, F."'
Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many techniques with different notions of approximation, when an exact verific
Externí odkaz:
http://arxiv.org/abs/1304.5199
Motivated by a concrete problem and with the goal of understanding the sense in which the complexity of streaming algorithms is related to the complexity of formal languages, we investigate the problem Dyck(s) of checking matching parentheses, with $
Externí odkaz:
http://arxiv.org/abs/0911.3291
Publikováno v:
SIAM Journal on Computing 43:1 (2014)
We give efficient quantum algorithms for the problems of Hidden Translation and Hidden Subgroup in a large class of non-abelian solvable groups including solvable groups of constant exponent and of constant length derived series. Our algorithms are r
Externí odkaz:
http://arxiv.org/abs/quant-ph/0211091
Autor:
Magniez, F., Piriou, N., Jaafar, P., Tuergon, P.Y., Cueff, C., Bertrand, M., Langlard, J.M., Legloan, L., Ammour, L., Guerin, P.
Publikováno v:
In Archives of Cardiovascular Diseases Supplements June 2023 15(3):246-247
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.
Conference
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:
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06); 2006, p421-430, 10p
Autor:
Laplante, S., Magniez, F.
Publikováno v:
Proceedings 19th IEEE Annual Conference on Computational Complexity, 2004; 2004, p294-304, 11p