A SAT Approach to the Initial Mapping Problem in SWAP Gate Insertion for Commuting Gates
- Atsushi Matsuo
- Shigeru Yamashita
- et al.
- 2023
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Publications
Date
Featured collections
Popular topics
3523 results for Mathematical Sciences
Structure-informed clustering for population stratification in association studies
- Aritra Bose
- Myson Burch
- et al.
- 2023
- BMC Bioinformatics
Regularized multi-trait multi-locus linear mixed models for genome-wide association studies and genomic selection in crops
- Aurélie C. Lozano
- Hantian Ding
- et al.
- 2023
- BMC Bioinformatics
A PARALLEL ALGORITHM FOR COMPUTING PARTIAL SPECTRAL FACTORIZATIONS OF MATRIX PENCILS VIA CHEBYSHEV APPROXIMATION
- Tianshi Xu
- Anthony Austin
- et al.
- 2023
- SIAM Journal on Scientific Computing
Through the looking glass: evaluating post hoc explanations using transparent models
- Mythreyi Velmurugan
- Chun Ouyang
- et al.
- 2023
- International Journal of Data Science and Analytics
Dynamics of fixed-volume pinned films - Dealing with a non-self-adjoint thin-film problem
- Israel Gabay
- Vesna Bacheva
- et al.
- 2023
- Journal of Fluid Mechanics
Detectability and global observer design for 2D Navier–Stokes equations with uncertain inputs
- Sergiy Zhuk
- Mykhaylo Zayats
- et al.
- 2023
- Automatica
An Extended Range of Stable Flux Reconstruction Schemes on Quadrilaterals for Various Polynomial Bases
- Will Trojak
- Rob Watson
- et al.
- 2023
- Journal of Scientific Computing
Parallel and Distributed Asynchronous Adaptive Stochastic Gradient Methods
- Yangyang Xu
- Yibo Xu
- et al.
- 2023
- Mathematical Programming Computation
Group signatures and more from isogenies and lattices: generic, simple, and efficient
- Ward Beullens
- Samuel Dobson
- et al.
- 2023
- Designs, Codes, and Cryptography