Research and Innovation Centre on Advanced Industrial Production

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Update of the communication materials

Evaluation of todate materials and rework of existing or design of new materials related to T72

Education by projects - internal grant scheme documentation

The internal grant scheme will be defined and established in order to support young talents and inventors to participate on industrially relevant projects and topics related to T43

Internal documentation on RICAIP full access to CIIRC CTU administration capacities

The internal agreement on a matrix management model for RICAIP F&A Services availability at partner’s organizations; (related to T2.2).

Common requirements on all managerial and scientific positions of RICAIP

The deliverable will include KPIs for all RICAIP positions and description of evaluation procedures; (related to T4.1).

Mobility programme defined

The Mobility programme will include plans for short-term internships and visits of foreign experts; (related to T4.2).

Interim evaluation and potential re-design of Use Case 2 study

The deliverable will be aimed to analysis of properties of Use Case 2 with respect to requirements on selected production performance and reliability indicators as well as evaluation of key features necessary for systems interoperability. This will be base for possible reshape of the use case to ensure relevance for real industrial environments; (related to T6.2).

Career Development Plan and retention policy drafted

The deliverable will contain principles for research and administrative staff career development. The principles will be based on adaptation of current career development plans already adopted by CEITEC BUT and CIIRC CTU; (related to T4.1).

Research groups scientific and organisational workplan including SSH

The plan for scientific focus and tasks of each research group will be defined and presented; (related to T3.1).

Interim evaluation and potential re-design of Use Case 1 study

Evaluation of the progress in Use Case 1 regarding R&D of RICAIP and industry needs. Following the evaluation, Use Case 1 will be adjusted; (related to T6.1).

Educational and training tools

Software and hardware tool-box to perform online and offline training at different sites; (related to T3.1).

Recruitment processes and welcome services documentation

The deliverable will be aimed at processes for the recruitment of research and administrative staff. These processes will be designed with respect to the internal rules of project partners and relevant legislation. The concept of welcome services for new employees will be described; (related to T4.1).

RICAIP Showroom

Concept of the RICAIP Showroom following the study from the RICAIP Phase 1 related to T72

Grant Lab Strategy

Strategy for project managers to cooperate on joint project proposals in order to enhance competitiveness in seeking for international H2020 calls; (related to T3.2).

RICAIP Responsible Research and Innovation Strategy

Strategy document on fair, responsible and transparent actions for RICAIP to address the needs of the scientific excellence and various social interest groups; (related to T2.4).

Plan for interdisciplinary workshops, seminars and conferences

Plan and concept for RICAIP workshops, seminars and RICAIP scientific conferences in the upcoming years; (related to T4.2).

Dissemination strategy and standards

The strategic document will focus on activities increasing the awareness of the RICAIP Project and dissemination of its results and impacts to all target groups - continuously updated during the project. Examples of the dissemination routes are, e.g. RICAIP Workshop series and scientific conference, etc.; (related to T7.1).

Kick off meeting minutes

First meeting of the project consortium that will be held by CIIRC CTU in Prague; (related to T1.1).

Communication strategy and standards

The communication strategy focuses on specific target groups and communication routes, both internally and externally. Continuously updated during the project. Examples of the communication routes are, e.g. RICAIP Industry 4.0 Information Days, programme targeting school children “Computer-aided Industry: This is Interesting!”, etc.; (related to T7.2).

Update of the dissemination materials

Revision of dissemination activities and materials proposed within the strategy and their adequate update based on feedback of all partners related to T71

Procurement documentation (technology) finalised

The procurement documentation of all technologies planned in the ESIF OP RDE part of the budget will be prepared for CIIRC CTU and CEITEC BUT related to T51

Science as a business strategy

Strategy document based on needs of industry and society and its derivation and application in RICAIP; (related to T2.3).

Young Investigator Award proposition

The deliverable will deal with principles of intended awards for talented PhD students and postdocs Selection procedures and other rules for use of the award will be described related to T43

Exploitation Plan

The deliverable will be focused on identification of target groups, recognising the exploitable RICAIP results and planning of their sharing with the stakeholders - continuously updated; (related to T7.1).

Terms and conditions of testbed open access principles drafted

The deliverable will setup principles of open access to the upgraded infrastructure. The principles will be based on modified core-facility access policies already introduced by CEITEC BUT; (related to T2.2).

Call for the RICAIP Director - final documentation

The requirements on the position of the RICAIP Director specifying necessary level of scientific and managerial experience of the candidate; (related to T4.1).

Sustainability Plan

Strategy revenuecost based document on the future development of RICAIP Risk assessment included related to T23

Tenure track policy

The missing tenure track policy will be defined and established at CIIRC CTU; (related to T3.3).

Industrial chair policy

The industrial chair policy will be prepared in cooperation with industrial stakeholders

SSH and Co-Creation Strategy adopted

Strategy document for RICAIP to address the social needs on the expertly basis and to make RICAIP open for general public to contribute related to T23

Gender action plan advanced draft

The deliverable will provide the advanced draft of gender issues related strategic document including set of measures, recommendations and KPIs taken by all partners with the aim to achieve the gender equality standards within RICAIP; (related to T2.5).

RICAIP EU Roadmap strategy

Full documentation to apply and enter the national ESFRI Roadmaps, including the BP and Sustainability Plan; (related to T2.4).

Internationalisation strategy

The invited lectures, hosting of foreign experts, running excellent international projects and networking activities will be presented at the website fully in English (see Part 2.2.2); (related to T7.2).

RICAIP Industry Days of Open Door

Open day for industrial partners and companies interested in Industry 40 topics including presentation of the EU Testbed Core related to T71

