Search Results1-20 of  90

  • 1 / 5
  • Takuya Katayama ID: 9000347529975

    Articles in CiNii:1

    • On the Language Theoretic Class of the LOREL Data (1974)
  • KATAYAMA TAKUYA ID: 9000004146837

    Department of Computer Science, Tokyo Institute of Technology (1982 from CiNii)

    Articles in CiNii:2

    • On Defining Denotational Semantics for Attribute Grammars (1982)
    • Verification of an Environment Management based on Operational Semantics for Static Scope Rules (1982)
  • KATAYAMA TAKUYA ID: 9000006795521

    Articles in CiNii:17

    • A Input Complementary Method for One-Handed Keyboard (2009)
    • A Shape Command Input Method using Key Entry Information of Physical Keyboard (2012)
    • Construction of a Navigation System with a Route Planning Algorithm Using Body-worn Sensors (2009)
  • KATAYAMA TAKUYA ID: 9000017552270

    Articles in CiNii:1

    • Towards Integrating Adaptation and Model Checking for Software Components (2009)
  • KATAYAMA Takuya ID: 1000070016468

    Information and Computer Sciences, Faculty of Information Technology, Kanagawa Institute of Technology (2012 from CiNii)

    Articles in CiNii:114

    • ソフトウェア発展の原理とメカニズム (特集 ソフトウェア工学の新しい流れ) (2000)
    • 特集 ソフトウェア発展 (2000)
    • ソフトウェア工学研究の現状と展望 (特集 情報科学研究) (1998)
  • KATAYAMA Takuya ID: 9000000852974

    Faculty of Engineering, Kansai University (2005 from CiNii)

    Articles in CiNii:3

    • Preparation of Quaternized Chitosan/TEOS Organic-Inorganic Hybrid Membranes and Their Permselectivity for an Aqueous Ethanol Solution (2002)
    • Preparation of Organic-Inorganic Hybrid Membranes Containing Quaternized Chitosan as an Organic Component and Their Permselectivity for an Azeotropic Ethanol / Water mixture (2003)
    • Effects of Preparation Conditions on Structure and Ethanol Concentration Characteristics of Quarternized Chitosan Organic-Inorganic Hybrid Membranes (2005)
  • KATAYAMA Takuya ID: 9000002602077

    School of Information Science, Japan Advanced Institute of Science and Technology (JAIST) (2010 from CiNii)

    Articles in CiNii:12

    • Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software (2009)
    • A Minimized Assumption Generation Method for Component-Based Software Verification (2010)
    • Extracting threads from concurrent objects for the design of embedded systems (2002)
  • KATAYAMA Takuya ID: 9000004804427

    Japan Advanced Institute of Science and Technology (1997 from CiNii)

    Articles in CiNii:1

    • A Novel Replication Technique for Detecting and Masking Failures for Parallel Software: Active Parallel Replication (1997)
  • KATAYAMA Takuya ID: 9000004889402

    Japan Advanced Institute of Science and Technology(JAIST) (2003 from CiNii)

    Articles in CiNii:1

    • OAG : Improved Ordered Attribute Grammars for Less Type 3 Circularities (2003)
  • KATAYAMA Takuya ID: 9000005110058

    Articles in CiNii:1

    • Parametric Verification towards Design of Real-Time Systems (2005)
  • KATAYAMA Takuya ID: 9000006474920

    Grad. Sch. of Arts and Sci., The Univ. of Tokyo (2010 from CiNii)

    Articles in CiNii:5

    • Electric properites of oligothiophene molecules and gold nano particles covered with oligothiophene (2007)
    • Electric properites of oligothiophene molecules and gold nano particles covered with oligothiophene (2007)
    • Electric properites of oligothiophene molecules and gold nano particles covered with oligothiophene (2007)
  • KATAYAMA Takuya ID: 9000006681323

    Department of Physics, Graduate School of Science, Kyoto University (2008 from CiNii)

    Articles in CiNii:1

    • Ellipsometric Spectroscopy of Liquid Selenium-Thallium Mixtures (2008)
  • KATAYAMA Takuya ID: 9000017444718

    Kanagawa Institute of Technology (2010 from CiNii)

    Articles in CiNii:3

    • Mixed Noise Removal Hardware by using FPGA (2009)
    • AS-2-6 Implementation of the processing circuit that enables real time convolution of images (2010)
    • Mixed Noise Removal Hardware by using FPGA (2010)
  • KATAYAMA Takuya ID: 9000017575920

    University of Yamanashi (2009 from CiNii)

    Articles in CiNii:1

    • 803 Evaluation of Tool Edge Wear based on Fractal Dimension (2009)
  • KATAYAMA Takuya ID: 9000107373916

    Japan Advanced Institute of Science and Technology (2012 from CiNii)

    Articles in CiNii:1

    • Why is Software Evolution Difficult? : Some Technical Challenges (2012)
  • KATAYAMA Takuya ID: 9000107380711

    Japan Advanced Institute of Science and Technology (2012 from CiNii)

    Articles in CiNii:1

    • Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking (2012)
  • KATAYAMA Takuya ID: 9000248235123

    Japan Advanced Institute of Science and Technology (JAIST) (2012 from CiNii)

    Articles in CiNii:1

    • On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification (2012)
  • KATAYAMA Takuya ID: 9000253681853

    東京工業大学工学部 (1968 from CiNii)

    Articles in CiNii:1

    • The Statistical Theory of Non-Contact Speed Measurement (1968)
  • KATAYAMA Takuya ID: 9000254286309

    Tokyo Institute of Technology (1969 from CiNii)

    Articles in CiNii:1

    • Estimation of Speed of the Stationary Markov Type Irregularity Moving with Constant Speed (1969)
  • KATAYAMA Takuya ID: 9000254773918

    Tokyo Institute of Technology (1971 from CiNii)

    Articles in CiNii:1

    • Generation of the Band-Limited White Noise on Digital Computer (1971)
  • 1 / 5
Page Top