83 citations
- Gunma UniversityJP36 papers
- Ibaraki UniversityJP13 papers
- National Institute for Materials ScienceJP5 papers
- Japan Atomic Energy AgencyJP2 papers
- Paul Scherrer InstituteCH2 papers
- RIKEN Center for Emergent Matter ScienceJP2 papers
- Aoyama Gakuin UniversityJP1 paper
- Auburn University at MontgomeryUS1 paper
- Bandung Institute of TechnologyID1 paper
- DEVCOM Army Research LaboratoryUS1 paper
- Diamond Light SourceGB1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
Showing 2017Show all
2 papers · 1 filter
cs.LG2017★ 2 cited
Mutual Kernel Matrix Completion
Tsuyoshi Kato, Rachelle Rivero
With the huge influx of various data nowadays, extracting knowledge from them has become an interesting but tedious task among data scientists, particularly when the data come in h…
cs.LO2017★ 2 cited
On Upper Bounds on the Church-Rosser Theorem
Ken-etsu Fujita
The Church-Rosser theorem in the type-free lambda-calculus is well investigated both for beta-equality and beta-reduction. We provide a new proof of the theorem for beta-equality w…