CIIRC Annual Colloquium on Research Results

0
533

Datum / čas
Date(s) - 21.04. - 22.04.
13:00 - 16:00

Kategorie


CIIRC Annual Colloquium on Research Results

Follow via MS Teams

Wednesday April 21

Thursday April 22

Full Programme

Day1

13:00 Colloquium introduction (Zdeněk Hanzálek)
13:00 ‐ 13:50 Intelligent systems (INTSYS, Vladimír Mařík)
13:00 ‐ 13:05 Vladimír Mařík: Introduction
13:05 ‐ 13:14 Jakub Konrád: Alquist IV, Conversational AI advances
13:14 ‐ 13:23 Radek Škoda: PowerSystem4.0 Teplator
13:23 ‐ 13:32 Petr Kadera: Virtual Operator of Counting Machines in LEGO
13:32 ‐ 13:41 Martin Macaš: CIRQUE: Machine Learning for Statistical Process Control
in Škoda Auto
13:41 ‐ 13:50 Aleš Procházka: Computational Intelligence and Digital Signal Processing
13:50 ‐ 14:40 Artificial Intelligence (AIF, Josef Urban)
13:50 ‐ 13:51 Josef Urban: Quick overview of the department and its results.
13:51 ‐ 14:01 Barbora Hudcová and Tomáš Mikolov: Classification of Complex Systems
Based on Transients.
14:01 ‐ 14:11 Jan Zahálka, Marcel Worring and Jarke J. Van Wijk: Intelligent and
pragmatic analytic categorization of image collections. IEEE Transactions on
Visualization and Computer Graphics.

14:11 ‐ 14:21 Mikolás Janota and António Morgado: SAT‐Based Encodings for Optimal
Decision Trees with Explicit Paths. SAT 2020.
14:21 ‐ 14:31 Lasse Blaauwbroek, Josef Urban, Herman Geuvers: Tactician and Tactic
Learning and Proving for the Coq Proof Assistant. LPAR 2020 and CICM 2020.
14:31 ‐ 14:40 Thibault Gauthier: Deep Reinforcement Learning for Synthesizing
Functions in Higher‐Order Logic.
14:40 ‐ 15:20 Industrial informatics (IID, Zdeněk Hanzálek)
14:40 ‐ 14:41 Zdeněk Hanzálek: Quick overview of the department and its results.
14:41 ‐ 14:51 Benedikt, O.: Benedikt, O. ‐ Alikoc, B. ‐ Sucha, P. ‐ Celikovsky, S. ‐
Hanzalek, Z.: A polynomial‐time scheduling approach to minimize idle energy
consumption: an application to an industrial furnace. Computers and Operations
Research, Volume 128.
14:51 ‐ 15:01 Vlk, M.: Vlk, M. ‐ Hanzalek, Z. ‐ Brejchova, K. ‐ Tang, S. ‐ Bhattacharjee, S.
‐ Fu, S.: Enhancing Schedulability and Throughput of Time‐Triggered Traffic in IEEE
802.1Qbv Time‐Sensitive Networks. IEEE Transactions on Communications, Volume
68, Issue 11.
15:01 ‐ 15:11 Rohaninejad, M.: Vahedi‐Nouri, B. ‐ Tavakkoli‐Moghaddam, R. ‐
Hanzalek, Z. ‐ Arbabi, H. ‐ Rohaninejad, M.: Incorporating order acceptance, pricing
and equity considerations in the scheduling of cloud manufacturing systems:
Matheuristic methods. International Journal of Production Research, Volume 59, Is. 7.
15:11 ‐ 15:20 Klapalek, J.: Klapalek, J. ‐ Sojka, M. ‐ Hanzalek, Z.: Formula 1/10
Autonomous Racing Competition
15:20 ‐ 15:50 Scientific management of platforms and RICAIP (PLAT, Vladimír Kučera)
15:20 ‐ 15:21 Vladimír Kučera: Introduction
15:21 ‐ 15:31 Vladimír Mařík, Tilman Becker: RICAIP Project in 2020
15:31 ‐ 15:41 Sergey Kozhevnikov, Miroslav Svítek: Multi‐agent Approach for Smart
Resilient City
15:41 ‐ 15:50 Vladimír Kučera: Decoupling with Stability

