2008 |
12 | EE | Yuji Kawamura,
Takeshi Yamazaki,
Hiroshi Kyusojin,
Tatsuya Ishiwata,
Kazuyoshi Horie:
Network Processing on an SPE Core in Cell Broadband Engine.
Hot Interconnects 2008: 119-128 |
11 | EE | Masahiro Kumabe,
Toshio Suzuki,
Takeshi Yamazaki:
Does truth-table of linear norm reduce the one-query tautologies to a random oracle?
Arch. Math. Log. 47(2): 159-180 (2008) |
2006 |
10 | EE | Michael Gschwind,
H. Peter Hofstee,
Brian K. Flachs,
Martin Hopkins,
Yukio Watanabe,
Takeshi Yamazaki:
Synergistic Processing in Cell's Multicore Architecture.
IEEE Micro 26(2): 10-24 (2006) |
2005 |
9 | EE | Takeshi Yamazaki,
Andriy Kovalenko:
Theoretical Study of Pressure and Cosolvent Effects on the Solvation Structure of Staphylococcal Nuclease.
ICMENS 2005: 214-215 |
2004 |
8 | EE | Runhe Huang,
Takeshi Yamazaki,
Jianhua Ma:
A Mobile Negotiation Agent Embedded Hybrid Online Purchasing System.
ICDCS Workshops 2004: 222-227 |
7 | EE | Nobuyuki Sakamoto,
Takeshi Yamazaki:
Uniform versions of some axioms of second order arithmetic.
Math. Log. Q. 50(6): 587-593 (2004) |
2002 |
6 | EE | Hiroshi Ouchiyama,
Takeshi Yamazaki,
Runhe Huang:
An E-shopping System with Different Negotiation Models.
CW 2002: 311-317 |
5 | | Stephen G. Simpson,
Kazuyuki Tanaka,
Takeshi Yamazaki:
Some conservation results on week König's lemma.
Ann. Pure Appl. Logic 118(1-2): 87-114 (2002) |
2001 |
4 | | Takeshi Yamazaki:
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.
Notre Dame Journal of Formal Logic 42(3): 143-148 (2001) |
2000 |
3 | | Kazuyuki Tanaka,
Takeshi Yamazaki:
A Non-Standard Construction of Haar Measure and Weak König's Lemma.
J. Symb. Log. 65(1): 173-186 (2000) |
2 | EE | Takeshi Yamazaki:
Some More Conservation Results on the Baire Category Theorem.
Math. Log. Q. 46(1): 105-110 (2000) |
1998 |
1 | EE | Shinichi Yamagiwa,
Masaaki Ono,
Takeshi Yamazaki,
Pusit Kulkasem,
Masayuki Hirota,
Koichi Wada:
Maestro-Link: A High Performance Interconnect for PC Cluster.
FPL 1998: 421-425 |