[图书][B] Category theory for computing science

M Barr, C Wells - 1990 - math.mcgill.ca
This book is a textbook in basic category theory, written specifically to be read by
researchers and students in computing science. We expound the constructions we feel are …

Hybrid quantum-classical approach to correlated materials

B Bauer, D Wecker, AJ Millis, MB Hastings, M Troyer - Physical Review X, 2016 - APS
Recent improvements in the control of quantum systems make it seem feasible to finally
build a quantum computer within a decade. While it has been shown that such a quantum …

Replacing academic journals

B Brembs, P Huneman… - Royal Society …, 2023 - royalsocietypublishing.org
Replacing traditional journals with a more modern solution is not a new idea. Here, we
propose ways to overcome the social dilemma underlying the decades of inaction. Any …

Enhancing quantum utility: simulating large-scale quantum spin chains on superconducting quantum computers

TA Chowdhury, K Yu, MA Shamim, ML Kabir… - Physical Review …, 2024 - APS
We present the quantum simulation of the frustrated quantum spin-1 2 antiferromagnetic
Heisenberg spin chain with competing nearest-neighbor (J 1) and next-nearest-neighbor (J …

Robust quantum random access memory

FY Hong, Y Xiang, ZY Zhu, L Jiang, L Wu - Physical Review A—Atomic …, 2012 - APS
A “bucket brigade” architecture for a quantum random memory of N= 2 n memory cells
needs n (n+ 5)/2 times of quantum manipulation on control circuit nodes per memory call …

[PDF][PDF] Category Theory Lecture Notes for ESSLLI

M Barr, C Wells - Lecture Notes for ESSLLI, 1999 - fldit-www.cs.tu-dortmund.de
Category Theory Lecture Notes for ESSLLI Michael Barr Department of Mathematics and
Statistics McGill University Charles Wells D Page 1 Category Theory Lecture Notes for ESSLLI …

A laplace-based spiral contouring method for general pocket machining

JJ Chuang, DCH Yang - ASME …, 2004 - asmedigitalcollection.asme.org
In this paper, a method for generating boundary-conformed pocketing toolpaths is
developed. Based on the 2D Laplace parameterization of pocket contours and the …

On the generation of spiral-like paths within planar shapes

M Held, S de Lorenzo - Journal of Computational Design and …, 2018 - academic.oup.com
We simplify and extend prior work by Held and Spielberger [CAD 2009, CAD&A 2014] to
obtain spiral-like paths inside of planar shapes bounded by straight-line segments and …

Exploring parallel MPI fault tolerance mechanisms for phylogenetic inference with RAxML-NG

L Hübner, AM Kozlov, D Hespe, P Sanders… - …, 2021 - academic.oup.com
Motivation Phylogenetic trees are now routinely inferred on large scale high performance
computing systems with thousands of cores as the parallel scalability of phylogenetic …

Fully automated delineation of the optic radiation for surgical planning using clinically feasible sequences

LB Reid, E Martínez‐Heras, JV Manjón… - Human Brain …, 2021 - Wiley Online Library
Quadrantanopia caused by inadvertent severing of Meyer's Loop of the optic radiation is a
well‐recognised complication of temporal lobectomy for conditions such as epilepsy …