A graduate piano recital

PROGRAM The Well-Tempered Clavier, Book I..............Johann Sebastian Bach (1685-1750) Prelude and Fugue XXI in B flat major Prelude and Fugue XXII in b flat minor Sonata N. 11 in A major, K.331.......Wolfgang Amadeus Mozart (1756 - 1791) Theme and Variations Menuetto Allegretto Intermission Images Series II................................Claude-Achille Debussy (1862-1918) Poission d\u27 or (Goldfish) Rhapsodies Op. 79 .................................Johannes Brahms (1833-1897) No. 1 in b minor No. 2 in g minor Etude in A flat Major, Op. 1, No. 2.....................Paul de Schlozer (1841-1898

Quantitative Robustness Analysis of Quantum Programs (Extended Version)

Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing with errors (quantum noise) during execution. Because quantum resources (e.g., qubits) are scarce, classical error correction techniques applied at the level of the architecture are currently cost-prohibitive. But while this reality means that quantum programs are almost certain to have errors, there as yet exists no principled means to reason about erroneous behavior. This paper attempts to fill this gap by developing a semantics for erroneous quantum while-programs, as well as a logic for reasoning about them. This logic permits proving a property we have identified, called $\epsilon$-robustness, which characterizes possible "distance" between an ideal program and an erroneous one. We have proved the logic sound, and showed its utility on several case studies, notably: (1) analyzing the robustness of noisy versions of the quantum Bernoulli factory (QBF) and quantum walk (QW); (2) demonstrating the (in)effectiveness of different error correction schemes on single-qubit errors; and (3) analyzing the robustness of a fault-tolerant version of QBF.Comment: 34 pages, LaTeX; v2: fixed typo

Neuronavigation-Guided Transcranial Ultrasound: Development towards a Clinical System and Protocol for Blood-Brain Barrier Opening

Brain diseases including neurological disorders and tumors remain undertreated due to the challenge in accessing the brain, and blood-brain barrier (BBB) restricting drug delivery, which also profoundly limits the development of pharmacological treatment. Focused ultrasound (FUS) with acoustic agents including microbubbles and nanodroplets remains as the only method to open the BBB noninvasively, locally, and transiently to assist drug delivery. For an ideal medical system to serve a broad patient population, it requires precise and flexible targeting with simulation to personalize treatment, real-time monitoring to ensure safety and effectiveness, and rapid application, as repetitive pharmacological treatment is often required. Since none of current systems fulfills all the requirements, here we designed a neuronavigation-guided FUS system with protocol assessed in in vivo mice, in vivo non-human primates, and human skulls from in silico preplanning, online FUS treatment and real-time acoustic monitoring and mapping, to post-treatment assessment using MRI. Both sedate and awake non-human primates were evaluated with total treatment time averaging 30 min and 3-mm targeting accuracy in cerebral cortex and subcortical structures. The FUS system developed would enable transcranial FUS in patients with high accuracy and independent of MRI guidance

Controlled Morphological Structure of Ceria Nanoparticles Prepared by Spray Pyrolysis

AbstractCeria based materials have been widely used as catalyst supporters and electrolytes. Different applications require different morphologies, and the microstructural control during the synthesis is crucial. In the study, ceria particles were prepared from various precursors using a spray pyrolysis (SP). Comparing to the hollow and porous particles, the formation mechanism with solid spherical structure is not clarified readily. The ceria particles were characterized by transmission electron microscopy, thermogravimetry analysis and X-ray photoelectron spectroscopy. This experimental result suggests that the morphology is controlled by the precursors and could be related to their decomposed behavior during the heating process in SP