Kavli Affiliate: Kunio Inoue | First 5 Authors: Ken-Ichi Fushimi, Hiroyasu Ejiri, Ryuta Hazama, Haruo Ikeda, Kunio Inoue | Summary: A high purity and large volume NaI(Tl) scintillator was developed to search for cosmic dark matter. The required densities of radioactive impurities (RIs) such as U-chain, Th-chain are less than a few ppt to establish […]
Kavli Affiliate: N. C. Yeh | First 5 Authors: J. -K. Chang, C. -C. Hsu, S. -Y. Liu, C. -I Wu, M. Gharib | Summary: The environmental aging effect of doped graphene is investigated as a function of the organic doping species, humidity, and the number of graphene layers adjacent to the dopant by studies […]
Kavli Affiliate: David Muller | First 5 Authors: Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell | Summary: Unambiguous automata are nondeterministic automata in which every word has at most one accepting run. In this paper we give a polynomial-time algorithm for model checking discrete-time Markov chains against omega-regular specifications represented as unambiguous […]