Results 111 to 120 of about 6,452,641 (347)
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
Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures
Advanced Functional Materials, EarlyView.3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina +11 more
wiley +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
An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More [PDF]
arXiv, 2020 Recently, authors have proposed under-approximate logics for reasoning about programs. So far, all such logics have been confined to reasoning about individual program behaviours. Yet there exist many over-approximate relational logics for reasoning about pairs of programs and relating their behaviours. We present the first under-approximate relational
arxiv
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
Advanced Healthcare Materials, EarlyView.In this study, a cuff‐free, less‐invasive surgical approach for vagus nerve stimulation (VNS) by combining ultrathin Y‐shaped kirigami electrodes is developed with a chemically cross‐linked hydrogel adhesive (hydrogel‐kirigami). Unlike conventional cuff implantation, which may damage nerves and nearby critical vessels, this new technique minimizes ...
Jae Young Park +9 more
wiley +1 more source
Logic Programming, Functional Programming, and Inductive Definitions [PDF]
published in P. Schroeder-Heister (editor), Extensions of Logic
Programming (Springer, 1991), 283-310, 2001 An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
arxiv
Optoelectronic Devices for In‐Sensor Computing
Advanced Materials, EarlyView.The raw data obtained directly from sensors in the noisy analogue domain is often unstructured, which lacks a predefined format or organization and does not conform to a specific data model. Optoelectronic devices for in‐sensor visual processing can integrate perception, memory, and processing functions in the same physical units, which can compress ...
Qinqi Ren +7 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
Materials, Structure, and Interface of Stretchable Interconnects for Wearable Bioelectronics
Advanced Materials, EarlyView.Stretchable interconnects are one of the fundamental components in achieving robust wearable devices, but their importance is often overlooked. This review highlights their importance and provides insightful information on various materials, configurations, and manufacturing approaches being studied for interconnects.
Yue Li +3 more
wiley +1 more source