Zobrazeno 1 - 10
of 5 296
pro vyhledávání: '"A. Hader"'
Autor:
Hader, Thomas, Ozdemir, Alex
Publikováno v:
22nd SMT workshop (at CAV 2024), Montreal, Canada, July, 22-23, 2024
In the last few years there have been rapid developments in SMT solving for finite fields. These include new decision procedures, new implementations of SMT theory solvers, and new software verifiers that rely on SMT solving for finite fields. To sup
Externí odkaz:
http://arxiv.org/abs/2407.21169
This paper answers a long-standing open question in tile-assembly theory, namely that it is possible to strictly assemble discrete self-similar fractals (DSSFs) in the abstract Tile-Assembly Model (aTAM). We prove this in 2 separate ways, each taking
Externí odkaz:
http://arxiv.org/abs/2406.19595
Tile assembly systems in the abstract Tile Assembly Model (aTAM) are computationally universal and capable of building complex shapes, but DNA-based implementations encounter formidable error rates that stifle this theoretical potential. Slat-based s
Externí odkaz:
http://arxiv.org/abs/2405.06205
This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing satisfiability (MCSat) framework and is b
Externí odkaz:
http://arxiv.org/abs/2402.17927
Autor:
Zwolak, Justyna P., Taylor, Jacob M., Andrews, Reed W., Benson, Jared, Bryant, Garnett W., Buterakos, Donovan, Chatterjee, Anasua, Sarma, Sankar Das, Eriksson, Mark A., Greplová, Eliška, Gullans, Michael J., Hader, Fabian, Kovach, Tyler J., Mundada, Pranav S., Ramsey, Mick, Rasmussen, Torbjørn, Severin, Brandon, Sigillito, Anthony, Undseth, Brennan, Weber, Brian
Publikováno v:
npj Quantum Inf. 10, 105 (2024)
Gate-defined quantum dots are a promising candidate system for realizing scalable, coupled qubit systems and serving as a fundamental building block for quantum computers. However, present-day quantum dot devices suffer from imperfections that must b
Externí odkaz:
http://arxiv.org/abs/2312.14322
Autor:
Woodward, Michael, Tian, Yifeng, Lin, Yen Ting, Hader, Christoph, Fasel, Hermann, Livescu, Daniel
We introduce the Mori-Zwanzig (MZ) Modal Decomposition (MZMD), a novel technique for performing modal analysis of large scale spatio-temporal structures in complex dynamical systems, and show that it represents an efficient generalization of Dynamic
Externí odkaz:
http://arxiv.org/abs/2311.09524
Autor:
Woodward, Michael, Tian, Yifeng, Lin, Yen Ting, Mohan, Arvind, Hader, Christoph, Fasel, Hermann, Chertkov, Michael, Livescu, Daniel
Understanding, predicting and controlling laminar-turbulent boundary-layer transition is crucial for the next generation aircraft design. However, in real flight experiments, or wind tunnel tests, often only sparse sensor measurements can be collecte
Externí odkaz:
http://arxiv.org/abs/2309.15864
Autor:
Justyna P. Zwolak, Jacob M. Taylor, Reed W. Andrews, Jared Benson, Garnett W. Bryant, Donovan Buterakos, Anasua Chatterjee, Sankar Das Sarma, Mark A. Eriksson, Eliška Greplová, Michael J. Gullans, Fabian Hader, Tyler J. Kovach, Pranav S. Mundada, Mick Ramsey, Torbjørn Rasmussen, Brandon Severin, Anthony Sigillito, Brennan Undseth, Brian Weber
Publikováno v:
npj Quantum Information, Vol 10, Iss 1, Pp 1-8 (2024)
Gate-defined quantum dots are a promising candidate system for realizing scalable, coupled qubit systems and serving as a fundamental building block for quantum computers. However, present-day quantum dot devices suffer from imperfections that must b
Externí odkaz:
https://doaj.org/article/913f804ea0044c4e829750281a0d5fe4
Autor:
Hader, Daniel, Patitz, Matthew J.
Algorithmic self-assembly occurs when disorganized components autonomously combine to form structures and, by their design and the dynamics of the system, are forced to follow the execution of algorithms. Motivated by applications in DNA-nanotechnolo
Externí odkaz:
http://arxiv.org/abs/2305.01877
Non-linear polynomial systems over finite fields are used to model functional behavior of cryptosystems, with applications in system security, computer cryptography, and post-quantum cryptography. Solving polynomial systems is also one of the most di
Externí odkaz:
http://arxiv.org/abs/2305.00028