Search dblp for Publications

export results for "Akira Kanda"

 download as .bib file

@inproceedings{DBLP:conf/sice/YamaguchiSKY19,
  author       = {Tomoyuki Yamaguchi and
                  Takeshi Shibuya and
                  Masashi Kanda and
                  Akira Yasojima},
  title        = {Crack Inspection Support System for Concrete Structures Using Head
                  Mounted Display in Mixed Reality Space},
  booktitle    = {{SICE}},
  pages        = {791--796},
  publisher    = {{IEEE}},
  year         = {2019}
}

@article{DBLP:journals/ieicet/HeyaMK16,
  author       = {Akira Heya and
                  Naoto Matsuo and
                  Kazuhiro Kanda},
  title        = {Low-Temperature Activation in Boron Ion-Implanted Silicon by Soft
                  X-Ray Irradiation},
  journal      = {{IEICE} Trans. Electron.},
  volume       = {99-C},
  number       = {4},
  pages        = {474--480},
  year         = {2016}
}

@article{DBLP:journals/ieicet/AsakaKOKYSINY13,
  author       = {Kota Asaka and
                  Atsushi Kanda and
                  Akira Ohki and
                  Takeshi Kurosaki and
                  Ryoko Yoshimura and
                  Hiroaki Sanjoh and
                  Toshio Ito and
                  Makoto Nakamura and
                  Mikio Yoneyama},
  title        = {10 Gb/s {BOSA} Employing Low-Cost {TO} {CAN} Package and Impedance
                  Matching Circuits in Transmitter},
  journal      = {{IEICE} Trans. Electron.},
  volume       = {96-C},
  number       = {7},
  pages        = {989--995},
  year         = {2013}
}

@article{DBLP:journals/ieicet/KandaOKSAYINNOY13,
  author       = {Atsushi Kanda and
                  Akira Ohki and
                  Takeshi Kurosaki and
                  Hiroaki Sanjoh and
                  Kota Asaka and
                  Ryoko Yoshimura and
                  Toshio Ito and
                  Makoto Nakamura and
                  Masafumi Nogawa and
                  Yusuke Ohtomo and
                  Mikio Yoneyama},
  title        = {Small and Low-Cost Dual-Rate Optical Triplexer for {OLT} Transceivers
                  in 10G/1G Co-existing 10G-EPON Systems},
  journal      = {{IEICE} Trans. Electron.},
  volume       = {96-C},
  number       = {7},
  pages        = {996--1002},
  year         = {2013}
}

