[Lecture Notes in Computer Science] CONCUR'98 Concurrency Theory Volume 1466 || Alternating refinement relations
- 作者Sangiorgi, Davide; de Simone, Robert
- 文件大小976.76KB
- 发表时间1998
- DOI10.1007/BFb0055622
- 页码163-178
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/3 || Magnetic Resonance Cancer NanotheranosticsLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/2 || Application of HTA in OptometryLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/1 || Data Analytics for Metabolic Syndrome DiagnosticsLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/2 || Usability of Volume Pulse Wave BiosignalLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/1 || Mammographic Density Estimation Through Permutation EntropyLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/3 || Baby Cry Recognition Using Deep Neural NetworksLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/2 || Recent Progress on Preferential Covered Stent DevelopmentLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019
[IFMBE Proceedings] World Congress on Medical Physics and Biomedical Engineering 2018 Volume 68/1 || Brain Tumor Classification Using Convolutional Neural NetworkLhotska, Lenka; Sukupova, Lucie; Lacković, Igor; Ibbott, Geoffrey S. · 2019