RICAIP Open Day

Presentation of RICAIP scientific focus for students and academia, including visits to the EU Testbed Core; (related to T7.1).

Data Management Plan

The deliverable will provide detailed rules on handling collected data including data security and privacy issues. Rules for access to the data by project partners as well as external use of the data will be covered; (related to T2.4).

Veröffentlichungen

Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

Autoren: Orvalho, Pedro; Piepenbrock, Jelle; Janota, Mikoláš; Manquinho, Vasco
Veröffentlicht in: ECAI, Ausgabe 5, 2023, ISSN 1865-0929
Herausgeber: Springer Verlag
DOI: 10.48550/arxiv.2307.13014

Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints

Autoren: Jana Koehler; Joseph Bürgler; Urs Fontana; Etienne Fux; Florian A. Herzog; Marc Pouly; Sophia Saller; Anastasia Salyaeva; Peter Scheiblechner; Kai Waelti
Veröffentlicht in: Constraints, Ausgabe 5, 2021, Seite(n) 56-106, ISSN 1572-9354
Herausgeber: Springer AG
DOI: 10.22028/d291-34241

Parallel Computing Utilization in Nonlinear Model Predictive Control of Permanent Magnet Synchronous Motor

Autoren: Michal Kozubik, Libor Vesely, Eyke Aufderheide, Pavel Vaclavek
Veröffentlicht in: IEEE Access, Ausgabe 12, 2024, Seite(n) 128187-128200, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2024.3456432

Parameter Estimation and Control Structure Synthesis for Oscillatory Mechanical Two-Mass Systems

Autoren: Ondrej Bartik
Veröffentlicht in: IEEE Access, Ausgabe 12, 2024, Seite(n) 77764-77773, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2024.3407850

Brno urban dataset: Winter extension

Autoren: Adam Ligocki, Ales Jelinek, Ludek Zalud
Veröffentlicht in: Data in Brief, Ausgabe 40, 2023, Seite(n) 107667, ISSN 2352-3409
Herausgeber: Elsevier BV
DOI: 10.1016/j.dib.2021.107667

Non-Linear Model Predictive Control of Cabin Temperature and Air Quality in Fully Electric Vehicles

Autoren: Jan Glos, Lukas Otava, Pavel Vaclavek
Veröffentlicht in: IEEE Transactions on Vehicular Technology, Ausgabe 70/2, 2021, Seite(n) 1216-1229, ISSN 0018-9545
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tvt.2021.3054170

SAT Competition 2020

Autoren: Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
Veröffentlicht in: Artificial Intelligence Journal 2021, Ausgabe 301, 2021, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2021.103572

Description and evaluation of production goals

Autoren: Pavel Hradecky, Vojtech Janu, Pavel Burget, Tomas Jochman, Tilman Becker
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 56, 2024, Seite(n) 2982-2988, ISSN 2405-8963
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2023.10.1423

Brno Urban Dataset: Winter Extension

Autoren: Adam Ligocki; Ales Jelinek; Ludek Zalud
Veröffentlicht in: Data in Brief (Online). 2022, vol. 40, issue 1, p. 1-10., Ausgabe 5, 2022, ISSN 2352-3409
Herausgeber: Elsevier BV
DOI: 10.1016/j.dib.2021.107667

Mechanical Properties, Structure and Machinability of the H13 Tool Steel Produced By Material Extrusion

Autoren: Martin Maly, Stepan Kolomy, Radek Kasan, Lukas Bartl, Josef Sedlak, Jan Zouhar
Veröffentlicht in: Manufacturing Technology, Ausgabe 24, 2025, Seite(n) 608-617, ISSN 1213-2489
Herausgeber: Institute of Technology and Production Management University of J.E. Purkyne
DOI: 10.21062/mft.2024.066

Recursive Identification of Time-Varying Hammerstein Systems With Matrix Forgetting

Autoren: Jakub Dokoupil; Pavel Václavek
Veröffentlicht in: IEEE Transactions on Automatic Control, Ausgabe 45, 2023, ISSN 0018-9286
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3188478

A New Method to Perform Direct Efficiency Measurement and Power Flow Analysis in Vibration Energy Harvesters

Autoren: Jan Kunz, Jiri Fialka, Stanislav Pikula, Petr Benes, Jakub Krejci, Stanislav Klusacek, Zdenek Havranek
Veröffentlicht in: Sensors, Ausgabe 21/7, 2021, Seite(n) 2388, ISSN 1424-8220
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s21072388

Investigating the Role of Image Retrieval for Visual Localization

Autoren: Martin Humenberger, Yohann Cabon, Noé Pion, Philippe Weinzaepfel, Donghwan Lee, Nicolas Guérin, Torsten Sattler, Gabriela Csurka
Veröffentlicht in: International Journal of Computer Vision, Ausgabe 130, 2022, ISSN 0920-5691
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s11263-022-01615-7

Improvement of the Temperature Stability of the Erbium-Doped Superfluorescent Fiber Source by Tuning the Reflectivity of the Fiber End

Autoren: Michal Skalský, Jakub Hnidka, Zdeněk Havránek
Veröffentlicht in: Journal of Lightwave Technology, Ausgabe 41, 2024, Seite(n) 1843-1850, ISSN 0733-8724
Herausgeber: Optical Society of America
DOI: 10.1109/jlt.2022.3226206

Diagnostics of Interturn Short Circuits in PMSMs With Online Fault Indicators Estimation

Autoren: Lukas Zezula, Matus Kozovsky, Petr Blaha
Veröffentlicht in: IEEE Transactions on Industrial Electronics, Ausgabe 71, 2024, Seite(n) 15001-15011, ISSN 0278-0046
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tie.2024.3363775

