Results 51 to 60 of about 4,442,858 (282)
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
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
Natural Deduction in a Paracomplete Setting [PDF]
, 2014 In this paper we present the automated proof search technique in natural deduction paracomplete logic. Here, for some statements we do not have evidence to conclude if they are true or false, as it happens in the classical framework.
Bolotov, A., Shangin, V.
core
Electrospun Wood‐Derived Biopolymers as Electrodes in Electrochemical Energy Storage Technologies
Advanced Functional Materials, EarlyView.Electrospinning transforms wood‐derived cellulose and lignin into architecturally defined, binder‐free carbon electrodes with tuneable porosity and functionality. This review shows how fibre design enables decoupled charge and mass transport, enhancing performance across battery systems, while identifying key challenges in spinnability, scalability ...
Michael W. Thielke +3 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
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
Experiments in linear natural deduction
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
MARTINI S., MASINI, Andrea
openaire +4 more sources
On the Complexity of the Natural Deduction Proof Search Algorithm [PDF]
, 2017 We present our first account of the complexity of natural deduction proof search algorithms. Though we target the complexity for natural deduction for temporal logic, here we only tackle classical case, comparing the classical part of the proof search ...
Bolotov, A. +2 more
core
Cut-elimination, substitution and normalisation [PDF]
, 2014 Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Advanced Functional Materials, EarlyView.Collagen II coatings support the formation of synovial fluid nanofilms, while collagen I coatings do not. Both bind recombinant equine lubricin similarly. These findings may help explain articular cartilage surface joint dysfunction, inform biomaterial design for synovial joint repair, and expand on lubricin‐based osteoarthritis therapies.
Diego R. Jaramillo Pinto +12 more
wiley +1 more source