Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Natural and Artificial Concepts01:24

Natural and Artificial Concepts

222
In psychology, concepts can be divided into two categories: natural and artificial. Natural concepts are formed through direct or indirect experiences. For example, consider the concept of snow. If you live in a place with regular snowfall, such as Essex Junction, Vermont, you know snow through direct experiences. You’ve seen it fall, touched it, shoveled it, and played in it. You recognize its texture, appearance, and even its smell. In contrast, if you live on an island like Saint...
222
Hypothesis: Accept or Fail to Reject?01:17

Hypothesis: Accept or Fail to Reject?

28.1K
The outcome of any hypothesis testing leads to rejecting or not rejecting the null hypothesis. This decision is taken based on the analysis of the data, an appropriate test statistic, an appropriate confidence level, the critical values, and P-values. However, when the evidence suggests that the null hypothesis cannot be rejected, is it right to say, 'Accept' the null hypothesis?
There are two ways to indicate that the null hypothesis is not rejected. 'Accept' the null...
28.1K
Neural Circuits01:25

Neural Circuits

1.3K
Neural circuits and neuronal pools are two of the main structures found in the nervous system. Neural circuits are networks of neurons that work together to carry out a specific task or process. They consist of interconnected neurons and glial cells, which provide structural and metabolic support.
Neuronal pools are collections of nerve cells with similar functions and interact through chemical and electrical signals. These pools include both interneurons (the central neural circuit nodes that...
1.3K
Inductive Reasoning00:59

Inductive Reasoning

60.7K
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
60.7K
Network Function of a Circuit01:25

Network Function of a Circuit

332
Frequency response analysis in electrical circuits provides vital insights into a circuit's behavior as the frequency of the input signal changes. The transfer function, a mathematical tool, is instrumental in understanding this behavior. It defines the relationship between phasor output and input and comes in four types: voltage gain, current gain, transfer impedance, and transfer admittance. The critical components of the transfer function are the poles and zeros.
332
Types of Errors: Detection and Minimization01:12

Types of Errors: Detection and Minimization

1.7K
Error is the deviation of the obtained result from the true, expected value or the estimated central value. Errors are expressed in absolute or relative terms.
Absolute error in a measurement is the numerical difference from the true or central value. Relative error is the ratio between absolute error and the true or central value, expressed as a percentage.
Errors can be classified by source, magnitude, and sign. There are three types of errors: systematic, random, and gross.
Systematic or...
1.7K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

From composition to function: Translating porcine gut microbiota research into strategies for improving intestinal health.

Microbiological research·2026
Same author

Intrauterine exposure to glyphosate-based herbicide during pregnancy induces testicular impairment via activating ferroptosis in offspring.

Ecotoxicology and environmental safety·2026
Same author

p-Blend: Privacy- and Utility-Preserving Blendshape Perturbation Against Re-Identification Attacks in Virtual Reality.

IEEE transactions on visualization and computer graphics·2025
Same author

Effects of Diets with Different Energy Levels at Cold Temperatures on Gut Microbiota and Metabolic State in Growing-Finishing Pigs.

Microorganisms·2025
Same author

Glycosylation and Acylation: Important Regulators of Immune Cell Fate Decisions.

Biology·2025
Same author

Human Milk Oligosaccharide Lacto-<i>N</i>-Neotetraose Promotes Gut Microbiota Recovery in the Context of Antibiotic-Induced Dysbiosis.

Journal of agricultural and food chemistry·2025

Related Experiment Video

Updated: Jul 30, 2025

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

366

Detecting contradictions from IoT protocol specification documents based on neural generated knowledge graph.

Xinguo Feng1, Yanjun Zhang2, Mark Huasong Meng3

  • 1The University of Queensland, Australia.

ISA Transactions
|May 10, 2023
PubMed
Summary
This summary is machine-generated.

This study introduces a tool to detect contradictions in Internet of Things (IoT) protocol specifications. It uses a neural network-generated knowledge graph to ensure consistency in Constrained Application Protocol (CoAP) and other IoT standards.

Keywords:
Contradiction detectionInternet of thingsLarge language modelsNatural language processingWeb protocol

More Related Videos

A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports
07:35

A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports

Published on: October 13, 2023

1.7K
Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks
11:18

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks

Published on: March 2, 2015

10.4K

Related Experiment Videos

Last Updated: Jul 30, 2025

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

366
A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports
07:35

A Knowledge Graph Approach to Elucidate the Role of Organellar Pathways in Disease via Biomedical Reports

Published on: October 13, 2023

1.7K
Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks
11:18

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks

Published on: March 2, 2015

10.4K

Area of Science:

  • Computer Science
  • Software Engineering
  • Network Protocols

Background:

  • The proliferation of Internet of Things (IoT) devices necessitates reliable communication protocols.
  • Specification documents, often in natural language, define these protocols (e.g., Constrained Application Protocol - CoAP).
  • Inconsistencies in these specifications can lead to interoperability issues, security vulnerabilities, and legal challenges.

Purpose of the Study:

  • To develop an automated tool for detecting contradictions within IoT protocol specification documents.
  • To enhance the reliability and consistency of de facto protocol standards used by developers.

Main Methods:

  • Proposing Neural RFC Knowledge Graph (NRFCKG), a novel approach utilizing neural networks.
  • Automated parsing of specification documents to construct knowledge graphs via entity, relation, and rule extraction using large language models.
  • Implementing intra-entity and inter-entity contradiction detection on the generated knowledge graphs.

Main Results:

  • NRFCKG successfully parses and constructs knowledge graphs from IoT protocol specifications.
  • The tool effectively detects contradictions within and between entities in the knowledge graph.
  • Demonstrated generalization capabilities by applying NRFCKG to CoAP (RFC7252), MQTT, and AMQP specifications.

Conclusions:

  • NRFCKG provides an effective automated solution for identifying inconsistencies in IoT protocol specifications.
  • The tool contributes to improving the quality and reliability of critical IoT communication standards.
  • The approach shows promise for ensuring the robustness of future IoT protocol development.