A Digital Twin-Based Distributed Manufacturing Execution System for Industry 4.0 with AI-Powered On-The-Fly Replanning Capabilities

Autoren: Jiří Vyskočil; Petr Douda; Petr Novák; Bernhard Wally
Veröffentlicht in: Sustainability; Volume 15; Ausgabe 7; Pages: 6251, Ausgabe 6, 2023, ISSN 2071-1050
Herausgeber: MDPI Open Access Publishing
DOI: 10.3390/su15076251

Improvement of the Temperature Stability of the Erbium-Doped Superfluorescent Fiber Source by Tuning the Reflectivity of the Fiber End

Autoren: Michal Skalsky; Jakub Hnidka; Zdenek Havranek
Veröffentlicht in: JOURNAL OF LIGHTWAVE TECHNOLOGY. 2022, vol. 41, issue 6, p. 1843-1850., Ausgabe 5, 2023, ISSN 0733-8724
Herausgeber: Optical Society of America
DOI: 10.1109/jlt.2022.3226206

Digitalized Automation Engineering of Industry 4.0 Production Systems and Their Tight Cooperation with Digital Twins

Autoren: Petr Novák, Jiří Vyskočil
Veröffentlicht in: Processes, Ausgabe 10, 2024, Seite(n) 404, ISSN 2227-9717
Herausgeber: MDPI
DOI: 10.3390/pr10020404

Boosting Isomorphic Model Filtering with Invariants

Autoren: João Araújo, Choiwah Chow, Mikoláš Janota
Veröffentlicht in: CONSTRAINTS, Ausgabe 27 (3), 2022, ISSN 1383-7133
Herausgeber: Kluwer Academic Publishers
DOI: 10.48550/arxiv.2201.10516

Recursive Variational Inference for Total Least-Squares

Autoren: Dominik Friml, Pavel Václavek
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe 7, 2023, Seite(n) 2839-2844, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2023.3289608

Classification of Discrete Dynamical Systems Based on Transients.

Autoren: Barbora Hudcová; Tomas Mikolov
Veröffentlicht in: Artificial Life Journal, Ausgabe 3, 2021, ISSN 1530-9185
Herausgeber: Artifical Life
DOI: 10.1162/artl_a_00342

Computing Generating Sets of Minimal Size in Finite Algebras

Autoren: Mikoláš Janota, Antonio Morgado, Petr Vojtěchovský
Veröffentlicht in: Journal of Symbolic Computation, 2023, ISSN 0747-7171
Herausgeber: Academic Press

Preserving Semantics in Textual Adversarial Attacks

Autoren: David Herel; Hugo Cisneros; Tomas Mikolov
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe 13, 2023, ISSN 1865-0929
Herausgeber: Springer Verlag
DOI: 10.3233/faia230376

First-Order Instantiation using Discriminating Terms.

Autoren: Chad E. Brown, Mikoláš Janota
Veröffentlicht in: """International Workshop on Satisfiability Modulo Theories co-located with International Conference on Computer Aided Verification CAV 2022""", Ausgabe 19, 2021
Herausgeber: Online

Neural Precedence Recommender

Autoren: Filip Bártek, Martin Suda
Veröffentlicht in: Automated Deduction – CADE 28, Ausgabe 28, 2021
Herausgeber: Online

Machine Learning for Quantifier Selection in cvc5

Autoren: J. Jakubův, M. Janota, J. Piepenbrock, and J. Urban
Veröffentlicht in: 2024
Herausgeber: ECAI

Detection of the Interturn Shorts of a Three-Phase Motor Using Artificial Intelligence Processing Vibration Data

Autoren: Martin Dosedel, Ladislav Kopecny, Matus Kozovsky, Jakub Hnidka, Zdenek Havranek
Veröffentlicht in: 2022 20th International Conference on Mechatronics - Mechatronika (ME), 2024, Seite(n) 1-5
Herausgeber: IEEE
DOI: 10.1109/me54704.2022.9982824

CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Casesv

Autoren: P. Orvalho, M. Janota, and V. Manquinho
Veröffentlicht in: 2024
Herausgeber: Formal Methods

Deep Visual Geo-Localization Benchmark.

Autoren: Gabriele Berton, Riccardo Mereu, Gabriele Trivigno, Carlo Masone, Gabriela Csurka, Torsten Sattler, Barbara Caputo
Veröffentlicht in: IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022
Herausgeber: Online

Interturn short circuit modelling in dual three-phase PMSM

Autoren: Matus Kozovsky, Ludek Buchta, Petr Blaha
Veröffentlicht in: IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society, 2023, Seite(n) 1-6
Herausgeber: IEEE
DOI: 10.1109/iecon49645.2022.9968364

CoBOS: Constraint-Based Online Scheduler for Human-Robot Collaboration

Autoren: Marina Ionova, Jan Kristof Behrens
Veröffentlicht in: 2024
Herausgeber: Arxiv Preprint

Online Neural Network Application for Compensation of the VSI Voltage Nonlinearities

Autoren: Ludek Buchta, Matus Kozovsky
Veröffentlicht in: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society, 2024, Seite(n) 1-6
Herausgeber: IEEE
DOI: 10.1109/iecon51785.2023.10312305

Mip-Splatting: Alias-free 3D Gaussian Splatting

Autoren: Zehao Yu, Anpei Chen, Binbin Huang, Torsten Sattler, Andreas Geiger
Veröffentlicht in: 2024
Herausgeber: IEEE

Detection of the Interturn Shorts of a Three-Phase Motor Using Artificial Intelligence Processing Vibration Data