Day 2

13:00 ‐ 14:15 Robotics and machine perception (RMP, Václav Hlaváč)
13:00 ‐ 13:03 V. Hlavac: RMP Introduction
13:03 ‐ 13:12 Josef Šivic: Y. Labbé, J. Carpentier, M. Aubry and J. Sivic, CosyPose:
Consistent multi‐view multi‐object 6D pose estimation
13:12 ‐ 13:21 Tomáš Pajdla: C Albl, Z Kukelova, V Larsson, M Polic, T Pajdla, K
Schindler. From Two Rolling Shutters to One Global Shutter.
13:21 ‐ 13:30 Torsten Sattler: T Schöps, V Larsson, M Pollefeys, T Sattler, Why Having
10,000 Parameters in Your Camera Model is Better Than Twelve.

13:30 ‐ 13:39 Vladimír Petrík: Petrík, V.; Smutný, V.; Kyrki, V. Static Stability of Robotic
Fabric Strip Folding.
13:39 ‐ 13:48 Jan Behrens: J. Behrens, K.Stepanova, and R. Babuska. Simultaneous task
allocation and motion scheduling for complex tasks executed by multiple robots
13:48 ‐ 13:57 Pavel Krsek: Selivanova, A.; Hůlka, J.; Seifert, D.; Hlaváč, V.; Krsek, P.;
Smutný, V.; Wagner, L.; Voltr, J. et al. The use of a CZT detector with robotic systems,
Applied Radiation and Isotopes.
13:57 ‐ 14:06 Miroslav Kulich: Kulich, M., and Preucil, L. (2020). Multi‐robot search for
a stationary object placed in a known environment with a combination of GRASP and
VND.
14:06 ‐14:15 Libor Přeučil: L.G. Camara, L. Přeučil. Visual Place Recognition by spatial
matching of high‐level CNN features.
14:15 ‐ 14:55 Industrial production and automation (IPA, Michael Valášek a Petr Kolář)
14:15 ‐14:17 Petr Kolář IPA Introduction
14:17 ‐14:31 ŠIKA, Zbyněk; VYHLÍDAL, Tomáš; NEUSSER, Zdeněk. Two‐dimensional
delayed resonator for entire vibration absorption. Journal of Sound and Vibration,
2021, 500: 116010.

Power‐Plant Simulator. Part of NCK‐KUI result: Kučera, V. et al., (2020) Library of
software modules for modelling, control, and optimization of processes and systems, R
– software.
14:45 ‐14:55 Jan Koubek, Petr Kolář et al: Laser device integrated in a machine tool
(2020) G functional sample.
14:55 ‐ 15:35 Cognitive systems and neurosciences (COGSYS, Lenka Lhotská)
14:55‐15:00 Lenka Lhotská: Brief overview of CogSys research activities in 2020
15:00‐15:10 Václav Křemen: Brain Co‐processors: using Machine Learning in closed
loop chronic brain electrical stimulation.
15:10‐15:20 Lenka Vysloužilová: Vent‐Connect ‐ Remote Monitoring of Lung
Ventilators and Monitors of Vital Functions (https://www.ciirc.cvut.cz/vent‐connect/)
15:20‐15:30 Jindřich Adolf: Remote Physical Therapy: Single RGB Camera Motion
Sensing and Experimental Results
15:30‐15:35 Reserve
15:35 ‐ 16:15 Biomedical engineering and assistive technologies (BEAT, Olga Štěpánková)
15:35 ‐15:38 Olga Štěpánková: BEAT in 2020 (3 min)
15:38 ‐15:48 Milan Němý: Sensitive imaging measures for an early in vivo detection of
Alzheimer’s disease.
15:48 ‐15:58 Jan Mužík et al.: Dataset of wearable sensors with possibilities for data
exchange
15:58 ‐16:08 Jaroslav Cibulka, Deniz Özdemir et al.: A low cost pet‐like care‐bot
grounded in Smart Home IoT sensors as a source of interventions for PwD.
16:08 ‐ 16:15 Reserve
16:15 End of the meeting