Feramat Cybernetics (Czechia)

Product L ukasiewicz Logic

Rostislav Horc�k, Petr Cintula · Archive for Mathematical Logic · 2004 · 44 citations

Automated Reasoning, Classical Logic, Higher-order Logic +2

Superimposition and projective transformation of 3D object

Hana Eliášová, Pavel Kršek · Forensic Science International · 2006 · 23 citations

Geometric Modeling, Machine Vision, Engineering +9

Model-based airflow controller design for fire ventilation in road tunnels

Jan Šulc, Lukáš Ferkl, Jiří Cigler et al. · Tunnelling and Underground Space Technology · 2016 · 23 citations

Fire Engineering, Engineering, Fire Safety +7

Testing Computer Models Predicting Human Responses to a High-Salt Diet

Theodore W. Kurtz, Stephen E. DiCarlo, Michal Pravenec et al. · Hypertension · 2018 · 19 citations · Full text

Optimization-based control of ventilation in a road tunnel complex

Jan Šulc, Lukáš Ferkl, Jiří Cigler et al. · Control Engineering Practice · 2017 · 17 citations

Engineering, Ventilation, Optimization-based Control +5