Autoren: Doseděl, Martin; Kopečný, Ladislav; Kozovský, Matúš; Hnidka, Jakub; Havránek, Zdeněk
Veröffentlicht in: Proceedings of the 2022 20th International Conference on Mechatronics - Mechatronika (ME). 2022, p. 234-238., Ausgabe 5, 2022
Herausgeber: Online
DOI: 10.1109/me54704.2022.9982824

Control Set Reduction for PMSM Predictive Controller via Assisted Learning Algorithm

Autoren: Michal Kozubik, Pavel Vaclavek
Veröffentlicht in: 2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE), 2024, Seite(n) 1-6
Herausgeber: IEEE
DOI: 10.1109/isie54533.2024.10595683

P1AC: Revisiting Absolute Pose From a Single Affine Correspondence.

Autoren: Jonathan Ventura, Zuzana Kukelova, Torsten Sattler, Daniel Barath
Veröffentlicht in: ICCV, 2023
Herausgeber: ICCV
DOI: 10.48550/arxiv.2011.08790

Scale-Factor Stability Control Technique for Closed-Loop All-Fiber Interferometric Optical Gyroscope

Autoren: Michal Skalsky, Jiri Fialka, Ladislav Kopecny, Zdenek Havranek
Veröffentlicht in: 2021 IEEE International Symposium on Inertial Sensors and Systems (INERTIAL), 2022, Seite(n) 1-4
Herausgeber: IEEE
DOI: 10.1109/inertial51137.2021.9430458

Fair and Adventurous Enumeration of Quantifier Instantiations

Autoren: Janota, Mikolás; Barbosa, Haniel; Fontaine, Pascal; Reynolds, Andrew
Veröffentlicht in: Formal Methods in Computer-Aided Design – FMCAD 2021, Ausgabe 1, 2021, Seite(n) 256-260
Herausgeber: TU Wien Academic Press

MizAR 60 for Mizar 50

Autoren: Jan Jakubuv, Karel Chvalovský, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsák, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban
Veröffentlicht in: Fourteenth Conference on Interactive Theorem Proving, 2023
Herausgeber: Online

On the Limits of Pseudo Ground Truth in Visual Camera Re-localisation

Autoren: Brachmann, Eric; Humenberger, Martin; Rother, Carsten; Sattler, Torsten
Veröffentlicht in: International Conference on Computer Vision ICCV 2021, Ausgabe 2, 2021
Herausgeber: Online

How Privacy-Preserving are Line Clouds? Recovering Scene Details from 3D Lines

Autoren: Kunal Chelani; Fredrik Kahl; Torsten Sattler
Veröffentlicht in: Conference on Computer Vision and Pattern Recognition CVPR 2021, Ausgabe 2, 2021
Herausgeber: Online
DOI: 10.1109/cvpr46437.2021.01541

Filtering Isomorphic Models by Invariants.

Autoren: João Araújo, Choiwah Chow, Mikoláš Janota
Veröffentlicht in: Conference on Principles and Practice of Constraint Programming CP2021, Ausgabe 27, 2021
Herausgeber: Online
DOI: 10.4230/lipics.cp.2021.4

Towards a modular multi-platform ROS2-based navigation system for mobile robots

Autoren: HORELIČAN, T.
Veröffentlicht in: Proceedings I of the 29th Student EEICT 2023 (General Papers)., 2023
Herausgeber: Brno University of Technology

Reuse of Introduced Symbols in Automatic Theorem Provers

Autoren: Michael Rawson , Martin Suda , Petra Hozzová and Giles Reger
Veröffentlicht in: PAAR’22: 8th Workshop on Practical Aspects of Automated Reasoning, August 11–12, 2022, Ausgabe 8, 2022
Herausgeber: Online

Objects Can Move: 3D Change Detection by Geometric Transformation Consistency

Autoren: Aikaterini Adam, Torsten Sattler, Konstantinos Karantzalos, Tomas Pajdla
Veröffentlicht in: European Conference on Computer Vision (ECCV), 2022., Ausgabe 17, 2022
Herausgeber: Online
DOI: 10.48550/arxiv.2208.09870

MonoSDF: Exploring Monocular Geometric Cues for Neural Implicit Surface Reconstruction

Autoren: Zehao Yu, Songyou Peng, Michael Niemeyer, Torsten Sattler, Andreas Geiger
Veröffentlicht in: 2022 Conference on Neural Information Processing Systems NeurIPS, Ausgabe 36, 2022
Herausgeber: Online
DOI: 10.48550/arxiv.2206.00665

Computational Hierarchy of Elementary Cellular Automata

Autoren: Barbora Hudcová; Tomas Mikolov
Veröffentlicht in: Artifical Life 2021, Ausgabe 1, 2021
Herausgeber: Online
DOI: 10.1162/isal_a_00447

Symbolic Computation for All the Fun

Autoren: C. E. Brown, M. Janota, M. Olšák
Veröffentlicht in: 2024
Herausgeber: Satisfiability Checking and Symbolic Computation, SC2 2024

Human Detection in Depth Map Created from Point Cloud

Autoren: Ligocki, Adam; Žalud, Luděk
Veröffentlicht in: Lecture Notes in Computer Science. 2022, p. 1-12., Ausgabe 6, 2022
Herausgeber: Online

Partially calibrated semi-generalized pose from hybrid point correspondences

Autoren: Snehal Bhayani, Viktor Larsson, Torsten Sattler, Janne Heikkila, Zuzana Kukelova
Veröffentlicht in: IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2023., Ausgabe 23, 2023
Herausgeber: Online
DOI: 10.48550/arxiv.2209.15072

