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

Fingerprint verification using clonal selection algorithm / Farah Syadiyah Shamsudin by Shamsudin, Farah Syadiyah

Get full text
Get full text

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

Get full text
Get full text

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

“…Finally, mathematical experimentation is proceeded concerning on verification and validation of the new algorithm. The verification performed through generated random problems via MATLAB has shown the new augmentation algorithm maintains to generate a lesser iteration number from the highest percentage of nonzero coefficients in constraints matrix (80%) and the biggest problem sizes (m = 100, n = 100) until to the lowest percentage of nonzero coefficients in constraints matrix (20%) and the smallest problem sizes (m = 5, n = 5). …”
Get full text
Get full text
Get full text

Implementing Station-to-Station protocol using Multi Prime RSA Cryptosystem / Muhammad Arif Musa Abdullah by Abdullah, Muhammad Arif Musa

“…The calculation during the encryption and decryption process will be handled using Python programming. The results involve the verification of the proposed method and mathematical example using three (3) prime numbers. …”
Get full text
Get full text

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

Get full text
Get full text
Get full text

Continuation power flow for voltage stability assessment / Mohd Zamri Laton by Laton, Mohd Zamri

“…The continuation power flow program is developed using MATLAB programming language base on algorithm of continuation power flow (CPF) technique, which can compute efficiently the parameter at saddle node bifurcation point. …”
Get full text
Get full text

Back end process yield improvement by verification of seeder bulk erase quality for 3.5" reowrk hard disk drive by Saidin, Mohamad Fadli

Get full text
Get full text
Get full text
Get full text

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.

“…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

Load flow study comparison between Newton Raphson load flow method and fast decouple load flow method / Mohd Haizilan Alias by Alias, Mohd Haizilan

“…The method of power flow program is developed using MATLAB programming language base on algorithm of continuation power flow (CPF) technique, which can compute efficiently the parameter at saddle node bifurcation point. …”
Get full text
Get full text

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

“…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

Compatible Pair of Nontrivial Actions for Some Cyclic Groups of 2-Power Order by Sahimel Azwal, Sulaiman, Mohd Sham, Mohamad, Yuhani, Yusof

“…Some necessary and sufficient number theoretical conditions for a pair of cyclic groups of 2-power order with nontrivial actions act compatibly on each other are used to investigate some properties to find the exact number of compatible pairs of actions. Algorithms in Groups, Algorithms and Programming (GAP) software are constructed to create more examples on selected case. …”
Get full text
Get full text
Get full text

Human Spontaneous Emotion Detection System by Radin Monawir, Radin Puteri Hazimah

“…Having smart computerized system which can understand and instantly gives appropriate response to human is the utmost motive in human and computer interaction (HCI) field.It is argued either HCI is considered advance if human could not have natural and comfortable interaction like human to human interaction.Besides,despite of several studies regarding emotion detection system, current system mostly tested in laboratory environment and using mimic emotion.Realizing the current system research lack of real life or genuine emotion input,this research work comes up with the idea of developing a system that able to recognize human emotion through facial expression.Therefore,the aims of this study are threefold which are to enhance the algorithm to detect spontaneous emotion,to develop spontaneous facial expression database and to verify the algorithm performance.This project used Matlab programming language,specifically Viola Jones method for features tracking and extraction,then pattern matching for emotion classification purpose.Mouth feature is used as main features to identify the emotion of the expression.For verification purpose,the mimic and spontaneous database which are obtained from internet,open source database or novel (own) developed databases are used.Basically,the performance of the system is indicated by emotion detection rate and average execution time.At the end of this study,it is found that this system is suitable for recognizing spontaneous facial expression (63.28%) compared to posed facial expression (51.46%).The verification even better for positive emotion with 71.02% detection rate compared to 48.09% for negative emotion detection rate.Finally,overall detection rate of 61.20% is considered good since this system can execute result within 3s and use spontaneous input data which known as highly susceptible to noise.…”
Get full text
Get full text
Get full text
Get full text

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

Design Rule Check To Validate Option Metal And Via For A Preprogrammed Layout Design by Oothayer Kumar, Sureindra Kumar

“…Thus, this project will enable the verification of the option layer by developing an algorithm which able to cover the check for both option and real metal/via layer. …”
Get full text
Get full text

Reconstruction algorithm of calibration map for RPT technique in quadrilateral bubble column reactor using MCNPX code by Mohd Yunos, Mohd Amirul Syafiq, Anak Usang, Mark Dennis, Ithnin, Hanafi, Hussain, Siti Aslina, Mohamed Yusoff, Hamdan, Sipaun, Susan

“…In this study, Monte Carlo approach was programmed to reconstruct the particle tracer position so-called calibration map. …”
Get full text
Get full text
Get full text

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

“…There are a number of costumers like corporate components, social media programs and individual customers are all moving towards to the vast area of cloud computing. …”
Get full text
Get full text
Get full text
Get full text

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

“…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

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

“…Finite Element (FE) programming is an alternative, but it requires strong theoretical and mathematical knowledge, along with programming skills. …”
Get full text
Get full text

Very Large Scale Integration Cell Based Path Extractor For Physical To Layout Mapping In Fault Isolation Work by Pragasam, Matthew

“…Therefore the path extractor program proposed incorporates the characteristics of a depth-first search algorithm by considering the specifications of a cell-based design. …”
Get full text
Get full text

Compatible pair of nontrivial actions for some cyclic groups of 2-power order by Sahimel Azwal, Sulaiman, Mohd Sham, Mohamad, Yuhani, Yusof, Nor Haniza, Sarmin, Nor Muhainiah, Mohd Ali, Tan, Lit Ken, Tahir, Shah

“…Some necessary and sufficient numbers of theoretical conditions for a pair of cyclic groups of 2-power order with nontrivial actions which act compatibly on each other are used to investigate some properties in order to find the exact number of compatible pairs of actions. Algorithms in Groups, Algorithms and Programming (GAP) software are used to create more examples on selected cases. …”
Get full text
Get full text
Get full text