Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

14 results for “Higher order functions”
Set a search alert
Research ArticleOpen accessIn the keywordsOperational Semantics for Lazy EvaluationMahmoud A. Abou Ghaly, Sameh S. Daoud, Azza A. Taha, Salwa M. AlyAn operational semantics for lazy evaluation of a calculus without higher order functions was defined. Although it optimizes many aspects of implementation, e.g. there is a sharing in the recursive computation, there is no α conversion, the heap is automatically reclaimed, and an attempt to evaluate an argument is done at most once. It is still suitable for reasoning about … …Journal of Computer Science, Vol. 3, Issue 8 · 31 Aug 2007 · 6,705 accessesView PDFCite
Research ArticleOpen accessIn the abstractDouble Weighted Integrals Identities of Montgomery for Differentiable Function of Higher OrderAsif R. Khan, Faraz MehmoodWe provide double weighted integrals identities of Montgomery for differentiable function of higher order for two variables and by help of those identities we get generalization of Ostrowski and Grüss type inequalities for weighted integrals for differentiable functions of higher order for two variables. …Journal of Mathematics and Statistics, Vol. 15, Issue 1 · 24 Jun 2019 · 6,832 accessesView PDFCite
Research ArticleOpen accessIn the abstractCharacterization of the Earth's Surface State by Unsupervised Classification: Case of Vegetated, Aquatic and Mineral SurfacesJean-Claude Okaingni, Sié Ouattara, Adles Kouassi, Alain ClémentIn this study, we propose an unsupervised classification scheme based on the Dempster-Shafer Theory (TDS) and the Dezert-Smarandache Theory (DSmT) to characterize vegetated, aquatic and mineral surfaces. From pre-processed ASTER satellite images (georeferencing, geometric correction and 15 m re-sampling), neo-channels were produced by determining the spectral indices NDVI, MNDWI and NDBaI, considered as sources of information for classification of a … …American Journal of Applied Sciences, Vol. 15, Issue 7 · 27 Aug 2018 · 8,176 accessesView PDFCite
Research ArticleOpen accessIn the abstractCLASSIFICATION OF DIGITAL IMAGES USING FUSION ELEVATED ORDER CLASSIFIER IN WAVELET NEURAL NETWORKR. Arulmurugan, P. SengottuvelanThe revival of wavelet neural networks obtained an extensive use in digital image processing. The shape representation, classification and detection play a very important role in the image analysis. Boosted Greedy Sparse Linear Discriminate Analysis (BGSLDA) trains the cascade level of detection in an efficient manner. With the application of reweighting concept and deployment of class-reparability criterion, lesser search was … …Journal of Computer Science, Vol. 10, Issue 9 · 23 Jun 2014 · 6,790 accessesView PDFCite
Research ArticleOpen accessIn the abstractON SELF-INVERSE BINARY MATRICES OVER THE BINARY GALOIS FIELDAli Muhammad Ali Rushdi, Fares Ahmad Muhammad GhalebAn important class of square binary matrices over the simplest finite or Galois Field GF(2) is the class of involutory or Self-Inverse (SI) matrices. These matrices are of significant utility in prominent engineering applications such as the study of the Preparata Transformation or the analysis of synchronous Boolean Networks. Therefore, it is essential to devise appropriate methods, not only for … …Journal of Mathematics and Statistics, Vol. 9, Issue 3 · 4 Sep 2013 · 7,248 accessesView PDFCite
Research ArticleOpen accessIn the abstractDesign and Parametric Optimization of an Organic Rankine Cycle Powered by Solar EnergyFrancesco Calise, Claudio Capuozzo, Laura VanoliThis study presents the simulation and performance analysis of a regenerative and superheated Organic Rankine Cycle (ORC). To this scope, anew simulation model has been developed. The model is based on zero-dimensional energy and mass balances for all the components of the system. Shell and tube heat expanders with single shell and double tube pass have been chosen. Pump and … …American Journal of Engineering and Applied Sciences, Vol. 6, Issue 2 · 15 May 2013 · 7,684 accessesView PDFCite
Research ArticleOpen accessIn the abstractEvaluating some Reliability Analysis Methodologies in Seismic DesignA. El Ghoulbzouri, A. Khamlichi, F. Lopez Almansa et al.Problem statement: Accounting for uncertainties that were present in geometric and material data of reinforced concrete buildings was performed in this study within the context of performance based seismic engineering design. Approach: Reliability of the expected performance state is assessed by using various methodologies based on finite element nonlinear static pushover analysis and specialized reliability software package. Reliability approaches that … …American Journal of Engineering and Applied Sciences, Vol. 4, Issue 3 · 18 Aug 2011 · 7,843 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Multiderivative Collocation Method for 5th Order Ordinary Differential EquationsS. J. Kayode, D. O. AwoyemiProblem statement: The conventional methods of solving higher order differential equations have been by reducing them to systems of first order equations. This approach is cumbersome and increases computational time. Approach: To address this problem, a numerical algorithm for direct solution of 5th order initial value problems in ordinary differential equations (odes), using power series as basis function, is proposed … …Journal of Mathematics and Statistics, Vol. 6, Issue 1 · 31 Mar 2010 · 8,928 accessesView PDFCite
Research ArticleOpen accessIn the abstractResidues of Complex Functions with Definite and Infinite Poles on X-axisAbbas Y. AL-Bayati, Sasan A. Al-ShwaniProblem statement: One of the most popular areas in the mathematics is the computational complex analysis. In this study several computational complex techniques were investigated and implemented numerically. Objective: This study produced new procedures to compute the residues of complex functions by changing their numerator from a constant number to either even or odd function. Approach: In this project we … …Journal of Mathematics and Statistics, Vol. 5, Issue 3 · 30 Sep 2009 · 7,049 accessesView PDFCite
Research ArticleOpen accessIn the abstractDESIGN AND IMPLEMENTATION OF THE TPM USER AUTHENTICATION MODELMarwan Ibrahim Alshar’e, Rossilawati Sulaiman, Mohd Rosmadi Mokhtar, Abdullah MohdZinThe Trusted Computing Group (TCG) has introduced the Trusted Platform Module (TPM) as a solution to assure end users of their privacy and confidentiality. Although the TPM is designed to prevent software attacks, the TPM itself is vulnerable to physical attacks that could enable intruders to gain access to confidential data. In general, the TPM provides an ID and implements … …Journal of Computer Science, Vol. 10, Issue 11 · 20 Dec 2014 · 8,615 accessesView PDFCite