システム理工学専攻

研究成果

年別の研究成果 1976 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2018 2019 2020 2021 2022 2023

• 2197 Article
• 488 Conference contribution
• 173 Conference article
• 59 Paper
• 82 その他
  • 22 Review article
  • 19 Meeting Abstract
  • 16 Chapter
  • 13 Editorial
  • 9 Comment/debate
  • 2 Letter
  • 1 Book

年別の研究成果

年別の研究成果

検索結果

• 1986

  Router System for Printed Wiring Board of Very High-Speed, Very Large-Scale Computers

  Tada, T. & Hanafusa, A., 1986 6月 1, In: 23rd Design Automation Conference. p. 791-797

  研究成果: Article › 査読

• T: A Simple Reduction Language based on Combinatory Rewriting

  Ida, T., Aiba, A. & Toyama, Y., 1986 10月 6, In: France-Japan Artificial Intelligence and Computer Science Symposium 1986.

  研究成果: Article › 査読
• 1985

  A Learning Control Approach to Dynamic Network Resource Assignments

  Uose, H. & Niitsu, Y., 1985 10月 15, In: ITC-11. p. 774-780

  研究成果: Article › 査読

• Analysis of the Relations between Nearfield Tolerances and Inaccuracies in Calculated Farfield Patterns

  Iwasaki, H. & Mikuni, Y., 1985 8月 1, In: International Symposium Antennas and Propagation. 033-4, p. 173-176

  研究成果: Article › 査読

• Code optimization of digital networks for signal processors

  Sakamoto, H., Watanabe, E. & Nishihara, A., 1985 6月 1, In: 1985 IEEE International Symposium on Circuits and Systems Proceedings. p. 1403-1405

  研究成果: Article › 査読

  1 被引用数 (Scopus)

• Design of wave digital filters with simplified structures

  E.Watanabe, E. W., A.Nishihara, A. N. & Watanabe, E., 1985 7月 1, In: Transactions of Institute of Electronics and Communication Engineers Japan. E68, p. 441-447

  研究成果: Article › 査読

• Development of a System to Assist in the Design and Control of Robots

  Funakubo, H., H.K.Chung, H. K. C., Isomura, T. & Komeda, T., 1985 4月 1, In: Robot. p. 86-91

  研究成果 › 査読

• Digital lattice filters with reduced number of tap-multi pliers

  E.Watanabe, E. W., A.Nishihara, A. N. & Watanabe, E., 1985 2月 1, In: Electronics Letters. 21, p. 137-138

  研究成果: Article › 査読

  1 被引用数 (Scopus)

• Effects of intermittent capillary flow on oxygen transport in skeletal muscle studied by dynamic computer simulation

  Fukuoka, M., Shibata, M. & Kamiya, A., 1985 4月 1, In: Advances in Experimental Medicine & Biology. 191, p. 323-332

  研究成果 › 査読

  2 被引用数 (Scopus)

• Feature extraction of phonemes by clustering the spectra and the spectral changes in continuous speech

  Shirai, K. & Mano, K., 1985 6月 1, In: Int. Symp., Applied Signal Processing and Digital Filtering. p. 201-204

  研究成果: Article › 査読

• Home Automation System

  Inoue, M., Uemura, K., Minagawa, Y., Esaki, M. & Honda, Y., 1985 6月 1, In: IEEE International Conference on Consumer Electronics.

  研究成果: Article › 査読

• Machine Language for the Reduction Mahcine Reducing Recursive Programs

  Aiba, A. & Nakanishi, M., 1985 6月 14, In: KSTS/RR.

  研究成果: Article › 査読

• Microcirculatory responses to carotid sinus nerve stimulation at various ambient O2 tension in the rabbit tenuissimus muscle

  Shibata, M. & Kamiya, A., 1985 4月 1, In: Microvasc Res. 30, p. 333-345

  研究成果 › 査読

  11 被引用数 (Scopus)

• PROGRAMMING FOR A SYSTEM TO ASSIST IN THE CONTROL OF ROBOTS

  Kong, C. H., Funakubo, H., Dohi, T., Isomura, T. & Komeda, T., 1985 7月 1, In: ISIR. p. 767-774

  研究成果 › 査読
