Recent Submissions

  • Efficient Low-Resource Compression of HIFU Data 

    Klepárník, Petr; Bařina, David; Zemčík, Pavel; Jaroš, Jiří (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 

    Robertson, James; Cox, Ben; Jaroš, Jiří; Treeby, Bradley (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 

    Vašíček, Zdeněk (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 ...