Results 91 to 100 of about 471,293 (319)
An Improved Proof-Theoretic Compilation of Logic Programs
, 2012 In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant.
Cervesato, Iliano
core +1 more source
Atmospheric Doping of Stretchable Polymer Semiconductors for Skin Electronics
Advanced Functional Materials, EarlyView.An atmospheric doping system using oxygen molecules in air as dopants is introduced for stretchable polymer semiconductors. The chemisorbed oxygen molecules act as acceptor, lead to increase not only the hole concentration of the semiconductor film over two orders of magnitude (3.37 × 1017 cm−3) but also electrical properties of the field‐effect ...
Min Woo Jeong +7 more
wiley +1 more source
Logical foundations and implementation of an extension of temporal logic
Journal of Computer Science and Technology, 2000 The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
Advanced Functional Materials, EarlyView.Herein, the synthesis of Ta₂Pd₃S₈ nanowires is reported via scalable liquid cascade exfoliation and their integration into high‐mobility field‐effect transistors (FETs) and sensitive photodetectors, achieving carrier mobility of up to 27.3 cm2 V⁻¹ s⁻¹ and responsivities of 322.40 A W⁻¹ and 1.85 mA W⁻¹ for single nanowire and network devices ...
Kyung Hwan Choi +13 more
wiley +1 more source
DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj
Advanced Functional Materials, EarlyView.Many known diseases arise from dysregulated gene expression, and differentially expressed genes can serve as biomarkers to distinguish diseased cells from healthy tissues. In this study, reconfigurable nucleic acid nanoparticles (recNANPs) are introduced that can detect overexpressed cancer biomarkers and subsequently release RNAi inducers to silence ...
Yelixza I. Avila +7 more
wiley +1 more source
DNA logic programming: From concept to construction
ViewDNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj +1 more source
3D Concrete Printing of Triply Periodic Minimum Surfaces for Enhanced Carbon Capture and Storage
Advanced Functional Materials, EarlyView.A 3D‐printable and carbon‐capturing concrete is developed by replacing cement with diatomaceous earth (DE), which enhances rheology, provides hierarchical porosity, and serves as a nucleation site for carbonation. Maximum absorption of 488.7 gCO2 kgcement−1 is achieved in 7 days, a 142% increase over conventional concrete, and the triply periodic ...
Kun‐Hao Yu +9 more
wiley +1 more source
Parallel defeasible argumentation
Journal of Computer Science and Technology, 2000 Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García +1 more
doaj