P. P. Reboucas Filho, E. D. S. Reboucas, L. B. Marinho, R. M. Sarmento, J. M. R. Tavares, and V. H. C. De Albuquerque, "Analysis of human tissue densities: A new approach to extract features from medical images," Pattern Recognition Letters, vol. 94, pp. 211-218, 2017.
 Q. Zhu, S. Avidan, M. Yeh, and K. Cheng, "Fast human detection using a cascade of histograms of oriented gradients," in In Proceeding IEEE International Conference on Computer Vision and Pattern Recognition, 2006, pp. 1491–1498.
 Y. Mu, S. Yan, Y. Liu, T. Huang, and B. Zhou, "Discriminative local binary patterns for human detection in personal album," in In Proceeding IEEE International Conference on Computer Vision and Pattern Recognition, 2008, pp. 1–8.
 Q. Ye, J. Jiao, and B. Zhang, "Fast pedestrian detection with multi-scale orientation features and two-stage classifiers," in In Proceeding IEEE 17th International Conference on Image Processing, 2010, pp. 881–884.
 H. H. Lin and K. T. Win, "Person detection based on fusion histogram of gradients with texture (FHGT) local features”, in Researchscript," International Journal of Research in Computer Scientific (IJRCS), vol. 5, pp. 1 – 4, 2018.
 E. Clarke and E. Emerson, "Design and synthesis of synchronization skeletons using branching time temporal logic," in Proceedings of Workshop on Logics of Programs, Lecture Notes in Computer Science, Springer-Verlag, 1981, pp. 52–71.
 J. Burch, E. M. Clarke, K. McMillan, D. Dill, and L. Hwang, "Symbolic model checking: 1020 states and beyond," in Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, 1990, pp. 428–39.
 D. Long, A. Browne, E. Clarke, S. Jha, and W. Marrero, "An improved algorithm for the evaluation of fixpoint expressions," in Proceedings of International Conference on Computer Aided Verification (CAV’1994), Lecture Notes in Computer Science, Springer-Verlag, 1994, pp. 338–350.
 X. Liu, C. R. Ramakrishnan, and S. A. Smolka, "Fully local and efficient evaluation of alternating fixed points," in Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Springer Verlag, 1998, pp. 5–19.
 H. R. Andersen and B. Vergauwen, "Efficient checking of behavioural relations and modal assertions using fixed-point inversion," in Proceedings of Conference on Computer Aided Verification, Lecture Notes on Computer Science, Springer-Verlag, , 1995, pp. 142–154.
 R. Cleaveland and B. Steffen, "Computing behavioural relations logically," in Proceedings of the 18th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Springer-Verlag, 1991, pp. 127–138.
 M. R. . "A generic on-the-fly solver for alternation-free boolean equation systems," in Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’2003), Lecture Notes in Computer Science, Springer Verlag, 2003, pp. 81–96.
 J. F. Groote and T. Willemse, "A checker for modal formulas for processes with data," in Proceedings of Formal Methods for Components and Objects, Second International Symposium (FMCO’2003), Lecture Notes in Computer Science, Springer-Verlag, 2004, pp. 223–239.
 J. F. Groote and T. Willemse, "Parameterised boolean equation systems," in Proceedings of the 15th International Conference on Concurrency Theory (CONCUR’2004), Lecture Notes in Computer Science, Springer-Verlag, 2004, pp. 308–324.
 A. Mueller and T. Hufnagel, "Model-based control of redundantly actuated parallel manipulators in redundant coordinates," Robotics and Autonomous Systems, vol. 60, pp. 563-571, 2012. Available at: https://doi.org/10.1016/j.robot.2011.11.014.
 H. Abdellatif, M. Grotjahn, and B. Heimann, " High efficient dynamics calculation approach for computed-force control of robots with parallel structures," presented at the IEEE Conference on Decision and Control and European Control Conference, CDC-ECC, 12-15 December, 2005.
 W. W. Shang, S. Cong, and S. I. Jiang, "Dynamic model based nonlinear tracking control of a planar parallel manipulator," Nonlinear Dynamics, vol. 60, pp. 597-606, 2010. Available at: https://doi.org/10.1007/s11071-009-9617-6.
 V. K. Nguyen, Q. H. Nguyen, D. S. Nguyen, and D. D. Nguyen, "A comparison study of some control methods for spatial parallel robot," Journal of Computer and Cybernetics, vol. 31, pp. 71-81, 2015. Available at: https://doi.org/10.15625/1813-9663/31/1/5088.
 V. K. Nguyen, Q. H. Nguyen, D. D. Nguyen, and V. Q. Nguyen, "Model-based control of a 3-PRS spatial parallel robot in the space of redundant coordinates," Journal of Science & Technology, vol. 112, pp. 049-053, 2016.
 V. K. Nguyen, "Consistent definition of partial derivatives of matrix functions in dynamics of mechanical systems," Mechanism and Machine Theory, vol. 45, pp. 981-988, 2010. Available at: https://doi.org/10.1016/j.mechmachtheory.2010.03.005.
 V. K. Nguyen, "Kronecker product and a new matrix form of Lagrangian equations with multipliers for constrained multibody systems," Mechanics Research Communications, vol. 38, pp. 294-299, 2011. Available at: https://doi.org/10.1016/j.mechrescom.2011.04.004.
 Q. H. Nguyen, V. K. Nguyen, and D. D. Nguyen, "Influence of models on computed torque of Delta spatial parallel robot," in Proceedings of the 16th Asian Pacific Vibration Conference (APVC), Hanoi, November 24-26, 2015, Bachkhoa Publisching,Hanoi, 2015, pp. 791-798.
 Z. Fu, X. Sun, N. Linge, and L. Zhou, "Achieving effective cloud search services: Multi-keyword ranked search over encrypted cloud data supporting synonym query," IEEE Transactions on Consumer Electronics, vol. 60, pp. 164-172, 2014.Available at: https://doi.org/10.1109/tce.2014.6780939.
 B. M. Salih and H. A. Edreis, "Comparison between virtualization and cloud computing," International Journal of Science and Research, vol. 5, pp. 195-199, 2016.Available at: https://doi.org/10.21275/v5i6.nov164128.
 K. Kumar and P. Kaur, "Road traffic control system in cloud computing: A review," International Journal of Grid and Distributed Computing, vol. 8, pp. 201-206, 2015.Available at: https://doi.org/10.14257/ijgdc.2015.8.3.20.
 M. Loudini, S. Rezig, and Y. Salhi, "Incorporate intelligence into the differentiated services strategies of a Web server: An advanced feedback control approach," Journal of Internet Services and Applications, vol. 1, pp. 1-16, 2013.
 S. Rajasekhar, E. Murali, and G. Nagalakshm, "Efficient architecture cloud computing confidentiality," International Journal of Research Studies in Computer Science and Engineering, vol. 3, pp. 12-16, 2016.
 C. Esposito, A. Castiglione, B. Martini, and K. Choo, "Cloud manufacturing: Security, privacy, and forensic concerns," IEEE Cloud Computing, vol. 3, pp. 16-22, 2016.Available at: https://doi.org/10.1109/mcc.2016.79.
 H. Takabi, J. Joshi, and G. Ahn, "Security and privacy challenges in cloud computing environments," IEEE Security & Privacy Magazine, vol. 8, pp. 24-31, 2010.Available at: https://doi.org/10.1109/msp.2010.186.
 S. Sherin, S., "Security and privacy issues of cloud computing; Solutions and secure framework," IOSR Journal of Computer Engineering, vol. 10, pp. 33-37, 2013.Available at: https://doi.org/10.9790/0661-01043337.
 M. ZekriyapanahGashti, "Scrutiny new framework in integrated distributed reliable systems," International Journal of Distributed and Parallel Systems, vol. 3, pp. 13-20, 2012.Available at: https://doi.org/10.5121/ijdps.2012.3502.
 R. Minni, K. Sultania, S. Mishra, and D. R. Vincent, "An algorithm to enhance security in RSA," presented at the 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT). IEEE, 2013.
 P. Zaraté and S. Liu, "A new trend for knowledge-based decision support systems design," International Journal of Information and Decision Sciences, vol. 8, pp. 305-324, 2016.Available at: https://doi.org/10.1504/ijids.2016.078586.
 O. Dolinina, V. Kushnikov, V. Pechenkin, and A. Rezchikov, "The way of quality management of the decision making software systems development," Software Engineering and Algorithms in Intelligent Systems, vol. 763, pp. 99-98, 2019.Available at: https://doi.org/10.1007/978-3-319-91186-1_11.
 Y. C. Chang, C. W. Shih, and W. L. Hsu, "Entailment-based intelligent system for software project monitoring and control," IEEE Systems Journal, vol. 12, pp. 216-227, 2018.Available at: https://doi.org/10.1109/JSYST.2016.2563463.
 R. T. Prasad and J. J. Mukkada, "Intelligent autonomous systems for software engineering - an example," presented at the 2018 International Conference on Intelligent Autonomous Systems (ICOIAS), IEEE, 2018.
 A. Y. Gerasimov, L. V. Kruglov, M. Ermakov, and S. P. Vartanov, "An approach to reachability determination for static analysis defects with the help of dynamic symbolic execution," Programming and Computer Software, vol. 44, pp. 467-475, 2018.Available at: https://doi.org/10.1134/s0361768818060051.
 P. M. Norling, J. P. Herring, W. A. Rosenkrans Jr, M. Stellpflug, and S. B. Kaufman, "Putting competitive technology intelligence to work," Research-Technology Management, vol. 43, pp. 23-28, 2000.Available at: https://doi.org/10.1080/08956308.2000.11671377.