Search Results1-20 of  159

  • SAKAI Masahiko ID: 1000020135560

    Department of Gastroenterological Endoscopy, Kyoto University (1997 from CiNii)

    Articles in CiNii:13

    • A case of symptomatic aberrant pancreas : A diagnostic and therapeutic usefulness of endoscopic aspiration mucosectomy (1996)
    • A case of celiac aneurysm exposed to the ulcer base of the remnant stomach:an usefulness of miniature ultrasonic probe. (1997)
    • 抗セントロメア抗体陽性自己免疫性肝炎例の検討-陰性例との比較- (1995)
  • Sakai Masahiko ID: 9000002747431

    Department of Pharmacy, Hiroshima University Hospital (2008 from CiNii)

    Articles in CiNii:9

    • The Changes in the Laboratory Values During Administration of Commercially Available Ready-to-use Basal Solutions for Total Parenteral Nutrition (2001)
    • P-365 薬剤師の研修に関する調査について (2001)
    • Pharmaceutical and Pharmacological Evaluation of Burow's Solution (Aluminum Acetate Solution), a Hospital Preparation, and Development of Its Rapid Preparation Method (2004)
  • SAKAI Masahiko ID: 9000019084431

    Articles in CiNii:13

    • Improvement of Transmission Torque of a Hybrid-Type Magnetic Planetary Gear (2011)
    • Proposal of a High-Thrust Generation Method Using Two Linear Oscillatory Actuators (2012)
    • Linear Oscillatory Actuator Using a DC Motor for an Active Control Engine Mount (2012)
  • SAKAI Masahiko ID: 9000241761396

    Articles in CiNii:1

    • Linear Oscillatory Actuator Using Regenerative Energy (Special Issue on the Asia-Pacific Symposium on Applied Electromagnetics and Mechanics (APSAEM2012)) (2013)
  • Sakai Masahiko ID: 9000248956909

    Articles in CiNii:1

    • Size complexity of BDD construction of Pseudo-Boolean constraints in binary/mixed-radix base form (2014)
  • SAKAI Masahiko ID: 9000316195895

    Articles in CiNii:1

    • A method for making proof graph finite on disjunctive parameterised Boolean equation systems (ソフトウェアサイエンス) (2016)
  • SAKAI Masahiko ID: 9000316196884

    Articles in CiNii:1

    • A method for making proof graph finite on disjunctive parameterised Boolean equation systems (システム数理と応用) (2016)
  • Masahiko Sakai ID: 9000347539781

    Articles in CiNii:1

    • A Simple Sufficient Condition for the Completeness of a Heuristic Procedure for Inverse Unfold Problem (2015)
  • Masahiko Sakai ID: 9000399186703

    Articles in CiNii:1

    • Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems (2018)
  • Sakai Masahiko ID: 9000408463443

    Articles in CiNii:1

    • Transformation of SQL-based combinatorial optimization problems into Constraint problems (2020)
  • Masahiko Sakai ID: 9000004335244

    Graduate School of Information Science, Nagoya University (2005 from CiNii)

    Articles in CiNii:2

    • Characterizing Inductive Theorems by Extensional Initial Models in a Higher - Order Equational Logic (2004)
    • Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting (2005)
  • Masahiko Sakai ID: 9000017506560

    Graduate School of Information Science, Nagoya University (2014 from CiNii)

    Articles in CiNii:7

    • Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes (2009)
    • Recognizability of Redexes for Higher-Order Rewrite Systems (2009)
    • Context-sensitive Innermost Reachability is Decidable for Linear Right-shallow Term Rewriting Systems (2009)
  • Masahiko Sakai ID: 9000348885862

    Articles in CiNii:1

    • Confluense of Orthogonal Metaterm Rewriting Calculus with Rules Containing Rules. (2000)
  • SAKAI Masahiko ID: 9000000760683

    Department of Orthopaedic Surgery, Saitama Medical School (1999 from CiNii)

    Articles in CiNii:5

    • Scapho-lunate Dissociation with Fracture (1995)
    • Experimental Study of the Midcarpal Instability (1996)
    • New Experimental Model of Entrapment Neuropathy in Rabbits (1998)
  • SAKAI MASAHIKO ID: 9000255794420

    The First Department of Internal Medicine, Faculty of Medicine, Kyoto University (1980 from CiNii)

    Articles in CiNii:1

    • THE UTILITY OF THE X-RAY CINE-FILMS OF THE ERCP (1980)
  • SAKAI MASAHIKO ID: 9000314795604

    Articles in CiNii:1

    • <Case Report>Malignant Lymphoma Arising in the Duodenum Combined with Gastric Lymphoma and Early Gastric Cancer : A Case Report (1995)
  • SAKAI Masahiko ID: 1000050215597

    Graduate School of Information Science, Nagoya University (2015 from CiNii)

    Articles in CiNii:149

    • Cover Set Induction for Verifying Algebraic Specifications (1992)
    • On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability (2005)
    • Programming Method in Obfuscated Language Malbolge (2005)
  • SAKAI Masahiko ID: 9000001873964

    Department of Mechano-Aerospace Engineering, Tokyo Institute of Technology (1996 from CiNii)

    Articles in CiNii:1

    • CO_2 Absorption into Liquid (1996)
  • SAKAI Masahiko ID: 9000017397380

    セーレン(株)ビスコテックス研究部 (2010 from CiNii)

    Articles in CiNii:2

    • 不燃広告幕 不燃シート (2010)
    • Development of Product that Combines Removal of Polyester Fiber and Dyeing by Inkjet (2010)
  • SAKAI Masahiko ID: 9000020411921

    The First Department of Internal Medicine, Kyoto University, School of Medicine (1985 from CiNii)

    Articles in CiNii:1

    • Localization of lactoferrin in gastric mucosa. (1985)
Page Top