11![Earthquake: An Open-Source Framework of Implementation-Level Distributed System Model Checkers Akihiro Suda, Hitoshi Mitake, and Tomonori Fujita (NTT Software Innovation Center) http://osrg.github.io/earthquake/ Earthquake: An Open-Source Framework of Implementation-Level Distributed System Model Checkers Akihiro Suda, Hitoshi Mitake, and Tomonori Fujita (NTT Software Innovation Center) http://osrg.github.io/earthquake/](https://www.pdfsearch.io/img/1a849ab6d624c3cd7f65c9b63a20c738.jpg) | Add to Reading ListSource URL: acmsocc.github.ioLanguage: English - Date: 2016-02-21 03:10:50
|
---|
12![Cloud-Based Robot Grasping with the Google Object Recognition Engine Ben Kehoe1 Akihiro Matsukawa2 Cloud-Based Robot Grasping with the Google Object Recognition Engine Ben Kehoe1 Akihiro Matsukawa2](https://www.pdfsearch.io/img/abc51a15ce66fa88a32bb6e69e16a782.jpg) | Add to Reading ListSource URL: goldberg.berkeley.eduLanguage: English - Date: 2013-05-03 03:59:31
|
---|
13![LLVM-based Communication Optimizations for PGAS Programs Akihiro Hayashi Jisheng Zhao LLVM-based Communication Optimizations for PGAS Programs Akihiro Hayashi Jisheng Zhao](https://www.pdfsearch.io/img/5b9320028d13ea9aa29d1da69315a230.jpg) | Add to Reading ListSource URL: ahayashi.blogs.rice.eduLanguage: English - Date: 2015-10-24 02:13:32
|
---|
14![Tracing Synergetic Behavior of the QTLs Affecting Oral Glucose Tolerance in the OLETF Rat Akihiro Nakaya 1 Tracing Synergetic Behavior of the QTLs Affecting Oral Glucose Tolerance in the OLETF Rat Akihiro Nakaya 1](https://www.pdfsearch.io/img/e9caf0d8d9b5045169dc9fb35d61d2d5.jpg) | Add to Reading ListSource URL: www.jsbi.orgLanguage: English - Date: 1999-12-22 01:29:06
|
---|
15![Recognizing Seki in Computer Go Xiaozhen Niu1 , Akihiro Kishimoto 2, and Martin M¨ullerDepartment of Computing Science, University of Alberta, Edmonton, Canada, T6G 2E8 Recognizing Seki in Computer Go Xiaozhen Niu1 , Akihiro Kishimoto 2, and Martin M¨ullerDepartment of Computing Science, University of Alberta, Edmonton, Canada, T6G 2E8](https://www.pdfsearch.io/img/9d0ffd471486d062c902629e32582612.jpg) | Add to Reading ListSource URL: webdocs.cs.ualberta.caLanguage: English - Date: 2015-11-16 19:05:01
|
---|
16![Security of quantum key distribution with non-I.I.D. light sources Yuichi Nagamatsu∗ ,1 Akihiro Mizutani,1 Rikizo Ikuta,1 Takashi Yamamoto,1 Nobuyuki Imoto,1 and Kiyoshi Tamaki2 1 Graduate School of Engineering Science Security of quantum key distribution with non-I.I.D. light sources Yuichi Nagamatsu∗ ,1 Akihiro Mizutani,1 Rikizo Ikuta,1 Takashi Yamamoto,1 Nobuyuki Imoto,1 and Kiyoshi Tamaki2 1 Graduate School of Engineering Science](https://www.pdfsearch.io/img/c966f51db209470fb3e334be90ee0cb7.jpg) | Add to Reading ListSource URL: 2015.qcrypt.netLanguage: English - Date: 2015-09-22 01:51:49
|
---|
17![Lambda Depth-first Proof Number Search and its Application to Go Kazuki Yoshizoe Akihiro Kishimoto ¨ Lambda Depth-first Proof Number Search and its Application to Go Kazuki Yoshizoe Akihiro Kishimoto ¨](https://www.pdfsearch.io/img/1a074728ac543b362d814bb26c9f050d.jpg) | Add to Reading ListSource URL: webdocs.cs.ualberta.caLanguage: English - Date: 2015-11-16 19:05:01
|
---|
18![328 Genome Informatics 13: 328–Indirect Relations in Yeast Protein Interactome Akihiro Nakaya 328 Genome Informatics 13: 328–Indirect Relations in Yeast Protein Interactome Akihiro Nakaya](https://www.pdfsearch.io/img/833e99ae8ddf9cdb1bb13c1d878b3fab.jpg) | Add to Reading ListSource URL: www.jsbi.orgLanguage: English - Date: 2002-12-19 23:03:36
|
---|
19![Finite-key security analysis of quantum key distribution with imperfect light sources Akihiro Mizutani∗ ,1 Marcos Curty,2 Charles Ci Wen Lim,3 Nobuyuki Imoto,1 and Kiyoshi Tamaki4 2 1 Graduate School of Engineering Sci Finite-key security analysis of quantum key distribution with imperfect light sources Akihiro Mizutani∗ ,1 Marcos Curty,2 Charles Ci Wen Lim,3 Nobuyuki Imoto,1 and Kiyoshi Tamaki4 2 1 Graduate School of Engineering Sci](https://www.pdfsearch.io/img/a1e6fc7633a9c9c9462e44188ae91680.jpg) | Add to Reading ListSource URL: 2015.qcrypt.netLanguage: English - Date: 2015-09-22 01:47:01
|
---|
20![Lightweight Approach to Detect Drive-by Download Attacks Based on File Type Transition Yasutaka Shindo Akihiro Satoh Lightweight Approach to Detect Drive-by Download Attacks Based on File Type Transition Yasutaka Shindo Akihiro Satoh](https://www.pdfsearch.io/img/01214ce1aa728fa8a2565ccc99e716ad.jpg) | Add to Reading ListSource URL: conferences2.sigcomm.orgLanguage: English - Date: 2014-12-01 17:07:18
|
---|