[IEEE 17th International Conference of the Engineering in Medicine and Biology Society - Montreal, Que., Canada (20-23 Sept. 1995)] Proceedings of 17th International Conference of the Engineering in Medicine and Biology Society - Estimating the instantaneous frequencies from heart rate tracings: a state space approach based on higher-order statistics
- 作者Pilgram, B.; Castiglioni, P.; Parati, G.; Di Rienzo, M.
- 卷第1卷
- 文件大小270.73KB
- 发表时间1995
- DOI10.1109/iembs.1995.575065
- 页码191-192
[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - PV parameter identification using reduced I-V dataTay, Shaun; Lim, Idris; Ye, Zhen; Yang, Dazhi; Garrigos, Ausias · 2017
[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Common DC bus concept in power plant auxiliary system: Part I reliability evaluationRongrong, Yu; Yao, Chen · 2017
[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing, China (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - The influence of internal current loop on transient response performance of I-V droop controlled paralleled DC-DC convertersWang, Haojie; Han, Minxiao; Guerrero, Josep M.; Vasquez, Juan C.; Han, Renke · 2017
[IEEE 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Porto (2018.7.18-2018.7.20)] 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Counterexample visualization and explanation for function block diagramsPakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy · 2018
[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - A study on user-friendly formal specification languages for requirements formalizationPang, Cheng; Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy · 2016
[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, QLD (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking PurposesBuzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy · 2018
[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Scalable methods of discrete plant model generation for closed-loop model checkingBuzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy · 2017
[IEEE 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - Berlin, Germany (2016.9.6-2016.9.9)] 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - User-friendly formal specification languages - conclusions drawn from industrial experience on model checkingPakonen, Antti; Pang, Cheng; Buzhinsky, Igor; Vyatkin, Valeriy · 2016