Journal articles on the topic 'Proof system interoperability'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Proof system interoperability.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Lemus-Zúñiga, Lenin-Guillermo, Juan M. Félix, Alvaro Fides-Valero, José-Vte Benlloch-Dualde, and Antonio Martinez-Millana. "A Proof-of-Concept IoT System for Remote Healthcare Based on Interoperability Standards." Sensors 22, no. 4 (February 19, 2022): 1646. http://dx.doi.org/10.3390/s22041646.
Full textKlausen, Tobias, Valentin Hartig, Dominik Fuchs, Nils Krueger, Vincent Melchior Jeltsch, Raffael Bild, and Raphael Scheible. "A Digital Vaccination Pass Using Fast Healthcare Interoperability Resources: A Proof of Concept." Digital 4, no. 2 (April 24, 2024): 389–409. http://dx.doi.org/10.3390/digital4020019.
Full textKumar, Adarsh, Deepak Kumar Sharma, Anand Nayyar, Saurabh Singh, and Byungun Yoon. "Lightweight Proof of Game (LPoG): A Proof of Work (PoW)’s Extended Lightweight Consensus Algorithm for Wearable Kidneys." Sensors 20, no. 10 (May 19, 2020): 2868. http://dx.doi.org/10.3390/s20102868.
Full textTrivedi, Sapna, Stephen Hall, Fiona Inglis, and Afzal Chaudhry. "Proof-of-concept solution to create an interoperable timeline of healthcare data." BMJ Health & Care Informatics Online 30, no. 1 (November 2023): e100754. http://dx.doi.org/10.1136/bmjhci-2023-100754.
Full textBai, Tianyu, Yangsheng Hu, Jianfeng He, Hongbo Fan, and Zhenzhou An. "Health-zkIDM: A Healthcare Identity System Based on Fabric Blockchain and Zero-Knowledge Proof." Sensors 22, no. 20 (October 11, 2022): 7716. http://dx.doi.org/10.3390/s22207716.
Full textL'Amrani, Hasnae, Younès El Bouzekri El Idrissi, and Rachida Ajhoun. "Technical Interoperability to Solve Cross-Domain Issues Among Federation Systems." International Journal of Smart Security Technologies 7, no. 1 (January 2020): 21–40. http://dx.doi.org/10.4018/ijsst.2020010102.
Full textMüller, Alexander, Hannah Haneke, Valerie Kirchberger, Giulio Mastella, Michael Dommasch, Uta Merle, Oliver Heinze, et al. "Integration of mobile sensors in a telemedicine hospital system: remote-monitoring in COVID-19 patients." Journal of Public Health 30, no. 1 (October 15, 2021): 93–97. http://dx.doi.org/10.1007/s10389-021-01655-2.
Full textRolan, Gregory. "Towards interoperable recordkeeping systems." Records Management Journal 27, no. 2 (July 17, 2017): 125–48. http://dx.doi.org/10.1108/rmj-09-2016-0027.
Full textMotta, Lucas L., Luiz C. B. C. Ferreira, Thales W. Cabral, Dimas A. M. Lemes, Gustavo dos S. Cardoso, Andreza Borchardt, Paulo Cardieri, et al. "General Overview and Proof of Concept of a Smart Home Energy Management System Architecture." Electronics 12, no. 21 (October 29, 2023): 4453. http://dx.doi.org/10.3390/electronics12214453.
Full textHylock, Ray Hales, and Xiaoming Zeng. "A Blockchain Framework for Patient-Centered Health Records and Exchange (HealthChain): Evaluation and Proof-of-Concept Study." Journal of Medical Internet Research 21, no. 8 (August 31, 2019): e13592. http://dx.doi.org/10.2196/13592.
Full textBasmadjian, Robert, Benedikt Kirpes, Jan Mrkos, and Marek Cuchý. "A Reference Architecture for Interoperable Reservation Systems in Electric Vehicle Charging." Smart Cities 3, no. 4 (November 21, 2020): 1405–27. http://dx.doi.org/10.3390/smartcities3040067.
Full textBenfriha, Khaled, Chawki El-Zant, Quentin Charrier, Abdel-Hakim Bouzid, Peter Wardle, Idir Belaidi, Stéphane Loubère, Nooshin Ghodsian, and Améziane Aoussat. "Development of an advanced MES for the simulation and optimization of industry 4.0 process." International Journal for Simulation and Multidisciplinary Design Optimization 12 (2021): 23. http://dx.doi.org/10.1051/smdo/2021022.
Full textPakdil, Mete Ercan, and Rahmi Nurhan Çelik. "Serverless Geospatial Data Processing Workflow System Design." ISPRS International Journal of Geo-Information 11, no. 1 (December 30, 2021): 20. http://dx.doi.org/10.3390/ijgi11010020.
Full textAnchala Balaraj, Et al. "Electronic Health Record System using Blockchain Technology." International Journal on Recent and Innovation Trends in Computing and Communication 11, no. 9 (January 2, 2024): 3208–12. http://dx.doi.org/10.17762/ijritcc.v11i9.9511.
Full textRibeiro, Carolina, Igor Fernandes, and Filipe Portela. "Toward an Enterprise Gamification System to Motivate Human Resources in IT Companies." Information 15, no. 1 (January 2, 2024): 26. http://dx.doi.org/10.3390/info15010026.
Full textLo, Sin Kit, Chee Sun Liew, Kok Soon Tey, and Saad Mekhilef. "An Interoperable Component-Based Architecture for Data-Driven IoT System." Sensors 19, no. 20 (October 9, 2019): 4354. http://dx.doi.org/10.3390/s19204354.
Full textHARIPRASAD MANDAVA. "Streamlining enterprise resource planning through digital technologies." World Journal of Advanced Engineering Technology and Sciences 12, no. 2 (August 30, 2024): 719–25. http://dx.doi.org/10.30574/wjaets.2024.12.2.0334.
Full textKlein, Konstantin, and Klaus-Dieter Thoben. "Industry 4.0 Technologies as an Obsolescence Mitigator for Testing of Mechatronic Systems in Aviation." Applied Sciences 12, no. 21 (November 3, 2022): 11142. http://dx.doi.org/10.3390/app122111142.
Full textShapovalov, Yevhenii B., Viktor B. Shapovalov, Roman A. Tarasenko, Stanislav A. Usenko, and Adrian Paschke. "A semantic structuring of educational research using ontologies." CTE Workshop Proceedings 8 (March 19, 2021): 105–23. http://dx.doi.org/10.55056/cte.219.
Full textSharma, Viresh, Edwin Ramirez-Asis, Aamir Junaid Ahmad, Miguel Silva-Zapata, Joseph Alvarado-Tolentino, Harish Kumar, and Daniel Krah. "On the Internet of Things, Blockchain Technology for Supply Chain Management (IoT)." Wireless Communications and Mobile Computing 2022 (May 10, 2022): 1–14. http://dx.doi.org/10.1155/2022/9185731.
Full textSun, Chenxi, Danyang Li, Beilei Wang, and Jie Song. "AI-Enabled Consensus Algorithm in Human-Centric Collaborative Computing for Internet of Vehicle." Symmetry 15, no. 6 (June 15, 2023): 1264. http://dx.doi.org/10.3390/sym15061264.
Full textPileggi, Salvatore Flavio. "IndShaker: A Knowledge-Based Approach to Enhance Multi-Perspective System Dynamics Analysis." Modelling 4, no. 1 (December 23, 2022): 19–34. http://dx.doi.org/10.3390/modelling4010002.
Full textSchweikert, Jan, Karl-Uwe Stucky, Wolfgang Süß, and Veit Hagenmeyer. "A Photovoltaic System Model Integrating FAIR Digital Objects and Ontologies." Energies 16, no. 3 (February 1, 2023): 1444. http://dx.doi.org/10.3390/en16031444.
Full textThamilarasu, Geethapriya, and Shiven Chawla. "Towards Deep-Learning-Driven Intrusion Detection for the Internet of Things." Sensors 19, no. 9 (April 27, 2019): 1977. http://dx.doi.org/10.3390/s19091977.
Full textChatterjee, Ayan, Nibedita Pahari, and Andreas Prinz. "HL7 FHIR with SNOMED-CT to Achieve Semantic and Structural Interoperability in Personal Health Data: A Proof-of-Concept Study." Sensors 22, no. 10 (May 15, 2022): 3756. http://dx.doi.org/10.3390/s22103756.
Full textSairam, G. V., Sankalp Kumar, Shefali Gupta, and Syed Sharique Haider. "Healthcare Management System Using Blockchain." International Journal for Research in Applied Science and Engineering Technology 11, no. 4 (April 30, 2023): 3876–80. http://dx.doi.org/10.22214/ijraset.2023.51153.
Full textSaxena, Amit. "BlockEdge: Building Bridges to Safe and Efficient Distributed Systems." International Journal for Research in Applied Science and Engineering Technology 12, no. 5 (May 31, 2024): 3288–95. http://dx.doi.org/10.22214/ijraset.2024.62322.
Full textWang, Longze, Jing Wu, Rongfang Yuan, Delong Zhang, Jinxin Liu, Siyu Jiang, Yan Zhang, and Meicheng Li. "Dynamic Adaptive Cross-Chain Trading Mode for Multi-Microgrid Joint Operation." Sensors 20, no. 21 (October 27, 2020): 6096. http://dx.doi.org/10.3390/s20216096.
Full textSWAMY, NIKHIL, JUAN CHEN, CÉDRIC FOURNET, PIERRE-YVES STRUB, KARTHIKEYAN BHARGAVAN, and JEAN YANG. "Secure distributed programming with value-dependent types." Journal of Functional Programming 23, no. 4 (July 2013): 402–51. http://dx.doi.org/10.1017/s0956796813000142.
Full textCernian, Alexandra, Bogdan Tiganoaia, Ioan Sacala, Adrian Pavel, and Alin Iftemi. "PatientDataChain: A Blockchain-Based Approach to Integrate Personal Health Records." Sensors 20, no. 22 (November 16, 2020): 6538. http://dx.doi.org/10.3390/s20226538.
Full textYánez, Wendy, Rami Bahsoon, Yuqun Zhang, and Rick Kazman. "Architecting Internet of Things Systems with Blockchain." ACM Transactions on Software Engineering and Methodology 30, no. 3 (May 2021): 1–46. http://dx.doi.org/10.1145/3442412.
Full textLeinen, Margaret, Francisco Chavez, Raïssa Meyer, Pier Luigi Buttigieg, Neil Davies, Raffaella Casotti, and Astrid Fischer. "The Ocean Biomolecular Observing Network (OBON)." Marine Technology Society Journal 56, no. 3 (June 8, 2022): 106–7. http://dx.doi.org/10.4031/mtsj.56.3.20.
Full textMohani, Syed Sheraz ul Hasan, and Kamran Raza. "LTE and GPS based Deca Band Printed Antenna for Cellular Mobile Handset Communication Applications." Mehran University Research Journal of Engineering and Technology 38, no. 2 (April 1, 2019): 313–20. http://dx.doi.org/10.22581/muet1982.1902.06.
Full textKabbara, Nadine, Mohand Ouamer Nait Belaid, Madeleine Gibescu, Luis Ramirez Camargo, Jerome Cantenot, Thierry Coste, Vincent Audebert, and Hugo Morais. "Towards Software-Defined Protection, Automation, and Control in Power Systems: Concepts, State of the Art, and Future Challenges." Energies 15, no. 24 (December 10, 2022): 9362. http://dx.doi.org/10.3390/en15249362.
Full textSatybaldy, Abylay, Anushka Subedi, and Mariusz Nowostawski. "A Framework for Online Document Verification Using Self-Sovereign Identity Technology." Sensors 22, no. 21 (November 1, 2022): 8408. http://dx.doi.org/10.3390/s22218408.
Full textCraik, Alexander, Juan José González-España, Ayman Alamir, David Edquilang, Sarah Wong, Lianne Sánchez Rodríguez, Jeff Feng, Gerard E. Francisco, and Jose L. Contreras-Vidal. "Design and Validation of a Low-Cost Mobile EEG-Based Brain–Computer Interface." Sensors 23, no. 13 (June 26, 2023): 5930. http://dx.doi.org/10.3390/s23135930.
Full textShmatko, Oleksandr, Yaroslav Kliuchka, Roman Korolov, Vladyslav Khvostenko, and Sergii Dunaiev. "DESIGN AND EVALUATION OF AN IOTA-BASED MEDICAL INFORMATION SYSTEM." Ukrainian Information Security Research Journal 25, no. 1 (May 26, 2023): 19–26. http://dx.doi.org/10.18372/2410-7840.25.17594.
Full textIkhbaluddin, Ikhbaluddin. "STRATEGI PEMERINTAH KOTA TASIKMALAYA DALAM MENERAPKAN TEKNOLOGI INFORMASI PEMERINTAHAN UNTUK MENINGKATKAN TATA KELOLA PEMERINTAHAN." Jurnal Teknologi dan Komunikasi Pemerintahan 2, no. 2 (November 16, 2020): 41–57. http://dx.doi.org/10.33701/jtkp.v2i2.2316.
Full textDowek, Gilles. "Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems." Electronic Proceedings in Theoretical Computer Science 262 (December 4, 2017): 3–12. http://dx.doi.org/10.4204/eptcs.262.1.
Full textChen, Shuo, Falko Ebe, Jeromie Morris, Heiko Lorenz, Christoph Kondzialka, and Gerd Heilscher. "Implementation and Test of an IEC 61850-Based Automation Framework for the Automated Data Model Integration of DES (ADMID) into DSO SCADA." Energies 15, no. 4 (February 19, 2022): 1552. http://dx.doi.org/10.3390/en15041552.
Full textMiksa, Tomasz, Simon Oblasser, and Andreas Rauber. "Automating Research Data Management Using Machine-Actionable Data Management Plans." ACM Transactions on Management Information Systems 13, no. 2 (June 30, 2022): 1–22. http://dx.doi.org/10.1145/3490396.
Full textBlobel, B., and D. M. López. "Architectural Approaches for HL7-based Health Information Systems Implementation." Methods of Information in Medicine 49, no. 02 (2010): 196–204. http://dx.doi.org/10.3414/me09-02-0012.
Full textTrigo, Jesús D., Óscar J. Rubio, Miguel Martínez-Espronceda, Álvaro Alesanco, José García, and Luis Serrano-Arriezu. "Building Standardized and Secure Mobile Health Services Based on Social Media." Electronics 9, no. 12 (December 21, 2020): 2208. http://dx.doi.org/10.3390/electronics9122208.
Full textKang, Yunhee, Jaehyuk Cho, and Young B. Park. "An Empirical Study of a Trustworthy Cloud Common Data Model Using Decentralized Identifiers." Applied Sciences 11, no. 19 (September 27, 2021): 8984. http://dx.doi.org/10.3390/app11198984.
Full textAslam, Sidra, and Michael Mrissa. "A framework for privacy-aware and secure decentralized data storage." Computer Science and Information Systems, no. 00 (2023): 7. http://dx.doi.org/10.2298/csis220110007a.
Full textRodríguez-Cobo, Luís, Luís Reyes-Gonzalez, José Francisco Algorri, Sara Díez-del-Valle Garzón, Roberto García-García, José Miguel López-Higuera, and Adolfo Cobo. "Non-Contact Thermal and Acoustic Sensors with Embedded Artificial Intelligence for Point-of-Care Diagnostics." Sensors 24, no. 1 (December 26, 2023): 129. http://dx.doi.org/10.3390/s24010129.
Full textSi, Haiping, Weixia Li, Qingyi Wang, Haohao Cao, Fernando Bacao, and Changxia Sun. "A secure cross-domain interaction scheme for blockchain-based intelligent transportation systems." PeerJ Computer Science 9 (November 15, 2023): e1678. http://dx.doi.org/10.7717/peerj-cs.1678.
Full textKalmus, Olivier, Kirsten Smits, Max Seitz, Christian Haux, Bernt-Peter Robra, and Stefan Listl. "Evaluation of a Digital Decision Support System to Integrate Type 2 Diabetes Mellitus and Periodontitis Care: Case-Vignette Study in Simulated Environments." Journal of Medical Internet Research 25 (October 2, 2023): e46381. http://dx.doi.org/10.2196/46381.
Full textPineda Rincón, Edwar Andrés, and Luis Gabriel Moreno-Sandoval. "Design of an Architecture Contributing to the Protection and Privacy of the Data Associated with the Electronic Health Record." Information 12, no. 8 (August 2, 2021): 313. http://dx.doi.org/10.3390/info12080313.
Full textChatterjee, Ayan, Andreas Prinz, Martin Gerdes, and Santiago Martinez. "An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-Concept Study." Journal of Medical Internet Research 23, no. 4 (April 9, 2021): e24656. http://dx.doi.org/10.2196/24656.
Full text