Výsledky vyhledávání

  1. 1.
    0539966 - MÚ 2021 RIV eng U - Uspořádání akce
    Dvořák, Z. - Hladký, Jan
    Prague Summer School on Discrete Mathematics 2020.
    [Prague, 24.08.2020-28.08.2020, (W-WRD 70/66)]
    Institucionální podpora: RVO:67985840
    Klíčová slova: topology * theoretical computer science * graph theory
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    http://pssdm.math.cas.cz/2020
    Trvalý link: http://hdl.handle.net/11104/0317649
     
     
  2. 2.
    0537046 - ÚI 2021 RIV CH eng G - Konferenční sborník (zahraniční konf.)
    Martins, M. A. (ed.) - Sedlár, Igor (ed.)
    Dynamic Logic. New Trends and Applications.
    Cham: Springer, 2020. 295 s. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
    [DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
    Institucionální podpora: RVO:67985807
    Klíčová slova: architecting * architecture verification and validation * artificial intelligence * computer programming * computer science * computer systems * dynamic logic * embedded systems * epistemic logic * formal languages * formal logic * linguistics * mathematics * modal logic * model checking * multiagent system * semantics * software architecture * software design * software engineering
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    https://link.springer.com/book/10.1007/978-3-030-65840-3
    Trvalý link: http://hdl.handle.net/11104/0314799
     
     
  3. 3.
    0501039 - ÚI 2020 GB eng B - Monografie kniha jako celek
    Hájek, Petr - Pudlák, Pavel
    Metamathematics of First-Order Arithmetic.
    Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
    Institucionální podpora: RVO:67985807 ; RVO:67985840
    Klíčová slova: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
    Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (MU-W)
    Obor OECD: Pure mathematics; Pure mathematics (MU-W)
    Trvalý link: http://hdl.handle.net/11104/0293053
    Název souboruStaženoVelikostKomentářVerzePřístup
    0501039-titlist.pdf8138.3 KBvolne onlineVydavatelský postprintpovolen
     
     
  4. 4.
    0500645 - MÚ 2019 RIV eng U - Uspořádání akce
    Dvořák, Z. - Hladký, Jan
    Prague Summer School on Discrete Mathematics 2018.
    [Prague, 16.07.2018-20.07.2018, (W-WRD 45/34)]
    Institucionální podpora: RVO:67985840
    Klíčová slova: topology * theoretical computer science * graph theory
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    https://calendar.math.cas.cz/content/prague-summer-school-discrete-mathematics
    Trvalý link: http://hdl.handle.net/11104/0292728
     
     
  5. 5.
    0491993 - ÚI 2019 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Šlapák, M. - Neruda, Roman
    Matching Subtrees in Genetic Programming Crossover Operator.
    ICNC-FSKD 2017. Proceedings of International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery. Piscataway: IEEE, 2017, s. 208-213. ISBN 978-1-5386-2165-3.
    [ICNC-FSKD 2017. International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery /13./. Guilin (CN), 29.07.2017-31.07.2017]
    Grant CEP: GA ČR GA15-19877S
    Grant ostatní:ČVUT(CZ) SGS17/210/OHK3/3T/18
    Institucionální podpora: RVO:67985807
    Klíčová slova: Semantics * Genetic programming * Benchmark testing * Encoding * Standards * Computer science * Electronic mail
    Kód oboru RIV: IN - Informatika
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Trvalý link: http://hdl.handle.net/11104/0285591
     
     
  6. 6.
    0487250 - ÚI 2019 RIV US eng J - Článek v odborném periodiku
    Ratschan, Stefan
    Converse Theorems for Safety and Barrier Certificates.
    IEEE Transactions on Automatic Control. Roč. 63, č. 8 (2018), s. 2628-2632. ISSN 0018-9286. E-ISSN 1558-2523
    Grant CEP: GA ČR GA15-14484S
    Institucionální podpora: RVO:67985807
    Klíčová slova: Safety * Robustness * Radio frequency * Differential equations * Tools * Computer science * Controllability
    Kód oboru RIV: IN - Informatika
    Obor OECD: Robotics and automatic control
    Impakt faktor: 5.093, rok: 2018
    Trvalý link: http://hdl.handle.net/11104/0281922
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0487250.pdf7282.8 KBVydavatelský postprintvyžádat
     
     
  7. 7.
    0484982 - ÚI 2019 RIV CH eng G - Konferenční sborník (zahraniční konf.)
    Tjoa, A.M. (ed.) - Bellatreche, L. (ed.) - Biffl, S. (ed.) - van Leeuwen, J. (ed.) - Wiedermann, Jiří (ed.)
    SOFSEM 2018: Theory and Practice of Computer Science.
    Cham: Springer, 2018. 698 s. Lecture Notes in Computer Science, 10706. ISBN 978-3-319-73116-2. ISSN 0302-9743.
    [Sofsem 2018. International Conference on Current Trends in Theory and Practice of Computer Science /44./. Krems (AT), 29.01.2018-02.02.2018]
    Institucionální podpora: RVO:67985807
    Klíčová slova: theoretical computer science * software engineering * data * information * knowledge engineering
    Kód oboru RIV: IN - Informatika
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    http://dx.doi.org/10.1007/978-3-319-73117-9
    Trvalý link: http://hdl.handle.net/11104/0280112
     
     
  8. 8.
    0469070 - ÚT 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Lampart, M. - Zapoměl, Jaroslav
    Application of a Double-Impact-Element for Vibrations Attenuation of a Machine Mounted on Nonlinear Support.
    Proceedings of the Second International Afro-European Conference for Industrial Advancement: AECIA 2015. Berlin: Springer, 2016 - (Abraham, A.), s. 505-514. Advances in Intelligent Systems and Computing, 427. ISBN 978-3-319-29503-9. ISSN 2194-5357.
    [International Afro-European Conference for Industrial Advancement (AECIA) /2./. Villejuif (FR), 09.09.2015-11.09.2015]
    Grant CEP: GA ČR GA15-06621S
    Institucionální podpora: RVO:61388998
    Klíčová slova: utomation & control systems * computer science * robotics
    Kód oboru RIV: BI - Akustika a kmity
    Trvalý link: http://hdl.handle.net/11104/0266960
     
     
  9. 9.
    0467968 - ÚI 2017 RIV PL eng G - Konferenční sborník (zahraniční konf.)
    Bobrowski, L. (ed.) - Valenta, Zdeněk (ed.) - Enachescu, C. (ed.)
    Statistics and Clinical Practice.
    Warsaw: Polish Academy of Sciences ICB, 2016. 122 s. Lecture Notes of the ICB seminars..
    [ICB Seminar /147./. International Seminar on Statistics and Clinical Practice /10./. Warsaw (PL), 15.05.2016-18.05.2016]
    Institucionální podpora: RVO:67985807
    Klíčová slova: computer science * statistics * clinical practice
    Kód oboru RIV: BB - Aplikovaná statistika, operační výzkum
    Trvalý link: http://hdl.handle.net/11104/0265907
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0467968.pdf3526.1 KBVydavatelský postprintpovolen
     
     
  10. 10.
    0455971 - ÚI 2016 RIV eng U - Uspořádání akce
    Řimnáč, Martin - Štuller, Július
    SOFSEM 2016. 42nd International Conference on Current Trends in Theory and Practice of Computer Science.
    [Harrachov, 23.01.2016-28.03.2016, (K-WRD 74/63)]
    Institucionální podpora: RVO:67985807
    Klíčová slova: Foundations of Computer Science * Software Engineering: Methods, Tools, Applications * Data, Information and Knowledge Engineering
    Kód oboru RIV: IN - Informatika
    http://www.sofsem.cz/sofsem16/
    Trvalý link: http://hdl.handle.net/11104/0256560