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/preprints202010.0290.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
COVID-19; image-based diagnosis; artificial intelligence; machine learning; deep learning; computerized tomography; coronavirus disease
Online: 14 October 2020 (09:07:51 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)