Zobrazeno 1 - 10
of 156
pro vyhledávání: '"pseudo-Boolean optimization"'
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 33, Iss 1, Pp 133-149 (2023)
Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable no
Externí odkaz:
https://doaj.org/article/ab0576b2dffe4f558ecedd4e03078e31
Publikováno v:
IEEE Access, Vol 11, Pp 120319-120333 (2023)
In this paper we describe a class of cryptographic guess-and-determine attacks which is based on the notion of a linearizing set. A linearizing set-based attack is applied to a system of Multivariate Quadratic equations (MQ) over $GF(2)$ field, which
Externí odkaz:
https://doaj.org/article/802348ddaee44846909b10d0549ea512
Autor:
Amit Verma, Mark Lewis
Publikováno v:
Results in Control and Optimization, Vol 7, Iss , Pp 100125- (2022)
The Quadratic Unconstrained Binary Optimization (QUBO) modeling and solution framework is a requirement for quantum and digital annealers. However optimality for QUBO problems of any practical size is extremely difficult to achieve. In order to incor
Externí odkaz:
https://doaj.org/article/c42db8ec7e7f4f5a88b86a22cb3287ef
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.
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:
2022 25th Euromicro Conference on Digital System Design (DSD).
Petri nets and transition systems are two important formalisms used for modeling concurrent systems. One interesting problem in this domain is the creation of a Petri net with a reachability graph equivalent to a given transition system. This paper f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afe400ab455304dff5d8285ac0818d15
https://doi.org/10.1109/dsd57027.2022.00031
https://doi.org/10.1109/dsd57027.2022.00031
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.