Search results

  1. 1.
    0582950 - MÚ 2025 RIV DE eng J - Journal Article
    Zorzenon, D. - Komenda, Jan - Raisch, J.
    Switched max-plus linear-dual inequalities: cycle time analysis and applications.
    Discrete Event Dynamic Systems-Theory and Applications. Roč. 34, č. 1 (2024), s. 199-250. ISSN 0924-6703. E-ISSN 1573-7594
    R&D Projects: GA ČR(CZ) GC19-06175J
    Institutional support: RVO:67985840
    Keywords : max-plus algebra * Petri nets * scheduling * switched systems
    OECD category: Automation and control systems
    Impact factor: 2, year: 2022
    Method of publishing: Open access
    https://doi.org/10.1007/s10626-023-00389-5
    Permanent Link: https://hdl.handle.net/11104/0350992
    FileDownloadSizeCommentaryVersionAccess
    Komenda.pdf01.9 MBPublisher’s postprintopen-access
     
     
  2. 2.
    0570721 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
    Kolárik, T. - Ratschan, Stefan
    Railway Scheduling Using Boolean Satisfiability Modulo Simulations.
    Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Cham: Springer, 2023 - (Chechik, M.; Katoen, J.; Leucker, M.), s. 56-73. Lecture Notes in Computer Science, 14000. ISBN 978-3-031-27480-0. ISSN 0302-9743.
    [FM 2023: International Symposium on Formal Methods /25./. Lübeck (DE), 06.03.2023-10.03.2023]
    R&D Projects: GA ČR(CZ) GA21-09458S
    Institutional support: RVO:67985807
    Keywords : planning * scheduling * Boolean satisfiability
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    https://dx.doi.org/10.1007/978-3-031-27481-7_5
    Permanent Link: https://hdl.handle.net/11104/0342060
     
     
  3. 3.
    0540790 - MÚ 2022 RIV NL eng J - Journal Article
    Bienkowski, M. - Böhm, M. - Byrka, J. - Chrobak, M. - Dürr, Ch. - Folwarczný, Lukáš - Jeż, Ł. - Sgall, J. - Thang, N. K. - Veselý, P.
    New results on multi-level aggregation.
    Theoretical Computer Science. Roč. 861, March 12 (2021), s. 133-143. ISSN 0304-3975. E-ISSN 1879-2294
    R&D Projects: GA ČR(CZ) GX19-27871X
    Institutional support: RVO:67985840
    Keywords : algorithmic aspects of networks * online algorithms * scheduling and resource allocation
    OECD category: Pure mathematics
    Impact factor: 1.002, year: 2021
    Method of publishing: Limited access
    https://doi.org/10.1016/j.tcs.2021.02.016
    Permanent Link: http://hdl.handle.net/11104/0318386
    FileDownloadSizeCommentaryVersionAccess
    Folwarczny.pdf2365.3 KBPublisher’s postprintrequire
     
     
  4. 4.
    0536752 - ÚTIA 2022 RIV NL eng J - Journal Article
    Benedikt, O. - Alikoç, B. - Šůcha, P. - Čelikovský, Sergej - Hanzálek, Z.
    A polynomial-time scheduling approach to minimise idle energy consumption: An application to an industrial furnace.
    Computers & Operations Research. Roč. 128, č. 1 (2021), č. článku 105167. ISSN 0305-0548. E-ISSN 1873-765X
    Institutional support: RVO:67985556
    Keywords : Scheduling * Energy optimisation * Operational research * Optimal control * Electric furnaces
    OECD category: Robotics and automatic control
    Impact factor: 5.159, year: 2021
    Method of publishing: Limited access
    https://www.sciencedirect.com/science/article/pii/S0305054820302847?via%3Dihub
    Permanent Link: http://hdl.handle.net/11104/0314742
     
     
  5. 5.
    0522116 - MÚ 2021 RIV US eng J - Journal Article
    Bienkowski, M. - Böhm, M. - Byrka, J. - Chrobak, M. - Dürr, Ch. - Folwarczný, Lukáš - Jeż, Ł. - Sgall, J. - Thang, N. K. - Veselý, P.
    Online algorithms for multilevel aggregation.
    Operations Research. Roč. 68, č. 1 (2020), s. 214-232. ISSN 0030-364X
    Institutional support: RVO:67985840
    Keywords : algorithmic aspects of networks * online algorithms * scheduling and resource allocation * Iot sizing * multistage assembly problem
    OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Impact factor: 3.310, year: 2020
    Method of publishing: Open access
    https://doi.org/10.1287/opre.2019.1847
    Permanent Link: http://hdl.handle.net/11104/0306626
    FileDownloadSizeCommentaryVersionAccess
    Folwarczny.pdf11.5 MBPublisher’s postprintopen-access
     
     
  6. 6.
    0504676 - ÚJF 2020 CZ eng D - Thesis
    Makatun, Dzmitry
    Distubuted data processing in High Energy Physics.
    České vysoké učení technické, Fakulta jaderná a fyzikálně inženýrská, Katedra matematiky. Defended: Praha. 17. 9. 2018. - 2018: CTU, 2018. 196 s.
    Institutional support: RVO:61389005
    Keywords : distributed computing * large scale computing * grid * data intensive applications * load balancing * job scheduling * planning * network flow * data production * big data
    OECD category: Nuclear physics
    Permanent Link: http://hdl.handle.net/11104/0296257
     
     
  7. 7.
    0475644 - NHU-C 2018 RIV US eng J - Journal Article
    Ayesta, U. - Jacko, P. - Novák, Vladimír
    Scheduling of multi-class multi-server queueing systems with abandonments.
    Journal of Scheduling. Roč. 20, č. 2 (2017), s. 129-145. ISSN 1094-6136. E-ISSN 1099-1425
    R&D Projects: GA MŠMT(CZ) SVV260475
    Institutional support: Progres-Q24
    Keywords : stochastic scheduling * abandonment * restless bandits
    OECD category: Economic Theory
    Impact factor: 1.153, year: 2017
    Permanent Link: http://hdl.handle.net/11104/0272308
     
     
  8. 8.
    0457321 - MÚ 2016 RIV US eng J - Journal Article
    Epstein, L. - Jeż, Łukasz - Sgall, J. - van Stee, R.
    Online scheduling of jobs with fixed start times on related machines.
    Algorithmica. Roč. 74, č. 1 (2016), s. 156-176. ISSN 0178-4617. E-ISSN 1432-0541
    R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
    Institutional support: RVO:67985840
    Keywords : online scheduling * online algorithms * related machines
    Subject RIV: BA - General Mathematics
    Impact factor: 0.735, year: 2016
    http://link.springer.com/article/10.1007%2Fs00453-014-9940-2
    Permanent Link: http://hdl.handle.net/11104/0257713
    FileDownloadSizeCommentaryVersionAccess
    Jez.pdf1563.7 KBPublisher’s postprintrequire
     
     
  9. 9.
    0447308 - ÚVGZ 2016 RIV CH eng C - Conference Paper (international conference)
    Sokolov, B. V. - Zelentsov, V. A. - Brovkina, Olga - Mochalov, V. F. - Potryasaev, S. A.
    Models Adaptation of Complex Objects Structure Dynamics Control.
    Intelligent Systems in Cybernetics and Automation Theory. Cham: Springer, 2015 - (Šilhavý, R.; Šenkeřík, R.; Komínková-Oplatková, Z.; Prokopová, Z.; Šilhavý, P.), s. 21-33. Intelligent Systems in Cybernetics and Automation Theory, 348. ISBN 978-3-319-18502-6. ISSN 2194-5357.
    [Computer Science On-line Conference /4./. Zlín (CZ), 27.04.2015-30.04.2015]
    Institutional support: RVO:67179843
    Keywords : complex technical * organizational system * structure dynamic control * planning and scheduling * parametric and structure adaptation of models
    Subject RIV: EH - Ecology, Behaviour
    Permanent Link: http://hdl.handle.net/11104/0249163
     
     
  10. 10.
    0440693 - MÚ 2015 RIV US eng J - Journal Article
    Ebenlendr, Tomáš - Sgall, J.
    A lower bound on deterministic online algorithms for scheduling on related machines without preemption.
    Theory of Computing Systems. Roč. 56, č. 1 (2015), s. 73-81. ISSN 1432-4350. E-ISSN 1433-0490
    R&D Projects: GA ČR GBP202/12/G061; GA AV ČR IAA100190902
    Institutional support: RVO:67985840
    Keywords : online algorithms * scheduling * makespan
    Subject RIV: IN - Informatics, Computer Science
    Impact factor: 0.719, year: 2015
    http://link.springer.com/article/10.1007%2Fs00224-013-9451-6
    Permanent Link: http://hdl.handle.net/11104/0243792
    FileDownloadSizeCommentaryVersionAccess
    Ebenlendr.pdf1398.7 KBPublisher’s postprintrequire
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.