česky | in English
RIV/00216224:14330/22:00127006 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: introductory programming; python; code quality; feedback
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:00.
RIV/00216224:14330/22:00125535 Stať ve sborníku. angličtina.
Chren, Stanislav (703 Slovensko, garant, domácí) -- Macák, Martin (703 Slovensko, domácí) -- Rossi, Bruno (380 Itálie, domácí) -- Bühnová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: Software Engineering; Software Engineering Education; Software Quality; Static Code Analysis; Qualitative Analysis
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Martin Macák, Ph.D., učo 410452. Změněno: 12. 3. 2023 21:21.
RIV/00216224:14610/22:00125013 Stať ve sborníku. angličtina. Spojené státy.
Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí) -- Chudovský, Radoslav (703 Slovensko, domácí)
Klíčová slova anglicky: cybersecurity education; command-line history; educational data mining; learning analytics; assessment; modeling
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 30. 3. 2023 13:22.
RIV/00216224:14330/22:00126231 Stať ve sborníku. angličtina. Spojené státy.
Koniarik, Jan (203 Česká republika, domácí) -- Dlhopolček, Daniel (703 Slovensko, domácí) -- Ukrop, Martin (703 Slovensko, garant, domácí)
Klíčová slova anglicky: emote teaching; embedded systems; remote hardware access
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2024 09:58.
RIV/00216224:14330/22:00129307 Stať ve sborníku. angličtina. Německo.
Bekos, Michael A. (300 Řecko) -- Da Lozzo, Giordano (380 Itálie) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kaufmann, Michael (276 Německo)
Klíčová slova anglicky: Graph product structure theory; h-framed graphs; k-map graphs; queue number; twin-width
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:07.
RIV/00216224:14330/22:00126328 Stať ve sborníku. angličtina. Německo.
Briański, Marcin (616 Polsko) -- Koutecký, Martin (203 Česká republika) -- Kráľ, Daniel (203 Česká republika, garant, domácí) -- Pekárková, Kristýna (203 Česká republika, domácí) -- Schröder, Felix (276 Německo)
Klíčová slova anglicky: integer programming; width parameters; matroids; Graver basis; tree-depth; fixed parameter tractability
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Daniel Kráľ, Ph.D., DSc., učo 44742. Změněno: 13. 1. 2023 09:41.
Název česky: Implicitní neurální reprezentace pro generativní modelování tvaru živých buněk
RIV/00216224:14330/22:00125774 Stať ve sborníku. angličtina. Švýcarsko.
Wiesner, David (203 Česká republika, domácí) -- Suk, Julian (528 Nizozemské království) -- Dummer, Sven (528 Nizozemské království) -- Svoboda, David (203 Česká republika, garant, domácí)
Klíčová slova anglicky: cell shape modeling; neural networks; implicit neural representations; signed distance function; generative model; interpolation
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 10:42.
RIV/00216224:14610/22:00125815 Stať ve sborníku. angličtina. Spojené státy.
Němcová, Petra (203 Česká republika, domácí) -- Hozzová, Jana (703 Slovensko, domácí) -- Filipovič, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: CaverDock; ligand transport; flexible receptor; molecular docking; search heuristic; continuous space search
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Marie Šípková, DiS., učo 437722. Změněno: 7. 2. 2024 16:11.
RIV/00216224:14330/22:00125672 Stať ve sborníku. angličtina. Česká republika.
Balážia, Michal (703 Slovensko, garant, domácí) -- Hlaváčková-Schindler, Kateřina (203 Česká republika) -- Sojka, Petr (203 Česká republika, domácí) -- Plant, Claudia (40 Rakousko)
Klíčová slova anglicky: Granger causality; gait recognition
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 10:34.
RIV/00216224:14330/22:00127298 Stať ve sborníku. angličtina. Spojené státy.
Kriglstein, Simone (40 Rakousko, domácí)
Klíčová slova anglicky: Training; Virtual Reality; Gender; Virtual Agents
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2024 16:43.
RIV/00216224:14330/22:00126492 Stať ve sborníku. angličtina.
Iqbal, Danish (586 Pákistán, domácí) -- Bühnová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Trust; Modeling; Autonomous Drones; Digital Twin; Run-time Verification
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 4. 2023 10:02.
RIV/00216224:14330/22:00126184 Stať ve sborníku. angličtina.
Kostka, Petr (203 Česká republika, domácí) -- Rossi, Bruno (380 Itálie, garant, domácí) -- Ge, Mouzhi (156 Čína)
Klíčová slova anglicky: Industry 4.0; Monte Carlo Simulations; MCMC; MC
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Bruno Rossi, PhD, učo 232464. Změněno: 10. 3. 2023 17:40.
Název česky: On Usefulness of Outlier Elimination in Classification Tasks
Název anglicky: On Usefulness of Outlier Elimination in Classification Tasks
RIV/00216224:14330/22:00126186 Stať ve sborníku. angličtina.
Hetlerović, Dušan (703 Slovensko, domácí) -- Popelínský, Lubomír (203 Česká republika, domácí)
Klíčová slova anglicky: Outlier elimination; Metalearning; Average ranking; Reduction of portfolios
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:48.
RIV/00216224:14330/22:00127027 Stať ve sborníku. angličtina.
Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: patrolling games; strategy synthesis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 4. 2023 03:29.
RIV/00216224:14330/22:00129306 Stať ve sborníku. angličtina. Německo.
Hamm, Thekla (276 Německo) -- Hliněný, Petr (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Crossing Number; Drawing Extension; Parameterised Complexity; Partial Planarity
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 6. 1. 2023 11:16.
Název anglicky: Precisional Detection Strategy for 6LoWPAN Networks in IoT
RIV/00216224:14330/22:00126779 Stať ve sborníku. angličtina. Česká republika.
Mbarek, Bacem (788 Tunisko, domácí) -- Ge, Mouzhi (156 Čína) -- Pitner, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: IoT; Network; 6LoWPAN; Security; Intrusion Detection.
Změnil: Bacem Mbarek, PhD, učo 242111. Změněno: 18. 3. 2023 16:32.
RIV/00216224:14610/22:00125129 Stať ve sborníku. angličtina. Spojené státy.
Vykopal, Jan (203 Česká republika, garant, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí) -- Šeda, Pavel (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
Klíčová slova anglicky: summative assessment; automatic problem generation; networking; operating systems; cybersecurity; exercise; homework; case study
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Valdemar Švábenský, Ph.D., učo 395868. Změněno: 26. 1. 2023 16:14.
Název anglicky: Process Mining Analysis of Puzzle-Based Cybersecurity Training
RIV/00216224:14330/22:00125555 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
Macák, Martin (703 Slovensko, garant, domácí) -- Ošlejšek, Radek (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: cybersecurity training; CTF game; process mining; data analysis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Změněno: 19. 12. 2023 17:08.
RIV/00216224:14330/22:00127036 Stať ve sborníku. angličtina. Švýcarsko.
Balabán, Jakub (203 Česká republika, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Jedelský, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: twin-width;proper interval graph;proper mixed-thin graph;transduction equivalence
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:02.
RIV/00216224:14330/22:00126576 Stať ve sborníku. angličtina. Německo.
Ganian, Robert (203 Česká republika) -- Pokrývka, Filip (703 Slovensko, domácí)
Klíčová slova anglicky: Weighted model counting;twin-width;parameterized complexity;SAT
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 11:54.
RIV/00216224:14330/21:00119154 Stať ve sborníku. angličtina. Švýcarsko.
Sedláček, Vladimír (203 Česká republika, garant, domácí) -- Jančár, Ján (703 Slovensko, domácí)
Klíčová slova anglicky: elliptic curve cryptography; ECDH; side-channel analysis; RPA; ZVP; EPA; exceptional points
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:22.
RIV/00216224:14330/21:00121881 Stať ve sborníku. angličtina. Švýcarsko.
Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: Additive factor model; Student modeling; Simulation; Model comparison
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:19.
RIV/00216224:14330/21:00119288 Stať ve sborníku. angličtina. Německo.
Bok, Jan (203 Česká republika) -- Fiala, Jiří (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Jedličková, Nikola (203 Česká republika) -- Kratochvíl, Jan (203 Česká republika)
Klíčová slova anglicky: graph cover; covering projection; semiedges; multigraphs; complexity
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 19. 4. 2022 10:10.
RIV/00216224:14330/21:00119194 Stať ve sborníku. angličtina. Německo.
Ajdarów, Michal (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
Klíčová slova anglicky: VASS; termination complexity
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 09:59.
RIV/00216224:14330/21:00122203 Stať ve sborníku. angličtina. Švýcarsko.
Síč, Juraj (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: dependency quantified Boolean formulas; DQBF; binary decision diagrams; BDD; DQBDD
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:57.
RIV/00216224:14330/21:00118943 Stať ve sborníku. angličtina.
Budíková, Petra (203 Česká republika, garant, domácí) -- Sedmidubský, Jan (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, domácí)
Klíčová slova anglicky: human motion data; skeleton sequences; motion word; text-based processing; indexing; extended inverted files; ranked retrieval; approximate searching; scalability
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: RNDr. Petra Budíková, Ph.D., učo 66445. Změněno: 20. 4. 2022 11:27.
Název anglicky: ω-Forest Algebras and Temporal Logics
RIV/00216224:14330/21:00119652 Stať ve sborníku. angličtina. Německo.
Blumensath, Achim (276 Německo, garant, domácí) -- Lédl, Jakub (203 Česká republika, domácí)
Klíčová slova anglicky: forest algebras; wreath products; temporal logics
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 07:56.
RIV/00216224:14330/21:00119269 Stať ve sborníku. angličtina.
Blahoudek, František (203 Česká republika) -- Cubuktepe, Murat (792 Turecko) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Ornik, Melkior (191 Chorvatsko) -- Thangeda, Pranay (356 Indie) -- Topcu, Ufuk (792 Turecko)
Klíčová slova anglicky: resource constraints; planning under uncertainty; Markov decision processes
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 10:03.
RIV/00216224:14330/21:00121376 Stať ve sborníku. angličtina. Spojené státy.
Riese, Emma (752 Švédsko) -- Lorås, Madeleine (578 Norsko) -- Ukrop, Martin (703 Slovensko, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: Teaching assistants; TAs; challenges
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Tomáš Effenberger, Ph.D., učo 410350. Změněno: 16. 11. 2022 10:47.
RIV/00216224:14330/21:00121982 Stať ve sborníku. angličtina. Švýcarsko.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: interpretable clustering; pattern mining; introductory programming; problem solving
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:20.
RIV/00216224:14330/21:00122992 Stať ve sborníku. angličtina.
Badr, Nabil (840 Spojené státy) -- Walletzký, Leonard (203 Česká republika, domácí) -- Drăgoicea, Monica (642 Rumunsko) -- Carrubbo, Luca (380 Itálie) -- Toli, Angeliki Maria (300 Řecko)
Klíčová slova anglicky: Service Sciencecontextual modellingdataethicsservice modelling
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 26. 4. 2022 10:22.
RIV/00216224:14330/21:00119268 Stať ve sborníku. angličtina.
Chatterjee, Krishnendu (356 Indie) -- Goharshady, Ehsan Kafshdar (364 Írán) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Zárevúcky, Jiří (203 Česká republika, domácí) -- Žikelić, Djordje (688 Srbsko)
Klíčová slova anglicky: program analysis; probabilistic programs; almost-sure termination; martingales
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 10:00.
RIV/00216224:14330/21:00125683 Stať ve sborníku. angličtina. Spojené státy.
Nováček, Vít (203 Česká republika, garant, domácí)
Klíčová slova anglicky: machine learning; lung cancer; relapse prediction
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Bc. Vít Nováček, PhD, učo 4049. Změněno: 2. 1. 2023 10:10.
RIV/00216224:14330/21:00122594 Stať ve sborníku. angličtina. Spojené státy.
Mrázek, Jan (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: robots reconfiguration
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 26. 4. 2022 10:11.
RIV/00216224:14330/21:00122557 Stať ve sborníku. angličtina.
Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí)
Klíčová slova anglicky: adversarial security games; strategy synthesis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 3. 2023 16:08.
Název anglicky: Symbolic Coloured SCC Decomposition
RIV/00216224:14330/21:00121404 Stať ve sborníku. angličtina. Švýcarsko.
Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
Klíčová slova anglicky: strongly connected components; symbolic algorithm; edge-coloured digraphs; systems biology
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 02:09.
RIV/00216224:14330/21:00120892 Stať ve sborníku. angličtina.
Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Gol, Ebru Aydin (203 Česká republika) -- Černá, Ivana (203 Česká republika, domácí)
Klíčová slova anglicky: Timed Automata - Reachability - Relaxation of Constraints
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 02:12.
RIV/00216224:14330/21:00121402 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: student modeling; skills; difficulties; validity; reliability; performance measures; problem solving; introductory programming
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:16.
RIV/00216224:14610/20:00115112 Stať ve sborníku. angličtina. Spojené státy.
Vykopal, Jan (203 Česká republika, garant, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí)
Klíčová slova anglicky: cybersecurity; capture the flag; summative assessment; homework assignment; plagiarism; learning analytics; educational data mining
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 30. 3. 2023 15:53.
Název česky: neuniformní privátní RSA klíče: Určování původu klíčů faktorizovatelných algoritmem GCD
Název anglicky: Biased RSA private keys: Origin attribution of GCD-factorable keys
RIV/00216224:14330/20:00115914 Stať ve sborníku. angličtina. Švýcarsko.
Janovský, Adam (203 Česká republika, garant, domácí) -- Nemec, Matúš (703 Slovensko) -- Švenda, Petr (203 Česká republika, domácí) -- Sekan, Peter (703 Slovensko) -- Matyáš, Václav (203 Česká republika, domácí)
Klíčová slova anglicky: Cryptographic library; RSA factorization; Measurement; RSA key classification; Statistical model
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 5. 1. 2023 14:25.
RIV/00216224:14330/20:00114292 Stať ve sborníku. angličtina. Německo.
Cagirici, Onur (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Pokrývka, Filip (703 Slovensko, domácí) -- Sankaran, Abhisekh (356 Indie)
Klíčová slova anglicky: point configuration; order type; fixed-parameter tractability; relational structure; clique-width
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:20.
RIV/00216224:14330/20:00115155 Stať ve sborníku. angličtina. Spojené státy.
Strečanský, Peter (703 Slovensko, domácí) -- Chren, Stanislav (703 Slovensko, domácí) -- Rossi, Bruno (380 Itálie, garant, domácí)
Klíčová slova anglicky: Software Technical Debt; Software Maintenance; Software Quality; Maintainability Index; SIG Method; SQALE
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Bruno Rossi, PhD, učo 232464. Změněno: 14. 1. 2021 10:54.
Název anglicky: DG: Analysis and Slicing of LLVM Bitcode
RIV/00216224:14330/20:00114295 Stať ve sborníku. angličtina.
Chalupa, Marek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: call graph construction; data dependence analysis; program slicing
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:23.
RIV/00216224:14330/20:00115140 Stať ve sborníku. angličtina. Spojené státy.
Mbarek, Bacem (788 Tunisko, domácí) -- Ge, Mouzhi (156 Čína, domácí) -- Pitner, Tomáš (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Internet of Things; Network protocol; Security; Intrusion detection systems; Replica detection; Clone attacks
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2021 09:49.
RIV/00216224:14330/20:00114216 Stať ve sborníku. angličtina.
Sedláček, Vladimír (203 Česká republika, garant, domácí) -- Jančár, Ján (703 Slovensko, domácí) -- Švenda, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: ECC; primality; pseudoprimes; smartcards
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:26.
RIV/00216224:14330/20:00116669 Stať ve sborníku. angličtina. Švýcarsko.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: adaptive learning; student modeling; intelligent tutoring systems; introductory programming
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:14.
RIV/00216224:14330/20:00114291 Stať ve sborníku. angličtina. Německo.
Agaoglu, Deniz (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
Klíčová slova anglicky: intersection graph; isomorphism testing; interval graph; H-graph
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 4. 2021 22:16.
RIV/00216224:14610/20:00115109 Stať ve sborníku. angličtina. Spojené státy.
Čeleda, Pavel (203 Česká republika, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí) -- Slavíček, Karel (203 Česká republika, domácí)
Klíčová slova anglicky: training facility; modular testbed; cyber-physical systems; industrial control systems; ICS; SCADA; cybersecurity education; syllabus
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 30. 3. 2023 16:02.
RIV/00216224:14330/20:00116613 Stať ve sborníku. angličtina. Německo.
Chan, Timothy Fong Nam (826 Velká Británie a Severní Irsko) -- Cooper, Jacob (826 Velká Británie a Severní Irsko, domácí) -- Koutecký, Martin (203 Česká republika) -- Kráľ, Daniel (203 Česká republika, garant, domácí) -- Pekárková, Kristýna (203 Česká republika, domácí)
Klíčová slova anglicky: matroid algorithms; width parameters; integer programming; fixed parameter tractability; branch-width; branch-depth
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 26. 4. 2021 07:20.
RIV/00216224:14330/20:00114222 Stať ve sborníku. angličtina. Německo.
Jančár, Ján (703 Slovensko, garant, domácí) -- Sedláček, Vladimír (203 Česká republika, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Sýs, Marek (703 Slovensko, domácí)
Klíčová slova anglicky: ECDSA; Hidden Number Problem; side-channel attack; lattice attack; smartcard
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:26.
RIV/00216224:14330/20:00114026 Stať ve sborníku. angličtina.
Sedmidubský, Jan (203 Česká republika, garant, domácí) -- Budíková, Petra (203 Česká republika, domácí) -- Dohnal, Vlastislav (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, domácí)
Klíčová slova anglicky: 3D skeleton sequence;motion word;motion vocabulary;quantization;border problem;text-based processing
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:21.
Název anglicky: MUST: Minimal Unsatisfiable Subsets Enumeration Tool
RIV/00216224:14330/20:00115396 Stať ve sborníku. angličtina.
Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí)
Klíčová slova anglicky: Minimal unsatisfiable subsets;Unsatisfiability analysis;Infeasibility analysis;MUS;Diagnosis
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 5. 2021 05:40.
Název anglicky: Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
RIV/00216224:14330/20:00116179 Stať ve sborníku. angličtina.
Bendík, Jaroslav (203 Česká republika) -- Černá, Ivana (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Minimal Unsatisfiable Subsets;MUSes;Over-constrained systems
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 5. 2021 05:51.
RIV/00216224:14330/20:00115569 Stať ve sborníku. angličtina.
Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí)
Klíčová slova anglicky: Maximal Satisfiable Subsets;Minimal Correction Subsets;Infeasibility Analysis;Diagnosis;MSS;MCS
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 5. 2021 05:46.
RIV/00216224:14330/20:00114392 Stať ve sborníku. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: SMT solving; bit-vector logic; Boolector; Q3B
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:29.
RIV/00216224:14330/20:00115447 Stať ve sborníku. angličtina. Spojené státy.
Daubner, Lukáš (203 Česká republika, domácí) -- Macák, Martin (703 Slovensko, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: Forensic Readiness; Verification; Digital Forensics; Forensic by Design; Software Development
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2021 06:18.
RIV/00216224:14610/20:00115110 Stať ve sborníku. angličtina. Spojené státy.
Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
Klíčová slova anglicky: cybersecurity education; systematic literature review; systematic mapping study; survey; SIGCSE community; ITiCSE community
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2024 09:50.
Název anglicky: A Join-Based Hybrid Parameter for Constraint Satisfaction
RIV/00216224:14330/19:00113721 Stať ve sborníku. angličtina. Spojené státy.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo) -- Szeider, Stefan (40 Rakousko)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:29.
Název anglicky: Abstract Dependency Graphs and Their Application to Model Checking
RIV/00216224:14330/19:00113640 Stať ve sborníku. angličtina. Nizozemské království.
Enevoldsen, Soeren (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: dependency graph; on-the-fly algorithms; verification; model checking
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:27.
RIV/00216224:14330/19:00109329 Stať ve sborníku. angličtina. Spojené státy.
Dang, Vinh Quang (704 Vietnam, domácí) -- Rudová, Hana (203 Česká republika, garant, domácí) -- Nguyen, Cong Thanh (704 Vietnam)
Klíčová slova anglicky: Scheduling; Mobile robots; Adaptive Large Neighborhood Search; Flexible Manufacturing Systems
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 18. 11. 2021 13:30.
RIV/00216224:14330/19:00107371 Stať ve sborníku. angličtina.
Sedmidubský, Jan (203 Česká republika, garant, domácí) -- Eliáš, Petr (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, domácí)
Klíčová slova anglicky: motion capture dataset;continuous 3D skeleton sequence;stream-based processing;benchmark;subsequence search;action detection;mining
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Jan Sedmidubský, Ph.D., učo 60474. Změněno: 15. 4. 2020 10:19.
RIV/00216224:14330/19:00108275 Stať ve sborníku. angličtina. Spojené státy.
Bokal, Drago (705 Slovinsko) -- Dvořák, Zdeněk (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Leanos, Jesus (484 Mexiko) -- Mohar, Bojan (705 Slovinsko) -- Wiedera, Tilo (276 Německo)
Klíčová slova anglicky: Crossing number; Crossing-critical; Exhaustive generation; Path-width
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:11.
RIV/00216224:14330/19:00107764 Stať ve sborníku. angličtina. Švýcarsko.
Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Velan, Dominik (203 Česká republika, domácí)
Klíčová slova anglicky: angelic and demonic nondeterminism; termination time; probabilistic VASS
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 17. 4. 2020 12:21.
Název anglicky: Digital Bifurcation Analysis of TCP Dynamics
RIV/00216224:14330/19:00107359 Stať ve sborníku. angličtina. Německo.
Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Pastva, Samuel (703 Slovensko, garant, domácí) -- Šafránek, David (203 Česká republika, domácí)
Klíčová slova anglicky: bifurcation analysis; TCP; terminal strongly connected components; robustness
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 15. 4. 2021 12:19.
RIV/00216224:14330/19:00108274 Stať ve sborníku. angličtina. Švýcarsko.
Hliněný, Petr (203 Česká republika, garant, domácí) -- Sankaran, Abhisekh (356 Indie)
Klíčová slova anglicky: Graph drawing; Crossing number; Parameterized complexity; Vertex cover
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 4. 2021 21:46.
RIV/00216224:14330/19:00107786 Stať ve sborníku. angličtina. Švýcarsko.
Baier, Christel (276 Německo) -- Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (756 Švýcarsko) -- Klein, Joachim (276 Německo) -- Müller, David (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: TELA; Emerson-Lei automata; emptiness check; probabilistic model checking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 11:04.
Název anglicky: Group Activity Selection with Few Agent Types
RIV/00216224:14330/19:00113722 Stať ve sborníku. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo) -- Rahul, C. S. (356 Indie)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:13.
RIV/00216224:14330/19:00110171 Stať ve sborníku. angličtina. Spojené státy.
Chren, Stanislav (703 Slovensko, domácí) -- Rossi, Bruno (380 Itálie, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Ge, Mouzhi (156 Čína, garant, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: Industrial involvement; Software quality course; Information system education; Teaching information systems
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2024 17:27.
Název anglicky: Integer Programming and Incidence Treedepth
RIV/00216224:14330/19:00113725 Stať ve sborníku. angličtina. Spojené státy.
Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Knop, Dusan (203 Česká republika) -- Ordyniak, Sebastian (276 Německo) -- Pilipczuk, Michal (616 Polsko) -- Wrochna, Marcin (616 Polsko)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 14. 5. 2020 10:54.
RIV/00216224:14330/19:00110476 Stať ve sborníku. angličtina. Švýcarsko.
Čechák, Jaroslav (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: intelligent tutoring system; data collection; explore-exploit tradeoff; simulation
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 12:41.
RIV/00216224:14330/19:00107770 Stať ve sborníku. angličtina. Švýcarsko.
Major, Juraj (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Jánošová, Miriama (703 Slovensko, domácí) -- Zbončáková, Tatiana (703 Slovensko, domácí)
Klíčová slova anglicky: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 00:04.
Název anglicky: Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth
RIV/00216224:14330/19:00113726 Stať ve sborníku. angličtina. Spojené státy.
Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Hamm, Thekla (276 Německo) -- Kwon, O-joung (410 Korejská republika)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 14. 5. 2020 10:54.
RIV/00216224:14330/19:00110475 Stať ve sborníku. angličtina. Spojené státy.
Ferková, Zuzana (703 Slovensko, domácí) -- Matula, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: Facial landmark detection; point distribution model; FIDENTIS; HCI
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 12:41.
RIV/00216224:14330/19:00108293 Stať ve sborníku. angličtina. Německo.
Křetínský, Jan (203 Česká republika, garant, domácí) -- Meggendorfer, Tobias (276 Německo)
Klíčová slova anglicky: Partial Exploration; Markov Decision Processes; Verification
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:16.
Název anglicky: On Strict (Outer-)Confluent Graphs
RIV/00216224:14330/19:00113723 Stať ve sborníku. angličtina. Spojené státy.
Forster, Henry (840 Spojené státy) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Klute, Fabian (276 Německo) -- Nollenburg, Martin (276 Německo)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:30.
RIV/00216224:14330/19:00107669 Stať ve sborníku. angličtina. Německo.
Balaji, Nikhil (356 Indie) -- Kiefer, Stefan (276 Německo) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Pérez, Guillermo A. (340 Honduras) -- Shirmohammadi, Mahsa (364 Írán)
Klíčová slova anglicky: Markov decision processes; probabilistic verification; value iteration
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 17. 4. 2020 12:16.
Název anglicky: Parameterized Algorithms for Book Embedding Problems
RIV/00216224:14330/19:00113724 Stať ve sborníku. angličtina. Spojené státy.
Bhore, Sujoy (356 Indie) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Montecchiani, Fabrizio (380 Itálie) -- Nollenburg, Martin (276 Německo)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:31.
Název anglicky: Partial Order Reduction for Reachability Games
RIV/00216224:14330/19:00113643 Stať ve sborníku. angličtina. Německo.
Boenneland, Frederik M. (208 Dánsko) -- Jensen, Peter G. (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Muniz, Marco (604 Peru) -- Srba, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: partial order reduction; Petri nets; reachability games
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 13:35.
RIV/00216224:14610/19:00108335 Stať ve sborníku. angličtina. Spojené státy.
Jirsík, Tomáš (203 Česká republika, garant, domácí) -- Trčka, Štěpán (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
Klíčová slova anglicky: quality of service; forecast; long short-term memory; neural network
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 24. 4. 2020 15:44.
RIV/00216224:14610/19:00108993 Stať ve sborníku. angličtina. Spojené státy.
Čermák, Milan (203 Česká republika, garant, domácí) -- Laštovička, Martin (203 Česká republika, domácí) -- Jirsík, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: Anomaly Detection;IP Flow;Apache Spark;Stream Processing
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 14:31.
RIV/00216224:14330/19:00108978 Stať ve sborníku. angličtina. Spojené státy.
Ukrop, Martin (703 Slovensko, garant, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí) -- Nehyba, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: reflective practice; learning journal; teacher training; teaching assistants; teaching skills
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Dana Nesnídalová, učo 831. Změněno: 3. 2. 2021 11:44.
RIV/00216224:14330/19:00110967 Stať ve sborníku. angličtina.
Mrázek, Jan (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: RoFI; metamorphic robots; connector
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2024 17:24.
Název anglicky: SAT-Encodings for Treecut Width and Treedepth
RIV/00216224:14330/19:00113720 Stať ve sborníku. angličtina. Spojené státy.
Ganian, Robert (203 Česká republika, garant, domácí) -- Lodha, Neha (356 Indie) -- Ordyniak, Sebastian (276 Německo) -- Szeider, Stefan (40 Rakousko)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 14. 5. 2020 10:43.
RIV/00216224:14330/19:00110233 Stať ve sborníku. angličtina. Spojené státy.
Murín, Stanislav (703 Slovensko, domácí) -- Rudová, Hana (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Scheduling; Constraint programming; Mobile robot;Flexible manufacturing system; Transportation; IBM ILOG CPLEX Optimization Studio
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 5. 2020 17:16.
RIV/00216224:14330/19:00108867 Stať ve sborníku. angličtina. Spojené státy.
Daňa, Josef (203 Česká republika, garant, domácí) -- Kopeček, Ivan (203 Česká republika, domácí) -- Ošlejšek, Radek (203 Česká republika, domácí) -- Plhák, Jaromír (203 Česká republika, domácí)
Klíčová slova anglicky: agent-based modeling; cooperation; organizational performance; Prisoner’s dilemma; stress
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Změněno: 14. 11. 2021 15:31.
RIV/00216224:14330/19:00109377 Stať ve sborníku. angličtina. Spojené státy.
Chren, Stanislav (703 Slovensko, domácí) -- Mičko, Radoslav (703 Slovensko, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Rossi, Bruno (380 Itálie, domácí)
Klíčová slova anglicky: Software Reliability Growth Model; Reliability Analysis; Issue Repository; Issue Report Filtering; Automated Tool
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 04:44.
Název anglicky: The Power of Cut-Based Parameters for Computing Edge Disjoint Paths
RIV/00216224:14330/19:00113728 Stať ve sborníku. angličtina. Spojené státy.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo)
Klíčová slova anglicky: Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:32.
RIV/00216224:14330/19:00107396 Stať ve sborníku. angličtina. Spojené státy.
Maška, Martin (203 Česká republika, garant, domácí) -- Nečasová, Tereza (203 Česká republika, domácí) -- Wiesner, David (203 Česká republika, domácí) -- Sorokin, Dmitry (643 Rusko) -- Peterlík, Igor (703 Slovensko, domácí) -- Ulman, Vladimír (203 Česká republika) -- Svoboda, David (203 Česká republika, domácí)
Klíčová slova anglicky: Benchmark dataset; synthetic image data; filopodium segmentation; filopodium tracking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 16:28.
RIV/00216224:14330/19:00111065 Stať ve sborníku. angličtina. Spojené státy.
Ukrop, Martin (703 Slovensko, garant, domácí) -- Kraus, Lydia (276 Německo, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Wahsheh, Heider Ahmad Mutleq (400 Jordánsko)
Klíčová slova anglicky: warning design;documentation;TLS certificate;usable security
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Martin Ukrop, Ph.D., učo 374297. Změněno: 15. 4. 2021 09:24.
Název anglicky: Bisimulation Invariant Monadic-Second Order Logic in the Finite
RIV/00216224:14330/18:00101061 Stať ve sborníku. angličtina. Česká republika.
Blumensath, Achim (276 Německo, garant, domácí) -- Wolf, Felix (276 Německo)
Klíčová slova anglicky: bisimulation; monadic second-order logic; composition method
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 09:59.
RIV/00216224:14330/18:00104015 Stať ve sborníku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: mastery learning; student modeling
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:33.
RIV/00216224:14330/18:00108289 Stať ve sborníku. angličtina. Švýcarsko.
Ashok, Pranav (356 Indie) -- Butkova, Yuliya (860 Uzbekistán) -- Hermanns, Holger (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Continuous-Time Markov Decision Processes; reachability; Partial Exploration
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:35.
RIV/00216224:14610/18:00106886 Stať ve sborníku. angličtina. Spojené státy.
Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Čermák, Milan (203 Česká republika, domácí) -- Laštovička, Martin (203 Česká republika)
Klíčová slova anglicky: cybersecurity; game-based learning; project-based learning
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Valdemar Švábenský, Ph.D., učo 395868. Změněno: 24. 1. 2019 16:19.
Název anglicky: Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
RIV/00216224:14330/18:00104038 Stať ve sborníku. angličtina.
Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí)
Klíčová slova anglicky: minimal unsatisfiable subsets;mus enumeration;infeasibility analysis;unsatisfiability analysis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:21.
RIV/00216224:14330/18:00101071 Stať ve sborníku. angličtina. Spojené státy.
Mrázek, Vojtěch (203 Česká republika) -- Sýs, Marek (703 Slovensko, domácí) -- Vasicek, Zdenek (203 Česká republika) -- Sekanina, Lukáš (203 Česká republika) -- Matyáš, Václav (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Boolean function; evolutionary computing; randomness; statistical test
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:22.
RIV/00216224:14330/18:00104381 Stať ve sborníku. angličtina. Švýcarsko.
Kozubek, Michal (203 Česká republika, garant, domácí)
Klíčová slova anglicky: biomedical image analysis; benchmarking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 23. 4. 2020 20:51.
RIV/00216224:14330/18:00106882 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: active learning; cybersecurity games; diagnostic assessment; prerequisite testing; self-assessment; linear regression modeling
Mezinárodní význam: ano
Recenzováno: ano
Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 23. 4. 2020 12:03.
RIV/00216224:14330/18:00101853 Stať ve sborníku. angličtina. Itálie.
Novotný, Vít (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Vector Space Model; computational complexity; similarity measure
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 04:56.
RIV/00216224:14330/18:00101333 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: satisfiability modulo theories; quantified bit-vectors; bit-width; experimental evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:22.
RIV/00216224:14330/18:00108291 Stať ve sborníku. angličtina. Německo.
Křetínský, Jan (203 Česká republika, garant, domácí) -- Perez, Guillermo (188 Kostarika) -- Raskin, Jean-Francois (56 Belgie)
Klíčová slova anglicky: Learning; Mean-Payoff; Markov decision process; Omega-Regular Specification
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:49.
RIV/00216224:14330/18:00106812 Stať ve sborníku. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Klute, Fabian (276 Německo) -- Ordyniak, Sebastian (276 Německo)
Klíčová slova anglicky: bounded-degree vertex deletion; feedback vertex set; parameterized algorithms; treecut width
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 24. 4. 2020 15:55.
RIV/00216224:14330/18:00100802 Stať ve sborníku. Informatika. angličtina.
Svec, Jan (203 Česká republika) -- Psutka, Josef V. (203 Česká republika) -- Trmal, Jan (203 Česká republika) -- Smidl, Lubos (203 Česká republika) -- Ircing, Pavel (203 Česká republika) -- Sedmidubský, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: spoken term detection; speech indexing; grapheme-based speech recognition; keyword search
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:39.
RIV/00216224:14330/18:00106628 Stať ve sborníku. angličtina. Spojené státy.
Jensen, Jesper S. (208 Dánsko) -- Kroegh, Troels B. (208 Dánsko) -- Madsen, Jonas S. (208 Dánsko) -- Schmid, Stefan (756 Švýcarsko) -- Srba, Jiří (203 Česká republika, garant, domácí) -- Thorgersen, Marc T. (208 Dánsko)
Klíčová slova anglicky: MPLS networks; formal verification; pushdown automata
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2019 14:59.
Název anglicky: Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
RIV/00216224:14330/18:00101107 Stať ve sborníku. angličtina.
Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Beneš, Nikola (203 Česká republika, domácí)
Klíčová slova anglicky: formal verification; minimal unstisfiable subsets
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:25.
RIV/00216224:14330/18:00118583 Stať ve sborníku. angličtina. Švýcarsko.
Dupont Dupuis, Frédéric (124 Kanada, garant, domácí)
Klíčová slova anglicky: STRONG CONVERSE; COIN
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:01.
Název anglicky: Small Resolution Proofs for QBF using Dependency Treewidth
RIV/00216224:14330/18:00106813 Stať ve sborníku. angličtina. Německo.
Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo)
Klíčová slova anglicky: QBF; treewidth; fixed parameter tractability; dependency schemes
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 27. 4. 2020 23:07.
RIV/00216224:14330/18:00118582 Stať ve sborníku. angličtina. Švýcarsko.
Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Křetínský, Jan (203 Česká republika) -- Toman, Viktor (703 Slovensko)
Klíčová slova anglicky: INFINITE GAMES; AUTOMATA
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:01.
RIV/00216224:14330/18:00101458 Stať ve sborníku. angličtina. Spojené státy.
Dvořák, Zdeněk (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Mohar, Bojan (705 Slovinsko)
Klíčová slova anglicky: Crossing number; Crossing-critical; Exhaustive generation; Path-width
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:11.
RIV/00216224:14610/18:00102073 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Vykopal, Jan (203 Česká republika, garant, domácí) -- Ošlejšek, Radek (203 Česká republika, domácí) -- Burská, Karolína (203 Česká republika, domácí) -- Zákopčanová, Kristína (203 Česká republika, domácí)
Klíčová slova anglicky: timely feedback; personalized feedback; cybersecurity; exercise; active learning; professional learners
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Změněno: 3. 10. 2022 16:26.
RIV/00216224:14330/17:00100647 Stať ve sborníku. angličtina. Švýcarsko.
Kondratěv, Alexandr (643 Rusko) -- Sorokin, Dmitry (643 Rusko, domácí)
Klíčová slova anglicky: Argon lasers; Cells; Cytology; Fluorescence; Geometry; Image registration; Image segmentation; Matrix algebra
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:36.
RIV/00216224:14330/17:00100551 Stať ve sborníku. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ramanujan, M.S. (356 Indie) -- Szeider, Stefan (40 Rakousko)
Klíčová slova anglicky: Treewidth; Parameterized Complexity; SAT; Backdoors
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 28. 4. 2020 11:43.
RIV/00216224:14330/17:00100553 Stať ve sborníku. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ramanujan, M.S. (356 Indie) -- Szeider, Stefan (40 Rakousko)
Klíčová slova anglicky: Treewidth; Backdoors; Constraint Satisfaction
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 28. 4. 2020 12:19.
RIV/00216224:14610/17:00094466 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Husák, Martin (203 Česká republika, garant, domácí) -- Čermák, Milan (203 Česká republika, domácí) -- Laštovička, Martin (203 Česká republika, domácí) -- Vykopal, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: aggregation;security alert;information sharing
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Martin Husák, Ph.D., učo 256631. Změněno: 5. 4. 2018 18:31.
RIV/00216224:14330/17:00097947 Stať ve sborníku. angličtina.
Peterlík, Igor (703 Slovensko, garant) -- Haouchine, Nazim (12 Alžírsko) -- Ručka, Lukáš (203 Česká republika, domácí) -- Cotin, Stéphane (250 Francie)
Klíčová slova anglicky: Boundary conditions Stochasric data assimilation Finite element method Surgical augmented reality Hepatic surgery
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 16:44.
Název anglicky: Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
RIV/00216224:14330/17:00095055 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Nemec, Matúš (703 Slovensko, domácí) -- Klinec, Dušan (703 Slovensko, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Sekan, Peter (703 Slovensko, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
Klíčová slova anglicky: RSA algorithm; cryptographic library; prime generation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 10:51.
RIV/00216224:14330/17:00095126 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Baranová, Zuzana (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Kejstová, Katarína (703 Slovensko, domácí) -- Kučera, Tadeáš (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Mrázek, Jan (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí)
Klíčová slova anglicky: Model Checking; Verification; C; C++; DIVINE
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 10. 2018 16:24.
RIV/00216224:14610/17:00094471 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Medková, Jana (203 Česká republika, garant, domácí) -- Husák, Martin (203 Česká republika, domácí) -- Drašar, Martin (203 Česká republika, domácí)
Klíčová slova anglicky: game theory;cyber security;simulation;honeypot
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Martin Husák, Ph.D., učo 256631. Změněno: 5. 4. 2018 18:32.
RIV/00216224:14330/17:00100552 Stať ve sborníku. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Szeider, Stefan (40 Rakousko)
Klíčová slova anglicky: Treewidth; Model Counting; SAT; Parameterized Complexity
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 28. 4. 2020 12:17.
RIV/00216224:14330/17:00095125 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: SMT solving; formula simplifications; bit-vectors
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:12.
RIV/00216224:14330/17:00100549 Stať ve sborníku. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (40 Rakousko) -- Ramanujan, M.S. (356 Indie)
Klíčová slova anglicky: Edge Disjont Paths; Parameterized Complexity; Treewidth
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 17:24.
RIV/00216224:14330/17:00095083 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Koutecký, Martin (203 Česká republika) -- Onn, Shmuel (376 Izrael)
Klíčová slova anglicky: Combinatorial optimization; Shifted problem; Treewidth; MSO logic; MSO partitioning
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:47.
RIV/00216224:14330/17:00100646 Stať ve sborníku. angličtina. Švýcarsko.
Aldegheri, Stefano (380 Itálie) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Bombieri, Nicola (380 Itálie) -- Busato, Federico (380 Itálie) -- Češka, Milan (203 Česká republika)
Klíčová slova anglicky: Directed graphs; Distributed computer systems; Problem solving
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 1. 2019 14:28.
Název anglicky: Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes
RIV/00216224:14330/17:00097438 Stať ve sborníku. Informatika. angličtina.
Gešvindr, David (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Gasior, Ondřej (203 Česká republika, domácí)
Klíčová slova anglicky: cloud computing; software architecture; prototype generation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 18. 5. 2018 12:10.
RIV/00216224:14330/17:00094513 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Klusáček, Dalibor (203 Česká republika, domácí) -- Tóth, Šimon (203 Česká republika, garant, domácí) -- Podolníková, Gabriela (203 Česká republika, domácí)
Klíčová slova anglicky: Scheduling; Fairness; Queue; Workload; Heterogeneity
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:18.
RIV/00216224:14330/17:00094743 Stať ve sborníku. Informatika. angličtina. Německo.
Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klokočka, Mikuláš (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: semi deterministic automata; ltl to automata translation; omega automata
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 9. 11. 2018 14:58.
RIV/00216224:14330/17:00095082 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
Klíčová slova anglicky: controller synthesis; Markov decision processes; resilience
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 11:00.
RIV/00216224:14330/17:00100550 Stať ve sborníku. angličtina. Německo.
Eiben, Eduard (703 Slovensko) -- Ordyniak, Sebastian (276 Německo) -- Ramanujan, M.S. (356 Indie) -- Bergougnoux, Benjamin (250 Francie) -- Ganian, Robert (203 Česká republika, garant, domácí)
Klíčová slova anglicky: parameterized algorithms; kernelization; (directed) feedback vertex set
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 1. 2019 14:00.
RIV/00216224:14330/17:00095298 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Galuščáková, Petra (203 Česká republika) -- Batko, Michal (203 Česká republika, domácí) -- Čech, Jan (203 Česká republika) -- Matas, Jiří (203 Česká republika) -- Novák, David (203 Česká republika, domácí) -- Pecina, Pavel (203 Česká republika)
Klíčová slova anglicky: Video retrieval; Hyperlinking; Information retrieval; Image processing
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 11:07.
Název anglicky: A Model Checking Approach to Discrete Bifurcation Analysis
RIV/00216224:14330/16:00088309 Stať ve sborníku. Informatika. angličtina. Česká republika.
Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Demko, Martin (703 Slovensko, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
Klíčová slova anglicky: model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms; bifurcation analysis
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:12.
RIV/00216224:14330/16:00093948 Stať ve sborníku. Informatika. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Eiben, Eduard (703 Slovensko) -- Kwon, O-joung (410 Korejská republika)
Klíčová slova anglicky: algorithms; vertex deletion problems
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 8. 2019 12:08.
RIV/00216224:14330/16:00090404 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Rossi, Bruno (380 Itálie, domácí) -- Chren, Stanislav (703 Slovensko, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: Smart Grids; Smart Meters; Anomaly Detection; Clustering; Frequent Itemset Mining
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:37.
Název anglicky: Architectural Tactics for the Design of Efficient PaaS Cloud Applications
RIV/00216224:14330/16:00090585 Stať ve sborníku. Informatika. angličtina.
Gešvindr, David (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, garant, domácí)
Klíčová slova anglicky: cloud computing; software architecture; architectural tactics; Software Architecture Design
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:17.
Název anglicky: Automatic Detection of Laser-Induced Structures in Live Cell Fluorescent Microscopy Images Using Snakes with Geometric Constraints
RIV/00216224:14330/16:00088097 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Spojené státy.
Kondrat'ev, Alexandr (643 Rusko) -- Sorokin, Dmitry (643 Rusko, garant, domácí)
Klíčová slova anglicky: Biological image and signal analysis; Biologically motivated vision; Segmentation features and descriptors
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 2. 2018 09:51.
RIV/00216224:14330/16:00093942 Stať ve sborníku. Informatika. angličtina.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ramanujan, M.S. (360 Indonésie) -- Szeider, Stefan (40 Rakousko)
Klíčová slova anglicky: CSP; backdoors
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:08.
RIV/00216224:14330/16:00088808 Stať ve sborníku. Informatika. angličtina. Německo.
Bisgaard, Morten (208 Dánsko) -- Gerhardt, David (208 Dánsko) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, garant, domácí) -- Nies, Gilles (442 Lucembursko) -- Stenger, Marvin (276 Německo)
Klíčová slova anglicky: KiBam; nano-satellite; stochastic model
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:42.
RIV/00216224:14330/16:00088081 Stať ve sborníku. Informatika. angličtina. Německo.
Blahoudek, František (203 Česká republika, domácí) -- Heizmann, Matthias (276 Německo) -- Schewe, Sven (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Tsai, Ming-Hsien (158 Tchaj-wan)
Klíčová slova anglicky: Buchi automata;complementation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 23:01.
RIV/00216224:14330/16:00093946 Stať ve sborníku. Informatika. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (40 Rakousko) -- Eiben, Eduard (703 Slovensko) -- Kustaa, Kanga (246 Finsko)
Klíčová slova anglicky: treewidth; linear extensions
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:09.
Název česky: Průsečíkové číslo je těžké kernelizovat
RIV/00216224:14330/16:00088543 Stať ve sborníku. Informatika. angličtina. Německo.
Derňár, Marek (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
Klíčová slova anglicky: crossing number; kernelization; parameterized complexity
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:07.
RIV/00216224:14330/16:00094154 Stať ve sborníku. Informatika. angličtina. Německo.
Brenguier, Romain (250 Francie) -- Forejt, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: stochastic games; multi-criteria optimisation
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:18.
Název anglicky: DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs
RIV/00216224:14330/16:00091413 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Vaculík, Karel (203 Česká republika, garant, domácí) -- Popelínský, Lubomír (203 Česká republika, domácí)
Klíčová slova anglicky: graph mining; data mining; dynamic graphs; rule mining; anomaly detection; outlier detection; anomaly explanation
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:16.
RIV/00216224:14330/16:00088813 Stať ve sborníku. Informatika. angličtina. Německo.
Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, garant, domácí) -- Vester, Steen (208 Dánsko)
Klíčová slova anglicky: distributed controller synthesis; interactive Markov chains; undecidabiliy
Změnil: RNDr. Jan Krčál, Ph.D., učo 139854. Změněno: 9. 4. 2017 21:11.
Název anglicky: Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
RIV/00216224:14330/16:00088476 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Korenčiak, Ľuboš (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Clocks: Protocols; Markov processes; Delays; Standards; Computational modeling
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2017 07:03.
RIV/00216224:14330/16:00088469 Stať ve sborníku. Informatika. angličtina. Německo.
Daca, Przemyslaw (616 Polsko) -- Henzinger, Thomas A. (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Petrov, Tatjana (688 Srbsko)
Klíčová slova anglicky: statistical model checking; verification; temporal logic
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:34.
RIV/00216224:14330/16:00089165 Stať ve sborníku. Počítačový hardware a software. angličtina. Švýcarsko.
Dudka, Kamil (203 Česká republika) -- Holík, Lukáš (203 Česká republika) -- Peringer, Petr (203 Česká republika) -- Trtík, Marek (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika, garant)
Klíčová slova anglicky: Shape analysis; list; program transformation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:18.
RIV/00216224:14330/16:00090426 Stať ve sborníku. Informatika. angličtina.
Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: evaluation; engagement; learning curves; optimal difficulty
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:27.
Název česky: Vkládání více hran do rovinného grafu
RIV/00216224:14330/16:00088509 Stať ve sborníku. Informatika. angličtina. Německo.
Chimani, Markus (276 Německo) -- Hliněný, Petr (203 Česká republika, garant, domácí)
Klíčová slova anglicky: crossing number; crossing minimization; planar insertion
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:05.
RIV/00216224:14330/16:00090367 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Balážia, Michal (703 Slovensko, garant, domácí) -- Sojka, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: gait recognition
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 4. 4. 2018 17:04.
RIV/00216224:14330/16:00088470 Stať ve sborníku. Informatika. angličtina. Německo.
Daca, Przemyslaw (616 Polsko) -- Henzinger, Thomas A. (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Petrov, Tatjana (688 Srbsko)
Klíčová slova anglicky: verification; temporal logic; statistical model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:02.
RIV/00216224:14330/16:00090403 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Chren, Stanislav (703 Slovensko, domácí) -- Bühnová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: Smart Grids; Smart Meters; Bayesian Networks; Ripple Control; Load Management
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:35.
RIV/00216224:14330/16:00088473 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Sickert, Salomon (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: probabilistic model checking; verification; automata; temporal logic
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:40.
RIV/00216224:14330/16:00088811 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Boytsov, Leonid (840 Spojené státy) -- Novák, David (203 Česká republika, garant, domácí) -- Malkov, Yury (643 Rusko) -- Nyberg, Eric (840 Spojené státy)
Klíčová slova anglicky: k-NN search; IBM Model 1; non-metric spaces; LSH
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. David Novák, Ph.D., učo 4335. Změněno: 7. 4. 2017 15:22.
RIV/00216224:14330/16:00088529 Stať ve sborníku. Informatika. angličtina. Německo.
Blumensath, Achim (276 Německo, garant, domácí) -- Colcombet, Thomas (250 Francie) -- Parys, Pawel (616 Polsko)
Klíčová slova anglicky: monadic second-order logic; boundedness; tiling problems
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:19.
RIV/00216224:14330/16:00093950 Stať ve sborníku. Informatika. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- de Haan, Ronald (528 Nizozemské království) -- Szeider, Stefan (40 Rakousko) -- Kanj, Iyad (840 Spojené státy)
Klíčová slova anglicky: algorithms; logic; exponential time hypothesis
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 8. 2019 12:09.
RIV/00216224:14330/16:00093949 Stať ve sborníku. Informatika. angličtina. Německo.
Ganian, Robert (203 Česká republika, garant, domácí) -- Narayanaswamy, N. S. (356 Indie) -- Ordyniak, Sebastian (40 Rakousko) -- Rahul, C. S. (356 Indie) -- Ramanujan, M. S. (356 Indie)
Klíčová slova anglicky: algorithms; vertex deletion problems
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2017 04:21.
Název anglicky: On verifying {C++} programs with probabilities
RIV/00216224:14330/16:00088057 Stať ve sborníku. Informatika. angličtina. Itálie.
Barnat, Jiří (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Zákopčanová, Kristína (203 Česká republika, domácí)
Klíčová slova anglicky: Model Checking; Probabilistic systems; DIVINE ; PRISM
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 16. 7. 2018 15:46.
RIV/00216224:14330/16:00094027 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Larsen, Kim G. (208 Dánsko) -- Mikucionis, Marius (440 Litva) -- Muniz, Marco (604 Peru) -- Srba, Jiří (203 Česká republika, garant, domácí) -- Taankvist, Jakob H. (208 Dánsko)
Klíčová slova anglicky: floor heating; controller synthesis; hybrid automata
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:44.
Název česky: Optimal observation mode scheduling for systems under temporal constraints
Název anglicky: Optimal observation mode scheduling for systems under temporal constraints
RIV/00216224:14330/16:00088275 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Tesařová, Eva (203 Česká republika, domácí) -- Svoreňová, Mária (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Formal verification/synthesis; Optimal control; Uncertain systems
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:37.
RIV/00216224:14330/16:00088482 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
Klíčová slova anglicky: mean payoff; energy games
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 11:02.
Název anglicky: Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
RIV/00216224:14330/16:00088098 Stať ve sborníku. Informatika. angličtina. Česká republika.
Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Demko, Martin (703 Slovensko, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
Klíčová slova anglicky: model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:15.
RIV/00216224:14330/16:00093947 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Ganian, Robert (203 Česká republika, garant, domácí) -- Kalany, Martin (40 Rakousko) -- Szeider, Stefan (40 Rakousko) -- Traff, Jesper Larsson (40 Rakousko)
Klíčová slova anglicky: MPI; derived datatypes; type reconstruction; dynamic programming
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:09.
Název česky: PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
Název anglicky: PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
RIV/00216224:14330/16:00088144 Stať ve sborníku. Informatika. angličtina. Německo.
Češka, Milan (203 Česká republika) -- Pilař, Petr (203 Česká republika, domácí) -- Paoletti, Nikola (826 Velká Británie a Severní Irsko) -- Brim, Luboš (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (826 Velká Británie a Severní Irsko)
Klíčová slova anglicky: GPU; stochastic systems; model checking; parameter synthesis
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 16. 4. 2019 09:41.
RIV/00216224:14330/16:00088245 Stať ve sborníku. Informatika. angličtina. Německo.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: SMT solving; quantified bit-vector formulas; BDD
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:22.
RIV/00216224:14330/16:00088483 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, domácí) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
Klíčová slova anglicky: turn-based games; mean payoff; stability
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:04.
RIV/00216224:14330/16:00088630 Stať ve sborníku. Informatika. angličtina. Německo.
Alfaro, Carlos A. (484 Mexiko) -- Arroyo, Alan (484 Mexiko) -- Derňár, Marek (703 Slovensko, garant, domácí) -- Mohar, Bojan (124 Kanada)
Klíčová slova anglicky: Crossing number; apex graph
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:27.
RIV/00216224:14330/16:00088246 Stať ve sborníku. Informatika. angličtina. Německo.
Čadek, Pavel (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika)
Klíčová slova anglicky: loop bounds; symbolic execution
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:27.
RIV/00216224:14330/16:00087993 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Svoboda, David (203 Česká republika, garant, domácí) -- Ulman, Vladimír (203 Česká republika, domácí) -- Kováč, Peter (703 Slovensko, domácí) -- Šalingová, Barbara (703 Slovensko, domácí) -- Tesařová, Lenka (203 Česká republika, domácí) -- Krontorád Koutná, Irena (203 Česká republika, domácí) -- Matula, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: Synthetic image formation; Vascular network; Cellular Potts model; Angiogenesis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Petr Matula, Ph.D., učo 3019. Změněno: 12. 2. 2018 14:54.
RIV/00216224:14330/16:00090768 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Balážia, Michal (703 Slovensko, garant, domácí) -- Sojka, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: machine learning; classification; gait recognition
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Michal Balážia, Ph.D., učo 256078. Změněno: 12. 2. 2018 17:11.
Název anglicky: Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?
RIV/00216224:14330/15:00084902 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Nezvalová, Leona (203 Česká republika, domácí) -- Popelínský, Lubomír (203 Česká republika, garant, domácí) -- Torgo, Luis (620 Portugalsko) -- Vaculík, Karel (203 Česká republika, domácí)
Klíčová slova anglicky: class-based outlier detection; outlier interpretation; outlier description; anomaly detection; outlier detection
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:26.
RIV/00216224:14330/15:00081423 Stať ve sborníku. Informatika. angličtina. Německo.
Klimoš, Miroslav (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
Klíčová slova anglicky: deductive games; strategy synthesis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:34.
RIV/00216224:14330/15:00081286 Stať ve sborníku. Informatika. angličtina. Německo.
Forejt, Vojtěch (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika) -- Křetínský, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: frequency LTL; quantitative logics; MDP controller synthesis; automata characterization
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
RIV/00216224:14330/15:00084609 Stať ve sborníku. Informatika. angličtina. Německo.
Rosecký, Jan (203 Česká republika, garant, domácí) -- Procházka, Filip (203 Česká republika) -- Bühnová, Barbora (203 Česká republika, domácí)
Klíčová slova anglicky: Simulation Environment; Smart Grid; Communication and Networking; ICT; Prolog
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 16. 11. 2015 02:13.
RIV/00216224:14330/15:00083139 Stať ve sborníku. Informatika. angličtina. Španělsko.
Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: adaptive educational system; item difficulty; optimal challenge; experimental evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:10.
RIV/00216224:14330/15:00081178 Stať ve sborníku. Informatika. angličtina. Německo.
Beneš, Nikola (203 Česká republika, garant, domácí) -- Bezděk, Peter (703 Slovensko, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika)
Klíčová slova anglicky: Parametric Timed Automata; Decidability; Language Emptiness
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 30. 3. 2017 22:44.
RIV/00216224:14330/15:00081426 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, domácí) -- Krishnendu, Chatterjee (40 Rakousko) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Markov decision processes; mean-payoff reward; multi-objective optimisation; formal verification
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:34.
RIV/00216224:14330/15:00080587 Stať ve sborníku. Informatika. angličtina. Německo.
Klusáček, Dalibor (203 Česká republika) -- Rudová, Hana (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Multi-Resource Fairness; Fairshare; Heterogeneity
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Mgr. Hana Rudová, Ph.D., učo 3840. Změněno: 17. 10. 2016 14:58.
RIV/00216224:14330/15:00086986 Stať ve sborníku. Informatika. angličtina. Čína.
Kromer, Pavel (203 Česká republika) -- Matěj, Zdeněk (203 Česká republika, garant, domácí) -- Musílek, Petr (124 Kanada) -- Přenosil, Václav (203 Česká republika, domácí) -- Cvachovec, František (203 Česká republika)
Klíčová slova anglicky: fuzzy logic; neutron; spectrometry
Změnil: doc. RNDr. Zdeněk Matěj, Ph.D., učo 72963. Změněno: 12. 12. 2019 11:02.
RIV/00216224:14330/15:00080985 Stať ve sborníku. Informatika. angličtina. Německo.
Bokal, Drago (705 Slovinsko) -- Bračič, Mojca (705 Slovinsko) -- Derňár, Marek (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Crossing number; Tile drawing; Degree-universality; Average degree; Crossing-critical graph
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 08:59.
RIV/00216224:14330/15:00081289 Stať ve sborníku. Informatika. angličtina. Německo.
Forejt, Vojtěch (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika)
Klíčová slova anglicky: markov chains; markov decision processes; ltl; controller synthesis
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
RIV/00216224:14330/15:00081412 Stať ve sborníku. Informatika. angličtina. Německo.
Hliněný, Petr (203 Česká republika, garant, domácí) -- Salazar, Gelasio (484 Mexiko)
Klíčová slova anglicky: joint crossing number; crossing minimization
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 08:58.
RIV/00216224:14330/15:00081290 Stať ve sborníku. Informatika. angličtina. Německo.
Butkova, Yuliya (643 Rusko) -- Hatefi, Hassan (364 Írán) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Continuous time Markov decision process; time bounded reachability; uniformisation; experimental evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
Název anglicky: Parameterized Algorithms for Parity Games
RIV/00216224:14330/15:00081184 Stať ve sborníku. Informatika. angličtina. Německo.
Gajarský, Jakub (703 Slovensko, garant, domácí) -- Ordyniak, Sebastian (276 Německo) -- Lampis, Michael (300 Řecko) -- Mitsou, Valia (300 Řecko) -- Makino, Kazuhisa (392 Japonsko)
Klíčová slova anglicky: parity games; model checking; modular-width
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:11.
RIV/00216224:14330/15:00081430 Stať ve sborníku. Informatika. angličtina. Německo.
Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim Guldstrand (208 Dánsko) -- Laursen, Simon (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: weighted automata; partial observability; synchronization; complexity
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 10. 2017 12:43.
RIV/00216224:14330/15:00080822 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Maška, Martin (203 Česká republika, garant, domácí) -- Ederra, Cristina (724 Španělsko) -- Fernández-Marqués, Javier (724 Španělsko) -- Muñoz-Barrutia, Arrate (724 Španělsko) -- Kozubek, Michal (203 Česká republika, domácí) -- Ortiz-de-Solórzano, Carlos (724 Španělsko)
Klíčová slova anglicky: collagen network geometry;confocal reflection microscopy;Matrigel;steerable filtering;pore size
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Martin Maška, Ph.D., učo 60734. Změněno: 26. 5. 2016 00:26.
RIV/00216224:14330/15:00081287 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Krčál, Jan (203 Česká republika, garant, domácí) -- Krčál, Pavel (203 Česká republika)
Klíčová slova anglicky: fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Jan Krčál, Ph.D., učo 139854. Změněno: 5. 12. 2015 15:41.
RIV/00216224:14330/15:00082601 Stať ve sborníku. Informatika. angličtina. Španělsko.
Bydžovská, Hana (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Student Performance; Prediction; Collaborative Filtering Methods; Recommender System
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:00.
RIV/00216224:14330/15:00080586 Stať ve sborníku. Informatika. angličtina. Německo.
Tóth, Šimon (203 Česká republika, garant, domácí) -- Klusáček, Dalibor (203 Česká republika, domácí)
Klíčová slova anglicky: Grid; Performance evaluation; Metrics; Queue-based scheduling; Fairness; User-aware scheduling
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 13:40.
RIV/00216224:14330/14:00074016 Stať ve sborníku. Informatika. angličtina. Německo.
Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí)
Klíčová slova anglicky: existential first-order logic; parameterized complexity; kernelization; poset embedding
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 30. 3. 2016 10:02.
RIV/00216224:14330/14:00073679 Stať ve sborníku. Informatika. angličtina. Německo.
Stetsko, Andriy (804 Ukrajina, garant, domácí) -- Smolka, Tobiáš (703 Slovensko, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Stehlík, Martin (203 Česká republika, domácí)
Klíčová slova anglicky: Intrusion detection; optimization; wireless sensor networks
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:40.
RIV/00216224:14330/14:00073798 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Troubil, Pavel (203 Česká republika, garant, domácí) -- Rudová, Hana (203 Česká republika, domácí) -- Holub, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: multicast routing; networks; optimization; uncertainty; multimedia; data transfer; ant colony optimization; transcoding; CoUniverse
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: doc. Mgr. Hana Rudová, Ph.D., učo 3840. Změněno: 6. 4. 2016 01:55.
RIV/00216224:14330/14:00073408 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Klusáček, Dalibor (203 Česká republika, garant, domácí) -- Rudová, Hana (203 Česká republika, domácí) -- Jaroš, Michal (203 Česká republika, domácí)
Klíčová slova anglicky: Multi Resource Fairness; Fairshare; Penalty; Scheduling
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Dalibor Klusáček, Ph.D., učo 50752. Změněno: 27. 11. 2015 15:30.
RIV/00216224:14330/14:00073693 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Klusáček, Dalibor (203 Česká republika, domácí) -- Tóth, Šimon (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Scheduling; Queues; Fairshare; Simulation
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Dalibor Klusáček, Ph.D., učo 50752. Změněno: 21. 4. 2016 15:57.
RIV/00216224:14330/14:00073637 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Spojené státy.
Svoboda, David (203 Česká republika, garant, domácí) -- Ulman, Vladimír (203 Česká republika, domácí) -- Matyska, Luděk (203 Česká republika, domácí) -- Maška, Martin (203 Česká republika, domácí) -- Bella, Ján (703 Slovensko, domácí) -- Stejskal, Stanislav (203 Česká republika, domácí)
Klíčová slova anglicky: Simulation; Biomedical imaging; Fluorescence microscopy; Photobleaching; Uneven illumination
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. David Svoboda, Ph.D., učo 2824. Změněno: 3. 5. 2016 10:48.
RIV/00216224:14330/14:00080050 Stať ve sborníku. Informatika. angličtina. Německo.
Draeger, Klaus (276 Německo) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (826 Velká Británie a Severní Irsko) -- Parker, David (826 Velká Británie a Severní Irsko) -- Ujma, Mateusz (616 Polsko)
Klíčová slova anglicky: controller synthesis; stochastic games; optimisation
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:04.
RIV/00216224:14330/14:00080049 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kroening, Daniel (276 Německo) -- Narayanaswamy, Ganesh (356 Indie) -- Sharma, Subodh (356 Indie)
Klíčová slova anglicky: MPI; verification; parallel computation
Změnil: RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons), učo 99155. Změněno: 11. 4. 2015 15:12.
RIV/00216224:14330/14:00073710 Stať ve sborníku. Informatika. angličtina. Německo.
Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika) -- Křetínský, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: stochastic systems; probability; bisimulation; non-determinism; process algebra; coalgebra
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:44.
RIV/00216224:14330/14:00073720 Stať ve sborníku. Informatika. angličtina. Německo.
Komárková, Zuzana (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:46.
RIV/00216224:14330/14:00073550 Stať ve sborníku. Využití počítačů, robotika a její aplikace. angličtina. Spojené státy.
Majtner, Tomáš (703 Slovensko, garant, domácí) -- Stoklasa, Roman (703 Slovensko, domácí) -- Svoboda, David (203 Česká republika, domácí)
Klíčová slova anglicky: texture descriptor;rsurf;hep-2
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Ing. Bc. Tomáš Majtner, Ph.D., učo 172786. Změněno: 9. 1. 2015 15:37.
Název česky: Symbolická paměť s ukazateli
RIV/00216224:14330/14:00074092 Stať ve sborníku. Informatika. angličtina. Německo.
Trtík, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: symbolic execution; symbolic memory
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 13. 11. 2014 16:23.
RIV/00216224:14330/14:00080034 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Larsen, Kim G. (208 Dánsko) -- Laursen, Simon (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: synchronization problem; finite automata; partial observability; complexity
Mezinárodní význam: ano
Recenzováno: ano
Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 10. 4. 2015 08:39.
RIV/00216224:14330/14:00075875 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (616 Polsko) -- Parker, David (826 Velká Británie a Severní Irsko) -- Ujma, Mateusz (616 Polsko)
Klíčová slova anglicky: stochastic systems; verification; machine learning; statistical model checking; reinforcement learning
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:45.
Název česky: Automatická detekce konceptů v datech o časech řešení problémů
Název anglicky: Automatic Detection of Concepts from Problem Solving Times
RIV/00216224:14330/13:00070141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Boroš, Petr (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: problem solving; concepts; student modeling
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 4. 2014 09:55.
Název anglicky: Backdoors to q-Horn
RIV/00216224:14330/13:00072816 Stať ve sborníku. Teorie informace. angličtina. Německo.
Ordyniak, Sebastian (276 Německo, garant, domácí) -- Ramanujan, M S (356 Indie) -- Szeider, Stefan (40 Rakousko) -- Gaspers, Serge (442 Lucembursko) -- Saurabh, Saket (356 Indie)
Klíčová slova anglicky: satisfiability; backdoors; parameterized complexity
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 24. 4. 2014 19:23.
RIV/00216224:14330/13:00065952 Stať ve sborníku. Informatika. angličtina. Německo.
Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: Bug database; classified bug-reports
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2014 11:19.
Název česky: Kompaktní symbolická exekuce
RIV/00216224:14330/13:00066165 Stať ve sborníku. Informatika. angličtina. Německo.
Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution; compact symbolic execution; testing
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 11. 2013 14:45.
Název česky: Srovnání překladačů LTL na deterministické Rabinovy automaty
RIV/00216224:14330/13:00066512 Stať ve sborníku. Informatika. angličtina. Německo.
Blahoudek, František (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear temporal logic; deterministic omega-automata; LTL3DRA; Rabinizer; ltl2dstar
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 3. 6. 2014 11:26.
RIV/00216224:14330/13:00066202 Stať ve sborníku. Informatika. angličtina. Německo.
Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: interactive Markov chains; continuous-time stochstic systems; composition; verification; specification
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:21.
Název česky: Efektivní překlad LTL na deterministické Rabinovy automaty
RIV/00216224:14330/13:00066175 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Blahoudek, František (203 Česká republika, domácí) -- Babiak, Tomáš (703 Slovensko, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: linear temporal logic; deterministic omega-automata
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 15. 11. 2013 23:58.
RIV/00216224:14330/13:00066379 Stať ve sborníku. Informatika. angličtina. Německo.
Ganian, Robert (840 Spojené státy) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kráľ, Daniel (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Schwartz, Jarett (840 Spojené státy) -- Teska, Jakub (203 Česká republika)
Klíčová slova anglicky: interval graphs; first-order logic; parameterized complexity
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:23.
RIV/00216224:14330/13:00066201 Stať ve sborníku. Informatika. angličtina. Německo.
Beneš, Nikola (203 Česká republika, domácí) -- Delahaye, Benoit (250 Francie) -- Fahrenberg, Uli (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Legay, Axel (56 Belgie)
Klíčová slova anglicky: modal transition systems; composition; specification; interface theory
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:19.
RIV/00216224:14330/13:00081960 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Reyes Castro, Luis Ignacio (840 Spojené státy) -- Chaudhari, Pratik (840 Spojené státy) -- Tůmová, Jana (203 Česká republika, garant, domácí) -- Karaman, Sertac (840 Spojené státy) -- Frazzoli, Emilio (840 Spojené státy) -- Rus, Daniela (840 Spojené státy)
Klíčová slova anglicky: motion planning; temporal logic; sampling-based planning; formal methods
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 5. 2016 07:01.
RIV/00216224:14330/13:00066378 Stať ve sborníku. Informatika. angličtina. Německo.
Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Reidl, Felix (276 Německo) -- Rossmanith, Peter (276 Německo) -- Villaamil, Fernando Sanchez (724 Španělsko) -- Sikdar, Somnath (356 Indie)
Klíčová slova anglicky: kernelization; parameterized complexity; sparse graphs
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:21.
Název anglicky: Media Streams Planning with Transcoding
RIV/00216224:14330/13:00066216 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Troubil, Pavel (203 Česká republika, garant, domácí) -- Rudová, Hana (203 Česká republika, domácí) -- Holub, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: networks; planning; multimedia; data transfer; integer programming; transcoding; CoUniverse
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 08:51.
RIV/00216224:14330/13:00066721 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Tůmová, Jana (203 Česká republika, garant, domácí) -- Reyes Castro, Luis (840 Spojené státy) -- Karaman, Sertac (840 Spojené státy) -- Frazzoli, Emilio (840 Spojené státy) -- Rus, Daniela (840 Spojené státy)
Klíčová slova anglicky: formal methods; robotics; linear temporal logic; control strategy synthesis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 2. 2018 14:32.
RIV/00216224:14330/13:00066203 Stať ve sborníku. Informatika. angličtina. Německo.
Křetínský, Jan (203 Česká republika, garant, domácí) -- Sickert, Salomon (276 Německo)
Klíčová slova anglicky: modal transition systems; composition; specification; interface theory
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 00:06.
Název anglicky: Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform
RIV/00216224:14330/13:00066560 Stať ve sborníku. Informatika. angličtina. Německo.
Barrientos, Ricardo (724 Španělsko) -- Gomez, Jose (724 Španělsko) -- Tenllado, Christian (724 Španělsko) -- Prieto-Matias, Manuel (724 Španělsko) -- Zezula, Pavel (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Similarity Search; Metric Spaces; GPU; Range queries
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:33.
RIV/00216224:14330/13:00072859 Stať ve sborníku. Informatika. angličtina. Německo.
Chatterjee, Krishnendu (356 Indie) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Wojtczak, Dominik (616 Polsko)
Klíčová slova anglicky: multi-objective verification; markov decision processes; graphs
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2014 20:09.
RIV/00216224:14330/13:00072858 Stať ve sborníku. Informatika. angličtina. Německo.
Chen, Taolue (156 Čína) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (826 Velká Británie a Severní Irsko) -- Simaitis, Aistis (440 Litva) -- Wiltsche, Clemens (40 Rakousko)
Klíčová slova anglicky: multi-objective verification; stochastic games
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons), učo 99155. Změněno: 11. 4. 2015 15:23.
RIV/00216224:14330/13:00066298 Stať ve sborníku. Informatika. angličtina. Česká republika.
Svoreňová, Mária (703 Slovensko, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Belta, Calin (840 Spojené státy)
Klíčová slova anglicky: automatic synthesis Markov decision processes LTL
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 3. 2014 12:52.
RIV/00216224:14330/13:00065947 Stať ve sborníku. Informatika. angličtina. Česká republika.
Svoreňová, Mária (703 Slovensko, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Belta, Calin (840 Spojené státy)
Klíčová slova anglicky: optimal control; receding horizon; temporal logic; finite deterministic transition system; robots; persistent surveillance
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 8. 2019 11:49.
Název česky: Odhad parametrů pro LDA rámce
RIV/00216224:14330/13:00069065 Stať ve sborníku. Informatika. angličtina. Česká republika.
Materna, Jiří (203 Česká republika, garant, domácí)
Klíčová slova anglicky: LDA-Frames; semantic frames; valency frames; non-parametric methods
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 21. 2. 2018 15:57.
RIV/00216224:14330/13:00065954 Stať ve sborníku. Informatika. angličtina. Německo.
Klusáček, Dalibor (203 Česká republika, garant, domácí) -- Rudová, Hana (203 Česká republika, domácí)
Klíčová slova anglicky: Scheduling; Fairness; Metaheuristic; Backfilling
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:47.
RIV/00216224:14330/13:00068069 Stať ve sborníku. Informatika. angličtina. Německo.
Chen, Taolue (156 Čína) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (616 Polsko) -- Parker, David (826 Velká Británie a Severní Irsko) -- Simaitis, Aistis (440 Litva)
Klíčová slova anglicky: model-checker; stochastic games
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2014 20:10.
RIV/00216224:14330/13:00066204 Stať ve sborníku. Informatika. angličtina. Německo.
Křetínský, Jan (203 Česká republika, garant, domácí) -- Ledesma Garza, Ruslan (484 Mexiko)
Klíčová slova anglicky: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 00:07.