Source author record

E. Marchiori

E. Marchiori appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

cond-mat.supr-con Artificial Intelligence cond-mat.mes-hall physics.app-ph

Catalog footprint

What is connected

3works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Magnetic imaging of superconducting qubit devices with scanning SQUID-on-tip

We use a scanning superconducting quantum interference device (SQUID) to image the magnetic flux produced by a superconducting device designed for quantum computing. The nanometer-scale SQUID-on-tip probe reveals the flow of superconducting current through the circuit as well as the locations of trapped magnetic flux. In particular, maps of current flowing out of a flux-control line in the vicinity of a qubit show how these elements are coupled, providing insight on how to optimize qubit control.

preprint2021arXiv

Magnetic, thermal, and topographic imaging with a nanometer-scale SQUID-on-cantilever scanning probe

Scanning superconducting quantum interference device (SQUID) microscopy is a magnetic imaging technique combining high-field sensitivity with nanometer-scale spatial resolution. State-of-the-art SQUID-on-tip probes are now playing an important role in mapping correlation phenomena, such as superconductivity and magnetism, which have recently been observed in two-dimensional van der Waals materials. Here, we demonstrate a scanning probe that combines the magnetic and thermal imaging provided by an on-tip SQUID with the tip-sample distance control and topographic contrast of a non-contact atomic force microscope (AFM). We pattern the nanometer-scale SQUID, including its weak-link Josephson junctions, via focused ion beam milling at the apex of a cantilever coated with Nb, yielding a sensor with an effective diameter of 365 nm, field sensitivity of 9.5 $\text{nT}/\sqrt{\text{Hz}}$ and thermal sensitivity of 620 $\text{nK}/\sqrt{\text{Hz}}$, operating in magnetic fields up to 1.0 T. The resulting SQUID-on-lever is a robust AFM-like scanning probe that expands the reach of sensitive nanometer-scale magnetic and thermal imaging beyond what is currently possible.

preprint1996arXiv

Practical Methods for Proving Termination of General Logic Programs

Termination of logic programs with negated body atoms (here called general logic programs) is an important topic. One reason is that many computational mechanisms used to process negated atoms, like Clark's negation as failure and Chan's constructive negation, are based on termination conditions. This paper introduces a methodology for proving termination of general logic programs w.r.t. the Prolog selection rule. The idea is to distinguish parts of the program depending on whether or not their termination depends on the selection rule. To this end, the notions of low-, weakly up-, and up-acceptable program are introduced. We use these notions to develop a methodology for proving termination of general logic programs, and show how interesting problems in non-monotonic reasoning can be formalized and implemented by means of terminating general logic programs.