Regular Expression Matching and Operational Semantics

Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the regular expression on the fly. Thus they can be seen as virtual machines interpreting the regular expression much as if it were a program with some non-deterministic constructs such as the Kleene star. We formalize this implementation technique for regular expression matching using operational semantics. Specifically, we derive a series of abstract machines, moving from the abstract definition of matching to increasingly realistic machines. First a continuation is added to the operational semantics to describe what remains to be matched after the current expression. Next, we represent the expression as a data structure using pointers, which enables redundant searches to be eliminated via testing for pointer equality. From there, we arrive both at Thompson's lockstep construction and a machine that performs some operations in parallel, suitable for implementation on a large number of cores, such as a GPU. We formalize the parallel machine using process algebra and report some preliminary experiments with an implementation on a graphics processor using CUDA.Comment: In Proceedings SOS 2011, arXiv:1108.279

Absence of correlation between built-in electric dipole moment and quantum Stark effect in InAs/GaAs self-assembled quantum dots

We report significant deviations from the usual quadratic dependence of the ground state interband transition energy on applied electric fields in InAs/GaAs self-assembled quantum dots. In particular, we show that conventional second-order perturbation theory fails to correctly describe the Stark shift for electric field below $F = 10$ kV/cm in high dots. Eight-band ${\bf k}\cdot{\bf p}$ calculations demonstrate this effect is predominantly due to the three-dimensional strain field distribution which for various dot shapes and stoichiometric compositions drastically affects the hole ground state. Our conclusions are supported by two independent experiments.Comment: 4 pages, 4 figure

Optical excitations of a self assembled artificial ion

By use of magneto-photoluminescence spectroscopy we demonstrate bias controlled single-electron charging of a single quantum dot. Neutral, single, and double charged excitons are identified in the optical spectra. At high magnetic fields one Zeeman component of the single charged exciton is found to be quenched, which is attributed to the competing effects of tunneling and spin-flip processes. Our experimental data are in good agreement with theoretical model calculations for situations where the spatial extent of the hole wave functions is smaller as compared to the electron wave functions.Comment: to be published in Physical Review B (rapid communication

Exploiting exciton-exciton interactions in semiconductor quantum dots for quantum-information processing

We propose an all-optical implementation of quantum-information processing in semiconductor quantum dots, where electron-hole excitations (excitons) serve as the computational degrees of freedom (qubits). We show that the strong dot confinement leads to an overall enhancement of Coulomb correlations and to a strong renormalization of the excitonic states, which can be exploited for performing conditional and unconditional qubit operations.Comment: 5 pages revtex, 2 encapsulated postscript figures. Accepted for publication in Phys. Rev. B (Rapid Communication

The structural basis for high affinity binding of α1-acid glycoprotein to the potent antitumor compound UCN-01

The α1-acid glycoprotein (AGP) is an abundant blood plasma protein with important immunomodulatory functions coupled to endogenous and exogenous ligand-binding properties. Its affinity for many drug-like structures, however, means AGP can have a significant effect on the pharmokinetics and pharmacodynamics of numerous small molecule therapeutics. Staurosporine, and its hydroxylated forms UCN-01 and UCN-02, are kinase inhibitors that have been investigated at length as antitumour compounds. Despite their potency, these compounds display poor pharmokinetics due to binding to both AGP variants, AGP1 and AGP2. The recent renewed interest in UCN-01 as a cytostatic protective agent prompted us to solve the structure of the AGP2–UCN-01 complex by X-ray crystallography, revealing for the first time the precise binding mode of UCN-01. The solution NMR suggests AGP2 undergoes a significant conformational change upon ligand binding, but also that it uses a common set of sidechains with which it captures key groups of UCN-01 and other small molecule ligands. We anticipate that this structure and the supporting NMR data will facilitate rational redesign of small molecules that could evade AGP and therefore improve tissue distribution

Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure

Executive dysfunction and memory impairment in schizoaffective disorder: a comparison with bipolar disorder, schizophrenia and healthy controls.

BACKGROUND: Deficits in memory and executive performance are well-established features of bipolar disorder and schizophrenia. By contrast, data on cognitive impairment in schizoaffective disorder are scarce and the findings are conflicting. METHOD: We used the Wechsler Memory Scale (WMS-III) and the Behavioural Assessment of the Dysexecutive Syndrome (BADS) to test memory and executive function in 45 schizophrenic patients, 26 schizomanic patients and 51 manic bipolar patients in comparison to 65 healthy controls. The patients were tested when acutely ill. RESULTS: All three patient groups performed significantly more poorly than the controls on global measures of memory and executive functioning, but there were no differences among the patient groups. There were few differences in memory and executive function subtest scores within the patient groups. There were no differences in any test scores between manic patients with and without psychotic symptoms. CONCLUSIONS: Schizophrenic, schizomanic and manic patients show a broadly similar degree of executive and memory deficits in the acute phase of illness. Our results do not support a categorical differentiation across different psychotic categories with regard to neuropsychological deficits