Výsledky vyhledávání
- 1.0446008 - ÚI 2016 CZ eng A - Abstrakt
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]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Trvalý link: http://hdl.handle.net/11104/0247993Název souboru Staženo Velikost Komentář Verze Přístup a0446008.pdf 1 3.7 MB Vydavatelský postprint povolen - 2.0436644 - ÚI 2015 CZ eng A - Abstrakt
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]
Grant CEP: GA MŠMT LM2011033; GA MŠMT ED1.1.00/02.0070
Grant ostatní: Central Europe Project 3CE292P3
Institucionální podpora: RVO:67985807
Klíčová slova: air pollution * chemical transport models
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
Trvalý link: http://hdl.handle.net/11104/0240359Název souboru Staženo Velikost Komentář Verze Přístup 0436644.pdf 3 122.1 KB Vydavatelský postprint povolen - 3.0431685 - ÚI 2015 AT eng A - Abstrakt
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]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: type theory * higher-order logic * weakly implicative logics * teorie typů * logika vyššího řádu * slabě implikační logiky
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236270Název souboru Staženo Velikost Komentář Verze Přístup a0431685.pdf 0 440.4 KB Vydavatelský postprint povolen - 4.0429486 - ÚGN 2015 CZ eng A - Abstrakt
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]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Institucionální podpora: RVO:68145535
Klíčová slova: parallel processing * FEM systems * Micromechanics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0234593 - 5.0429484 - ÚGN 2015 CZ eng A - Abstrakt
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]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Institucionální podpora: RVO:68145535
Klíčová slova: SEALEX experiments * modelling * Decovalex 2015
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0234592 - 6.0428846 - ÚI 2015 CH eng A - Abstrakt
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]
Grant CEP: GA MŠMT LD12009; GA MŠMT ED1.1.00/02.0070; GA MŠMT LM2011033
Grant ostatní: Central Europe Project 3CE292P3; European Cooperation in Science and Technology(XE) COST ES1002
Institucionální podpora: RVO:67985807
Klíčová slova: air pollution * mathematical modeling * air quality
Kód oboru RIV: DG - Vědy o atmosféře, meteorologie
http://www.wire1002.ch/
Trvalý link: http://hdl.handle.net/11104/0234091Název souboru Staženo Velikost Komentář Verze Přístup 0428846.pdf 3 510.2 KB Autorský preprint povolen - 7.0427495 - ÚI 2015 AT eng A - Abstrakt
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]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: elementary extension * finite negative commutative totally ordered monoid * level set * monoidal t-norm based logic * Rees congruence * Reidemeister closure condition * web geometry
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0233025Název souboru Staženo Velikost Komentář Verze Přístup a0427495.pdf 0 111.3 KB Vydavatelský postprint povolen - 8.0427494 - ÚI 2015 AT eng A - Abstrakt
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]
Grant CEP: GA MŠMT ED1.1.00/02.0070
Grant ostatní: GA MŠk EE2.3.30.0010
Institucionální podpora: RVO:67985807
Klíčová slova: type theory * many-valued logics * higher-order logic * teorie typů * vícehodnotové logiky * logika vyššího řádu
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0233024Název souboru Staženo Velikost Komentář Verze Přístup a0427494.pdf 0 96.6 KB Vydavatelský postprint povolen