Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A reliability analysis method using binary decision diagrams in phased mission planning
Prescott, D R, Remenyte-Prescott, R, Reed, S, Andrews, J D, Downes, C G
Published in Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability (01.06.2009)
Published in Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability (01.06.2009)
Get full text
Journal Article
Reliability Analysis of IoT Networks with Community Structures
Mo, Yuchang, Xing, Liudong, Guo, Wenzhong, Cai, Shaobin, Zhang, Zhao, Jiang, Jianhui
Published in IEEE transactions on network science and engineering (01.01.2020)
Published in IEEE transactions on network science and engineering (01.01.2020)
Get full text
Journal Article
A path planner for autonomous driving on highways using a human mimicry approach with Binary Decision Diagrams
Claussmann, Laurene, Carvalho, Ashwin, Schildbach, Georg
Published in 2015 European Control Conference (ECC) (01.07.2015)
Published in 2015 European Control Conference (ECC) (01.07.2015)
Get full text
Conference Proceeding
Semantically driven crossover in genetic programming
Beadle, L., Johnson, C.G.
Published in 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence) (01.06.2008)
Published in 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence) (01.06.2008)
Get full text
Conference Proceeding
Incorporating Common-Cause Failures Into the Modular Hierarchical Systems Analysis
Liudong Xing, Shrestha, A., Meshkat, L., Wendai Wang
Published in IEEE transactions on reliability (01.03.2009)
Published in IEEE transactions on reliability (01.03.2009)
Get full text
Journal Article
Reliability of Nano-Scaled Logic Gates Based on Binary Decision Diagrams
Beg, Azam, Beg, Ajmal
Published in Proceedings of the International Conference on Modeling, Simulation and Visualization Methods (MSV) (01.01.2014)
Get full text
Published in Proceedings of the International Conference on Modeling, Simulation and Visualization Methods (MSV) (01.01.2014)
Conference Proceeding
Reliability analysis of multi-state phased-mission systems
Shrestha, A., Liudong Xing, Yuanshun Dai
Published in 2009 Annual Reliability and Maintainability Symposium (01.01.2009)
Published in 2009 Annual Reliability and Maintainability Symposium (01.01.2009)
Get full text
Conference Proceeding
Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations
Gupta, Aarti, Kaivola, Roope, Mehta, Mihir Parang, Singh, Vaibhav
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Published in 2022 Formal Methods in Computer-Aided Design (FMCAD) (18.10.2022)
Get full text
Conference Proceeding