ARTICLE
|
doi:10.20944/preprints202402.1697.v1
Subject:
Engineering,
Industrial And Manufacturing Engineering
Keywords:
Modular concept; Checking system; Intelligent manufacturing systems; Assembly; Robotic systems.
Online: 29 February 2024 (08:15:58 CET)
REVIEW
|
doi:10.20944/preprints202110.0392.v2
Subject:
Engineering,
Control And Systems Engineering
Keywords:
Digital building permit; BIM; GIS; GeoBIM; Compliance checking; Rule checking
Online: 23 November 2021 (15:28:57 CET)
ARTICLE
|
doi:10.20944/preprints202404.0410.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
Mutual exclusion algorithms; correctness analysis; automated reasoning; model checking; statistical model checking; Timed Automata; Uppaal
Online: 5 April 2024 (06:41:37 CEST)
ARTICLE
|
doi:10.20944/preprints202010.0303.v1
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
fuzzy genetic algorithm; reachability property; deadlock; model checking
Online: 14 October 2020 (10:58:37 CEST)
ARTICLE
|
doi:10.20944/preprints202307.1723.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
Large Language Model; hallucination; fact-checking; multiple inconsistent sources
Online: 25 July 2023 (13:09:30 CEST)
ARTICLE
|
doi:10.20944/preprints202310.0337.v1
Subject:
Computer Science And Mathematics,
Software
Keywords:
model checking; embedded assembly program; reduction of interrupt handler executions
Online: 6 October 2023 (10:00:30 CEST)
ARTICLE
|
doi:10.20944/preprints202409.0148.v1
Subject:
Computer Science And Mathematics,
Security Systems
Keywords:
Timed security protocols; Multi-agent systems; Timed Interpreted Systems; Bounded Model Checking; Satisfiability modulo theories
Online: 3 September 2024 (10:56:53 CEST)
ARTICLE
|
doi:10.20944/preprints202010.0288.v1
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
Fuzzy Adaptive Particle Swarm Optimization; Graph Transformation System; Model Checking; Reachability Property; State Space Explosion
Online: 14 October 2020 (08:21:28 CEST)
ARTICLE
|
doi:10.20944/preprints202301.0254.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
Logic Artificial Intelligence; Knowledge Bases; Query Plan; Temporal Logic; Conformance Checking; Temporal Data Mining; Intraquery Parallelism
Online: 13 January 2023 (11:07:20 CET)
ARTICLE
|
doi:10.20944/preprints202305.1047.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
Artificial Intelligence; Large Language Models; GPT-3.5; GPT-4; Google-BARD; Historical Fact-Checking; Distance to Reality; History; AI in Education; Gap Bridging
Online: 15 May 2023 (12:53:11 CEST)
ARTICLE
Subject:
Computer Science And Mathematics,
Computer Vision And Graphics
Keywords:
geographic information fusion; data quality; data consistency checking; historic GIS; railway network; patrimonial data; crowdsourcing open data; volunteer geographic information VGI; wikipedia geo-spatial information extraction.
Online: 17 August 2020 (14:51:04 CEST)