A Boyer-Moore Type Algorithm for Timed Pattern Matching

The timed pattern matching problem is formulated by Ulus et al. and has been actively studied since, with its evident application in monitoring real-time systems. The problem takes as input a timed word/signal and a timed pattern (specified either by a timed regular expression or by a timed automaton); and it returns the set of those intervals for which the given timed word, when restricted to the interval, matches the given pattern. We contribute a Boyer-Moore type optimization in timed pattern matching, relying on the classic Boyer-Moore string matching algorithm and its extension to (untimed) pattern matching by Watson and Watson. We assess its effect through experiments; for some problem instances our Boyer-Moore type optimization achieves speed-up by two times, indicating its potential in real-world monitoring tasks where data sets tend to be massive

Fano-Kondo interplay in a side-coupled double quantum dot

We investigate low-temperature transport characteristics of a side-coupled double quantum dot where only one of the dots is directly connected to the leads. We observe Fano resonances, which arise from interference between discrete levels in one dot and the Kondo effect, or cotunneling in general, in the other dot, playing the role of a continuum. The Kondo resonance is partially suppressed by destructive Fano interference, reflecting novel Fano-Kondo competition. We also present a theoretical calculation based on the tight-binding model with slave boson mean field approximation, which qualitatively reproduces the experimental findings.Comment: 4 pages, 4 figure

Input Synthesis for Sampled Data Systems by Program Logic

Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturbance or noise), find an input sequence that steers the system to the desired postcondition. In this paper we focus on sampled data systems--systems in which a digital controller interrupts a physical plant in a periodic manner, a class commonly known in control theory--and furthermore assume that a controller is given in the form of an imperative program. We develop a structural approach to input synthesis that features forward and backward reasoning in program logic for the purpose of reducing a search space. Although the examples we cover are limited both in size and in structure, experiments with a prototype implementation suggest potential of our program logic based approach.Comment: In Proceedings HAS 2014, arXiv:1501.0540

Transport properties of Andreev polarons in superconductor-semiconductor-superconductor junction with superlattice structure

Transport properties of a superconductor-semiconductor-superconductor (S-Sm-S) junction with superlattice structure are investigated. Differential resistance as a function of voltage shows oscillatory behavior under the irradiation of radio-frequency (RF) waves with the specific frequency of 1.77 GHz regardless of the superconducting materials and the junction lengths. Experimental data are quantitatively explained in terms of the coupling of superconducting quasiparticles with long-wavelength acoustic phonons indirectly excited by the RF waves. We propose that the strong coupling causes the formation of novel composite particles, Andreev polarons.Comment: 4 pages, 4 figure