Zobrazeno 1 - 10
of 4 730
pro vyhledávání: '"De Pol, A."'
Previous research on the Adiar BDD package has been successful at designing algorithms capable of handling large Binary Decision Diagrams (BDDs) stored in external memory. To do so, it uses consecutive sweeps through the BDDs to resolve computations.
Externí odkaz:
http://arxiv.org/abs/2408.14216
Autor:
Shaik, Irfansha, van de Pol, Jaco
CNOT optimization plays a significant role in noise reduction for Quantum Circuits. Several heuristic and exact approaches exist for CNOT optimization. In this paper, we investigate more complicated variations of optimal synthesis by allowing qubit p
Externí odkaz:
http://arxiv.org/abs/2408.04349
Autor:
Mohamoud, Ali, van de Pol, Johan, Hildmann, Hanno, van Heijster, Rob, Masini, Beatrice, Heuvel, Martijn van den, van Keeken, Amber
Unmanned Aerial Systems (UASs) or drones become more and more commercially available and cheap. There has been much emphasis on developing and deploying Counter-UAS systems (UASs) with Detection Tracking and Identification (DTI) solutions. However, t
Externí odkaz:
http://arxiv.org/abs/2405.04477
Autor:
Shaik, Irfansha, van de Pol, Jaco
Layout synthesis is mapping a quantum circuit to a quantum processor. SWAP gate insertions are needed for scheduling 2-qubit gates only on connected physical qubits. With the ever-increasing number of qubits in NISQ processors, scalable layout synthe
Externí odkaz:
http://arxiv.org/abs/2403.11598
Parametric Timed Games (PTG) are an extension of the model of Timed Automata. They allow for the verification and synthesis of real-time systems, reactive to their environmeand depending on adjustable parameters. Given a PTG and a reachability object
Externí odkaz:
http://arxiv.org/abs/2401.11287
Autor:
Esther A. R. Hartman, Wim G. Groen, Silje Rebekka Heltveit-Olsen, Morten Lindbæk, Sigurd Høye, Sara Sofia Lithén, Pär-Daniel Sundvall, Sofia Sundvall, Egill Snaebjörnsson Arnljots, Ronny Gunnarsson, Anna Kowalczyk, Maciej Godycki-Cwirko, Alma C. van de Pol, Tamara N. Platteel, Annelie A. Monnier, Theo J. M Verheij, Cees M. P. M. Hertogh
Publikováno v:
Trials, Vol 25, Iss 1, Pp 1-13 (2024)
Abstract Background We previously performed a pragmatic cluster randomized controlled trial (RCT) in general practices and older adult care organizations in Poland, the Netherlands, Norway, and Sweden. We found that a multifaceted antibiotic stewards
Externí odkaz:
https://doaj.org/article/3e1594e87ac242d386af1abff2976785
Autor:
Jérôme Kaiser, Enno Schefuß, James Collins, René Garreaud, Jan-Berend W. Stuut, Nicoletta Ruggieri, Ricardo De Pol-Holz, Frank Lamy
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-8 (2024)
Abstract Reconstructing rainfall variability and moisture sources is a critical aspect to understand past and future hydroclimate dynamics. Here, we use changes in the deuterium content of land-plant leaf waxes from two marine sediment cores located
Externí odkaz:
https://doaj.org/article/b027879f5a2d47e790aadb83f289ae75
The BDD package Adiar manipulates Binary Decision Diagrams (BDDs) in external memory. This enables handling big BDDs, but the performance suffers when dealing with moderate-sized BDDs. This is mostly due to initializing expensive external memory data
Externí odkaz:
http://arxiv.org/abs/2307.04488
Autor:
Shaik, Irfansha, van de Pol, Jaco
In Layout Synthesis, the logical qubits of a quantum circuit are mapped to the physical qubits of a given quantum hardware platform, taking into account the connectivity of physical qubits. This involves inserting SWAP gates before an operation is ap
Externí odkaz:
http://arxiv.org/abs/2304.12014
In many QBF encodings, sequences of Boolean variables stand for binary representations of integer variables. Examples are state labels in bounded model checking or actions in planning problems. Often not the full possible range is used, e.g., for rep
Externí odkaz:
http://arxiv.org/abs/2304.08308