• 1984

  Evaluation of an Applicative Language on co-operatng infinite number of Processors

  Aiba, A. & Nakanishi, M., 1984 1月 1, In: 京都大学数理解析研究所　研究集会. p. 1-15

  研究成果: Article › 査読

• On finiteness of the numbers of Euclidean fields in some classes of number fields (英文)

  Shigeki, E. & Egami, S., 1984 1月 1, In: Tokyo J. Math.. 7, p. 183-198

  研究成果: Article › 査読
• 1983

  Environmental Control System for Bedridden Patients Incorporating a Robot Manipulator

  Funakubo, H., Dohi, T., Isamura, T., Sekiguchi, Y., Nei, M., Yamaguchi, T., Itho, H., Fujikawa, A. & Hanafusa, A., 1983 4月 1, In: Medical Apparatus News. 39, p. 8-13

  研究成果: Article › 査読

• Environmental Impact Assessment for Japan's Energy Development

  Matsumura, T., 1983 9月 1, In: Default journal.

  研究成果: Article › 査読

• On the analytic continuation of certain Dirichlet series

  Shigeki, E. & Egami, S., 1983 1月 1, In: Default journal. 32, p. 225-228

  研究成果: Article › 査読

• Subscriber Multiplexed Network

  Kajiwara, M., Yamamoto, K. & Niitsu, Y., 1983 6月 20, In: ICC '83.

  研究成果: Article › 査読
• 1982

  A Remote Controller for Room Air-conditioners Using an Optical Fiber and Voice Synthesis IC

  Inoue, M., Fujii, M., Esaki, M., Hasegawa, T., Kobayashi, T., Shinma, M. & Miki, T., 1982 6月 1, In: IEEE International Conference on Consumer Electronics. p. 156-157

  研究成果: Article › 査読

• A Remote Controller for Room Air-conditioners Using an Optical Fiber and Voice Synthesis LSI's

  Inoue, M., Fujii, M., Esaki, M., Hasegawa, T., Kobayashi, T., Shinma, M. & Miki, T., 1982 8月 1, In: IEEE Trans. on Consumer Electronics. CE-31, p. 516-527

  研究成果: Article › 査読

• New oscillometric method for indirect measurement of systolic and mean arterial pressure in the human finger, Part 1; model experiment

  Yamakoshi, K., Shimazu, H., Shibata, M. & Kamiya, A., 1982 4月 1, In: Med Biol Eng Comput. 20, p. 307-313

  研究成果 › 査読

  123 被引用数 (Scopus)

• New oscillometric method for indirect measurement of systolic and mean arterial pressure in the human finger, Part 2; correlation study

  Yamakoshi, K., Shimazu, H., Shibata, M. & Kamiya, A., 1982 4月 1, In: Med Biol Eng Comput. 20, p. 304-318

  研究成果 › 査読

  98 被引用数 (Scopus)

• SAR System Design Method Defermined by SIN, Ambiguities Requirements

  Iwasaki, H., Mikuni, Y., Murasawa, K., Hirano, S. & Fukuda, S., 1982 6月 28, In: Prodeedings of the 13th International Symposium. p. 1291-1297

  研究成果: Article › 査読
• 1980

  Experimental use of Requirment Specification System - ISDOS -

  Saitoh, N., Murai, J., Aiba, A., Fujisaki, T., Tozawa, Y. & Morohashi, M., 1980 4月 1, In: IBM Tokyo Scientific Center Report.

  研究成果: Article › 査読

• The distribution of residue classes module or in an algebraic number field (英文)

  Shigeki, E. & Egami, S., 1980 1月 1, In: Tsukuba J. Math. 4, p. 9-13

  研究成果: Article › 査読
• 1979

  A Mobile Radio Antenna System Having a Self-Diplexing Fanction

  Nagai, K., Mikuni, Y. & Iwasaki, H., 1979 11月 1, In: Transactions on Vehicular Technology. Vol.VT-28, p. 338-345

  研究成果: Article › 査読

• Euclid's algorithm in pure quartic fields (英文)

  Shigeki, E. & Egami, S., 1979 1月 1, In: Tokyo J. Math. 2, p. 379-385

  研究成果: Article › 査読
• 1978

  Adequate Mobile Radio Antenna

  Iwasaki, H., Mikuni, Y. & Nagai, K., 1978 8月 1, In: International Symposium Antennas and Propagation. Proc.1978, p. 73-76

  研究成果: Article › 査読