Emergence of Novelty in Evolutionary Algorithms

Autoren: Herel, David; Zogatova, Dominika; Kripner, Matej; Mikolov, Tomas
Veröffentlicht in: Crossref, Ausgabe 44, 2023
Herausgeber: ALIFE
DOI: 10.1162/isal_a_00501

CrowdDriven: A New Challenging Dataset for Outdoor Visual Localization

Autoren: Ara Jafarzadeh, Manuel López Antequera, Pau Gargallo, Yubin Kuang, Carl Toft, Fredik Kahl, Torsten Sattler
Veröffentlicht in: ICCV: IEEE International Conference on Computer Vision 2021, 2021
Herausgeber: Online

An approach for precise CAD reconstruction based on TEASER++, iterative ICP methods for robotics applications

Autoren: Xiaomei Xu, Attique Bashir, Rainer Müller
Veröffentlicht in: 2024
Herausgeber: CIRP ICME 2024

Discrete-Time Modeling of PMSM for Parametric Estimation and Model Predictive Control Tasks

Autoren: Lukas Zezula, Petr Blaha
Veröffentlicht in: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society, 2024
Herausgeber: IEEE
DOI: 10.1109/iecon51785.2023.10312226

Fast Heuristic for Ricochet Robots

Autoren: Jan Hůla, David Adamczyk, Mikoláš Janota
Veröffentlicht in: ICAART-23, Ausgabe 15, 2023
Herausgeber: Online

Bayesian Inference of Total Least-Squares With Known Precision

Autoren: Dominik Friml, Pavel Vaclavek
Veröffentlicht in: 2022 IEEE 61st Conference on Decision and Control (CDC), 2024, Seite(n) 203-208
Herausgeber: IEEE
DOI: 10.1109/cdc51059.2022.9992409

MeshLoc: Mesh-Based Visual Localization

Autoren: Vojtech Panek, Zuzana Kuikelova, Torsten Sattler
Veröffentlicht in: European Conference on Computer Vision (ECCV), 2022., Ausgabe 17, 2022
Herausgeber: Online
DOI: 10.48550/arxiv.2207.10762

Data-driven Single Machine Scheduling Minimizing Weighted Number of Tardy Jobs

Autoren: N. Antonov, P. Šůcha, and M. Janota
Veröffentlicht in: 2023
Herausgeber: EPIA 2023

Digital Twins for Distributed Collaborative Work in Shared Production

Autoren: Caspar Jacob, Fabio Espinosa, Andreas Luxenburger, Dieter Merkel, Jonas Mohr, Tim Schwartz, Nishant Gajjar and Khansa Rekik
Veröffentlicht in: IEEE International Conference on Artificial Intelligence & Virtual Reality, Ausgabe 5, 2022
Herausgeber: Online
DOI: 10.1109/aivr56993.2022.00042

ViewFormer: NeRF-free Neural Rendering from Few Images Using Transformers

Autoren: Jonáš Kulhánek, Erik Derner, Torsten Sattler, Robert Babuska
Veröffentlicht in: European Conference on Computer Vision (ECCV), 2022., Ausgabe 17, 2022
Herausgeber: Online
DOI: 10.48550/arxiv.2203.10157

Learning Equational Theorem Proving

Autoren: Piepenbrock, Jelle; Heskes, Tom; Janota, Mikoláš; Urban, Josef
Veröffentlicht in: Conference on Artificial Intelligence and Theorem Proving AITP 2021, Ausgabe 5, 2021
Herausgeber: Online
DOI: 10.48550/arxiv.2102.05547

A Higher-Order Vampire (Short Paper)

Autoren: Bhayat, A., Suda, M.
Veröffentlicht in: 2024
Herausgeber: CEUR Workshop proceedings

SAT-based Leximax Optimisation Algorithms

Autoren: Miguel Cabral, Mikoláš Janota, and Vasco Manquinho
Veröffentlicht in: SAT International Conference on Theory and Applications of Satisfiability Testing 2022, Ausgabe 25, 2022
Herausgeber: Online
DOI: 10.4230/lipics.sat.2022.29

Using Image Sequences for Long-Term Visual Localization

Autoren: Erik Stenborg, Torsten Sattler,Lars Hammarstrand
Veröffentlicht in: International Conference on 3D Vision 3DV, 2020
Herausgeber: Online

Atlas Fusion - Modern Framework for Autonomous Agent Sensor Data Fusion

Autoren: Ligocki, Adam; Jelínek, Aleš; Žalud, Luděk
Veröffentlicht in: 14th International Conference ELEKTRO, ELEKTRO 2022 - Proceedings. 2022, p. 1-6., Ausgabe 7, 2022
Herausgeber: Online
DOI: 10.1109/elektro53996.2022.9803587

Regularization in Spider-Style Strategy Discovery and Schedule Construction.

Autoren: Bártek, F., Chvalovský, K., Suda, M.
Veröffentlicht in: 2024
Herausgeber: IJCAR

Comparing Precise Impedance Analyzers to Determine the Coefficients of PZT Ceramics via the Frequency Method

Autoren: Klusáček, Stanislav; Fialka, Jiří; Mancl, Vlastimil; Šedivá, Soňa; Krejčí, Jakub; Beneš, Petr
Veröffentlicht in: Proceedings of the 29th International Congress on Sound and Vibration, 2023
Herausgeber: ICSV

Integrating augmented reality within digital twins for smart robotic manufacturing systems

Autoren: T. Jochman, V. Voltr, O. Svec, V. Kubacek, P. Burget, and V. Hlavac
Veröffentlicht in: 2024
Herausgeber: IEEE

