Zobrazeno 1 - 10
of 1 270
pro vyhledávání: '"Gas meter prover"'
Publikováno v:
APKC@AsiaCCS
To prove the graph relations such as the connectivity and the isolation for a certified graph, the system of graph signature and proofs have been proposed. In this system, an issuer generates a signature certifying the topology of an undirected graph
Publikováno v:
Information Sciences. 586:261-278
The contradiction separation (CS) based automated deduction is an extension of the binary resolution principle for deductive inference rules, whose CSE prover and combined versions have unique performance among others in CADE ATP system competitions
Publikováno v:
IEEE Internet of Things Journal. 9:3083-3096
Due to the proliferation of WiFi devices and the high verification precision, researchers have shown interests in WiFi-based multilateration location verification (WMLV), where multiple WiFi APs (a.k.a. verifiers) verify the location information clai
Publikováno v:
Journal of the ACM. 69:1-82
We construct a 1-round delegation scheme (i.e., argument-system) for every language computable in time t = t ( n ), where the running time of the prover is poly ( t ) and the running time of the verifier is n · polylog ( t ). In particular, for ever
Autor:
Waldmann, Uwe, Tourret, Sophie, Robillard, Simon, Blanchette, Jasmin, Peltier, Nicolas, Sofronie-Stokkermans, Viorica
Publikováno v:
Journal of Automated Reasoning, 66(4), 499-539. Springer Netherlands
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
Waldmann, U, Tourret, S, Robillard, S & Blanchette, J 2020, A Comprehensive Framework for Saturation Theorem Proving . in N Peltier & V Sofronie-Stokkermans (eds), Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I . vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12166 LNAI, Springer, pp. 316-334, 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 1/07/20 . https://doi.org/10.1007/978-3-030-51074-9_18
Automated Reasoning-10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Reasoning
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, 1, 316-334
Waldmann, U, Tourret, S, Robillard, S & Blanchette, J 2022, ' A Comprehensive Framework for Saturation Theorem Proving ', Journal of Automated Reasoning, vol. 66, no. 4, pp. 499-539 . https://doi.org/10.1007/s10817-022-09621-7
Automated Reasoning ISBN: 9783030510732
IJCAR (1)
Journal of Automated Reasoning
Journal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩
Automated Reasoning
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
Waldmann, U, Tourret, S, Robillard, S & Blanchette, J 2020, A Comprehensive Framework for Saturation Theorem Proving . in N Peltier & V Sofronie-Stokkermans (eds), Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I . vol. 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12166 LNAI, Springer, pp. 316-334, 10th International Joint Conference on Automated Reasoning, IJCAR 2020, Virtual, Online, 1/07/20 . https://doi.org/10.1007/978-3-030-51074-9_18
Automated Reasoning-10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Reasoning
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, 1, 316-334
Waldmann, U, Tourret, S, Robillard, S & Blanchette, J 2022, ' A Comprehensive Framework for Saturation Theorem Proving ', Journal of Automated Reasoning, vol. 66, no. 4, pp. 499-539 . https://doi.org/10.1007/s10817-022-09621-7
Automated Reasoning ISBN: 9783030510732
IJCAR (1)
Journal of Automated Reasoning
Journal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩
Automated Reasoning
A crucial operation of saturation theorem provers is deletion of subsumed formulas. Designers of proof calculi, however, usually discuss this only informally, and the rare formal expositions tend to be clumsy. This is because the equivalence of dynam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ce4f636ee6aa8cdff07937ea4a58d35
https://research.vu.nl/en/publications/04fbca2a-c66f-4cee-a1a1-bca932a6ff60
https://research.vu.nl/en/publications/04fbca2a-c66f-4cee-a1a1-bca932a6ff60
Publikováno v:
Ukrainian Metrological Journal. :40-44
The article describes the method of conducting representative research to determine the effect of pure gaseous hydrogen and a mixture of hydrogen and natural gas (methane) on the performance and metrological characteristics of household gas meters. T
Publikováno v:
IEEE Network. 35:198-205
Blockchain, which is usually regarded as a public, decentralized and distributed ledger, has attracted significant attention recently. In the environment of blockchain, all historical transaction data are recorded and stored. However, because blockch
Autor:
Alexander Steen, Christoph Benzmüller
Publikováno v:
Journal of Automated Reasoning. 65:775-807
Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is enabled by adapting paramodulation-based proof search to higher-order logic. The prover may cooperate with multi
Publikováno v:
IEEE Access, Vol 9, Pp 142390-142410 (2021)
Embedded systems that make up the Internet of Things (IoT), Supervisory Control and Data Acquisition (SCADA) networks, and Smart Grid applications are coming under increasing scrutiny in the security field. Remote Attestation (RA) is a security mecha
Autor:
Byeongtae Ahn, SoonHyeong Jeong
Publikováno v:
Computer Science and Information Systems. 18:481-497
Recently, blockchain technology accumulates and stores all transactions. Therefore, in order to verify the contents of all transactions, the data itself is compressed, but the scalability is limited. In addition, since a separate verification algorit