An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
publicationsYear: 2023
LENGÁL, O.; CHEN, Y.; TSAI, W.; LIN, J.; CHUNG, K.; YEN, D. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 6,
p. 1218-1243. ISSN: 2475-1421.Towards clinical applicability and computational efficiency in automatic cranial implant design: An overview of the AutoImplant 2021 cranial implant design challenge
publicationsYear: 2023
LI, J.; ELLIS, D.; KODYM, O.; HEROUT, A.; ŠPANĚL, M.; EGGER, J. Towards clinical applicability and computational efficiency in automatic cranial implant design: An overview of the AutoImplant 2021 cranial implant design challenge. MEDICAL IMAGE ANALYSIS, 2023, vol. 88, no. 102865,
p. 1-15. ISSN: 1361-8423.Automated Design and Usage of the Fault-Tolerant Dynamic Partial Reconfiguration Controller for FPGAs
publicationsYear: 2023
LOJDA, J.; PÁNEK, R.; SEKANINA, L.; KOTÁSEK, Z. Automated Design and Usage of the Fault-Tolerant Dynamic Partial Reconfiguration Controller for FPGAs. Microelectronics Reliability, 2023, vol. 2023, no. 144,
p. 1-16. ISSN: 0026-2714.Experimentally investigating the influence of changing payload stiffness on outer loop iterative learning control strategies with shaking table tests
publicationsYear: 2023
MADABHUSHI, S., HRUBÝ, J., WHAM, B. P. Experimentally investigating the influence of changing payload stiffness on outer loop iterative learning control strategies with shaking table tests. JOURNAL OF VIBRATION AND CONTROL, 2023, vol. 9.5.2023, no. 9.5.2023,
p. 1-14. ISSN: 1077-5463.Fatigue lifetimes of 1.4306 and 1.4307 stainless steels subjected to ultrasonic loading
publicationsYear: 2023
KLUSÁK, J.; KOZÁKOVÁ, K.; FINTOVÁ, S.; SEITL, S. Fatigue lifetimes of 1.4306 and 1.4307 stainless steels subjected to ultrasonic loading. Procedia Structural Integrity, 2023, vol. 2022, no. 42,
p. 1369-1375. ISSN: 2452-3216.Performance Scaling of mmWave Personal IoT Networks (PINs) for XR Applications
publicationsYear: 2023
ALI, A.; GALININA, O.; HOŠEK, J.; ANDREEV, S. Performance Scaling of mmWave Personal IoT Networks (PINs) for XR Applications. In 2023 IEEE International Conference on Communications Workshops: Sustainable Communications for Renaissance, ICC Workshops 2023. New York: Institute of Electrical and Electronics Engineers Inc., 2023.
p. 1136-1142. ISBN: 979-8-3503-3307-7.Single-trial extraction of event-related potentials (ERPs) and classification of visual stimuli by ensemble use of discrete wavelet transform with Huffman coding and machine learning techniques
publicationsYear: 2023
AMIN, H.; ULLAH, R.; REZA, M.; MALIK, A. Single-trial extraction of event-related potentials (ERPs) and classification of visual stimuli by ensemble use of discrete wavelet transform with Huffman coding and machine learning techniques. Journal of NeuroEngineering and Rehabilitation, 2023, vol. 20, no. 1,
p. 1-17. ISSN: 1743-0003.Melamine-benzaldehyde tris-schiff base as an efficient corrosion inhibitor for mild steel in 0.5 molar hydrochloric acid solution: Weight loss, electrochemical, theoretical and surface studies
publicationsYear: 2023
Arshad, I.; Qureshi, K.; Lee, S.-L.; Khan, S.; Abid, M.A.; Bokhari, A.; Bahajjaj, A,A,A,; Ahmed, M.N. Melamine-benzaldehyde tris-schiff base as an efficient corrosion inhibitor for mild steel in 0.5 molar hydrochloric acid solution: Weight loss, electrochemical, theoretical and surface studies. KOREAN JOURNAL OF CHEMICAL ENGINEERING, 2023, vol. 10, no. 40,
p. 2555-2564. ISSN: 0256-1115.Heat Transfer by Turbulent Flow in Experiment with Rayleigh-Bénard Convection in Cold Helium
publicationsYear: 2023
BALKO, M.; MACEK, M. Heat Transfer by Turbulent Flow in Experiment with Rayleigh-Bénard Convection in Cold Helium. In AIP Conference Proceedings - 39TH MEETING OF DEPARTMENTS OF FLUID MECHANICS AND THERMODYNAMICS. 2023.
p. 030001-1 (030001-6 p.) ISBN: 978-0-7354-4325-9.Hydraulic characteristics of the convergent-divergent nozzle with the inner electrode in cavitating conditions
publicationsYear: 2023
BALKO, M.; RUDOLF, P.; MONKOVÁ, P. Hydraulic characteristics of the convergent-divergent nozzle with the inner electrode in cavitating conditions. MATEC Web of Conferences, 22nd Conference on Power System Engineering. 2023.
How Do I Get There? Overcoming Reachability Limitations of Constrained Industrial Environments in Augmented Reality Applications
publicationsYear: 2023
BAMBUŠEK, D.; MATERNA, Z.; KAPINUS, M.; BERAN, V.; SMRŽ, P. How Do I Get There? Overcoming Reachability Limitations of Constrained Industrial Environments in Augmented Reality Applications. In 2023 IEEE Conference on Virtual Reality and 3D User Interfaces (VR). Shanghai: Institute of Electrical and Electronics Engineers, 2023.
p. 115-122. ISBN: 979-8-3503-4815-6.Control Flow Analysis for Bottom-up Portable Models Creation
publicationsYear: 2023
BARDONEK, P.; ZACHARIÁŠOVÁ, M. Control Flow Analysis for Bottom-up Portable Models Creation. DVCon Europe 2023; Design and Verification Conference and Exhibition Europe. Mnichov: VDE VERLAG, 2023.
p. 65-70. ISBN: 978-3-8007-6205-7.Earthen Decoration – Variety of Decorating Entrance Portals of Earthen Buildings. Research Report.
publicationsYear: 2023
BARŠOVÁ, M.; ŠULÁKOVÁ, H.; VEJPUSTEK, Z.; GABRIELOVÁ, M. Earthen Decoration – Variety of Decorating Entrance Portals of Earthen Buildings. Research Report. 15th Architecture in Perspective. Ostrava: VŠB - Technical University of Ostrava, Faculty of Civil Engineering, Department of Architecture, 2023.
p. 140-145. ISBN: 978-80-248-4711-5.Experimental lossless data compressor
publicationsYear: 2023
BAŘINA, D. Experimental lossless data compressor. Microprocessors and Microsystems, 2023, vol. 98, no. 4,
p. 104803-104803. ISSN: 0141-9331.Acceleration of Heat Diffusion Simulation on Single-Node Systems
publicationsYear: 2023
BAYER, D.; JAROŠ, J. Acceleration of Heat Diffusion Simulation on Single-Node Systems. Ostrava: 2023.
p. 0-0.
Showing results 6916 - 6930 of 10000 results.