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

14 articles for “Predicate”
Set a search alert
Research ArticleOpen accessEvery word in the titleSpecialization of Recursive Predicates from Positive Examples OnlyMoussa DembaProblem statement: Given an overly general (definite) program P and its intended semantics Φ (the programmer’s intentions) where P does not satisfy Φ, find out a new version P’ of P such that P’ satisfies Φ. Approach: We proposed an approach for correcting overly general programs from positive examples by exploiting program synthesis techniques. The synthesized program, P’, is a … …Journal of Computer Science, Vol. 6, Issue 6 · 30 Jun 2010 · 6,854 accessesView PDFCite
Research ArticleOpen accessIn the keywordsLogic 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 keywordsIncreasing Database Performance through Optimizing Structure Query Language Join StatementOssama K. Muslih, Imad Hasan SalehProblem statement: A join statement is a select statement with more than table in the FROM clause. A join predicate is a predicate in the WHERE clause that combines the columns of two of the tables in the join. Any database gives you the ability to join various tables together through different types of joins, resulting large number of rows … …Journal of Computer Science, Vol. 6, Issue 5 · 31 May 2010 · 7,262 accessesView PDFCite
Research ArticleOpen accessIn the keywordsComputational Analysis of Network ODE Systems in Metric Spaces: An ApproachSusmit BagchiTraditionally, the concepts of graph theory are applied to design stationary computer networks and, to analyze dynamics of social networks. However, the majority of non-stationary network models are formulated by using Ordinary Differential Equations (ODE) with varying orders having homogeneous or non-homogeneous forms. However, the analysis of continuous solution spaces of ODE and understanding of the interplay of spaces in … …Journal of Computer Science, Vol. 13, Issue 1 · 1 Mar 2017 · 7,891 accessesView PDFCite
Research ArticleOpen accessIn the abstractONCObc-ST: An Improved Clinical Reasoning Algorithm Based on Select and Test (ST) Algorithm for Diagnosing Breast CancerOlaide Nathaniel Oyelade, Sunday Adeyemi AdewuyiThe need for an accurate reasoning algorithm is usually necessitated by the sensitivity of domain of (medicine as example) application of such algorithms. Most reasoning algorithms for medical diagnosis are either limited by their techniques or accuracy and efficiency. Even the Select and Test (ST) algorithm which is considered a more approximate reasoning algorithm is also limited by its approach … …Current Research in Bioinformatics, Vol. 8, Issue 1 · 15 Apr 2019 · 7,162 accessesView PDFCite
Research ArticleOpen accessIn the abstractItalian Phrasemes as Constructions: How to Understand and Use ThemElmar SchafrothThe present article describes the objectives and methods for a learner-centered description of Italian idioms based on the theoretical principles of Construction Grammar (CxG). The aim of the underlying research project is to develop a new way of looking at idioms, taking into account all linguistic aspects that could help to fully understand and usethem in a formally and functionally … …Journal of Social Sciences, Vol. 11, Issue 3 · 3 Sep 2015 · 9,086 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Complete Automation of Unit Testing for JavaScript ProgramsM. AlshraidehProblem statement: Program testing is expensive and labor intensive, often consuming more than half of the total development costs, and yet it is frequently not done well and the results are not always satisfactory. The objective of this paper is to present an automatic test data generation tool that aims to completely automate unit testing of JavaScript functions. The methodology: … …Journal of Computer Science, Vol. 4, Issue 12 · 31 Dec 2008 · 7,289 accessesView PDFCite
Research ArticleOpen accessIn the abstractHydroxyl Radical-Scavenging Activity-Guided Extraction of Peptides from Oviductus ranaeJieyang Shen, Yihui Liu, Jiahao Xu et al.Oviductus Ranae (OR) is a traditional Chinese medicinal material that is listed in Chinese Pharmacopeia with proteins the most abundant ingredients. In present work, pepsin/trypsin-based stepwise hydrolysis was applied to extract Antioxidant Peptides from OR (APOR) using hydroxyl radical-scavenging capacity as evaluation index. After single-factor experiment, response surface method coupled with Box-Behnken design were used for optimizing process parameters and … …American Journal of Biochemistry and Biotechnology, Vol. 17, Issue 4 · 18 Oct 2021 · 6,609 accessesView PDFCite
Research ArticleOpen accessIn the abstractCharacterization of Mi1.2 Whitefly (Bemisia tabaci) Resistance GeneSherin Amin Mahfouze, Shipra Saxena, Heba Amin Mahfouze, Manchikatla Venkat RajamTomato (Solanum peruvianum) Mi gene provides resistance to whitefly (Bemisia tabaci), potato aphids and nematode making Mi a useful source in integrated pest management program. The aim of this work was to isolate, clone and sequence Mi1.2 gene from S. peruvianum. In addition, physico-chemical identification of amino acids deduced from Mi1.2 gene was done. Secondary (2D) and tertiary (3D) structures … …OnLine Journal of Biological Sciences, Vol. 17, Issue 4 · 15 Nov 2017 · 7,793 accessesView PDFCite
Research ArticleOpen accessIn the abstractEntrenching Inferences in Implicational and Illocutionary ConstructionsFrancisco José Ruiz de Mendoza IbáñezThe starting point for the present paper is the classification of constructions, understood as fixed pairings of form and meaning, into four levels of meaning representation, i.e., the argument-structure, implicational, illocutionary and discourse levels. The meaning part of constructions contains fixed and variable elements. In argument-structure constructions the fixed elements are generic and, as such, they are open to parameterization … …Journal of Social Sciences, Vol. 11, Issue 3 · 14 Aug 2015 · 8,199 accessesView PDFCite