Search Results1-17 of  17

  • 田村 直之 ID: 9000000962132

    ダーラム大 (2003 from CiNii)

    Articles in CiNii:1

    • Astronomical Instrumentation Group, Department of Physics, University of Durham (2003)
  • 田村 直之 ID: 9000008171346

    Articles in CiNii:1

    • 現代における犯罪者処遇はいかにあるべきか(刑事政策に関する懸賞論文優秀賞) (1992)
  • 田村 直之 ID: 9000329889151

    Articles in CiNii:1

    • すばる超広視野主焦点多天体分光器で宇宙空間を測る (特集 宇宙の始まりに迫る) (2016)
  • 田村 直之 ID: 9000356550940

    Articles in CiNii:1

    • A SAT Encoding of Pseudo-Boolean Constraints via Boolean Cardinality Constraints (2017)
  • 田村 直之 ID: 9000361207178

    Articles in CiNii:1

    • Prolog Cafe: A Prolog to Java Translator System(<Special Issue>A Software Toolbox for Research Activity(4)) (2006)
  • 田村 直之 ID: 9000361213319

    Articles in CiNii:1

    • Editors' Introduction of "Recent Advances in SAT Techniques"(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • 田村 直之 ID: 9000361213325

    Articles in CiNii:1

    • Foundations of SAT Solvers(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • 田村 直之 ID: 9000361213340

    Articles in CiNii:1

    • Constraint Optimization Problems and SAT Encodings(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • 田村 直之 ID: 9000361213469

    Articles in CiNii:1

    • SAT-Based System Verification(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • 田村 直之 ID: 9000361218989

    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: 9000005938647

    Articles in CiNii:9

    • 高齢者対応住宅設計マニュアルに関する調査--各自治体における策定状況と課題について (1995)
    • 高齢者対応住宅設計指針に関する研究(自治体のマニュアルにおける基準寸法の分析) (1996)
    • The Study of the Housing Manual for the Elderly (1) : Survey of the Manual of each self-governing Body in Japan (1995)
  • TAMURA Naoyuki ID: 9000005989532

    情報電子工学専攻 (2004 from CiNii)

    Articles in CiNii:1

    • Development of questionnaire server with plug-in function (2004)
  • TAMURA Naoyuki ID: 9000017710995

    Articles in CiNii:3

    • E-010 Text Categorization For Blog Entries Using Wikipedia Data (2009)
    • E-026 Generation of Complex Noun using Combination Rules and Dictionary Data (2009)
    • Information Map System for Local Community Support (2010)
  • Tamura Naoyuki ID: 1000060207248

    Articles in CiNii:83

    • 「スーパーコンピュータとその利用技術」特集号の編集にあたって (1992)
    • Parsing based on A^*Algorithm Agenda Control (1996)
    • Text Analysis based on Text-Wide Grammar (1997)
  • Tamura Naoyuki ID: 9000006878413

    Waseda University (2007 from CiNii)

    Articles in CiNii:1

    • Image-based Rendering Method for Constructing Walk-through Virtual Reality Environment (2007)
Page Top