Are Formal Methods Applicable To Machine Learning And Artificial Intelligence?

As the most popular technologies of the 21st century, artificial intelligence (AI) and the internet of things (IoT) are the most effective paradigms that have played a vital role in transforming the agricultural industry during the pandemic. The convergence of AI and IoT has sparked a recent wave of interest in artificial intelligence of things (AIoT). An IoT system provides data flow to AI techniques for data integration and interpretation as well as for the performance of automatic image analysis and data prediction. The adoption of AIoT technology significantly transforms the traditional agriculture scenario by addressing numerous challenges, including pest management and post-harvest management issues. Although AIoT is an essential driving force for smart agriculture, there are still some barriers that must be overcome. In this paper, a systematic literature review of AIoT is presented to highlight the current progress, its applications, and its advantages. The AIoT concept, from smart devices in IoT systems to the adoption of AI techniques, is discussed. The increasing trend in article publication regarding to AIoT topics is presented based on a database search process. Lastly, the challenges to the adoption of AIoT technology in modern agriculture are also discussed.

Section: Resultsmentioning

confidence: 99%

Section: Resultsmentioning

confidence: 99%

Recent Advancements and Challenges of AIoT Application in Smart Agriculture: A Review

Adli

Remli

Wong

et al. 2023

“…Additionally, if such a system is deployed in a healthcare environment, it would be of benefit to look at the transparency of the networks to better understand their decision-making process. One method of improvement would be to evaluate the formal verification of deep neural networks [ 46 , 47 ] to best ensure that their behaviour is in line with what we would expect.…”

Section: Discussionmentioning

confidence: 99%

The Classification of Movement in Infants for the Autonomous Monitoring of Neurological Development

Turner

Hayes

Sharkey

2023

Neurodevelopmental delay following extremely preterm birth or birth asphyxia is common but diagnosis is often delayed as early milder signs are not recognised by parents or clinicians. Early interventions have been shown to improve outcomes. Automation of diagnosis and monitoring of neurological disorders using non-invasive, cost effective methods within a patient’s home could improve accessibility to testing. Furthermore, said testing could be conducted over a longer period, enabling greater confidence in diagnoses, due to increased data availability. This work proposes a new method to assess the movements in children. Twelve parent and infant participants were recruited (children aged between 3 and 12 months). Approximately 25 min 2D video recordings of the infants organically playing with toys were captured. A combination of deep learning and 2D pose estimation algorithms were used to classify the movements in relation to the children’s dexterity and position when interacting with a toy. The results demonstrate the possibility of capturing and classifying children’s complexity of movements when interacting with toys as well as their posture. Such classifications and the movement features could assist practitioners to accurately diagnose impaired or delayed movement development in a timely fashion as well as facilitating treatment monitoring.

“…With the increasing role of neural networks in the field of artificial intelligence, verifying their credibility has become a focus of attention, including their availability, reliability, robustness, and interpretability, among other factors [ 33 ]. In this experiment, a noise interference method was used to assess the robustness of the model, where unprocessed PPG test data was used to evaluate the model previously trained to verify its ability to resist interference.…”

Section: Methodsmentioning

confidence: 99%

Photoplethysmography Driven Hypertension Identification: A Pilot Study

Yan

Wei

et al. 2023

To prevent and diagnose hypertension early, there has been a growing demand to identify its states that align with patients. This pilot study aims to research how a non-invasive method using photoplethysmographic (PPG) signals works together with deep learning algorithms. A portable PPG acquisition device (Max30101 photonic sensor) was utilized to (1) capture PPG signals and (2) wirelessly transmit data sets. In contrast to traditional feature engineering machine learning classification schemes, this study preprocessed raw data and applied a deep learning algorithm (LSTM-Attention) directly to extract deeper correlations between these raw datasets. The Long Short-Term Memory (LSTM) model underlying a gate mechanism and memory unit enables it to handle long sequence data more effectively, avoiding gradient disappearance and possessing the ability to solve long-term dependencies. To enhance the correlation between distant sampling points, an attention mechanism was introduced to capture more data change features than a separate LSTM model. A protocol with 15 healthy volunteers and 15 hypertension patients was implemented to obtain these datasets. The processed result demonstrates that the proposed model could present satisfactory performance (accuracy: 0.991; precision: 0.989; recall: 0.993; F1-score: 0.991). The model we proposed also demonstrated superior performance compared to related studies. The outcome indicates the proposed method could effectively diagnose and identify hypertension; thus, a paradigm to cost-effectively screen hypertension could rapidly be established using wearable smart devices.