• An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 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.

  publikaceRok: 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

  publikaceRok: 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

  publikaceRok: 2023

  BAYER, D.; JAROŠ, J. Acceleration of Heat Diffusion Simulation on Single-Node Systems. Ostrava: 2023. p. 0-0.

Zobrazeny výsledky 6916 - 6930 z (ze) 10000 výsledků.