output
20022024
most citedSupplementary information for "Quantum supremacy using a programmable superconducting processor"

7.2k citations

Showing 2017Show all

126 papers · 1 filter

cs.PL201727 cited

A New Proof Rule for Almost-Sure Termination

Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski +1

An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates "almost surely". Proving that can be…

physics.app-ph201736 cited

Probing frontier orbital energies of (Co9(P2W15)3) polyoxometalate clusters at molecule-metal and molecule-water interfaces

Xiaofeng Yi, Natalya V. Izarova, Maria Stuckart +10

Functionalization of polyoxotungstates with organoarsonate co-ligands enabling surface decoration was explored for the triangular cluster architectures of the composition [CoII9(H2…

physics.acc-ph20172 cited

Non-exponential decoherence of radio-frequency resonance rotation of spin in storage rings

A. Saleev, N. N. Nikolaev, F. Rathmann +3

Precision experiments, such as the search for electric dipole moments of charged particles using radiofrequency spin rotators in storage rings, demand for maintaining the exact spi…

math.GR2017

On the second-largest Sylow subgroup of a finite simple group of Lie type

S. P. Glasby, Alice C. Niemeyer, Tomasz Popiel

Let be a finite simple group of Lie type in characteristic , and let be a Sylow subgroup of with maximal order. It is well known that is a Sylow -subgroup exc…

cond-mat.mes-hall201720 cited

Thermoelectrics of Interacting Nanosystems -- Exploiting Superselection instead of Time-Reversal Symmetry

Jens Schulenborg, Angelo Di Marco, Joren Vanherck +2

Thermoelectric transport is traditionally analyzed using relations imposed by time-reversal symmetry, ranging from Onsager's results to fluctuation relations in counting statistics…

cs.SD2017

Assessment of sound spatialisation algorithms for sonic rendering with headsets

Ali Tarzan, Marco Alunno, Paolo Bientinesi

Given an input sound signal and a target virtual sound source, sound spatialisation algorithms manipulate the signal so that a listener perceives it as though it were emitted from…