Search Results - (( java implementation during algorithm ) OR ( programming model checking algorithm ))

Search alternatives:

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
    AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING

    AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING by SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI

    Published 2021
    “…However, model checking is one of the approaches that help to discover these fault.…”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  3. 3
    System performances analysis of reservoir optimization�simulation model in application of artificial bee colony algorithm

    System performances analysis of reservoir optimization�simulation model in application of artificial bee colony algorithm by Hossain M.S., El-Shafie A., Mahzabin M.S., Zawawi M.H.

    Published 2023
    “…Decision making; Evolutionary algorithms; Genetic algorithms; Optimization; Particle swarm optimization (PSO); Reservoirs (water); Stochastic models; Stochastic systems; Artificial bee colonies (ABC); Artificial bee colony algorithms; Optimization techniques; Performance checking indices; Performances analysis; Reservoir optimizations; Reservoir release; Stochastic dynamic programming; Dynamic programming…”
    Article
    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
    Pairwise testing tools based on hill climbing algorithm (PTCA)

    Pairwise testing tools based on hill climbing algorithm (PTCA) by Lim, Seng Kee

    Published 2014
    “…The actual implementation of the algorithm which is in Java programming language, the program is implemented on Net Bean 7.0.1. …”
    Get full text
    Get full text
    Undergraduates Project Papers
    Save to List
    Saved in:
  6. 6
    System performances analysis of reservoir optimization–simulation model in application of artificial bee colony algorithm

    System performances analysis of reservoir optimization–simulation model in application of artificial bee colony algorithm by Hossain, Md Shabbir, El-Shafie, Ahmed, Mahzabin, Mst Sadia, Zawawi, Mohd Hafiz

    Published 2018
    “…Particle swarm optimization, genetic algorithm and neural network-based stochastic dynamic programming are also used in a view of comparing model performances. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Application of intelligence based genetic algorithm for job sequencing problem on parallel mixed-model assembly line

    Application of intelligence based genetic algorithm for job sequencing problem on parallel mixed-model assembly line by Noroziroshan, Alireza, Mohd Ariffin, Mohd Khairol Anuar, Ismail, Napsiah

    Published 2010
    “…In order to check the capability of proposed algorithm, several experimentations on the set of problems were done. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Embedded system for indoor guidance parking with Dijkstra’s algorithm and ant colony optimization

    Embedded system for indoor guidance parking with Dijkstra’s algorithm and ant colony optimization by Mohammad Ata, Karimeh Ibrahim

    Published 2019
    “…The circuits have been designed by proteus, the microcontrollers have been programmed by micro C, and the Graphical User Interface (GUI) has been implemented in Java. Few by electronic components such as RFID, multiplexer, XBee, and servo motors have been used to realize the system. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  9. 9
    Optimization of multipurpose reservoir operation using evolutionary algorithms / Mohammed Heydari

    Optimization of multipurpose reservoir operation using evolutionary algorithms / Mohammed Heydari by Mohammed , Heydari

    Published 2017
    “…The described model was resolved by linear programming and evolutionary algorithms in Microsoft Excel (Solver). …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  10. 10
    Enhancement of Ant System Algorithm for Course Timetabling Problem

    Enhancement of Ant System Algorithm for Course Timetabling Problem by Djamarus, Djasli

    Published 2009
    “…As the requirement of the Ant System Algorithm, the problem is modeled as a graph that can be used by the ant to deliver its pheromone. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  11. 11
    Sentiment analysis using clonal selection algorithm for Twitter’s data / Fatimah Mamat

    Sentiment analysis using clonal selection algorithm for Twitter’s data / Fatimah Mamat by Mamat, Fatimah

    Published 2012
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  12. 12
    A comparative study between univariate and bivariate time series models for crude palm oil industry in peninsular Malaysia / Pauline Jin Wee Mah and Nur Nadhirah Nanyan

    A comparative study between univariate and bivariate time series models for crude palm oil industry in peninsular Malaysia / Pauline Jin Wee Mah and Nur Nadhirah Nanyan by Wee Mah, Pauline Jin, Nanyan, Nur Nadhirah

    Published 2020
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Development of nonlinear model for plug flow reactor process

    Development of nonlinear model for plug flow reactor process by Ahmad Akmal, Wahamid

    Published 2010
    “…The program for Plug Flow Reactor system is created and this program known as nonlinear fundamental model. …”
    Get full text
    Get full text
    Undergraduates Project Papers
    Save to List
    Saved in:
  14. 14
    Talkout : Protecting mental health application with a lightweight message encryption

    Talkout : Protecting mental health application with a lightweight message encryption by Gavin Teo Juen

    Published 2022
    “…The investigation of lightweight message encryption algorithms is conducted with systematic quantitative literature and experiment implementation in Java and Android running environment. …”
    Get full text
    Get full text
    Get full text
    Academic Exercise
    Save to List
    Saved in:
  15. 15
    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
    “…The system is capable in operating an off-line programming method, starting from its programming sequences until robotic implementation of the program. During early stages, the research is emphasis more towards designing a robotic system using RoboLab software and C++ programming language. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  16. 16
    AI chatbot system for educational institutions

    AI chatbot system for educational institutions by Tan, Hui Hui

    Published 2023
    “…Users can seamlessly apply for programs, check application statuses, and schedule campus visits, all while enjoying a user-friendly experience. …”
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
    Save to List
    Saved in:
  17. 17
    Data Hiding Techniques In Digital Images

    Data Hiding Techniques In Digital Images by Al Thloothi, Salah Ramadan

    Published 2003
    “…After all these studies, one of the algorithms in the masking technique is developed and implemented using JAVA program to embed message into true color image with a good quality and higher capacity. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  18. 18
    Multi-floor indoor location estimation system based on wireless local area network

    Multi-floor indoor location estimation system based on wireless local area network by Chua, Tien Han

    Published 2007
    “…Before developing the system, study on characteristics of RSS is conducted to help the design, development and implementation of the proposed system. The proposed system is then designed and developed using Java programming language. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  19. 19
    Power system network splitting and load frequency control optimization using ABC based algorithms / Kanendra Naidu a/l Vijyakumar

    Power system network splitting and load frequency control optimization using ABC based algorithms / Kanendra Naidu a/l Vijyakumar by Vijyakumar, Kanendra Naidu

    Published 2015
    “…This research presents a modified optimization program for the system splitting problem in large scale power system based on Artificial Bee Colony algorithm and graph theory. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  20. 20
    Artificial neural networks to solve the singular model with Neumann–Robin, Dirichlet and Neumann boundary conditions

    Artificial neural networks to solve the singular model with Neumann–Robin, Dirichlet and Neumann boundary conditions by Kashif Nisar, Zulqurnain Sabir, Muhammad Asif Zahoor Raja, Ag. Asri Ag. Ibrahim, Rodrigues, Joel J. P. C., Samy Refahy Mahmoud, Bhawani Shankar Chowdhry, Manoj Gupta

    Published 2021
    “…The aim of this work is to solve the case study singular model involving the Neumann–Robin, Dirichlet, and Neumann boundary conditions using a novel computing framework that is based on the artificial neural network (ANN), global search genetic algorithm (GA), and local search sequential quadratic programming method (SQPM), i.e., ANN-GA-SQPM. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: