Jirí Matyás

According to our database, Jirí Matyás authored at least 16 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compact 3D-Printed Unit for Separation of Simple Gas Mixtures Combined with Chemiresistive Sensors.

Magdalena Zvonkova, Martin Adamek, Nela Skowronkova, Stepan Dlabaja, Jirí Matyás, Miroslav Jasso, Anna Adamkova, Jiri Mlcek, Richardos Nikolaos Salek, Martin Buran

Sensors, July, 2024

Pressure-Driven Piezoelectric Sensors and Energy Harvesting in Biaxially Oriented Polyethylene Terephthalate Film.

Romana Stepancikova, Robert Olejník, Jirí Matyás, Milan Masar, Berenika Hausnerova, Petr Slobodian

Sensors, February, 2024

New Insights into the Comprehensive System of Thermodynamic Sensors and Electronic Nose and Its Practical Applications in Dough Fermentation Monitoring.

Veronika Sevcikova, Martin Adamek, Romana Sebestikova, Iva Buresova, Martin Buran, Anna Adamkova, Magdalena Zvonkova, Nela Skowronkova, Jirí Matyás, Jiri Mlcek

Sensors, January, 2024

Využití formálních metod v přibližném počítání ; Applications of Formal Methods in Approximate Computing.

Jirí Matyás

PhD thesis, 2024

2022

SagTree: Towards efficient mutation in evolutionary circuit approximation.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Swarm Evol. Comput., 2022

A Study on the Applicability of Thermodynamic Sensors in Fermentation Processes in Selected Foods.

Martin Adamek, Jirí Matyás, Anna Adamkova, Jiri Mlcek, Martin Buran, Martina Cernekova, Veronika Sevcikova, Magdalena Zvonkova, Petr Slobodian, Robert Olejník

Sensors, 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar

CoRR, 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Microstrip Resonant Sensor for Differentiation of Components in Vapor Mixtures.

Petr Slobodian, Pavel Riha, Robert Olejník, Jirí Matyás, Rostislav Slobodian

Sensors, 2021

2020

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Appl. Soft Comput., 2020

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Tomás Vojnar

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Enhanced PVDF Electrospun Nanofiber Capacitive Pressure Sensor for Wearable Electronic.

Romana Danová, Venkata Dinesh Avvari, Robert Olejník, Petr Slobodian, Jirí Matyás, Dusan Kimmer

Proceedings of the 15th IEEE International Conference on Nano/Micro Engineered and Molecular System, 2020

Poly (vinylidene fluoride) Electrospun Non-Woven Nanofibers based Piezoelectric Nanogenerator.

Venkata Dinesh Avvari, Robert Olejník, Romana Danová, Jirí Matyás, Petr Slobodian, Martin Adamek, Dusan Kimmer

Proceedings of the 15th IEEE International Conference on Nano/Micro Engineered and Molecular System, 2020

2019

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error.

Milan Ceska Jr., Milan Ceska, Jirí Matyás, Adam Pankuch, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2018

ADAC: Automated Design of Approximate Circuits.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.

Milan Ceska, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017