Search Results - (( java application using algorithm ) OR ( model verification process algorithm ))
Search alternatives:
- verification process »
- process algorithm »
- java application »
- using algorithm »
-
1
A self-adaptive agent-based simulation modelling framework for dynamic processes
Published 2023“…Key parameters for dynamic processes of different domains were formulated for the construction of self-adaptive simulation algorithms and modelling. …”
text::Thesis -
2
RSA Encryption & Decryption using JAVA
Published 2006“…References and theories to support the research of 'RSA Encryption/Decryption using Java' have been disclosed in Literature Review section. …”
Get full text
Get full text
Final Year Project -
3
-
4
-
5
Provider independent cryptographic tools
Published 2003Get full text
Get full text
Get full text
Monograph -
6
Fake news detection: A machine learning approach
Published 2021“…The final model chosen to be deployed was a model trained using a Multinomial Naïve Bayes algorithm.…”
Get full text
Get full text
Final Year Project / Dissertation / Thesis -
7
-
8
Efficient ML technique in blockchain-based solution in carbon credit for mitigating greenwashing
Published 2025“…Smart contracts embedded within blockchain networks can automate verification and compliance processes, enhancing efficiency while minimizing the need for human oversight. …”
Get full text
Get full text
Get full text
Article -
9
Modelling business processes using evolutionary generated petri nets
Published 2017“…The goal is to describe a process for evolving and verification of petri nets.…”
Get full text
Get full text
Article -
10
A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers
Published 2019“…This research also proposes the improvement of mean time to failure (MTTF) by using the new model checking method. At the end of this research, a complete tool of model checking method based on Groebner bases algorithm for safety verification will be produced. …”
Get full text
Get full text
Get full text
Technical Report -
11
Artificial neural network model for predicting windstorm intensity and the potential damages / Mohd Fatruz Bachok
Published 2019“…The other 11 prediction processes which utilised ANN model algorithms (fitting tool), gave R-values for all the algorithms higher than 0.900 except one algorithm equal to 0.8661, meanwhile MSE between 0.22 to 116.41. …”
Get full text
Get full text
Thesis -
12
Development Of Generative Computer-Aided Process Planning System For Lathe Machining
Published 2019“…To map the generated sub-delta volume and respective machining process, part model complexity (PMC) is introduced. …”
Get full text
Get full text
Thesis -
13
An FPGA implementation of exp-bet scheduling algorithm in LTE networks / Yusmardiah Yusuf
Published 2017“…The design using Simulink and System generator can greatly reduce the process cycle from the algorithm to hardware. The metric equation of the EXP-BET algorithm is modelled and simulated using the MATLAB Simulink environment and System Generator tool provided by Xilinx. …”
Get full text
Get full text
Thesis -
14
Real-Time Video Processing Using Native Programming on Android Platform
Published 2012“…However for the Android platform that based on the JAVA language, most of the software algorithm is running on JAVA that consumes more time to be compiled. …”
Get full text
Get full text
Get full text
Conference or Workshop Item -
15
Direct approach for mining association rules from structured XML data
Published 2012Get full text
Get full text
Thesis -
16
Dose verification procedures in radiotherapy
Published 1999Get full text
Get full text
Conference or Workshop Item -
17
Development of biosignals-based multimodal biometric system
Published 2014“…Heart Sound Verification (HSV) provides an average equal error rate (EER) of 13.8% while the average EER for the Speaker Verification model (SV) is 2.1 %. …”
Get full text
Get full text
Get full text
Thesis -
18
Real-time algorithmic music composition application.
Published 2022“…This project is about the study of evolutionary music, and focuses on the development of an algorithmic music composer using the Java programming language. …”
Get full text
Get full text
Final Year Project / Dissertation / Thesis -
19
An automatic grading model for semantic complexity of english texts using bidirectional attention-based autoencoder
Published 2024“…The experimental results show that the overall accuracy of BSETG algorithm is maintained between 70% and 90%, the response speed of BSETG algorithm is relatively fast, and the success rate of BSETG algorithm is relatively stable to a large extent.…”
Get full text
Get full text
Article -
20
Computational dynamic support model for social support assignments around stressed individuals among graduate students
Published 2020“…These models explain the dynamics of support seeking and provision behaviours and were evaluated using equilibria analysis and automatic logical verification approaches for 14 selected empirical cases. …”
Get full text
Get full text
Get full text
Get full text
Get full text
Thesis
