Search Results - (( java implication based algorithm ) OR ( model verification process algorithm ))

Search alternatives:

Refine Results
  1. 1
    A self-adaptive agent-based simulation modelling framework for dynamic processes

    A self-adaptive agent-based simulation modelling framework for dynamic processes by Ling, Loo Yim, Dr.

    Published 2023
    “…Key parameters for dynamic processes of different domains were formulated for the construction of self-adaptive simulation algorithms and modelling. …”
    text::Thesis
    Save to List
    Saved in:
  2. 2
    Development of a mathematical model for the prediction of chip formation instability and its verification by fuzzy logic with genetic algorithm

    Development of a mathematical model for the prediction of chip formation instability and its verification by fuzzy logic with genetic algorithm by Ullah Patwari, Mohammed Anayet, Amin, A. K. M. Nurul, Istihyaq , M.H., Faris, Waleed Fekry

    Published 2010
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Fake news detection: A machine learning approach

    Fake news detection: A machine learning approach by Yeoh, Dennis Guan Lee

    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
    Save to List
    Saved in:
  4. 4
    Offline signature verification system using hidden markov model (HMM) analysis of varying number of states and state transition topology

    Offline signature verification system using hidden markov model (HMM) analysis of varying number of states and state transition topology by Bakri N.B., Ahmad S.M.S., Shakil A.

    Published 2023
    Article
    Save to List
    Saved in:
  5. 5
    Efficient ML technique in blockchain-based solution in carbon credit for mitigating greenwashing

    Efficient ML technique in blockchain-based solution in carbon credit for mitigating greenwashing by Raja Segaran, Bama, Mohd Rum, Siti Nurulain, Hafez Ninggal, Mohd Izuan, Mohd Aris, Teh Noranis

    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
    Save to List
    Saved in:
  6. 6
    Modelling business processes using evolutionary generated petri nets

    Modelling business processes using evolutionary generated petri nets by Plucar, J., Grunt, O., Vasant, P., Zelinka, I.

    Published 2017
    “…The goal is to describe a process for evolving and verification of petri nets.…”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers

    A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers by Alwi @ Suhaimi, Saifulza, Salleh, Mohd Rizal, Jaafar, Hazriq Izzuan, Ab Ghani, Mohd Ruddin, Md Fauadi, Muhammad Hafidz Fazli

    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
    Save to List
    Saved in:
  8. 8
    Artificial neural network model for predicting windstorm intensity and the potential damages / Mohd Fatruz Bachok

    Artificial neural network model for predicting windstorm intensity and the potential damages / Mohd Fatruz Bachok by Bachok, Mohd Fatruz

    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
    Save to List
    Saved in:
  9. 9
    Development Of Generative Computer-Aided Process Planning System For Lathe Machining

    Development Of Generative Computer-Aided Process Planning System For Lathe Machining by Zubair, Ahmad Faiz

    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
    Save to List
    Saved in:
  10. 10
    An FPGA implementation of exp-bet scheduling algorithm in LTE networks / Yusmardiah Yusuf

    An FPGA implementation of exp-bet scheduling algorithm in LTE networks / Yusmardiah Yusuf by Yusuf, Yusmardiah

    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
    Save to List
    Saved in:
  11. 11
    Dose verification procedures in radiotherapy

    Dose verification procedures in radiotherapy by Zakaria, Ahmad, Idris, Nik Rusman Nik

    Published 1999
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  12. 12
    Development of biosignals-based multimodal biometric system

    Development of biosignals-based multimodal biometric system by Osamah Sadeq Alhamdani

    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
    Save to List
    Saved in:
  13. 13
    Computational dynamic support model for social support assignments around stressed individuals among graduate students

    Computational dynamic support model for social support assignments around stressed individuals among graduate students by Al-Shorman, Roqia Rateb

    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
    Save to List
    Saved in:
  14. 14
    An automatic grading model for semantic complexity of english texts using bidirectional attention-based autoencoder

    An automatic grading model for semantic complexity of english texts using bidirectional attention-based autoencoder by Chen, Ruo Han, Ng, Boon Sim, Paramasivam, Shamala, Ren, Li

    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
    Save to List
    Saved in:
  15. 15
    Hand, Foot and Mouth Disease (HFMD)'s Hotspot Identification using Bipartite Network Model

    Hand, Foot and Mouth Disease (HFMD)'s Hotspot Identification using Bipartite Network Model by Nor Shamira, Sabri

    Published 2020
    “…The data gathered for this study were pre- processed and formulated into a model which consist of 20 location nodes and 10 human nodes. …”
    Get full text
    Get full text
    Final Year Project Report / IMRAD
    Save to List
    Saved in:
  16. 16
    Simulation of single and dual layered rapid pressure swing adsorption

    Simulation of single and dual layered rapid pressure swing adsorption by Lai, Yin Ling

    Published 2013
    “…The process variable profiles at CSS obtained from the algorithm are also found to be in excellent agreement with the MSS simulation. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  17. 17
    An ensemble of neural network and modified grey wolf optimizer for stock prediction

    An ensemble of neural network and modified grey wolf optimizer for stock prediction by Das, Debashish

    Published 2019
    “…The proposed approachoutperforms existing available meta-heuristic algorithms. Specifically, the proposed model achieved 97% classification rate, 95% precise prediction and less than 2.0 error rate. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  18. 18
    The implications for ahybrid detection technique against malicious sqlattacks on web applications

    The implications for ahybrid detection technique against malicious sqlattacks on web applications by Bahjat Arif, Sarajaldeen Akram, Wani, Sharyar

    Published 2025
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Numerical simulation and experimental verification on distortions induced by wire-arc additive manufacturing components and costing analysis / Keval Priapratama Prajadhiana

    Numerical simulation and experimental verification on distortions induced by wire-arc additive manufacturing components and costing analysis / Keval Priapratama Prajadhiana by Prajadhiana, Keval Priapratama

    Published 2024
    “…Once the substrate has been removed, the component distortion comparison is examined by means of modified substrate removal algorithm where the error percentage of the models ranges from 2.96% until 8.05%. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  20. 20
    A New Model of Securing Iris Authentication Using Steganography

    A New Model of Securing Iris Authentication Using Steganography by Zainal Abidin, Zaheera, Manaf, Mazani, Shibghatullah, Abdul Samad

    Published 2011
    “…In this paper, we proposed an enhancement of temporal-spatial domain algorithm which involves the scheme of Least Significant Bits (LSB) as the new model which converts iris images to binary stream and hides into a proper lower bit plane. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: