Browsing Ústav počítačových systémů by Subject

Now showing items 1-20 of 22

Subject
approximate circuits [1]
approximate computing [1]
binary decision diagrams [1]
compression [1]
error analysis [1]
error metrics [1]
focused ultrasound [1]
fokusovaný ultrazvuk [1]
formal methods [1]
high-intensity focused ultrasound [1]
k-Wave toolbox [1]
komprese [1]
numerical simulation [1]
numerická simulace [1]
quality assessment [1]
satisfiability solvers [1]
simulace ultrazvuku [1]
Transcranial neurostimulation [1]
Transkraniální stimulace [1]
ultrasound simulation [1]