スポンサーリンク
Department Of Computer Science Shizuoka University | 論文
- Remission of IgA nephropathy after allogeneic peripheral blood stem cell transplantation followed by immunosuppression for acute lymphocytic leukemia
- Collection and Analysis of Life-style Data : A Novel Approach to Improve Health-Consciousness
- SOME PROPERTIES OF ONE-STEP RECURRENT TERMS IN LAMBDA CALCULUS(Lambda Calculus and Computer Science Theory)
- Recurrent Terms of Lambda Calculus
- An Improved Endoscopic Variceal Ligator for Esophagogastric Varix : Three-O-Band-Shooter
- Pulmonary hemorrhage, due to rupture of small muscular arteries, in an autopsy case of systemic lupus erythematosus with antiphospholipid antibodies
- Name Matching v.s. Structure Matching in Typing Systems for the Polyadic π-Calculus
- Transient Portomesenteric Venous Gas in Long-term Hemodialysis Patients
- Severe sinoatrial dysfunction after esophageal surgery : a case report
- Effect of cyclosporine therapy on idiopathic membranous nephropathy presented with refractory nephrotic syndrome
- Multicast Protocol Using Retransmission via Collision for Packet Satellite Channels (Special Issue on Mobile Computing)
- System Requirements and Formal Specifications of Hierarchical Reactive Systems (特集 マルチメディアコミュニケーションシステム)
- Learning Model Structures from Images (Special Issue on Computer Vision)
- 第3言語を介した対訳辞書の自動生成(多言語処理・質問応答)
- An Efficient Use of Piece-Square Tables in Computer Shogi
- A Modal Proof System for Mobile Processes
- On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)
- Some Experiment With Tic-Tac-Toe
- Evaluation of a Natural Language Interface for Image Retrieval
- (D,d)OM-Search For Practical Use