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

Πηγή: 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

Συγγραφείς: Zhang, Rongjie, Liu, Jingyi, Li, Xinrui, Jin, Rongda

Πηγή: 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

Συγγραφείς: Yan, A., He, Y., Huang, Z., Yan, W., Cui, J., Wang, X., Ni, T., Girard, P., Wen, X.

Πηγή: 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

Συγγραφείς: Gu, Mingqi, Gao, Yang, Han, Lele, Li, Hongmei, Xuan, Feng, Liu, Jun

Πηγή: 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

Συγγραφείς: Mora, E., Steinke, F.

Πηγή: 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

Συγγραφείς: Ramírez Jávega, Francisco

Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions

Thesis Advisors: Lamarca Orozco, Meritxell

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: 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

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Dwivedi, Abhishek^Aff13, Agarwal, Ratish^Aff14, Shukla, Piyush Kumar^Aff13

Συνεισφορές: 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

Πηγή: Data Science and Applications : Proceedings of ICDSA 2023, Volume 4. 821:323-335

Verification of an Automatic GaAs HEMT Nonlinear Modeling Technique

Συγγραφείς: Popov, Artem A., Bilevich, Dmitry V., Salnikov, Andrei S., Dobush, Igor M., Kalentyev, Alexey A., Goryainov, Aleksandr E.

Πηγή: 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

Συγγραφείς: Schulz, Bernd, Annighofer, Bjorn

Πηγή: 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

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

Θεματικοί όροι: экономическая безопасность, fraudulent actions, контрагент, алгоритм проверки, counterparty, verification algorithm, economic security, unfair behavior, экспертная проверка, expert verification, недобросовестное поведение, мошеннические действия

Polynomial modular product verification and its implications

Συγγραφείς: Giorgi, Pascal, Grenet, Bruno, Perret du Cray, Armelle

Πηγή: 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

Συγγραφείς: Shengbing Zhang

Πηγή: 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

Συγγραφείς: Liu, F., Zhang, Q., Huang, R.

Πηγή: 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

Συγγραφείς: Wu, Huilin^Aff17, Zhang, Xiaocui^Aff17

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Xiao, Ding, Zhang, Qianqian

Πηγή: 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

Συγγραφείς: Wu, X., Yang, Z.

Πηγή: 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

Συγγραφείς: Hou, Guoliang ^{a, b, c}, Zhang, Shugong ^{a, b, ⁎}

Πηγή: 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

Συγγραφείς: 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

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

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Pene, Liviu^Aff9, Hamza, Lamia^Aff10, Adi, Kamel^Aff9

Συνεισφορές: 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

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