Patch2Pix: Epipolar-Guided Pixel-Level Correspondences

Autoren: Qunjie Zhou, Torsten Sattler, Laura Leal-Taixe
Veröffentlicht in: CVPR:Conference on Computer Vision and Pattern Recognition 2021, 2021
Herausgeber: Online
DOI: 10.48550/arxiv.2012.01909

Graph Neural Networks for Scheduling of SMT Solvers.

Autoren: Jan Hůla, David Mojžíšek, Mikoláš Janota
Veröffentlicht in: International Conference on Tools with Artificial Intelligence ICTAI 2021, Ausgabe 33, 2021
Herausgeber: Online

Interturn short circuit modelling in dual three-phase PMSM

Autoren: Kozovský, Matúš; Buchta, Luděk; Blaha, Petr
Veröffentlicht in: IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society. 2022, p. 1-6., Ausgabe 5, 2022
Herausgeber: Online
DOI: 10.1109/iecon49645.2022.9968364

Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine

Autoren: KAUFMANN, D.; KOZOVSKÝ, M.; WOTAWA, F.
Veröffentlicht in: 2024
Herausgeber: Dagstuhl Publishing

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments

Autoren: P. Orvalho, M. Janota, and V. Manquinho
Veröffentlicht in: 2024
Herausgeber: APR '24: 5th ACM/IEEE International Workshop on Automated Program Repair

A robot-system for picking parts from unstructured bins – A practical Approach

Autoren: Xiaomei Xu, Attique Bashir, Rainer Müller
Veröffentlicht in: 2024
Herausgeber: CIRP CATS

Advancing State of the Art in Language Modeling

Autoren: Herel, David; Mikolov, Tomas
Veröffentlicht in: Ausgabe 27, 2023
Herausgeber: Arxiv
DOI: 10.48550/arxiv.2312.03735

Object Pose Estimation Using Implicit Representation For Transparent Objects

Autoren: Varun Burde and Artem Moroz and Vit Zeman and Pavel Burget
Veröffentlicht in: 2024
Herausgeber: ArXiv Preprint

Human intention and workspace recognition for collaborative assembly

Autoren: Gajjar, N. K., Rekik, K., Kanso, A., & Müller, R.
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 21, 2022
Herausgeber: online

Benchmarking Image Retrieval for Visual Localization

Autoren: Noe Pion, Martin Humenberger, Gabriela Csurka, Yohann Cabon, Torsten Sattler
Veröffentlicht in: International Conference on 3D Vision (3DV), 2020
Herausgeber: Online

Towards Learning Infinite SMT Models

Autoren: M. Janota, B. Piotrowski, K. Chvalovský
Veröffentlicht in: 2023
Herausgeber: SYNASC 2023

Deep LiDAR localization using optical flow sensor-map correspondences

Autoren: Anders Sunegård, Lennart Svensson, Torsten Sattler
Veröffentlicht in: International Conference on 3D Vision 3DV, 2020, ISBN 978-1-7281-8128-8
Herausgeber: Online

Symmetries for Cube-and-conquer in Finite Model Finding

Autoren: J. Araújo, C. Chow, M. Janota
Veröffentlicht in: 2023
Herausgeber: CP 2023

Challenges and Solutions for Higher-Order SMT Proofs

Autoren: Chad E. Brown, Mikoláš Janota, and Cezary Kaliszyk
Veröffentlicht in: SMT 2022, Ausgabe 20, 2022
Herausgeber: Online

Towards Learning Quantifier Instantiation in SMT

Autoren: Mikoláš Janota, Jelle Piepenbrock, Bartosz Piotrowski
Veröffentlicht in: SAT International Conference on Theory and Applications of Satisfiability Testing 2022, Ausgabe 25, 2022
Herausgeber: Online

Scale-Factor Stability Control Technique for Closed-Loop All-Fiber Interferometric Optical Gyroscope

Autoren: Michal Skalsky; Jiri Fialka; Ladislav Kopecny; Zdenek Havranek
Veröffentlicht in: International Symposium on Inertial Sensors and Systems (INERTIAL), Ausgabe 5, 2021
Herausgeber: International Symposium on Inertial Sensors and Systems (INERTIAL)
DOI: 10.1109/inertial51137.2021.9430458

Human POSEitioning System (HPS): 3D Human Pose Estimation and Self-localization in Large Scenes from Body-Mounted Sensors

Autoren: Vladimir Guzov; Aymen Mir; Torsten Sattler; Gerard Pons-Moll
Veröffentlicht in: IEEE/CVF Conference on Computer Vision and Pattern Recognition, Ausgabe 4, 2021
Herausgeber: 2021 Conference on C Computer Vision and Pattern Recognition
DOI: 10.1109/cvpr46437.2021.00430

Absolute Pose from One or Two Scaled and Oriented Features

Autoren: Jonathan Ventura, Zuzana Kukelova, Torsten Sattler, Dániel Baráth
Veröffentlicht in: 2024
Herausgeber: IEEE

Utilizability of Navigation2/ROS2 in Highly Automated and Distributed Multi-Robotic Systems for Industrial Facilities

Autoren: Tomas Horelican
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 55, 2022, Seite(n) 109-114, ISSN 2405-8963
Herausgeber: IFAC
DOI: 10.1016/j.ifacol.2022.06.018

Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description)

Autoren: Martin Suda
Veröffentlicht in: International Joint Conference on Automated Reasoning 2022, Ausgabe 11, 2022
Herausgeber: Online
DOI: 10.1007/978-3-031-10769-6_38

Automatic Workspace Calibration Using Homography for Pick and Place

