Practical Verification of Linear Temporal Logic Modulo Theories Specifications Speaker: Nicola Gigante, Researcher, University of Bozen-Bolzano (Italy) Date: Wednesday, February 15, 2023 Time: 3:00pm Location: NIA, Room 101 or via…
Category: Seminars
12-15-2022 | Rômulo Bessi Freitas: WENO Schemes and Application to Steady-State Hypersonic Flow Solutions | Kamil Dylewicz: WENO Scheme Implementation for Eigenvalue Problems in Linear Stability Analysis
WENO Schemes and Application to Steady-State Hypersonic Flow Solutions Speaker: Rômulo Bessi Freitas, Professor, Celso Suckow da Fonseca Federal Center for Technological Education – CEFET/RJ, BrazilDate: Thursday, December 15, 2022Time:…
01-30-2023 | Vishnu Saseendran: Evaluation of Microstructures and Mechanical Performance of Cement Cured in Space
Evaluation of Microstructures and Mechanical Performance of Cement Cured in Space Speaker: Vishnu Saseendran, Department of Aerospace Engineering, The Pennsylvania State UniversityDate: Monday, January 30, 2023Time: 10:00am-11:00am (EST) Abstract With…