Search Results - (( programming model checking algorithm ) OR ( java application sensor algorithm ))
Search alternatives:
- checking algorithm »
- application sensor »
- java application »
- sensor algorithm »
-
1
-
2
AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
Published 2021“…However, model checking is one of the approaches that help to discover these fault.…”
Get full text
Get full text
Thesis -
3
System performances analysis of reservoir optimization�simulation model in application of artificial bee colony algorithm
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 -
4
Case driven TLC model checker analysis in energy scenario
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 -
5
System performances analysis of reservoir optimization–simulation model in application of artificial bee colony algorithm
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 -
6
Study and Implementation of Data Mining in Urban Gardening
Published 2019“…The process begins through the monitoring of plants using sensors connected to the Arduino device. Attached sensors generate data and send these data to the Java Servlet application through a WIFI module. …”
Get full text
Get full text
Get full text
Article -
7
Application of intelligence based genetic algorithm for job sequencing problem on parallel mixed-model assembly line
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 -
8
Design Of Robot Motion Planning Algorithm For Wall Following Robot
Published 2006Get full text
Get full text
Monograph -
9
Optimization of multipurpose reservoir operation using evolutionary algorithms / 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 -
10
Enhancement of Ant System Algorithm for Course Timetabling Problem
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 -
11
-
12
-
13
Development of nonlinear model for plug flow reactor process
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 -
14
Human activity recognition via accelerometer and gyro sensors
Published 2023“…To implement the data engineering system proposed, two mobile applications, SensorData and SensorDataLogger with user-friendly interfaces and intuitive functionalities are developed using Java programming language and Android Studio. …”
Get full text
Get full text
Final Year Project / Dissertation / Thesis -
15
AI chatbot system for educational institutions
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 -
16
Power system network splitting and load frequency control optimization using ABC based algorithms / Kanendra Naidu a/l Vijyakumar
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 -
17
Artificial neural networks to solve the singular model with Neumann–Robin, Dirichlet and Neumann boundary conditions
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 -
18
Evaluation of cracks and disintegrations using close-range digital photogrammetry and image processing technique
Published 2005“…Moreover, digital photogrammetry workstation (DPW) is user-friendly, less tedious and enables surface conditions to be represented as ortho-image, overlay contour with orthoimage, as well as digital elevation model. Results obtained by this technique are compared with the Jabatan Kerja Raya manual using conventional method to check accuracy. …”
Get full text
Get full text
Thesis -
19
Design & Development of a Robotic System Using LEGO Mindstorm
Published 2006“…Since the model is built using LEGO bricks, the model is fully customized, in term of its applications, to perform any relevant tasks. 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 -
20
Compression of Three-Dimensional Terrain Data Using Lifting Scheme Based on Second Generation Wavelets
Published 2006“…The newly developed algorithm was applied to compress Light Detection and Ranging (LIDAR) data to check the efficiency of the program. …”
Get full text
Get full text
Thesis