Autoren: Burde, V.; Martinez Lema, D.; Zeman, V.; Kahlert, L.; Jochman, T.; Burget, P.
Veröffentlicht in: IEEE 19th International Conference on Automation Science and Engineering (CASE), 2023
Herausgeber: IEEE
DOI: 10.1109/case56687.2023.10260601

Lemma Discovery and Strategies for Automated Induction.

Autoren: Einarsdóttir, S.H., Hajdu, M., Johansson, M., Smallbone, N., Suda, M.
Veröffentlicht in: 2024
Herausgeber: IJCAR

Adaptivity Schemes for Model Predictive Speed Control of PMSM

Autoren: Kozubík, Michal; Václavek, Pavel; García de Madinabeitia, Iigo
Veröffentlicht in: Proceedings of IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society. 2022, 6 p., Ausgabe 5, 2022
Herausgeber: Online
DOI: 10.1109/iecon49645.2022.9968981

Experiments on Infinite Model Finding in SMT Solving

Autoren: Julian Parsert; Chad Brown; Mikolas Janota; Cezary Kaliszyk
Veröffentlicht in: Crossref, Ausgabe 47, 2023
Herausgeber: EPiC Series in Computing
DOI: 10.29007/slrm

Comparing the Measurement Methods for Testing the Piezoelectric Ring Element in a Knock Sensor

Autoren: Klusáček, Stanislav; Fialka, Jiří; Havránek, Zdeněk; Skalský, Michal; Beneš, Petr
Veröffentlicht in: Proceedings of the 29th International Congress on Sound and Vibration, 2023
Herausgeber: Proceedings of the 29th International Congress on Sound and Vibration.

Implementation of ANN for PMSM Interturn Short-Circuit Detection in the Embedded System

Autoren: Matus Kozovsky, Ludek Buchta, Petr Blaha
Veröffentlicht in: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society, Ausgabe 52, 2024, Seite(n) 1-6
Herausgeber: IEEE
DOI: 10.1109/iecon51785.2023.10312642

The Unreasonable Effectiveness of Pre-Trained Features for Camera Pose Refinement

Autoren: Gabriele Trivigno, Carlo Masone, Barbara Caputo, Torsten Sattler
Veröffentlicht in: 2024
Herausgeber: IEEE

How Much Should This Symbol Weigh? A GNN-Advised Clause Selection

Autoren: Filip Bártek, Martin Suda
Veröffentlicht in: EPiC Series in Computing, Ausgabe 94, 2023, Seite(n) 96-79
Herausgeber: EasyChair
DOI: 10.29007/5f4r

Adaptivity Schemes for Model Predictive Speed Control of PMSM

Autoren: Michal Kozubik, Pavel Vaclavek, Inigo Garcia de Madinabeitia Merino
Veröffentlicht in: IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society, 2022, Seite(n) 1-6
Herausgeber: IEEE
DOI: 10.1109/iecon49645.2022.9968981

Improving ENIGMA-style Clause Selection while Learning From History

Autoren: Martin Suda
Veröffentlicht in: Automated Deduction – CADE 28 ISBN: 9783030798758, Ausgabe 3, 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-79876-5_31

Differential Evolution Based Nonlinear Model Predictive Speed Control of PMSM Implemented on GPU

Autoren: Michal Kozubik; Dominik Friml
Veröffentlicht in: 2021 IEEE 30th International Symposium on Industrial Electronics (ISIE), Ausgabe 2, 2021
Herausgeber: IEEE
DOI: 10.1109/isie45552.2021.9576359

TestSelector: Automatic Test Suite Selection for Student Projects

Autoren: Filipe Marques, Antonio Morgado, José Fragoso Santos, Mikoláš Janota
Veröffentlicht in: International Conference on Runtime Verification, Ausgabe 22, 2022
Herausgeber: Online
DOI: 10.48550/arxiv.2207.09509

Recursive Identification of the ARARX Model Based on the Variational Bayes Method

Autoren: Jakub Dokoupil, Pavel Václavek
Veröffentlicht in: 2023 62nd IEEE Conference on Decision and Control (CDC), Ausgabe 17, 2024, Seite(n) 4215-4222
Herausgeber: IEEE
DOI: 10.1109/cdc49753.2023.10383518

SAT-based Techniques for Lexicographically Smallest Finite Models

Autoren: M. Janota, C. Chow, J. Araújo, M. Codish, P. Vojtěchovský
Veröffentlicht in: 2024
Herausgeber: AAAI

Selecting Quantifiers for Instantiation in SMT

Autoren: J. Jakubův, M. Janota, B. Piotrowski, J. Piepenbrock, and A. Reynolds
Veröffentlicht in: 2023
Herausgeber: SMT 2023

Back to the Feature: Learning Robust Camera Localization from Pixels to Pose

Autoren: Paul-Edouard Sarlin; Ajaykumar Unagar; Måns Larsson; Hugo Germain; Carl Toft; Viktor Larsson; Marc Pollefeys; Vincent Lepetit; Lars Hammarstrand; Fredrik Kahl; Torsten Sattler
Veröffentlicht in: Conference on Computer Vision and Pattern Recognition CVPR 2021, Ausgabe 2, 2021
Herausgeber: Online
DOI: 10.1109/cvpr46437.2021.00326

Relative pose of three calibrated and partially calibrated cameras from four points using virtual correspondences

Autoren: Tzamos, Charalambos; Barath, Daniel; Sattler, Torsten; Kukelova, Zuzana
Veröffentlicht in: Ausgabe 1, 2024
Herausgeber: arxiv preprint
DOI: 10.48550/arxiv.2303.16078

