Results 51 to 60 of about 206,152 (285)
A Model-based Semantic Network for Smart Representation and the Inference of Islamic Law
American Journal of Islam and Society, 2017 Over the last few decades, knowledge representation techniques have made huge strides toward computerizing human knowledge. Modern smart engines can capture some aspects of human intelligence and process natural language texts. However, classical Islamic
Ahmed Mabrouk
doaj +1 more source
Geofluids, 2021 Within the existing leakage model accounting for drilling mud loss in naturally-fractured formations, the leak-off velocity is assigned to a fixed value or described by the Cater model, which does not consider the influence of dual-system hydromechanical
Hao Peng +4 more
doaj +1 more source
Applied Sciences, 2021 Globally, 20% to 40% of medical resources are wasted, which could be avoided through professional audit of health insurance claims. The professional audit can pinpoint excessive use of unnecessary medicines and medical examinations.
Shey-Chiang Su +5 more
doaj +1 more source
, 2016 This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre ...
Adzic, Milos, Dosen, Kosta
core +1 more source
Fatigue Crack Initiation and Growth in Nanocrystalline Ni at Multiple Length‐Scales
Advanced Engineering Materials, EarlyView.Overview of miniaturized in situ SEM fatigue setup and resultant fatigue crack growth data for nanocrystalline Ni. The presented study focuses on the analysis of fatigue crack growth rate (FCGR) in focused ion beam‐notched microcantilevers prepared from nanocrystalline (NC) Ni as a model material.
Igor Moravcik +7 more
wiley +1 more source
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj +1 more source
Natural Deduction for Three-Valued Regular Logics [PDF]
, 2016 In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M.
Petrukhin, Yaroslav
core +1 more source
Natural deduction calculus for computation tree logic [PDF]
, 2006 The authors present a natural deduction calculus for the computation tree logic, CTL, defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic. This opens
Bolotov, A. +5 more
core +3 more sources
Advanced Engineering Materials, EarlyView.Viktoriia Shtefan, Thorgund Nemec, Ute Hempel, Annett Gebert and coworkers demonstrate that anodic treatment of Ti–Cu‐based metallic glass in a nontoxic pyrophosphate electrolyte forms a protective bilayered Ti/Zr‐oxide film enriched with Cu nanocrystals.
Viktoriia Shtefan +8 more
wiley +1 more source
Transcendental Unity of Apperception In Kant’sTheory of Knowledge
Tsaqafah, 2014 This article aims at delineating Kant’s theory of understanding that integrate subject and object at the transcendent level. Transcendental here refers to the process of thinking in such a way that ‘transcends’ natural thinking. It is called transcendent
Hamid Fahmy Zarkasyi
doaj +1 more source