Understanding Phenomena by Numerical Simulations

• TAGAMI, Daisuke
• Keyword: Numerical Analysis, Computational Fluid Dynamics, Computational Electromagnetics, Computer Aided Engineering
• Reference

Modeling of Solid-to-Solid Phase-Transformations in Shape-Memory Alloys Homogenization and Gamma-Convergence Problems for Nematic Elastomers

• CESANA, Pierluigi
• Keyword: PDEs, Calculus of Variations, Gamma-convergence, Materials Science
• Reference

Algebraic specification

• GAINA, Daniel
• Keyword: Logic, Formal Methods, Category Theory
• Reference