スポンサーリンク
Mitsubishi Research Institute, Inc. | 論文
- A Simplifier for Program Verification with Built-in Knowledge on Equality and Partial Ordering and its Use for Finding Loop Invariants
- A Verification System for File Processing Programs (Mathematical Methods in Software Science and Engineering : Third Conference)
- Development of Sensitivity Analysis Code for Elastic-Plastic Dynamic Response of Piping Systems
- 日本の介護保険施設におけるケアスタッフによる BPSD (Behavioral and Psychological Symptoms of Dementia) のマネジメントに関する研究
- Vibrational Response Analysis of Mistuned Bladed Disk
- Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems
- How to estimate the effect of a new technology on the environment? : III. Findings from the case studies and resource productivity, eco-efficiency, and greenity
- How to estimate the effect of a new technology on the environment? : II. Cases of a steel hot-rolling technology and a magnesium alloy forming technology
- SAINT : 汎用確率有限要素法コード(III. 新安全学)
- Numerical Analysis of Thermo-electrically Conducting Fluids in a Cubic Cavity Using Vector Finite Element Method for Induction Equations
- Study on Efficiency of Evacuation with an Obstacle on Hexagonal Cell Space
- Progress in Research on Laser Transmission Systems, Atmospheric Influence on Laser Transmission, and Laser Photovoltaics in Laser Space Solar Power System