Results for 'DML'

Order:
  1. ITS for Data Manipulation Language (DML) Commands Using SQLite.Mahmoud Jamal Abu Ghali & Samy S. Abu-Naser - 2019 - International Journal of Engineering and Information Systems (IJEAIS) 3 (3):57-92.
    In many areas, technology has facilitated many things, diagnosing diseases, regulating traffic and teaching students in schools rely on Intelligent systems to name a few. At present, traditional classroom-based education is no longer the most appropriate in schools. From here, the idea of intelligent e-learning for students to increase their culture and keep them updated in life began. E-learning has become an ideal solution, relying on artificial intelligence, which has a footprint in this through the development of systems based on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  59
    3D metal printing technology: the need to re-invent design practice.Thomas Duda & L. Venkat Raghavan - 2018 - AI and Society 33 (2):241-252.
    3D printing or additive manufacturing is a novel method of manufacturing parts directly from digital model using layer-by-layer material build-up approach. This tool-less manufacturing method can produce fully dense metallic parts in short time, with high precision. Features of additive manufacturing like freedom of part design, part complexity, light weighting, part consolidation, and design for function are garnering particular interests in metal additive manufacturing for aerospace, oil and gas, marine, and automobile applications. Powder bed fusion, in which each powder bed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  24
    Gentzen semantics for de Morgan lattice logic1.Andre T. Fuhrmann - 1986 - Bulletin of the Section of Logic 15 (1):96-102.
    DeMorgan lattice logic is the consecution version of Anderson/Belnap’s calculus of First Degree Entailments [1]. Theorems of DML are of the form Γ ` A, where Γ is a non-empty set of formulae. Let Γ = {A1, . . . , An}, then Γ ` A is a theorem of DML if and only if A1& . . . &An → A is a theorem of F DE. The Gentzenization of DML offered in this paper, LDML, derives from the worlds (...)
    Direct download  
     
    Export citation  
     
    Bookmark