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] |