165 citations
- National Institute of Advanced Industrial Science and TechnologyJP2 papers
- Creative ResearchGB1 paper
- Hokkaido UniversityJP1 paper
- Institute for Molecular ScienceJP1 paper
- Japan Atomic Energy AgencyJP1 paper
- Japan Synchrotron Radiation Research InstituteJP1 paper
- Kitakyushu National College of TechnologyJP1 paper
- Laboratoire de Recherche en InformatiqueFR1 paper
- Lomonosov Moscow State UniversityRU1 paper
- Nihon UniversityJP1 paper
- Ruđer Bošković InstituteHR1 paper
- SPring-8JP1 paper
4 papers
Decreasing Diagrams and Relative Termination
Nao Hirokawa, Aart Middeldorp
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st…
The cost of probabilistic gathering in oblivious robot networks
Julien Clement, Xavier Defago, Maria Gradinariu Potop-Butucaru +1
In this paper we address the complexity issues of two agreement problems in oblivious robot networks namely gathering and scattering. These abstractions are fundamental coordinatio…
Single-Component Molecular Metals as Multiband π-d Systems
Hitoshi Seo, Shoji Ishibashi, Yoshinori Okano +4
Electronic states of single-component molecular metals M(tmdt)2 (M = Ni, Au) are studied theoretically. We construct an effective three-band Hubbard model for each material by nume…
Electronic correlation in the infrared optical properties of the quasi two dimensional -type BEDT-TTF dimer system
T. Sasaki, I. Ito, N. Yoneyama +5
The polarized optical reflectance spectra of the quasi two dimensional organic correlated electron system -(BEDT-TTF)Cu[N(CN)], Br and Cl are measured in th…