• 1976

  Dipole Excitation of Ion Waves

  Ohnuma, T., Iwasaki, H. & Adachi, S., 1976 11月 1, In: Transactions on Antenna and Propagation. AP24, p. 901-902

  研究成果: Article › 査読

  2 被引用数 (Scopus)
• 1800

  An Application of CAL to Robotics

  Sato, S. & Aiba, A., 1800, In: ICOT Technical Memo.

  研究成果: Article › 査読

• A Parallel CLP Language GDCC and Its Parallel Constraint Solvor for Non-linear Equations

  Aiba, A., 1800, In: ICOT Technical Memo. p. 1251

  研究成果: Article › 査読

• Average version of Artin's conjective in an algebraic number field

  Shigeki, E. & Egami, S., 1800, In: Tokyo J. Math. 4, p. 203-212

  研究成果: Article › 査読

• CAL: A Constraint Logic Programming Language and Its Enhancement for Application to Handling Robots

  Aiba, A., Sato, S., Terasaki, S., Sakata, M. & Machida, K., 1800, In: ICOT Technical Report.

  研究成果: Article › 査読

• CAL: A Constraint Logic Programming Language and Its Enhancement for Application to Hondling Robots

  A.Aiba, A. A., S.Sato, S. S., S.Terasaki, S. T., M.Sakata, M. S., K.Machida, K. M. & Aiba, A., 1800, In: ICOT Technical Report. p. 0729

  研究成果: Article › 査読

• CAL: A Theoretical Background of Constraint Logic Programming and Its Application (Revised)

  Sakai, K. & Aiba, A., 1800, In: ICOT Technical Report.

  研究成果: Article › 査読

• Computing Soft Constraints by Hierarchical Constraint Logic Programming

  Satoh, K. & Aiba, A., 1800, In: ICOT Technical Report.

  研究成果: Article › 査読

• Effects of magnetically controlled microgravity and hypergravity environment on amphibian behavior

  Y., F., K, K., M, N., T, S., N., F., H, H., K, S., K, K., T., Y., Y., T., A., K. & Shinkai, T., 1800, In: Space Utiliz. Res..

  研究成果: Article › 査読

• Identification of Zinc Finger Proteins Bound to a Silencer Region in the Rat Glutathione Transferase P Gene.

  Tanabe, A., Oshima, K., Osada, S., Nishihara, T. & Imagawa, M., 1800, In: Biol. Pharm. Bull.. 24, p. 970-974

  研究成果: Article › 査読

• Introduction to CAL (Extended Abstract)

  Sakai, K. & Aiba, A., 1800, In: ＩＣＯＴ　Ｔｅｃｈｎｉｃａｌ　Ｍｅｍｏ　ＴＭ０４.

  研究成果: Article › 査読

• MR2719766

  Kameko, M., 1800, In: Mathematical Reviews.

  研究成果: Article › 査読

• Parallel Constraint Logic Programming Language GDCC and Its Parallel Constraint Solvers

  Terasaki, S., Hawley, D. J., Sawada, H., Satoh, K., Menju, S., Kawagishi, T., Iwayama, N. & Aiba, A., 1800, In: ＩＣＯＴ　Ｔｅｃｈｎｉｃａｌ　Ｒｅｐｏｒｔ.

  研究成果: Article › 査読

• Proceedings of FGCS'92 Workshop on Constraint Logic Programming

  Aiba, A., 1800, In: ICOT Technical Memo.

  研究成果: Article › 査読

• Protein Structure Prediction Based on Multi-Level Description

  Onizuka, K., Tsuda, H., Ishikawa, M. & Aiba, A., 1800, In: ＩＣＯＴ　Ｔｅｃｈｎｉｃａｌ　Ｒｅｐｏｒｔ.

  研究成果: Article › 査読

• The Hierarchical Constraint Logic Language CHAL

  Satoh, K. & Aiba, A., 1800, In: ＩＣＯＴ　Ｔｅｃｈｎｉｃａｌ　Ｒｅｐｏｒｔ.

  研究成果: Article › 査読

• The parallel logic programming system in the FGCS Project and its future directions

  Uchida, S., Aiba, A., Rokusawa, K., Chikayama, T. & Hasegawa, R., 1800, In: Parallel Computing.

  研究成果: Article › 査読