Research ArticleOpen accessIn the keywordsCommon Modeling Language for Model CheckersPathiah Abdul Samat, Abdullah Mohd ZinProblem statement: There are many different model checkers that have been developed. Each of the model checkers is based on different input languages and they are suitable for model checking different types of systems. Thus it is important for us to choose the right model checker or modeling and verifying a given system. However, moving from one model checker to … …Journal of Computer Science, Vol. 8, Issue 1 · 1 Nov 2011 · 8,350 accessesView PDFCite
Research ArticleOpen accessIn the keywordsModeling Malaysia's Energy System: Some Preliminary ResultsAhmad Mohd. YusofProblem statement: The current dynamic and fragile world energy environment necessitates the development of new energy model that solely caters to analyze Malaysia’s energy scenarios. Approach: The model is a network flow model that traces the flow of energy carriers from its sources (import and mining) through some conversion and transformation processes for the production of energy products to final … …American Journal of Applied Sciences, Vol. 8, Issue 9 · 13 Aug 2011 · 7,256 accessesView PDFCite
Research ArticleOpen accessIn the keywordsA Novel Linear-Polynomial Kernel to Construct Support Vector Machines for Speech RecognitionBalwant A. Sonkamble, D.D. DoyeProblem statement: To accept the inputs as spoken word utterances uttered by various speakers, recognize the corresponding spoken words and initiate action pertaining to that word. Approach: A novel Linear-Polynomial (LP) Kernel function was used to construct support vector machines to classify the spoken word utterances. The support vector machines were constructed using various kernel functions. The use of well … …Journal of Computer Science, Vol. 7, Issue 7 · 28 Jun 2011 · 7,013 accessesView PDFCite
Research ArticleOpen accessIn the keywordsAnalysis of the Model Checkers' Input Languages for Modeling Traffic Light SystemsPathiah Abdul Samat, Abdullah Mohd Zin, Zarina ShukurProblem statement: Model checking is an automated verification technique that can be used for verifying properties of a system. A number of model checking systems have been developed over the last few years. However, there is no guideline that is available for selecting the most suitable model checker to be used to model a particular system. Approach: In this study, … …Journal of Computer Science, Vol. 7, Issue 2 · 25 Feb 2011 · 7,890 accessesView PDFCite
Research ArticleOpen accessIn the keywordsTrend and Pattern in Average Monthly Maximum Temperatures in Thailand from 1986 to 2015Manachai Rodchuen, Samruam Chongcharoen, Walaithip BunyatisaiThis research aims to study the trends and patterns of average maximum temperature change data of monthly surface in Thailand during the 30 year-period from 1986 to 2015 that has already eliminated seasonal variations and autocorrelation. The data set obtained from Climatological center, Meteorological Development Division, Thailand Meteorological Department for 73 completed recording stations. The climatically regions of Thailand meteorology … …American Journal of Applied Sciences, Vol. 17, Issue 1 · 25 Mar 2020 · 7,946 accessesView PDFCite
Research ArticleOpen accessIn the keywordsTruncated Estimate in Log-Binomial Model: Algorithm and SimulationLuyan Dai, Yang Li, Ye ShenProblem statement: Relative risk has concrete meanings of comparing two groups and measuring the association between exposures and outcomes in medical and public health studies. Log-binomial model, using a log link function on binary outcomes, is straightforward to estimate risk ratios, whereas generates boundary problems. When the estimates are located near the boundary of constrained parameter space, common approaches or … …Current Research in Biostatistics, Vol. 2, Issue 1 · 7 May 2012 · 8,294 accessesView PDFCite
Research ArticleOpen accessIn the keywordsSynthesis of Robust Dynamic Controller, Model Predictive Control BasedMohamed Adel Sellami, Elyes Maherzi, Mongi BesbesProblem statement: More advanced control techniques have been developed in recent decades following the great progress of calculations means. Without considering the constraints on system variables, the response of controlled system moves away from the desired response. Hence the control strategy must provide the ability to integrate these constraints in the design phase of the controller. Approach: This study presents … …American Journal of Applied Sciences, Vol. 9, Issue 6 · 16 Mar 2012 · 7,273 accessesView PDFCite
Research ArticleOpen accessIn the keywordsAnalysis of Unaided Vision Data using New Decomposition of SymmetryKouji Yamamoto, Sadao TomizawaProblem statement: First, this study considers how the structure of symmetry for probabilities is decomposed into two structures. Secondly, this study infers the structure of unknown probabilities which indicates how the right eye is better (or worse) than the left eye for three kinds of data on unaided distance vision of (1) women in Britain, (2) students in an university … …Current Research in Medicine, Vol. 3, Issue 1 · 25 Feb 2012 · 7,453 accessesView PDFCite
Research ArticleOpen accessIn the keywordsApproximate Maximum Likelihood Commercial Bank Loan Management ModelGodwin Norense Osarumwense AsemotaProblem statement: Loan management is a very complex and yet, a vitally important aspect of any commercial bank operations. The balance sheet position shows the main sources of funds as deposits and shareholders contributions. Approach: In order to operate profitably, remain solvent and consequently grow, a commercial bank needs to properly manage its excess cash to yield returns in the … …Journal of Social Sciences, Vol. 5, Issue 4 · 31 Dec 2009 · 7,242 accessesView PDFCite
Research ArticleOpen accessIn the keywordsTrends in Maximum Daily Rainfall in Marginal Desert Environment: Signs of Climate ChangeKhaldoun A. Al-Qudah, Abdullah A. SmadiProblem statement: Change in intense precipitation has been used as an indicator for anticipated climate change. The trend in maximum daily rainfall in 10 rainfall stations distributed in the north and north east of Jordan has been investigated. Based on mean annual rainfall and geographic location, rainfall stations were divided into subhumid, semi-arid and arid stations. Approach: The regression approach … …American Journal of Environmental Sciences, Vol. 7, Issue 4 · 14 Sep 2011 · 7,405 accessesView PDFCite