Search results
- 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/0350992File Download Size Commentary Version Access Komenda.pdf 0 1.9 MB Publisher’s postprint open-access - 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.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/0318386File Download Size Commentary Version Access Folwarczny.pdf 2 365.3 KB Publisher’s postprint require - 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.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/0306626File Download Size Commentary Version Access Folwarczny.pdf 1 1.5 MB Publisher’s postprint open-access - 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.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.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 - 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.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/0243792File Download Size Commentary Version Access Ebenlendr.pdf 1 398.7 KB Publisher’s postprint require