288 citations
- University of TsukubaJP49 papers
- Fermi National Accelerator LaboratoryUS44 papers
- University of New MexicoUS44 papers
- Tufts UniversityUS43 papers
- University of LiverpoolGB42 papers
- Waseda UniversityJP42 papers
- Massachusetts Institute of TechnologyUS41 papers
- Okayama UniversityJP41 papers
- University of California, DavisUS41 papers
- University of OxfordGB41 papers
- Yale UniversityUS41 papers
- Academia SinicaTW40 papers
6 papers · 1 filter
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
Daisuke Ishii, Alexandre Goldsztejn
We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis t…
Doubly autoparallel structure on the probability simplex
Atsumi Ohara, Hideyuki Ishi
On the probability simplex, we can consider the standard information geometric structure with the e- and m-affine connections mutually dual with respect to the Fisher metric. The g…
The 2CNF Boolean Formula Satisfiability Problem and the Linear Space Hypothesis
Tomoyuki Yamakami
We aim at investigating the solvability/insolvability of nondeterministic logarithmic-space (NL) decision, search, and optimization problems parameterized by natural size parameter…
Phase Diagram and Soliton Picture of an Ideal Spin-Peierls Compound D-FPNN
Yuji Inagaki, Tatsuya Kawae, Naoko Sakai +10
We investigate magnetic properties of an =1/2 quasi-one dimensional organic antiferromagnet, D-FPNN using magnetization measurements taken at temperatures as low as 0.5 K.…
Minimum uncertainty states and completeness of non-negative quasi probability of finite-dimensional quantum systems
T. Hashimoto, A. Hayashi, M. Horibe
We construct minimum-uncertainty states and a non-negative quasi probability distribution for quantum systems on a finite-dimensional space. We reexamine the theorem of Massar and…
Sharp Bounds on Arimoto's Conditional Rényi Entropies Between Two Distinct Orders
Yuta Sakai, Ken-ichi Iwata
This study examines sharp bounds on Arimoto's conditional Rényi entropy of order with a fixed another one of distinct order . Arimoto inspired the relation between the…