A novel t-test for low-SNR fMRI brain mapping
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/TASE.2014.27
کلیدواژه(گان): formal verification,quality of service,real-time systems,scheduling,statistical distributions,DoQoS,PoMD,UPPAAL SMC,degradation of the quality of service,mixed-criticality real-time systems,percentage of missed deadlines,probabilistic sporadic tasks,schedulability degree,statistical model checking,user-defined continuous probability distributions,Analytical models,Degradation,Model checking,Probability distribution,Processor scheduling,Real-time systems,Scheduling,Degree of
کالکشن
:
-
آمار بازدید
A novel t-test for low-SNR fMRI brain mapping
Show full item record
| contributor author | Barbé | |
| contributor author | , K. , Lauwers, L. | |
| date accessioned | 2020-03-12T20:15:53Z | |
| date available | 2020-03-12T20:15:53Z | |
| date issued | 2014 | |
| identifier other | 6860123.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1008072 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | A novel t-test for low-SNR fMRI brain mapping | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8129854 | |
| subject keywords | formal verification | |
| subject keywords | quality of service | |
| subject keywords | real-time systems | |
| subject keywords | scheduling | |
| subject keywords | statistical distributions | |
| subject keywords | DoQoS | |
| subject keywords | PoMD | |
| subject keywords | UPPAAL SMC | |
| subject keywords | degradation of the quality of service | |
| subject keywords | mixed-criticality real-time systems | |
| subject keywords | percentage of missed deadlines | |
| subject keywords | probabilistic sporadic tasks | |
| subject keywords | schedulability degree | |
| subject keywords | statistical model checking | |
| subject keywords | user-defined continuous probability distributions | |
| subject keywords | Analytical models | |
| subject keywords | Degradation | |
| subject keywords | Model checking | |
| subject keywords | Probability distribution | |
| subject keywords | Processor scheduling | |
| subject keywords | Real-time systems | |
| subject keywords | Scheduling | |
| subject keywords | Degree of | |
| identifier doi | 10.1109/TASE.2014.27 | |
| journal title | edical Measurements and Applications (MeMeA), 2014 IEEE International Symposium on | |
| filesize | 1015219 | |
| citations | 0 |