Description of Hardware‐in‐Loop Digital Twin Platform Requirements for Industrial Process

Source: A Hardware-in-Loop Digital Twin Approach for Intelligent Optimization of Municipal Solid Waste Incineration. Nov 14, 2025

Research on Supply Chain Data Security Optimization and Its Economic Benefits Based on Blockchain

Authors: Zhang, Rongjie, Liu, Jingyi, Li, Xinrui, Jin, Rongda

Source: 2025 IEEE International Conference on Electronics, Energy Systems and Power Engineering (EESPE) Electronics, Energy Systems and Power Engineering (EESPE), 2025 IEEE International Conference on. :554-559 Mar, 2025

Relation: 2025 IEEE International Conference on Electronics, Energy Systems and Power Engineering (EESPE)

Cost Efficient Flip-Flop Designs With Multiple-Node Upset-Tolerance and Algorithm-Based Verifications

Authors: Yan, A., He, Y., Huang, Z., Yan, W., Cui, J., Wang, X., Ni, T., Girard, P., Wen, X.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 44(1):390-394 Jan, 2025

Study on Verification of Slope Angle Recognition Algorithm based on Vehicle Speed

Authors: Gu, Mingqi, Gao, Yang, Han, Lele, Li, Hongmei, Xuan, Feng, Liu, Jun

Source: 2024 36th Chinese Control and Decision Conference (CCDC) Control and Decision Conference (CCDC), 2024 36th Chinese. :4017-4021 May, 2024

Relation: 2024 36th Chinese Control and Decision Conference (CCDC)

Admissible Control Laws for Constrained Linear Power Flow: The General Case

Authors: Mora, E., Steinke, F.

Source: IEEE Transactions on Power Systems IEEE Trans. Power Syst. Power Systems, IEEE Transactions on. 39(1):658-670 Jan, 2024

Graph-based techniques for compression and reconstruction of sparse sources

Authors: Ramírez Jávega, Francisco

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions

Thesis Advisors: Lamarca Orozco, Meritxell

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Noiseless compressed sensing, Group testing, Adaptive group testing, Verification algorithm, Analog compression, Sparse pattern recovery, Binary source compression, Lossless reconstruction, Àrees temàtiques de la UPC::Enginyeria de la telecomunicació

Time: 519.1, 621.3

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/385349
https://dx.doi.org/10.5821/dissertation-2117-96188

Method for Complexing Information from Intelligent Sensors of Mobile Components of Monitoring Systems

Authors: Melnik, E. V.^Aff11, Orda-Zhigulina, M. V.^Aff11, Safronenkova, I. B.^Aff11, Kapustyan, S. G.^Aff11, Rodina, A. A.^Aff11, Puha, I. S.^Aff11

Contributors: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Silhavy, Radek, editor^Aff9, Silhavy, Petr, editor^Aff10

Source: Machine Learning Methods in Systems : Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4. 1126:15-21

Enhancing Anonymity of Internet of Vehicle Identities in Connected Vehicle Security Services Using Batch Verification Algorithm

Authors: Dwivedi, Abhishek^Aff13, Agarwal, Ratish^Aff14, Shukla, Piyush Kumar^Aff13

Contributors: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Nanda, Satyasai Jagannath, editor^Aff9, Yadav, Rajendra Prasad, editor^Aff10, Gandomi, Amir H., editor^Aff11, Saraswat, Mukesh, editor^Aff12

Source: Data Science and Applications : Proceedings of ICDSA 2023, Volume 4. 821:323-335

Verification of an Automatic GaAs HEMT Nonlinear Modeling Technique

Authors: Popov, Artem A., Bilevich, Dmitry V., Salnikov, Andrei S., Dobush, Igor M., Kalentyev, Alexey A., Goryainov, Aleksandr E.

Source: 2019 International Siberian Conference on Control and Communications (SIBCON) Control and Communications (SIBCON), 2019 International Siberian Conference on. :1-5 Apr, 2019

Relation: 2019 International Siberian Conference on Control and Communications (SIBCON)

A Verification Algorithm for the Automatic Topology Discovery of the Adaptive Avionics Platform

Authors: Schulz, Bernd, Annighofer, Bjorn

Source: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2018 IEEE/AIAA 37th. :1-7 Sep, 2018

Relation: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC)

THE ROLE OF COUNTERPARTY VERIFICATION IN ENSURING THE ECONOMIC SECURITY OF THE ENTERPRISE

Source: Экономика и предпринимательство. :986-993

Subject Terms: экономическая безопасность, fraudulent actions, контрагент, алгоритм проверки, counterparty, verification algorithm, economic security, unfair behavior, экспертная проверка, expert verification, недобросовестное поведение, мошеннические действия

Polynomial modular product verification and its implications

Authors: Giorgi, Pascal, Grenet, Bruno, Perret du Cray, Armelle

Source: In Journal of Symbolic Computation May-June 2023 116:98-129

