スポンサーリンク
Graduate School of Keio University | 論文
- DESIGN METHODOLOGY BASED ON EMERGENCE
- GIS IMAGE SYNTHESIS IN THREE LAYER IMAGE DATA STRUCTURE USING FOL PROVER(International Workshop on Advanced Image Technology 2005)
- Knee Air Bag Deployment and Behavior of Knee Joints
- Vibration reduction in the cabins of heavy-duty trucks using the theory of load transfer paths
- Development of Fibre LDV and Measurements of Turbulence in Boundary Layer on a Flat Plate
- Recommending the Use of Blast Furnace Cement to Reduce CO_2 Emission
- Welding of Thin Steel Plates by Hybrid Welding Process Combined TIG Arc with YAG Laser
- 232 Investigation of Welding Penetration Control in TIG Welding of an Aluminum Pipe Using Vision Sensing
- On Underwater Submerged-Arc Welding (The 2nd Report) : Welding of SM41 steel and SM50 steel Using Flux Cored Wire
- On Underwater Submerged-Arc Welding (The 1st Report) : The Feasibility of Underwater Welding by Submerged-Arc Welding Process
- Measuring Subcutaneous Fat Thickness in Humans Using Ultrasonic Waves
- Measurement of Molten Pool Shape and Penetration Control Applying Neural Network in TIG Welding of Thin Steel Plates
- Application of Artificial Neural Network to Discrimination of Defect Type in Automatic Radiographic Testing of Welds
- Weighting strategy in the state space problem for DS-CDMA code acquisition (日韓合同ワークショップ 1st Korea-Japan Joint Workshop on Ubiquitous Computing and Networking Systems (ubiCNS 2005))
- E-18 Visco-Elasticity of Shape Memory Polymer : Polyurethane series(Session: Contact strength/Mechanical)
- Observation of Conduction Electron Spin Polarization Induced in the Ru Layer of the Antiferromagnetically Coupled Co/Ru Multilayer by Resonant X-ray Magnetic Scattering at the Ru K Absorption Edge
- CLASSIFICATION OF ANALYSIS METHODS FOR DESIGN BASED ON MULTISPACE DESIGN MODEL
- CLASSIFICATION OF IDEA GENERATION METHODS FOR DESIGN BASED ON MULTISPACE DESIGN MODEL
- A remark on the semantic category of the Lukasiewicz rejection-symbol : Addendum to "The notion of Rejection and a Proof of L-Completeness of the Two-Valued Logic"
- The Notion of Logical Rejection and a Proof of L-decidability of the Classical Propositional Logic