REVIEW
|
doi:10.20944/preprints202409.0076.v1
Subject:
Engineering,
Other
Keywords:
Attendance; Android; iOS; QR Code; Geolocation; Flutter; Authentication; Verification
Online: 2 September 2024 (13:34:50 CEST)
ARTICLE
|
doi:10.20944/preprints202407.1801.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
Verification; Validation; Digital Twins; System of Systems; Domain Specific Modeling; Verification Frameworks; Helix models; Quintuple Helix Model; Cyber-critical systems; Meta Object Facility
Online: 23 July 2024 (12:30:29 CEST)
REVIEW
|
doi:10.20944/preprints202407.1552.v1
Subject:
Chemistry And Materials Science,
Analytical Chemistry
Keywords:
HPLC-ICP-MS; chemical warfare agents; OPCW; verification
Online: 19 July 2024 (10:58:28 CEST)
ARTICLE
|
doi:10.20944/preprints202406.1038.v1
Subject:
Computer Science And Mathematics,
Software
Keywords:
development; methodology; software configuration management; software safety analysis; software qualification; software quality assurance; safety-related; verification and validation
Online: 19 June 2024 (10:51:51 CEST)
ARTICLE
|
doi:10.20944/preprints202405.2061.v1
Subject:
Computer Science And Mathematics,
Computer Networks And Communications
Keywords:
access structure; multi-secret; hierarchy; verification; secret sharing; polynomial
Online: 30 May 2024 (13:46:21 CEST)
ARTICLE
|
doi:10.20944/preprints202405.0983.v1
Subject:
Engineering,
Energy And Fuel Technology
Keywords:
liquid flat-plate solar collector; transient states; in-house mathematical model; in-house computer program; experimental verification; collector time constant; collector instantaneous efficiency
Online: 15 May 2024 (10:26:53 CEST)
ARTICLE
|
doi:10.20944/preprints202404.1560.v1
Subject:
Engineering,
Bioengineering
Keywords:
Diabetic Foot; Monofilament; Metrological Verification; Buckling Force
Online: 24 April 2024 (07:22:36 CEST)
ARTICLE
|
doi:10.20944/preprints202404.0851.v1
Subject:
Social Sciences,
Political Science
Keywords:
Biological and Toxin Weapons Convention; Biological Weapons Convention; BWC; BTWC; biological weapons; verification; compliance; confidence-building measures; confidence building measures; CBM; CBMs; nonproliferation; nonproliferation policy; arms control; disarmament; weapons of mass destruction; WMD; biology
Online: 12 April 2024 (14:33:52 CEST)
ARTICLE
|
doi:10.20944/preprints202404.0495.v1
Subject:
Chemistry And Materials Science,
Analytical Chemistry
Keywords:
ion cloud engineering; ion mobility; verification of numerical modelling; ultra-sensitive ion detection; airport security
Online: 8 April 2024 (08:14:03 CEST)
ARTICLE
|
doi:10.20944/preprints202402.0793.v1
Subject:
Chemistry And Materials Science,
Materials Science And Technology
Keywords:
Selective laser melting; High entropy alloy; Machine learning; Phase formation; Tensile properties; Experimental verification.
Online: 14 February 2024 (10:21:55 CET)
ARTICLE
|
doi:10.20944/preprints202402.0261.v1
Subject:
Computer Science And Mathematics,
Applied Mathematics
Keywords:
Review; calibration; validation; verification; goal seeking; queueing systems
Online: 5 February 2024 (10:31:43 CET)
ARTICLE
|
doi:10.20944/preprints202401.1094.v1
Subject:
Engineering,
Bioengineering
Keywords:
digital twins for healthcare; medical monitoring; human tissue phantoms; microwave technology; phantom verification,
Online: 15 January 2024 (08:25:41 CET)
ARTICLE
|
doi:10.20944/preprints202401.0009.v1
Subject:
Engineering,
Aerospace Engineering
Keywords:
whole turboshaft engine; component verification; throughflow simulation; co-working equations; ground throttle characteristic
Online: 3 January 2024 (02:14:40 CET)
ARTICLE
|
doi:10.20944/preprints202311.1213.v1
Subject:
Engineering,
Automotive Engineering
Keywords:
autonomous driving; corruption factors; perception system; robustness verification; scenario-based testing
Online: 20 November 2023 (07:24:34 CET)
ARTICLE
|
doi:10.20944/preprints202303.0397.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
CVM; Crossbar-based verification; Modeling technique
Online: 15 November 2023 (10:06:43 CET)
ARTICLE
|
doi:10.20944/preprints202310.1862.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
RL; safety constraint; linear temporal logic; formal verification
Online: 30 October 2023 (08:25:05 CET)
ARTICLE
|
doi:10.20944/preprints202310.0641.v1
Subject:
Computer Science And Mathematics,
Security Systems
Keywords:
vehicular adhoc networks; conditional privacy preserving authentication schemes; identity based batch verification; certificateless aggregate signature schemes
Online: 10 October 2023 (12:20:13 CEST)
REVIEW
|
doi:10.20944/preprints202310.0366.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
automated fact verification; AFV; explainable artificial intelligence; XAI; explainable AFV
Online: 9 October 2023 (15:08:33 CEST)
CASE REPORT
|
doi:10.20944/preprints202310.0533.v1
Subject:
Engineering,
Energy And Fuel Technology
Keywords:
Evaporative cooling; Supercritical carbon dioxide; Heat and mass transfer; Orthogonal experiment; Correlation equation; Experimental verification
Online: 9 October 2023 (12:32:56 CEST)
ARTICLE
|
doi:10.20944/preprints202309.0371.v1
Subject:
Engineering,
Energy And Fuel Technology
Keywords:
BTR code; neutral beam injection; heating and current drive; power deposition; injected power; beam line simulator; software verification
Online: 6 September 2023 (10:25:48 CEST)
ARTICLE
|
doi:10.20944/preprints202306.2072.v1
Subject:
Biology And Life Sciences,
Agricultural Science And Agronomy
Keywords:
Rice; Grain shape; Chalkiness; QTL mapping; Effect verification
Online: 29 June 2023 (07:27:10 CEST)
ARTICLE
|
doi:10.20944/preprints202305.2228.v1
Subject:
Computer Science And Mathematics,
Software
Keywords:
formal compile-time verification; dimensional analysis; orientational analysis; type system
Online: 31 May 2023 (10:50:37 CEST)
ARTICLE
|
doi:10.20944/preprints202305.1111.v1
Subject:
Environmental And Earth Sciences,
Atmospheric Science And Meteorology
Keywords:
rainfall verification; rainstorm; skill scores; spatial characteristics; model evaluation
Online: 16 May 2023 (05:58:40 CEST)
ARTICLE
|
doi:10.20944/preprints202305.0118.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
CPS; IoT; software quality; physical dimension; physical orientation; formal verification; metaprogramming
Online: 3 May 2023 (08:47:27 CEST)
ARTICLE
|
doi:10.20944/preprints202210.0331.v1
Subject:
Computer Science And Mathematics,
Applied Mathematics
Keywords:
IoT-based payment protocols; identity-based signature; server-aided verification; pairing-free security protocols
Online: 21 October 2022 (10:20:05 CEST)
ARTICLE
|
doi:10.20944/preprints202209.0256.v1
Subject:
Computer Science And Mathematics,
Data Structures, Algorithms And Complexity
Keywords:
quantum computing; genetic algorithms; Petri nets; Quantum Petri nets; software development; analysis and verification
Online: 19 September 2022 (03:41:37 CEST)
ARTICLE
|
doi:10.20944/preprints202204.0051.v1
Subject:
Social Sciences,
Political Science
Keywords:
Biological and Toxin Weapons Convention; Biological Weapons Convention; BWC; biological weapons; verification; nonproliferation; nonproliferation policy; arms control; disarmament; weapons of mass destruction; WMD; biology
Online: 7 April 2022 (03:51:48 CEST)
ARTICLE
|
doi:10.20944/preprints202111.0535.v1
Subject:
Computer Science And Mathematics,
Probability And Statistics
Keywords:
ROC area; discrimination; verification artefacts; trapezoidal approximation; bi-normal model; imprecise probability
Online: 29 November 2021 (12:36:55 CET)
REVIEW
|
doi:10.20944/preprints202105.0219.v2
Subject:
Biology And Life Sciences,
Biochemistry And Molecular Biology
Keywords:
Logic-based models; Boolean models; executable models; qualitative dynamical modelling; omic data integration; in silico simulations; formal verification
Online: 30 July 2021 (15:05:03 CEST)
REVIEW
|
doi:10.20944/preprints202105.0254.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
deep learning; deep neural networks; recurrent LSTM models; attention layers; latent variable extraction; domain adaptation; yield and growth prediction in greenhouses; energy optimization in retail refrigerator systems; verification and recognition of expiry date in retail food packaging.
Online: 11 May 2021 (15:46:14 CEST)
ARTICLE
|
doi:10.20944/preprints202105.0176.v1
Subject:
Computer Science And Mathematics,
Computer Vision And Graphics
Keywords:
Video Steganography, Least Significant Bit (LSB) Coding, Double key Encryption, Decryption, Password Verification, Signature Verification
Online: 10 May 2021 (11:21:29 CEST)
ARTICLE
|
doi:10.20944/preprints202104.0278.v1
Subject:
Computer Science And Mathematics,
Probability And Statistics
Keywords:
Stochastic Evolution Equation; Teugels Martingales; Optimal Control; Stochastic Maximum Principle; Verification Theorem
Online: 12 April 2021 (11:21:33 CEST)
ARTICLE
|
doi:10.20944/preprints202102.0398.v1
Subject:
Computer Science And Mathematics,
Algebra And Number Theory
Keywords:
Two-tiered mobile wireless sensor networks; Internet of Things; fine-grained spatial-temporal Top-k query; privacy preservation; completeness verification
Online: 17 February 2021 (14:24:16 CET)
ARTICLE
Subject:
Biology And Life Sciences,
Biochemistry And Molecular Biology
Keywords:
HIV viral load; external quality assessment; verification; quality; thermostable; PrimeStore MTM
Online: 18 January 2021 (12:24:31 CET)
ARTICLE
|
doi:10.20944/preprints201912.0349.v1
Subject:
Engineering,
Mechanical Engineering
Keywords:
verification and validation; computational thermal analysis; computational physics
Online: 26 December 2019 (02:35:47 CET)
ARTICLE
|
doi:10.20944/preprints201908.0011.v1
Subject:
Environmental And Earth Sciences,
Atmospheric Science And Meteorology
Keywords:
rain cell; tracking; PIV; feature-based verification
Online: 1 August 2019 (10:16:12 CEST)
ARTICLE
|
doi:10.20944/preprints201906.0179.v2
Subject:
Computer Science And Mathematics,
Probability And Statistics
Keywords:
knowledge acquisition; clinical practice guidelines; data driven knowledge acquisition; cancer treatment plan; clinical decision support system; formal verification
Online: 22 July 2019 (06:17:34 CEST)
ARTICLE
|
doi:10.20944/preprints201904.0302.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
safety verification, barrier density, switched systems
Online: 28 April 2019 (08:34:56 CEST)
ARTICLE
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
runtime verification; probabilistic monitor; markov chain; ω-automata
Online: 10 April 2019 (06:30:12 CEST)
REVIEW
|
doi:10.20944/preprints201901.0285.v1
Subject:
Engineering,
Control And Systems Engineering
Keywords:
cyber physical systems; industry 4.0; MDE; lifetime verification & validation; dependability; correctness; flexibility; real-time self-adaptation, self-management; self-healing
Online: 29 January 2019 (04:45:47 CET)
ARTICLE
|
doi:10.20944/preprints201901.0078.v1
Subject:
Physical Sciences,
Fluids And Plasmas Physics
Keywords:
wave energy; numerical model; experiments; verification; pitching
Online: 9 January 2019 (07:18:03 CET)
ARTICLE
|
doi:10.20944/preprints201808.0507.v1
Subject:
Environmental And Earth Sciences,
Environmental Science
Keywords:
hydrologic forecast verification, mean squared forecast error, methods of forecast error estimation, comparison of hydrologic forecasting methods, forecast applicability assessment.
Online: 29 August 2018 (16:11:24 CEST)
ARTICLE
|
doi:10.20944/preprints201803.0088.v1
Subject:
Engineering,
Civil Engineering
Keywords:
extreme water level; hydrodynamic model; Monte Carlo; joint probability; model calibration and verification; Danshuei River system
Online: 12 March 2018 (07:56:58 CET)
REVIEW
|
doi:10.20944/preprints201708.0003.v1
Subject:
Computer Science And Mathematics,
Artificial Intelligence And Machine Learning
Keywords:
stylometry; author identification; author verification; authorprofiling; stylistic inconsistency; text analysis; supervised learning; unsupervised learning; classification; forensics
Online: 2 August 2017 (12:38:17 CEST)
ARTICLE
|
doi:10.20944/preprints201707.0044.v1
Subject:
Engineering,
Control And Systems Engineering
Keywords:
cyber physical systems; industry 4.0; MDE; hardware and software co-design; lifetime verification & validation; dependability; correctness; flexibility; self-management; self-adapting; self-healing
Online: 17 July 2017 (10:27:33 CEST)
ARTICLE
|
doi:10.20944/preprints201705.0076.v1
Subject:
Computer Science And Mathematics,
Computer Networks And Communications
Keywords:
user authentication; multi server; internet of things; formal verification; security
Online: 9 May 2017 (04:38:37 CEST)
ARTICLE
|
doi:10.20944/preprints201703.0152.v1
Subject:
Computer Science And Mathematics,
Information Systems
Keywords:
deep convolutional neural networks; identification; semi-verification; multi-scale features; face verification
Online: 20 March 2017 (09:06:18 CET)
ARTICLE
|
doi:10.20944/preprints201611.0029.v1
Subject:
Environmental And Earth Sciences,
Geophysics And Geology
Keywords:
precipitation deficit; precipitation surplus; standardized precipitation index SPI; forecast; verification
Online: 4 November 2016 (13:39:29 CET)