Results 31 to 40 of about 40,199 (294)
Initial Draft of a Possible Declarative Semantics for the Language [PDF]
, 2005 This article introduces a preliminary declarative semantics for a subset of the language Xcerpt (so-called grouping-stratifiable programs) in form of a classical (Tarski style) model theory, adapted to the specific requirements of Xcerpt’s constructs ...
Bry, François +2 more
core +1 more source
Sistem Pakar Untuk Mendiagnosa Gangguan Pencernaan Pada Anak Dengan Metode Forward Chaining
JSiI (Jurnal Sistem Informasi), 2017 Sistem pakar adalah sistem yang berusaha mengadopsi pengetahuan manusia ke komputer. Sistem pakar mengandung pengetahuan tertentu sehingga setiap orang dapat menggunakannnya untuk memecahkan masalah yang bersifat spesifik.
Saefudin ., YG. Rosi Tri Rianti
doaj +1 more source
Multi-Agent Planning with Planning Graph [PDF]
, 2003 In this paper, we consider planning for multi-agents situations in STRIPS-like domains with planning graph. Three possible relationships between agents' goals are considered in order to evaluate plans: the agents may be collaborative, adversarial or ...
Bui, The Duy, Jamroga, Wojciech
core +2 more sources
Sistem Pakar Menentukan Tingkat Kecocokan Lahan Untuk Tanaman Jati Menggunakan Metode Forward Chaining [PDF]
, 2016 Tanaman jati merupakan tanaman yang mempunyai cukup banyak kriteria untuk dapat tumbuh di suatu daerah. Kebanyakan petani jati tidak mengetahui masing-masing dari kriteria tersebut.
Mustafidah, H. (Hindayati) +2 more
core +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Analisa Efektifitas Metode Forward Chaining dan Backward Chaining pada Sistem Pakar [PDF]
, 2017 The use of forward-chaining and backward-chaining in expert system is something usual. Where forward-chaining is a data-driven algorithm, while backward-chaining is goal-driven. Both methods are usually used for reasoning.
Akil, I. (Ibnu)
core
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
Logic programs, well-orderings and forward chaining
Annals of Pure and Applied Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marek, V. W., Nerode, A., Remmel, J. B.
openaire +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
Digital Zone: Jurnal Teknologi Informasi dan Komunikasi, 2018 Kebanyakan pengendara cenderung menyerahkan sepeda motor kepada mekanik tanpa mengetahui sebenarnya kerusakan tersebut merupakan kerusakan sederhana atau terlalu rumit untuk diperbaiki.
januardi nasir, Zefly Haposan Gultom
doaj +1 more source