@inproceedings{DBLP:conf/hci/HoriSKHIMOTHM11,
  author       = {Hiroki Hori and
                  Tomoki Shiomi and
                  Tetsuya Kanda and
                  Akira Hasegawa and
                  Hiromu Ishio and
                  Yasuyuki Matsuura and
                  Masako Omori and
                  Hiroki Takada and
                  Satoshi Hasegawa and
                  Masaru Miyao},
  title        = {Comparison of Accommodation and Convergence by Simultaneous Measurements
                  during 2D and 3D Vision Gaze},
  booktitle    = {{HCI} {(13)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6773},
  pages        = {306--314},
  publisher    = {Springer},
  year         = {2011}
}

@inproceedings{DBLP:conf/hci/IshioSSKHUSNHMM11,
  author       = {Hiromu Ishio and
                  Shunta Sano and
                  Tomoki Shiomi and
                  Tetsuya Kanda and
                  Hiroki Hori and
                  Keita Uemoto and
                  Asei Sugiyama and
                  Minami Niwa and
                  Akira Hasegawa and
                  Shohei Matsunuma and
                  Masaru Miyao},
  title        = {Visibility Experiment and Evaluation of 3D Character Representation
                  on Mobile Displays},
  booktitle    = {{HCI} {(23)}},
  series       = {Communications in Computer and Information Science},
  volume       = {174},
  pages        = {46--51},
  publisher    = {Springer},
  year         = {2011}
}

@inproceedings{DBLP:conf/hci/OmoriSHSKHITHM11,
  author       = {Masako Omori and
                  Asei Sugiyama and
                  Hiroki Hori and
                  Tomoki Shiomi and
                  Tetsuya Kanda and
                  Akira Hasegawa and
                  Hiromu Ishio and
                  Hiroki Takada and
                  Satoshi Hasegawa and
                  Masaru Miyao},
  title        = {Effect of Weak Hyperopia on Stereoscopic Vision},
  booktitle    = {{HCI} {(13)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6773},
  pages        = {354--362},
  publisher    = {Springer},
  year         = {2011}
}

@inproceedings{DBLP:conf/hci/ShiomiIHTOHMHKM11,
  author       = {Tomoki Shiomi and
                  Hiromu Ishio and
                  Hiroki Hori and
                  Hiroki Takada and
                  Masako Omori and
                  Satoshi Hasegawa and
                  Shohei Matsunuma and
                  Akira Hasegawa and
                  Tetsuya Kanda and
                  Masaru Miyao},
  title        = {Simultaneous Measurement of Lens Accommodation and Convergence to
                  Real Objects},
  booktitle    = {{HCI} {(13)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6773},
  pages        = {363--370},
  publisher    = {Springer},
  year         = {2011}
}

@inproceedings{DBLP:conf/isscc/HidakaGHHJKKMO07,
  author       = {Yasuo Hidaka and
                  Weixin Gai and
                  Akira Hattori and
                  Takeshi Horie and
                  Jian Jiang and
                  Kouichi Kanda and
                  Yoichi Koyanagi and
                  Satoshi Matsubara and
                  Hideki Osone},
  title        = {A 4-Channel 3.1/10.3Gb/s Transceiver Macro with a Pattern-Tolerant
                  Adaptive Equalizer},
  booktitle    = {{ISSCC}},
  pages        = {442--443},
  publisher    = {{IEEE}},
  year         = {2007}
}

@inproceedings{DBLP:conf/rsfdgrc/ApostoliK05,
  author       = {Peter Apostoli and
                  Akira Kanda},
  title        = {Proximity Spaces of Exact Sets},
  booktitle    = {RSFDGrC {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3641},
  pages        = {94--103},
  publisher    = {Springer},
  year         = {2005}
}

@article{DBLP:journals/trs/ApostoliKP04,
  author       = {Peter Apostoli and
                  Akira Kanda and
                  Lech Polkowski},
  title        = {First Steps Towards Computably-Infinite Information Systems},
  journal      = {Trans. Rough Sets},
  volume       = {2},
  pages        = {151--188},
  year         = {2004}
}

@inproceedings{DBLP:conf/hci/KandaINTH03,
  author       = {Kazuyuki Kanda and
                  Akira Ichikawa and
                  Yuji Nagashima and
                  Mina Terauchi and
                  Daisuke Hara},
  title        = {Non-Manual Signals in Japanese Sign Language},
  booktitle    = {{HCI} {(4)}},
  pages        = {216--220},
  publisher    = {Lawrence Erlbaum},
  year         = {2003}
}

@inproceedings{DBLP:conf/rsfdgrc/ApostoliK03,
  author       = {Peter Apostoli and
                  Akira Kanda},
  title        = {Upper and Lower Recursion Schemes in Abstract Approximation Spaces},
  booktitle    = {RSFDGrC},
  series       = {Lecture Notes in Computer Science},
  volume       = {2639},
  pages        = {205--212},
  publisher    = {Springer},
  year         = {2003}
}

@inproceedings{DBLP:conf/gw/KandaINKTHS01,
  author       = {Kazuyuki Kanda and
                  Akira Ichikawa and
                  Yuji Nagashima and
                  Yushi Kato and
                  Mina Terauchi and
                  Daisuke Hara and
                  Masanobu Sato},
  title        = {Notation System and Statistical Analysis of {NMS} in {JSL}},
  booktitle    = {Gesture Workshop},
  series       = {Lecture Notes in Computer Science},
  volume       = {2298},
  pages        = {181--192},
  publisher    = {Springer},
  year         = {2001}
}

@inproceedings{DBLP:conf/rsctc/ApostoliK00,
  author       = {Peter Apostoli and
                  Akira Kanda},
  title        = {Approximation Spaces of Type-Free Sets},
  booktitle    = {Rough Sets and Current Trends in Computing},
  series       = {Lecture Notes in Computer Science},
  volume       = {2005},
  pages        = {98--105},
  publisher    = {Springer},
  year         = {2000}
}

@article{DBLP:journals/mlq/Kanda95,
  author       = {Akira Kanda},
  title        = {Acceptable Numerations of Morphisms and Myhill-Shepherdson Property},
  journal      = {Math. Log. Q.},
  volume       = {41},
  pages        = {39--48},
  year         = {1995}
}

@article{DBLP:journals/apal/Kanda89,
  author       = {Akira Kanda},
  title        = {Retracts of Numerations},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {42},
  number       = {3},
  pages        = {225--242},
  year         = {1989}
}

@article{DBLP:journals/aml/Kanda88,
  author       = {Akira Kanda},
  title        = {Productive sets and constructively nonpartial-recursive functions},
  journal      = {Arch. Math. Log.},
  volume       = {27},
  number       = {1},
  pages        = {49--50},
  year         = {1988}
}

@article{DBLP:journals/apal/Kanda88,
  author       = {Akira Kanda},
  title        = {Recursion theorems and effective domains},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {38},
  number       = {3},
  pages        = {289--300},
  year         = {1988}
}

@article{DBLP:journals/mlq/KandaL87,
  author       = {Akira Kanda and
                  Alistair H. Lachlan},
  title        = {Alternative Characterizations of Precomplete Numerations},
  journal      = {Math. Log. Q.},
  volume       = {33},
  number       = {2},
  pages        = {97--100},
  year         = {1987}
}

@article{DBLP:journals/mlq/Kanda86,
  author       = {Akira Kanda},
  title        = {Classes of Numeration Models of {\(\lambda\)}-Calculus},
  journal      = {Math. Log. Q.},
  volume       = {32},
  number       = {19-24},
  pages        = {315--322},
  year         = {1986}
}

@article{DBLP:journals/mlq/Kanda86a,
  author       = {Akira Kanda},
  title        = {Numeration Models of {\(\lambda\)}{\(\beta\)}-Calculus},
  journal      = {Math. Log. Q.},
  volume       = {32},
  number       = {25-30},
  pages        = {409--414},
  year         = {1986}
}

@article{DBLP:journals/mlq/Kanda85,
  author       = {Akira Kanda},
  title        = {Numeration Models of {\(\lambda\)}-Calculus},
  journal      = {Math. Log. Q.},
  volume       = {31},
  number       = {14-18},
  pages        = {209--220},
  year         = {1985}
}

@article{DBLP:journals/mlq/Kanda85a,
  author       = {Akira Kanda},
  title        = {Acceptable Numerations of Function Spaces},
  journal      = {Math. Log. Q.},
  volume       = {31},
  number       = {31-34},
  pages        = {503--508},
  year         = {1985}
}

@inproceedings{DBLP:conf/mfcs/Kanda81,
  author       = {Akira Kanda},
  title        = {Constructive Category Theory (No. 1)},
  booktitle    = {{MFCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {118},
  pages        = {563--577},
  publisher    = {Springer},
  year         = {1981}
}

@phdthesis{DBLP:phd/ethos/Kanda80,
  author       = {Akira Kanda},
  title        = {Effective solutions of recursive domain equations},
  school       = {University of Warwick, Coventry, {UK}},
  year         = {1980}
}

@inproceedings{DBLP:conf/mfcs/Kanda79,
  author       = {Akira Kanda},
  title        = {Fully Effective Solutions of Recursive Domain Equations},
  booktitle    = {{MFCS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {74},
  pages        = {326--336},
  publisher    = {Springer},
  year         = {1979}
}

@inproceedings{DBLP:conf/tcs/KandaP79,
  author       = {Akira Kanda and
                  David Michael Ritchie Park},
  title        = {When are two Effectively given Domains Identical?},
  booktitle    = {Theoretical Computer Science},
  series       = {Lecture Notes in Computer Science},
  volume       = {67},
  pages        = {170--181},
  publisher    = {Springer},
  year         = {1979}
}

@inproceedings{DBLP:conf/focs/Kanda78,
  author       = {Akira Kanda},
  title        = {Data Types as Initial Algebras: {A} unification of Scottery and ADJery
                  (Extended Abstract)},
  booktitle    = {{FOCS}},
  pages        = {221--230},
  publisher    = {{IEEE} Computer Society},
  year         = {1978}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.