A passive monitoring model for P2P network based on 2D Bloom Filter data verification algorithm

Authors: Shengbing Zhang

Source: 2014 14th International Symposium on Communications and Information Technologies (ISCIT) Communications and Information Technologies (ISCIT), 2014 14th International Symposium on. :308-312 Sep, 2014

Relation: 2014 14th International Symposium on Communications and Information Technologies (ISCIT)

A polynomial verification algorithm for safe diagnosability of fuzzy discrete-event systems

Authors: Liu, F., Zhang, Q., Huang, R.

Source: Proceedings of the 33rd Chinese Control Conference Control Conference (CCC), 2014 33rd Chinese. :3915-3920 Jul, 2014

Relation: 2014 33rd Chinese Control Conference (CCC)

Software Trustworthy Modeling and Verification Algorithm for CPS Time Attributes

Authors: Wu, Huilin^Aff17, Zhang, Xiaocui^Aff17

Contributors: Kacprzyk, Janusz, Series Editor^Aff1, Pal, Nikhil R., Advisory Editor^Aff2, Bello Perez, Rafael, Advisory Editor^Aff3, Corchado, Emilio S., Advisory Editor^Aff4, Hagras, Hani, Advisory Editor^Aff5, Kóczy, László T., Advisory Editor^Aff6, Kreinovich, Vladik, Advisory Editor^Aff7, Lin, Chin-Teng, Advisory Editor^Aff8, Lu, Jie, Advisory Editor^Aff9, Melin, Patricia, Advisory Editor^Aff10, Nedjah, Nadia, Advisory Editor^Aff11, Nguyen, Ngoc Thanh, Advisory Editor^Aff12, Wang, Jun, Advisory Editor^Aff13, Sugumaran, Vijayan, editor^Aff14, Xu, Zheng, editor^Aff15, Zhou, Huiyu, editor^Aff16

Source: Application of Intelligent Systems in Multi-modal Information Analytics : 2021 International Conference on Multi-modal Information Analytics (MMIA 2021), Volume 2. 1385:448-454

The Implementation of XPDL Workflow Verification Service Based on SaaS

Authors: Xiao, Ding, Zhang, Qianqian

Source: 2010 International Conference on Service Sciences Service Sciences (ICSS), 2010 International Conference on. :154-158 May, 2010

Relation: 2010 International Conference on Service Sciences (ICSS)

Verification-Based Interval-Passing Algorithm for Compressed Sensing

Authors: Wu, X., Yang, Z.

Source: IEEE Signal Processing Letters IEEE Signal Process. Lett. Signal Processing Letters, IEEE. 20(10):933-936 Oct, 2013

An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator

Authors: Hou, Guoliang ^{a, b, c}, Zhang, Shugong ^{a, b, ⁎}

Source: In Journal of Computational and Applied Mathematics 15 October 2019 359:145-152

LEUKEMIA INCIDENCE AND MORTALITY OF RECOVERY OPERATION WORKERS OF THE CHERNOBYL ACCIDENT: ASSESSMENT OF RADIATION RISKS FOR THE FOLLOW-UP PERIOD OF 1986–2014

Authors: V.K. Ivanov, Andrey Kaprin, S.V. Karpenko, M. A. Maksyutov, S.Yu. Chekin, S.S. Lovachev, V.V. Kashcheev, A.M. Korelo, K.A. Tumanov, S. E. Glebova, S.A. Ivanov

Source: Радиационная гигиена, Vol 11, Iss 4, Pp 7-17 (2018)

Subject Terms: excess relative risk, Radioactivity and radioactive substances, R895-920, radiation risk, mortality, 3. Good health, follow-up period, Medical physics. Medical radiology. Nuclear medicine, 03 medical and health sciences, 0302 clinical medicine, cohort studies, cohort of male liquidators, 13. Climate action, dose dependence model, dose of radiation, dose dependence, verification algorithm, incidence of leukemia, QC794.95-798

Access URL: https://www.radhyg.ru/jour/article/download/578/590
https://doaj.org/article/579a415d78324c539d1d233b5f66f6ca
https://www.radhyg.ru/jour/article/download/578/590
https://www.radhyg.ru/jour/article/view/578
https://doaj.org/article/579a415d78324c539d1d233b5f66f6ca

Compliance Verification Algorithm for Computer Systems Security Policies

Authors: Pene, Liviu^Aff9, Hamza, Lamia^Aff10, Adi, Kamel^Aff9

Contributors: van der Aalst, Wil M.P., Series editor^Aff1, Mylopoulos, John, Series editor^Aff2, Rosemann, Michael, Series editor^Aff3, Shaw, Michael J., Series editor^Aff4, Szyperski, Clemens, Series editor^Aff5, Aïmeur, Esma, editor^Aff6, Ruhi, Umar, editor^Aff7, Weiss, Michael, editor^Aff8

Source: E-Technologies: Embracing the Internet of Things : 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings. 289:96-115