Jirí Matyás

Orcid: 0000-0002-6554-4485

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

2022
SagTree: Towards efficient mutation in evolutionary circuit approximation.
Swarm Evol. Comput., 2022

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

Designing Approximate Arithmetic Circuits with Combined Error Constraints.
CoRR, 2022

Designing Approximate Arithmetic Circuits with Combined Error Constraints.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021
Microstrip Resonant Sensor for Differentiation of Components in Vapor Mixtures.
Sensors, 2021

2020
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.
Appl. Soft Comput., 2020

Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Enhanced PVDF Electrospun Nanofiber Capacitive Pressure Sensor for Wearable Electronic.
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.
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.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

2018
ADAC: Automated Design of Approximate Circuits.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017


  Loading...