BibSonomy :: author  ::

bookmarks

publications

(16)

• Multi-layered analog electronic circuits for motion detection using biomedical vision and brain model.
  Masashi Kawaguchi and Takashi Jimbo and Masayoshi Umeno and Naohiro Ishii KES Journal 8 1-7 (2004)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Chiral nonlinear Schrödinger equation
  Akinori Nishino and Yukiko Umeno and Miki Wadati Chaos, Solitons \& Fractals 9 1063--1069 (1998)
  to imported by smicha on 2008-04-22 12:52:29
  | URL | BibTeX  
• Do larger firms have more interfirm relationships?
  Yukiko Umeno Saito and Tsutomu Watanabe and Mitsuru Iwamura Physica A: Statistical Mechanics and its Applications 383 158--163 (2007)
  to Network structure by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Specifying and proving properties of timed I/O automata in the TIOA toolkit.
  Myla Archer and Hongping Lim and Nancy A. Lynch and Sayan Mitra and Shinya Umeno MEMOCODE 129-138 (2006)
  to dblp by dblp on 2007-06-21 00:00:00
  | URL | BibTeX  
• Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.
  Shinya Umeno and Nancy A. Lynch HSCC 557-572 (2007)
  to dblp by dblp on 2007-06-06 00:00:00
  | URL | BibTeX  
• Locally delineating of junctions and defects by local cross-section electron-beam-induced-current technique.
  T. Koyama and M. Umeno and K. Sonoda and J. Komori and Y. Mashiko Microelectronics Reliability 41 1243-1253 (2001)
  to dblp by dblp on 2007-03-25 00:00:00
  | URL | BibTeX  
• Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.
  Shinya Umeno and Nancy A. Lynch FM 64-80 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX  
• New Method for Dispatching Waiting Logical Processors in Virtual Machine Systems.
  Hidenori Umeno and Masato Kiyama and Takafumi Fukunaga and Takashige Kubo COMPSAC (1) 551-560 (2005)
  to dblp by dblp on 2006-01-06 00:00:00
  | URL | BibTeX  
• Vision Supporting System for Car Driver using Neural Network.
  Masashi Nakamura and Syusaku Kodama and Noboru Kitamura and Masayoshi Umeno ICONIP 1082-1085 (1998)
  to dblp by dblp on 2005-05-10 00:00:00
  | URL | BibTeX  
• Analog VLSI Layout Design of Motion Detection for Artificial Vision Model.
  Masashi Kawaguchi and Takashi Jimbo and Masayoshi Umeno and Naohiro Ishii KES 83-88 (2004)
  to dblp by dblp on 2004-11-26 00:00:00
  | URL | BibTeX