Search Results1-20 of  63

  • 1 / 4
  • Tamura Naoyuki ID: 9000019229672

    Articles in CiNii:1

    • Influence of Chemical Bonding States on Electrical Properties of Amorphous Carbon Nitride Films (2012)
  • Naoyuki Tamura ID: 9000348880480

    Articles in CiNii:1

    • Lazy Evaluation of Preference on an AND-OR Graph. (1993)
  • Naoyuki Tamura ID: 9000348887024

    Articles in CiNii:1

    • An Abstract Machine for a Compiler System of a Linear Logic Programming Language. (2001)
  • Naoyuki Tamura ID: 9000348888580

    Articles in CiNii:1

    • LLPTTP: Theorem Prover using Compiler of a Linear Logic Programming Language. (2003)
  • Naoyuki Tamura ID: 9000348890266

    Articles in CiNii:1

    • A Hybrid Optimization Method for Combinatorial Optimization Problems with Disjunctive Constraints (2005)
  • Naoyuki Tamura ID: 9000348890492

    Articles in CiNii:1

    • Classical Propositional Linear Logic Theorem Prover on a Linear Logic Programming Language Compiler System (2005)
  • Naoyuki Tamura ID: 9000348892090

    Articles in CiNii:1

    • A Prolog to Java Translator System and its Application (2007)
  • Naoyuki Tamura ID: 9000361207180

    Articles in CiNii:1

    • Prolog Cafe: A Prolog to Java Translator System(<Special Issue>A Software Toolbox for Research Activity(4)) (2006)
  • Naoyuki Tamura ID: 9000361213321

    Articles in CiNii:1

    • Editors' Introduction of "Recent Advances in SAT Techniques"(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • Naoyuki Tamura ID: 9000361213327

    Articles in CiNii:1

    • Foundations of SAT Solvers(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • Naoyuki Tamura ID: 9000361213343

    Articles in CiNii:1

    • Constraint Optimization Problems and SAT Encodings(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • Naoyuki Tamura ID: 9000361213471

    Articles in CiNii:1

    • SAT-Based System Verification(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • Naoyuki Tamura ID: 9000361218993

    Articles in CiNii:1

    • SAT Solvers(My Bookmark) (2013)
  • TAMURA NAOYUKI ID: 9000001679599

    伊勢崎織物工業組合 (2005 from CiNii)

    Articles in CiNii:1

    • Isesaki Kasuri (2005)
  • TAMURA Naoyuki ID: 1000060335601

    Department of Ophthalmology, Okayama University Graduate School of Medicine and Dentistry (2004 from CiNii)

    Articles in CiNii:4

    • Ability of Frequency Doubling Technology to Detect Early Glaucomatous Visual Field Changes (2004)
    • Comparison of Once-A-Day Ophthalmic Solutions Timoptol^【○!R】 XE and Rysmon^【○!R】 TG (2001)
    • Incidence of glaucoma in patients of collagen disease and the implication of long-term systemic corticosteroid (2003)
  • TAMURA Naoyuki ID: 9000000319650

    Subaru Telescope, National Astronomical Observatory of Japan (2012 from CiNii)

    Articles in CiNii:8

    • Deep-Imaging Observations of a Candidate of an Absorbed QSO at z=0.653, AX J131831+3341 (2000)
    • Lyman Break Galaxies at z - 5 : Luminosity Function (2003)
    • Panoramic Views of Cluster-Scale Assemblies Explored by Subaru Wide-Field Imaging (2005)
  • TAMURA Naoyuki ID: 9000000532845

    Second Department of Internal Medicine, Hirosaki University School of Medicine (2000 from CiNii)

    Articles in CiNii:1

    • Interleukin 6 as a marker of mesangial cell proliferative activity (2000)
  • TAMURA Naoyuki ID: 9000000987590

    Department of Astronomy, Kyoto University (2001 from CiNii)

    Articles in CiNii:1

    • NIR Narrow- and Broad-Band Study of the SSA 22 Field (2001)
  • TAMURA Naoyuki ID: 9000004755592

    Graduate School of Engineering, Hokkaido University (2001 from CiNii)

    Articles in CiNii:1

    • Considerations on a Circular Microstrip Patch Antenna with Slits for Rectenna Elements (2001)
  • TAMURA Naoyuki ID: 9000004956888

    Department of Electrical And Electronic, Faculty of Engineering, Tottori University (2001 from CiNii)

    Articles in CiNii:2

    • Direction of Arrival Estimation and Speech Recognition by Using Blind Separation (2000)
    • On the Multiple Word Recognition System by Using Source Separation Technique (2001)
  • 1 / 4
Page Top