Analyzing the impact of mechanical damage in the piezoelectric ceramics elements of knock sensors on the frequency characteristic

Autoren: Klusáček, Stanislav; Fialka, Jiří; Havránek, Zdeněk; Skalský, Michal; Pikula, Stanislav; Šedivá, Soňa; Beneš, Petr
Veröffentlicht in: Proceedings of the 30th International Congress on Sound and Vibration, 2024
Herausgeber: International Institute of Acoustics and Vibration

Cautious Specialization of Strategy Schedules

Autoren: Filip Bártek, Karel Chvalovský, Martin Suda
Veröffentlicht in: 2024
Herausgeber: IJCAR

Predictive Intention Recognition Using Deep Learning for Collaborative Assembly

Autoren: Khansa Rekik, GrimaldoSilva, Attique Bashir, Rainer Müller
Veröffentlicht in: 2024
Herausgeber: IEEE

Characteristic Subsets of SMT-LIB Benchmarks

Autoren: Jakubův, Jan; Janota, Mikoláš; Reynolds, Andrew
Veröffentlicht in: International Workshop on Satisfiability Modulo Theories (SMT), Ausgabe 5, 2021
Herausgeber: Online
DOI: 10.5281/zenodo.5616588

Comparative Evaluation of 3D Reconstruction Methods for Object Pose Estimation

Autoren: Varun Burde and Assia Benbihi and Pavel Burget and Torsten Sattler
Veröffentlicht in: 2024
Herausgeber: ArXiv Preprint

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering

Autoren: P. Orvalho, M. Janota, and V. Manquinho
Veröffentlicht in: 2024
Herausgeber: SIGCSE Virtual 2024

A Concept to solve Bin Picking problem in the robotics based on CAD Model and Measurement data

Autoren: Ali Kanso, Xiaomei XU, Khansa Rekik, Rainer Müller
Veröffentlicht in: International Conference on Systems and Control, Ausgabe 10, 2022
Herausgeber: online

How to Approximate Leximax-optimal Solutions

Autoren: Miguel Cabral, Mikoláš Janota, and Vasco Manquinho
Veröffentlicht in: POS 2021, Ausgabe 12, 2021
Herausgeber: Online

Privacy-Preserving Representations Are Not Enough: Recovering Scene Content From Camera Poses.

Autoren: Kunal Chelani, Torsten Sattler, Fredrik Kahl, Zuzana Kukelova
Veröffentlicht in: IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2023
Herausgeber: Online

Methods to Measure Thermal Depolarization Effects in Piezoelectric Active Ring Elements for Diagnostic Sensors

Autoren: Fialka, Jiří; Klusáček, Stanislav; Havránek, Zdeněk; Beneš, Petr
Veröffentlicht in: Proceedings of the 28th International Congress on Sound and Vibration, 2022
Herausgeber: 28th International Congress on Sound and Vibration

Leverage Asset Administration Shells to Support Artificial Intelligence Planning

Autoren: Alexis T. Bernhard; Benjamin Blumhofer; Martin Ruskowski; Achim Wagner; Andreas Luxenburger; Daniel Porta
Veröffentlicht in: IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA), 2024
Herausgeber: IEEE

Targeted Configuration of an SMT Solver

Autoren: Jan Hůla, Jan Jakubův, Mikoláš Janota, and Lukáš Kubej
Veröffentlicht in: CICM Conferences on Intelligent Computer Mathematics 2022, Ausgabe 15, 2022
Herausgeber: Online
DOI: 10.1007/978-3-031-16681-5_18

Online Scheduling and Reactive Behaviors for Effective Human-Robot-Collaboration

Autoren: IONOVA, M., P. VANC, and J. BEHRENS
Veröffentlicht in: 2023
Herausgeber: Daegu

The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.

Autoren: Mikoláš Janota, António Morgado, José Fragoso Santos, Vasco Manquinho
Veröffentlicht in: Conference on Principles and Practice of Constraint Programming CP2022, Ausgabe 27, 2021
Herausgeber: Online
DOI: 10.4230/lipics.cp.2021.31

Calibrated and Partially Calibrated Semi-Generalized Homographies

Autoren: Snehal Bhayani, Torsten Sattler, Daniel Barath, Patrik Beliansky, Janne Heikkila, Zuzana Kukelova
Veröffentlicht in: ICCV: IEEE International Conference on Computer Vision 2021, 2021
Herausgeber: Online

Atlas Fusion 2.0 A ROS2 Based Real-Time Sensor Fusion Framework

Autoren: Stanislav Svědiroh, Luděk Žalud
Veröffentlicht in: Lecture Notes in Computer Science, Modelling and Simulation for Autonomous Systems, 2024, Seite(n) 21-33
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71397-2_3

Vampire with a Brain Is a Good ITP Hammer

Autoren: Martin Suda
Veröffentlicht in: Frontiers of Combining Systems ISBN: 9783030862046, Ausgabe 3, 2021, Seite(n) 192-209, ISBN 978-3-030-86204-6
Herausgeber: Springer
DOI: 10.1007/978-3-030-86205-3_11

Reference Pose Generation for Long-term Visual Localization via Learned Features and View Synthesis

Autoren: Zichao Zhang; Torsten Sattler; Davide Scaramuzza
Veröffentlicht in: International Journal of Computer Vision, Ausgabe 5, 2020
Herausgeber: International Journal of Computer Vision
DOI: 10.5167/uzh-205800

Suche nach OpenAIRE-Daten ...

Leistungen

Veröffentlichungen

Diese Seite teilen Diese Seite in sozialen Netzwerken teilen

Herunterladen Den Inhalt der Seite herunterladen