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

16 articles for “Binary Relation”
Set a search alert
Research ArticleOpen accessIn the keywordsFormalizing Relations in Type TheoryFarida KachapovaTypetheory plays an important role in the foundations of mathematics as a frameworkfor formalizing mathematics and a base for proof assistants providingsemi-automatic proof checking and construction. Derivation of each theorem intype theory results in a formal term encapsulating the whole proof process.This study uses a variant of type theory, namely the Calculus of Constructionswith Definitions, to formalize the standardtheory of … …Journal of Mathematics and Statistics, Vol. 18, Issue 1 · 29 Oct 2022 · 5,778 accessesView PDFCite
Research ArticleOpen accessIn the keywordsNew approach between the Optical Basicity and the Dielectric Constant through the Molar Polarizability for Some Binary GlassesEl-Sayed MoustafaProblem statement: In the present study, a new correlation between the optical basiciry which describes the electronic charge clouds around the oxide glass and the dielectric constant has been proposed through the molar polarizability of the binary oxide glasses. Approach: Two experimental forms have been suggested relating the optical basicity and the molar electronic polarizability. Hence, the dielectric constant and … …Physics International, Vol. 2, Issue 1 · 26 Oct 2011 · 7,764 accessesView PDFCite
Research ArticleOpen accessIn the keywordsTopologies Induced by Relations with ApplicationsA. S. SalamaTopological structures induced by relations represents the process of extracting interesting decision rules from data. The attributes reduction and the calculation of core are the essentials to extract the decision rules. Finding the reducts, core and decision rules topologically is a new mathematical tool for discovering attribute dependencies in information systems. Problem statement: These mathematical tools employ some concepts from … …Journal of Computer Science, Vol. 4, Issue 10 · 31 Oct 2008 · 7,212 accessesView PDFCite
Research ArticleOpen accessIn the abstractMultimedia Image Retrieval Using Novel Modelling of Combined Binary Patterns with Reduced DimensionsM. Geetha Yadav, SP. ChokkalingamAdvancements in computer vision have transformed image retrieval. However, many existing systems struggle to bridge the semantic gap between low-level features and high-level user expectations. This study proposed a new approach that combines texture and colour features to enhance retrieval accuracy and user satisfaction. The proposed method employs the HSV colour model to extract colour features, focusing on dominant features … …Journal of Computer Science, Vol. 21, Issue 4 · 14 Apr 2025 · 5,213 accessesView PDFCite
Research ArticleOpen accessIn the abstractSoft Marking Scheme of SVM Hierarchical Classifiers for Attack ClassificationAzizi Abdullah, Warhamni Jani@MokhtarClassification is a predictive modelling problem that involves assigning a class label to an instance correctly. There exist several strategies in machine learning to deal with the multi-class classification problems for attack detection. One of the popular strategies is the one-vs-one that decomposes the multi-class problem into multiple binary ones. The approach has been applied in many popular supervised learning … …Journal of Computer Science, Vol. 17, Issue 9 · 27 Sep 2021 · 6,000 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 abstractAccurate Determination of Nonlinear Refractive Index for Some Binary Glass SystemsElSayed MoustafaProblem statement: This study investigates the relation between the nonlinear optical susceptibility (χ(3)) and the ratio (α1/αo-2), then the nonlinear index determination for some binary glass systems. Recently suitable relationship between the oxidation polarizability and the nonlinear optical properties was established for simple oxides glasses. So in this study more attention and investigation is paid to the trend of that … …American Journal of Applied Sciences, Vol. 8, Issue 1 · 31 Jan 2011 · 7,692 accessesView PDFCite
Research ArticleOpen accessIn the abstractReed-Muller Codec Simulation PerformanceO. O. Khalifa, A. H. Abdullah, N. Suriyana et al.The approach to error correction coding taken by modern digital communication systems started in the late 1940's with the ground breaking work of Shannon, Hamming and Golay. Reed-Muller (RM) codes were an important step beyond the Hamming and Golay codes because they allowed more flexibility in the size of the code word and the number of correctable errors per code … …Journal of Computer Science, Vol. 4, Issue 10 · 31 Oct 2008 · 7,284 accessesView PDFCite
Research ArticleOpen accessIn the abstractThe Logic of Populist Discourse and its Cultural Frame in Korea: An Analysis of the Former President Roh Moo-Hyun's Reformist RhetoricManwoo LeeThis study was conducted to explain the discursive logic of populist politics and its cultural background in the former president Roh's Korean Government. It was divided into two parts of research results. In the first part, I articulated a reading of former Korean president Roh's discourses focusing on the populist dimensions of his rhetoric. His discourse was organized according to … …Journal of Social Sciences, Vol. 4, Issue 3 · 30 Sep 2008 · 8,363 accessesView PDFCite
Research ArticleOpen accessIn the abstractDevelopment of Deduced Protein Database Using Variable Bit Binary EncodingB. Parvathavarthini, B. Rajesh Kanna, L. RajeswarideviA large amount of biological data is semi-structured and stored in any one the following file formats such as flat, XML and relational files. These databases must be integrated with the structured data available in relational or object-oriented databases. The sequence matching process is difficult in such file format, because string comparison takes more computation cost and time. To reduce … …Journal of Computer Science, Vol. 4, Issue 6 · 30 Jun 2008 · 6,512 accessesView PDFCite