Search results
- 1.0446008 - ÚI 2016 CZ eng A - Abstract
Běhounek, Libor - Novák, V.
Fuzzy Partial Logic: Combining Graduality and Undefinedness.
Logica 2015. Prague: Institute of Philosophy AS CR, 2015. s. 9-11.
[Logica 2015. 15.06.2015-19.06.2015, Hejnice]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Permanent Link: http://hdl.handle.net/11104/0247993File Download Size Commentary Version Access a0446008.pdf 1 3.7 MB Publisher’s postprint open-access - 2.0436644 - ÚI 2015 CZ eng A - Abstract
Resler, Jaroslav - Juruš, Pavel - Eben, Kryštof - Liczki, Jitka - Belda, Michal - Kasanický, Ivan - Pelikán, Emil - Karel, J. - Jareš, R. - Vlček, O. - Benešová, N. - Kazmuková, M.
Fine Resolution Modelling of Meteorological Conditions and Air Quality in Urbanized Areas.
Modelling 2014. Ostrava: Ústav geoniky AV ČR, 2014 - (Blaheta, R.; Starý, J.; Sysalová, D.). s. 68-69. ISBN 978-80-86407-47-0.
[Modelling 2014. 02.06.2014-06.06.2014, Rožnov pod Radhoštěm]
R&D Projects: GA MŠMT LM2011033; GA MŠMT ED1.1.00/02.0070
Grant - others:Central Europe Project 3CE292P3
Institutional support: RVO:67985807
Keywords : air pollution * chemical transport models
Subject RIV: DG - Athmosphere Sciences, Meteorology
Permanent Link: http://hdl.handle.net/11104/0240359File Download Size Commentary Version Access 0436644.pdf 3 122.1 KB Publisher’s postprint open-access - 3.0431685 - ÚI 2015 AT eng A - Abstract
Běhounek, Libor
Church-style type theories over finitary weakly implicative logics.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 131-133
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Institutional support: RVO:67985807
Keywords : type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236270File Download Size Commentary Version Access a0431685.pdf 0 440.4 KB Publisher’s postprint open-access - 4.0429486 - ÚGN 2015 CZ eng A - Abstract
Blaheta, Radim - Jakl, Ondřej - Starý, Jiří
Parallel Processing of High Resolution FEM Systems in Micromechanics.
Modelling 2014. Ostrava: Ústav geoniky AV ČR, 2014 - (Blaheta, R.; Starý, J.; Sysalová, D.). s. 44-44. ISBN 978-80-86407-47-0.
[Modelling 2014. 02.06.2014-06.06.2014, Rožnov pod Radhoštěm]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Institutional support: RVO:68145535
Keywords : parallel processing * FEM systems * Micromechanics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0234593 - 5.0429484 - ÚGN 2015 CZ eng A - Abstract
Blaheta, Radim - Hasal, M. - Michalec, Zdeněk
Hydro-mechanical Modelling of SEALEX Experiments.
Modelling 2014. Ostrava: Ústav geoniky AV ČR, 2014 - (Blaheta, R.; Starý, J.; Sysalová, D.). s. 43-43. ISBN 978-80-86407-47-0.
[Modelling 2014. 02.06.2014-06.06.2014, Rožnov pod Radhoštěm]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Institutional support: RVO:68145535
Keywords : SEALEX experiments * modelling * Decovalex 2015
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0234592 - 6.0428846 - ÚI 2015 CH eng A - Abstract
Resler, Jaroslav - Juruš, Pavel - Eben, Kryštof - Liczki, Jitka - Belda, Michal - Kasanický, Ivan - Pelikán, Emil - Karel, J. - Jareš, R. - Vlček, O. - Benešová, N. - Kazmuková, M.
Fine resolution modelling of meteorological conditions and air quality in urbanized areas.
Urban Areas Workshop. Bern: Meteotest, 2014. s. 11-11.
[COST WIRE and CITIES Workshop, Waether Intelligence for Renewable Urban Areas. 02.06.2014-03.06.2014, Roskilde]
R&D Projects: GA MŠMT LD12009; GA MŠMT ED1.1.00/02.0070; GA MŠMT LM2011033
Grant - others:Central Europe Project 3CE292P3; European Cooperation in Science and Technology(XE) COST ES1002
Institutional support: RVO:67985807
Keywords : air pollution * mathematical modeling * air quality
Subject RIV: DG - Athmosphere Sciences, Meteorology
http://www.wire1002.ch/
Permanent Link: http://hdl.handle.net/11104/0234091File Download Size Commentary Version Access 0428846.pdf 3 510.2 KB Author´s preprint open-access - 7.0427495 - ÚI 2015 AT eng A - Abstract
Petrík, Milan - Vetterlein, T.
Finite negative commutative tomonoids and the level-set approach.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 110-114
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Institutional support: RVO:67985807
Keywords : elementary extension * finite negative commutative totally ordered monoid * level set * monoidal t-norm based logic * Rees congruence * Reidemeister closure condition * web geometry
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233025File Download Size Commentary Version Access a0427495.pdf 0 111.3 KB Publisher’s postprint open-access - 8.0427494 - ÚI 2015 AT eng A - Abstract
Běhounek, Libor
A ground many-valued type theory and its extensions.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 15-18
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
R&D Projects: GA MŠMT ED1.1.00/02.0070
Grant - others:GA MŠk EE2.3.30.0010
Institutional support: RVO:67985807
Keywords : type theory * many-valued logics * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233024File Download Size Commentary Version Access a0427494.pdf 0 96.6 KB Publisher’s postprint open-access