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

Search alternatives:

  • Showing 1 - 20 results of 20
Refine Results
  1. 1
    Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali

    Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali by Ali, Siti Shafinaz

    Published 2015
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  2. 2
    Augmentation of basic-line-search and quick-simplex-method algorithms to enhance linear programming computational performance

    Augmentation of basic-line-search and quick-simplex-method algorithms to enhance linear programming computational performance by Nor Azlan, Nor Asmaa Alyaa

    Published 2021
    “…Linear programming (LP) is a mathematical modelling that formulate a problem into three components which are decision variables, objective function and constraints. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  3. 3
    Design & Development of a Robotic System Using LEGO Mindstorm

    Design & Development of a Robotic System Using LEGO Mindstorm by Abd Manap, Nurulfajar, Md Salim, Sani Irwan, Haron, Nor Zaidi

    Published 2006
    “…Ultimately, the algorithm development program designed earlier is linked up directly to the robotic model for program implementation and verification. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  4. 4
    Case driven TLC model checker analysis in energy scenario

    Case driven TLC model checker analysis in energy scenario by Shkarupylo, Vadym, Blinov, Ihor V., Dusheba, Valentyna, Alsayaydeh, Jamil Abedalrahim Jamil

    Published 2023
    “…To foster the functional safety of corresponding program-algorithmic solutions, the model checking techniques and related tools are applied to the formal specifications of named solutions. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  5. 5
    A Dual Recurrent Neural Network-based Hybrid Approach for Solving Convex Quadratic Bi-Level Programming Problem

    A Dual Recurrent Neural Network-based Hybrid Approach for Solving Convex Quadratic Bi-Level Programming Problem by WATADA, J., ROY, A., LI, J., WANG, B., WANG, S.

    Published 2020
    “…The current paper presents a neural network-based hybrid strategy that combines a Genetic Algorithm (GA) and a Dual Recurrent Neural Network (DRNN) for efficiently and accurately solving the quadratic-Bi-level Programming Problem (BLPP). …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    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:
  7. 7
    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:
  8. 8
    Enhancing cloud data security using hybrid of advanced encryption standard and Blowfish encryption algorithms

    Enhancing cloud data security using hybrid of advanced encryption standard and Blowfish encryption algorithms by -, Salma, Olanrewaju, Rashidah Funke, Abdullah, Khaizuran, -, Rusmala, Darwis, Herdianti

    Published 2019
    “…Cloud computing is an IT model that offers a large number of storage space, unbelievable computing power and inconceivable speed of calculations. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Proceeding Paper
    Save to List
    Saved in:
  9. 9
    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
    “…A dual layered RPSA model is then developed. Verification of the applied numerical methods and computer programs are carried out successfully that the simulated results agree well with the analytical solutions and experimental data. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  10. 10
    Development of a novel natural frequencies prediction tool for laminated composite plates using integrated artificial neural network (ANN) - simulink MATLAB / Mohd Arif Mat Norman

    Development of a novel natural frequencies prediction tool for laminated composite plates using integrated artificial neural network (ANN) - simulink MATLAB / Mohd Arif Mat Norman by Mat Norman, Mohd Arif

    Published 2024
    “…Convergence analysis and numerical verification were performed to establish accurate FE models for free vibration analysis of laminated composite plates. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  11. 11
    A headway and order scheme based mixed integer goal programming model for railway rescheduling / Zuraida Alwadood

    A headway and order scheme based mixed integer goal programming model for railway rescheduling / Zuraida Alwadood by Alwadood, Zuraida

    Published 2017
    “…A novel heuristic algorithm named as Headway and Order Scheme (HOS) is introduced to solve the rescheduling model. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  12. 12
    A single measurement of combined Direct and indirect MPPT algorithm for mismatch PV module application / Mohd Najib Mohd Hussain

    A single measurement of combined Direct and indirect MPPT algorithm for mismatch PV module application / Mohd Najib Mohd Hussain by Mohd Hussain, Mohd Najib

    Published 2016
    “…The system is constructed from model-based design (MBD) of the PV system. The MBD is divided into four parts; executable system properties, design and simulation of the properties, execution and implementation for code generation and verification process. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  13. 13
    Frequency regulation for microgrid using genetic algorithm and particle swarm optimization tuned STATCOM

    Frequency regulation for microgrid using genetic algorithm and particle swarm optimization tuned STATCOM by Saxena N.K., Gao W.D., Kumar A., Mekhilef S., Gupta V.

    Published 2023
    Article
    Save to List
    Saved in:
  14. 14
    Digital Quran With Storage Optimization Through Duplication Handling And Compressed Sparse Matrix Method

    Digital Quran With Storage Optimization Through Duplication Handling And Compressed Sparse Matrix Method by Ashraf Saleh Mohammad Alomoush

    Published 2024
    thesis::doctoral thesis
    Save to List
    Saved in:
  15. 15
    Comparative Analysis in DG Installation Scheme for Resilience Enhancement

    Comparative Analysis in DG Installation Scheme for Resilience Enhancement by Zakaria F.B., Musirin I.B., Aminudin N.B., Johari D.B., Shaaya S.A., Ibrahim N.F.B.

    Published 2025
    “…The findings illustrate the effectiveness of these algorithms in significantly reducing total loss and improving the resilience of the tested system. ? …”
    Conference paper
    Save to List
    Saved in:
  16. 16
    New optimization feature for the developed open cnc controller based on ISO 6983 and ISO 14649

    New optimization feature for the developed open cnc controller based on ISO 6983 and ISO 14649 by Obayes, Noor Hatem

    Published 2021
    “…This research aims to minimize tool path airtime during machining of input ISO codes via an ant colony optimization algorithm. A new optimized system was developed based on open architecture control (OAC) technology and interpreted STEP-NC (Standard for the Exchange of Product Model Data) programming approaches. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  17. 17
    Development of finite element model for soil-structure interaction

    Development of finite element model for soil-structure interaction by Shoaei, Mohammad Dalili

    Published 2014
    “…Then, the special finite element algorithm and computer program (2DSSI) is developed to perform two-dimensional nonlinear SSI analysis by considering interfacial behavior of soil and frame elements. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  18. 18
    Dynamic and adaptive execution models for data stream mining applications in mobile edge cloud computing systems / Muhammad Habib Ur Rehman

    Dynamic and adaptive execution models for data stream mining applications in mobile edge cloud computing systems / Muhammad Habib Ur Rehman by Muhammad Habib , Ur Rehman

    Published 2016
    “…The comparison showed that proposed dynamic and adaptive execution models outperformed the static execution models in multiple aspects. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  19. 19
    Implementation of Hybrid Indexing, Clustering and Classification Methods to Enhance Rural Development Programme in South Sulawesi

    Implementation of Hybrid Indexing, Clustering and Classification Methods to Enhance Rural Development Programme in South Sulawesi by Muhammad, Faisal

    Published 2024
    “…This shows that the accuracy status indicates a high percentage of correct predictions, and then the F1 Score of 0.9 indicates a well-balanced trade-off between precision and recall, demonstrating the model's overall effectiveness. The government can use the findings of this research as a decision-making tool regarding equitable village development programs.…”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  20. 20
    Development Of Finite Element Codes For Shear Wall Analysis

    Development Of Finite Element Codes For Shear Wall Analysis by Paknahad, Masoud

    Published 2008
    “…The modelling includes physical and constitutive modelling. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:

Search Tools: