Results 101 to 110 of about 575,998 (339)
Advanced Functional Materials, EarlyView.A multi‐layered anti‐counterfeiting platform is developed based on an azopolymer (PAzo) system. By leveraging the molecular orientation control of PAzo under linearly polarized light (LPL), encrypted patterns are fabricated that remain invisible under standard conditions and require polarized optical microscopy (POM) for decryption.
Ming‐Hsuan Chang +10 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
A logical foundation for logic programming II: Semantics of general logic programs
The Journal of Logic Programming, 1998 AbstractWe suggested in Part I of this study a general logical formalism for Logic Programming based on a four-valued inference. In this paper we give a uniform representation of various semantics for logic programs based on this formalism. The main conclusion from this representation is that the distinction between these semantics can be largely ...
openaire +2 more sources
Towards Interactive Logic Programming [PDF]
, 2015 Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2 ...
Kwon, Keehang, Park, Mi-Young
core
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
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
Hoare Logic for Quantum Programs [PDF]
arXiv, 2009 Hoare logic is a foundation of axiomatic semantics of classical programs and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a logical foundation of programming methodology for quantum computers, we develop a full-fledged Hoare logic ...
arxiv
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
Using the Fuzzy Logic in Assessing the Programming Performance of Students
International Journal of Assessment Tools in Education, 2018 The overall objective of this study is to understandhow the fuzzy logic theory can be used in measuring the programming performanceof the undergraduate students, as well as proving the advantages of using fuzzylogic in evaluation of students’ performance.
Ozan Şenkal, Nihan Arslan Namlı
doaj +1 more source
Disjunctive Logic Programs versus Normal Logic Programs [PDF]
arXiv, 2013 This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into normal logic programs is proposed and then proved to be sound over infinite structures.
arxiv