Showing 1–2 of 2 results for author: Kumazawa, Y

Causality-Aided Falsification

Authors: Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

Abstract: Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsification solver -- that relies on stochastic optimization of a certain cost function -- with suitable causal information expressed by a Bayesian network, s… ▽ More Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsification solver -- that relies on stochastic optimization of a certain cost function -- with suitable causal information expressed by a Bayesian network, search for a falsifying input value can be efficient. Our experiment results show the idea's viability. △ Less

Submitted 8 September, 2017; originally announced September 2017.

Comments: In Proceedings FVAV 2017, arXiv:1709.02126

Journal ref: EPTCS 257, 2017, pp. 3-18

Crystallographic and superconducting properties of the fully-gapped noncentrosymmetric 5d-electron superconductors CaMSi3 (M=Ir, Pt)

Authors: G. Eguchi, D. C. Peets, M. Kriener, Y. Maeno, E. Nishibori, Y. Kumazawa, K. Banno, S. Maki, H. Sawa

Abstract: We report crystallographic, specific heat, transport, and magnetic properties of the recently discovered noncentrosymmetric 5d-electron superconductors CaIrSi3 (Tc = 3.6 K) and CaPtSi3 (Tc = 2.3 K). The specific heat suggests that these superconductors are fully gapped. The upper critical fields are less than 1 T, consistent with limitation by conventional orbital depairing. High, non-Pauli-limite… ▽ More We report crystallographic, specific heat, transport, and magnetic properties of the recently discovered noncentrosymmetric 5d-electron superconductors CaIrSi3 (Tc = 3.6 K) and CaPtSi3 (Tc = 2.3 K). The specific heat suggests that these superconductors are fully gapped. The upper critical fields are less than 1 T, consistent with limitation by conventional orbital depairing. High, non-Pauli-limited μ0 Hc2 values, often taken as a key signature of novel noncentrosymmetric physics, are not observed in these materials because the high carrier masses required to suppress orbital depairing and reveal the violated Pauli limit are not present. △ Less

Submitted 3 February, 2011; v1 submitted 24 June, 2010; originally announced June 2010.

Comments: 8 pages, 8 figures

MSC Class: 82D55 (Primary) 74N05 (Secondary)

Journal ref: Phys. Rev. B 83, 024512 (2011)