ITP AERO UK LTD

Projekt → Reinforcement learning to improve proof-automation in theorem proving Developing generic proof automation methods for interactive theorem provers (ITPs) is challenging but valuable. Applications rang… Beitrag ansehen → Projekt → Innovative Value Chains for European Ceramic Oxide Fibres Oxide fibre reinforced ceramics, so-called oxide ceramic matrix composites (O-CMC) have to be considered as strategic materials f… Beitrag ansehen → Projekt → HydrogEn combuSTion In Aero engines To reduce climate impact of aviation, decarbonisation is a major challenge. Current combustion chambers are burning hydrocarbon f… Beitrag ansehen → Unternehmen → MTU AERO ENGINES AG MTU AERO ENGINES AG – Unternehmen mit Aktivitäten in Forschung und Innovation. Beitrag ansehen → Unternehmen → SOFITEC AERO SL SOFITEC AERO SL – Unternehmen mit Aktivitäten in Forschung und Innovation. Beitrag ansehen → Projekt → Contact-induced blade-casing interactions in aero-engine turbines - An integrated simulation framework for local and global nonlinearities Gas turbines play a vital role in terms of energy and mobility in 21st century. Accurate simulation tools are mandatory to increa… Beitrag ansehen →