Published Articles with Keyword: verification
- Title: Enhancing the Reliability of Academic Document Certification Systems with Blockchain and Large Language Models
Authors: Jean Gilbert Mbula Mboma, Obed Tshimanga Tshipata, Witesyavwirwa Vianney Kambale, Mohamed Salem, Mudiampimpa Tshyster Joel, Kyandoghere Kyamakya
Doi: 10.37394/23209.2024.21.39
Download
| Download 
Published in WSEAS Transactions on Information Science and Applications, Volume 21, 2024
- Title: Experimental Validation of the Capture Chamber Model in Mutriku MOWC Wave Power Plant
Authors: Aitor J. Garrido, Salvador Cayuela, Amparo Villasante, Izaskun Garrido
Doi: 10.37394/23203.2024.19.16
Download
| Download 
Published in WSEAS Transactions on Systems and Control, Volume 19, 2024
- Title: Formal Verification of Dynamical Control Systems (Addressing Integral Windup Phenomena Using Model-Checking)
Authors: Mohammed Tloul, Michael H. Schwarz, Josef Börcsök
Doi: 10.37394/23203.2023.18.41
Download
| Download 
Published in WSEAS Transactions on Systems and Control, Volume 18, 2023
- Title: Development of an Automatic Mobile Measurement Tester for Medical Device Power Supplies
Authors: Kamil Malawski, Rafał Grzejda
Doi: 10.37394/232029.2023.2.12
Download
| Download 
Published in International Journal of Applied Sciences & Development, Volume 2, 2023
- Title: A Study on Information Technology Freelancer Matching with Exploiting Blockchain in Gig Economy
Authors: Jinho Lim, Kwansik Na, Seungcheon Kim
Doi: 10.37394/23207.2021.18.46
Download
| Download 
Published in WSEAS Transactions on Business and Economics, Volume 18, 2021
- Title: The Equipment Qualification Testing Framework: Model Driven Development for Design and Model-Based Testing for Verification
Authors: Vladimir Sklyar, Vyacheslav Kharchenko
Doi: 10.37394/23203.2020.15.64
Download
| Download 
Published in WSEAS Transactions on Systems and Control, Volume 15, 2020
- Title: The General Principles of the Transportation Simulation Model Development and Validation
Authors: Nadezda Zenina, Yuri Merkuryev, Andrejs Romanovs
Doi: 10.37394/23203.2020.15.10
Download
| Download 
Published in WSEAS Transactions on Systems and Control, Volume 15, 2020
- Title: A Multimodal Authentication for Biometric Verification System Using Palmprints and Fingers
Authors: Farzam Kharajinezhadian, Saeid Rashidi
Download
| Download 
Published in WSEAS Transactions on Signal Processing, Volume 15, 2019
- Title: Towards a Safe Development of Reconfigurable Robotic Systems
Authors: Mohamed Oussama Ben Salem, Olfa Mosbahi
Download
| Download 
Published in WSEAS Transactions on Systems and Control, Volume 14, 2019
- Title: Two Stage Op-Amp Design Verification and Optimization by Symbolic Computation
Authors: Alexandru Gabriel Gheorghe
Download
| Download 
Published in WSEAS Transactions on Circuits and Systems, Volume 17, 2018
- Title: Model-Supported Verification of Space Systems
Authors: L. Pace, P. Maggiore
Download
| Download 
Published in WSEAS Transactions on Systems, Volume 16, 2017
- Title: Mathematical Modeling of an Electro-Hydraulic Actuator for Humanoid Robots
Authors: A. Abdellatif, Samer Alfayad, Fethi B. Ouezdou, Salem A. Haggag, Faycal Namoun
Download
| Download 
Published in WSEAS Transactions on Circuits and Systems, Volume 16, 2017
- Title: Analysis of Use of XBRL Based Accounting Data in Financial Research
Authors: Pustylnick I., Temchenko O., Gubarkov S.
Download
| Download 
Published in WSEAS Transactions on Business and Economics, Volume 14, 2017
- Title: Models of M2M Device Management
Authors: Ivaylo Atanasov, Evelina Pencheva
Download
| Download 
Published in WSEAS Transactions on Computers, Volume 14, 2017
- Title: Acoustic Verification of Rectangular Reverberation Chamber Using Impulse Sound Source
Authors: Pavel Drabek, Martin Zalesak
Download
| Download 
Published in WSEAS Transactions on Environment and Development, Volume 12, 2016
- Title: Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration
Authors: Oleg Nepomnyashchy, Alexandr Legalov, Valery Tyapkin, Igor Ryzhenko, Vladimir Shaydurov
Download
| Download 
Published in WSEAS Transactions on Computers, Volume 15, 2016
- Title: Formal Verification of Embedded Systems for Remote Attestation
Authors: G. Cabodi, P. Camurati, C. Loiacono, G. Pipitone, F. Savarese, D. Vendraminetto
Download
| Download 
Published in WSEAS Transactions on Computers, Volume 14, 2015
- Title: Compliance Management Model for Interoperability Faults towards Enhanced COBIT Governance of Enterprise Software
Authors: Kanchana Natarajan
Download
| Download 
Published in WSEAS Transactions on Computers, Volume 14, 2015
- Title: Speaker Verification using Speaker-Specific-Text
Authors: B. Bharathi, T. Nagarajan
Download
| Download 
Published in WSEAS Transactions on Signal Processing, Volume 10, 2014
- Title: Control of the Forces of Gravity: Modeling and Experimental Verification
Authors: Vitaly Groppen
Download
| Download 
Published in WSEAS Transactions on Applied and Theoretical Mechanics, Volume 9, 2014
- Title: Initial Imperfections of Steel and Steel-Concrete Composite Columns Subjected to Buckling Compression
Authors: Marcela Karmazínová, Jindrich Melcher
Download
| Download 
Published in WSEAS Transactions on Applied and Theoretical Mechanics, Volume 9, 2014
- Title: Methodology and Toolset for Model Verification, Hardware/Software Co-Simulation, Performance Optimisation and Customisable Source-Code Generation
Authors: M. Berger, J. Soler, L. Brewka, H. Yu, M. Tsagkaropoulos, Y. Leclerc, C. Olma
Download
| Download 
Published in WSEAS Transactions on Information Science and Applications, Volume 10, 2013
- Title: A Fingerprint Watermarking Algorithm to Enhance the Privacy of Fingerprint Data
Authors: Sandhya Tarar, Ashish Kumar, Ela Kumar
Download
| Download 
Published in WSEAS Transactions on Information Science and Applications, Volume 9, 2012