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

6 articles for “logical representation”
Set a search alert
Research ArticleOpen accessIn the keywordsOn The Integration of Decision Diagrams in High Order Logic Based Theorem Provers: a SurveySa'ed Abed, Otmane Ait Mohamed, Ghiath Al SammaneThis survey discuss approaches that integrate Decision Diagrams inside High Order Logic based Theorem provers. The approaches can be divided in two kinds, one is based on building a translation between model checker and theorem prover, the second is based on embedding the model checker algorithms inside the theorem prover. A comparison between both is discussed in detail. The paper … …Journal of Computer Science, Vol. 3, Issue 10 · 31 Oct 2007 · 6,980 accessesView PDFCite
Research ArticleOpen accessIn the abstractLogic and the Mathematic Model of the Subject-Area Description for Corporate Information SystemsKonstantin Yurievich Maslenikov, Georgiy Ivanovich RevunkovAiming to build and receive a logic-mathematical substantiation and model of the process of constructing the description of any subject area for corporate information systems, the authors divided the subject area for building the system into constituent elements and the relationships between them. Using discrete mathematics methods to the graphs and two-seater predicates of the first order, we built an … …Journal of Computer Science, Vol. 18, Issue 1 · 2 Feb 2022 · 6,580 accessesView PDFCite
Research ArticleOpen accessIn the abstractONCODIAG Select and Test (ST) Algorithm: An Approximate Clinical Reasoning Model for Diagnosing and Monitoring Breast CancerO.N. Oyelade, A.A. Obiniyi, S.B. JunaiduClinical reasoning involves coordinated thinking strategies targeted at gathering and analyzing relevant information to arrive at a high-quality clinical solution to patients' medical problems. The correctness and proper choice of clinical reasoning approach chosen by a clinician or machine affect the accuracy and acceptability of the diagnosis; moreover, another challenge that usually surfaces during clinical reasoning is the burden of … …Current Research in Bioinformatics, Vol. 9, Issue 1 · 22 Feb 2020 · 8,936 accessesView PDFCite
Research ArticleOpen accessIn the abstractAn Efficient Middleware for Storing and Querying XML Data in Relational Database Management SystemMohammed Adam Ibrahim Fakheraldien, Jasni Mohamad Zain, Norrozila SulaimanProblem statement: In this study, we propose a middleware that provides a transformation utility for storing and querying XML data in relational databases using model mapping method. Approach: To store XML documents in RDBMS, several mapping approaches can be used. We chose structure independent approach. In this middleware the model mapping method XParent and free of cost available technologies MYSQL, … …Journal of Computer Science, Vol. 7, Issue 2 · 26 Feb 2011 · 7,605 accessesView PDFCite
Research ArticleOpen accessIn the abstractComplex Specializations of Krammer's Representation of the Braid Group, B3Mohammad N. Abdulrahim, Madline Al-TahanProblem statement: Classifying irreducible complex representations of an abstract group has been always a problem of interest in the field of group representations. In our study, we considered a linear representation of the braid group on three strings, namely, Krammer's representation. The objective of our work was to study the irreducibility of a specialization of Krammer's representation. Approach: We specialized … …Journal of Mathematics and Statistics, Vol. 4, Issue 4 · 31 Dec 2008 · 7,492 accessesView PDFCite
Research ArticleOpen accessIn the abstractA New Error Correction Intuitive Approach in Quantum Communications ProtocolsAris Skander, Merabtine Nadjim, Malek BenslamaQuantum Error Correction will be necessary for preserving coherent states against noise and other unwanted interactions in quantum computation and communication. We develop a general theory of quantum error correction based on encoding states into larger Hilbert spaces subject to known interactions. We obtain necessary and sufficient conditions for the perfect recovery of an encoded state after its degradation by … …American Journal of Applied Sciences, Vol. 4, Issue 8 · 31 Aug 2007 · 6,838 accessesView PDFCite