Ústav počítačových systémů
Browse by
Recent Submissions
-
Efficient Low-Resource Compression of HIFU Data
(NEUVEDEN, 2018-06-26)Large-scale numerical simulations of high-intensity focused ultrasound (HIFU), important for model-based treatment planning, generate large amounts of data. Typically, it is necessary to save hundreds of gigabytes during ... -
Accurate simulation of transcranial ultrasound propagation for ultrasonic neuromodulation and stimulation
(NEUVEDEN, 2017-03-13)Non-invasive, focal neurostimulation with ultrasound is a potentially powerful neuroscientific tool that requires effective transcranial focusing of ultrasound to develop. Time-reversal (TR) focusing using numerical ... -
Formal Methods for Exact Analysis of Approximate Circuits
(NEUVEDEN, 2019-12-21)Approximate circuits are digital circuits that are intentionally designed in such a way that the specification is violated in terms of functionality in order to obtain some improvements in power consumption, performance ...