Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Marian Lingsch Rosenfeld"'
Publikováno v:
2022 IEEE 20th International Conference on Industrial Informatics (INDIN).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca3c806c151b590170116f437948e915
https://doi.org/10.1109/indin51773.2022.9976101
https://doi.org/10.1109/indin51773.2022.9976101
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783031171079
Loop abstraction is a central technique for program analysis, because loops can cause large state-space representations if they are unfolded. In many cases, simple tricks can accelerate the program analysis significantly. There are several successful
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::822fdc62dca5991a2c45a0a100243ba3
https://doi.org/10.1007/978-3-031-17108-6_1
https://doi.org/10.1007/978-3-031-17108-6_1
Quadratic unconstrained binary optimization (QUBO) has become the standard format for optimization using quantum computers, i.e., for both the quantum approximate optimization algorithm (QAOA) and quantum annealing (QA). We present a toolkit of metho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::493f03a35a574eecdca2972bb61122b0
http://resolver.tudelft.nl/uuid:6f8f8866-a580-4bcb-a94e-e6161bfde197
http://resolver.tudelft.nl/uuid:6f8f8866-a580-4bcb-a94e-e6161bfde197
Publikováno v:
The 2021 Conference on Artificial Life.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2443c31cd9c301278cd333ba1513a7ba
https://doi.org/10.1162/isal_a_00441
https://doi.org/10.1162/isal_a_00441