Browsing Ústav počítačových systémů by Subject
Now showing items 1-14 of 14
| Subject |
|---|
| approximate circuits [1] |
| approximate computing [1] |
| binary decision diagrams [1] |
| error analysis [1] |
| error metrics [1] |
| focused ultrasound [1] |
| fokusovaný ultrazvuk [1] |
| formal methods [1] |
| numerical simulation [1] |
| numerická simulace [1] |
| quality assessment [1] |
| satisfiability solvers [1] |
| Transcranial neurostimulation [1] |
| Transkraniální stimulace [1] |