Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Formal methods for the verification of smart contracts: A review
Smart contracts are digital contracts that rely on Blockchain technology to make their terms
and execution conditions unforgeable. The purpose of a smart contract is to eliminate the …
and execution conditions unforgeable. The purpose of a smart contract is to eliminate the …
[HTML][HTML] A survey on formal verification and validation techniques for internet of things
M Krichen - Applied Sciences, 2023 - mdpi.com
The Internet of Things (IoT) has brought about a new era of connected devices and systems,
with applications ranging from healthcare to transportation. However, the reliability and …
with applications ranging from healthcare to transportation. However, the reliability and …
Convolutional neural networks: A survey
M Krichen - Computers, 2023 - mdpi.com
Artificial intelligence (AI) has become a cornerstone of modern technology, revolutionizing
industries from healthcare to finance. Convolutional neural networks (CNNs) are a subset of …
industries from healthcare to finance. Convolutional neural networks (CNNs) are a subset of …
Research on the natural language recognition method based on cluster analysis using neural network
Withthe technological advent, the clustering phenomenon is recently being used in various
domains and in natural language recognition. This article contributes to the clustering …
domains and in natural language recognition. This article contributes to the clustering …
Accurate magnetic resonance image super-resolution using deep networks and Gaussian filtering in the stationary wavelet domain
In this correspondence, we present an accurate Magnetic Resonance (MR) image Super-
Resolution (SR) method that uses a Very Deep Residual network (VDR-net) in the training …
Resolution (SR) method that uses a Very Deep Residual network (VDR-net) in the training …
Generative adversarial networks
M Krichen - 2023 14th International Conference on Computing …, 2023 - ieeexplore.ieee.org
Generative Adversarial Networks (GANs) are a type of deep learning techniques that have
shown remarkable success in generating realistic images, videos, and other types of data …
shown remarkable success in generating realistic images, videos, and other types of data …
[Retracted] Wearable Wireless Body Area Networks for Medical Applications
In recent times, there has been a significant growth in networks known as the wireless body
area networks (WBANs). A WBAN connects distributed nodes throughout the human body …
area networks (WBANs). A WBAN connects distributed nodes throughout the human body …
Secured and privacy-based IDS for healthcare systems on E-medical data using machine learning approach
Existing methods use static path identifiers, making it easy for attackers to conduct DDoS
flooding attacks. Create a system using Dynamic Secure aware Routing by Machine …
flooding attacks. Create a system using Dynamic Secure aware Routing by Machine …
[PDF][PDF] Optimal Artificial Intelligence Based Automated Skin Lesion Detection and Classification Model.
Skin lesions have become a critical illness worldwide, and the earlier identification of skin
lesions using dermoscopic images can raise the survival rate. Classification of the skin …
lesions using dermoscopic images can raise the survival rate. Classification of the skin …
[HTML][HTML] Formal methods and validation techniques for ensuring automotive systems security
M Krichen - Information, 2023 - mdpi.com
The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …
about their vulnerability to security breaches. As a result, the integration of formal methods …