Results 111 to 120 of about 575,998 (339)
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
Logic Programming for Describing and Solving Planning Problems
, 2000 A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems.
Bruynooghe, Maurice
core +2 more sources
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
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
Advanced Healthcare Materials, EarlyView.A flexible electrode loaded with a carbon nanowire network (CC@C‐NWN) is developed for electrochemically generating reactive chlorine species (RCS) from abundant chloride ions in body fluids for tumor therapy. CC@C‐NWN enhances chlorine evolution, inducing redox dysregulation and synergistic apoptosis‐ferroptosis in tumor cells.
Cuinan Jiang +10 more
wiley +1 more source
Advanced Materials, EarlyView.Single‐layer magnetization switching with a small critical current density of ≈106 A cm−2 is demonstrated. The strong intrinsic spin Hall effect, causing the switching, is induced by the synergy of the inherent spin‐orbit coupling and the spontaneous oxygen octahedral rotation in SrRuO3.The findings highlight the immense potential for realizing ...
Hiroto Horiuchi +11 more
wiley +1 more source
Research on formal description and verification of automated trust negotiation
Tongxin xuebao, 2011 First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1 +3 more
doaj +2 more sources
A Proof Theoretic Approach to Failure in Functional Logic Programming [PDF]
Theory and Practice of Logic Programming, vol. 4, no. 1&2, 2004, 2004 How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic perspective. The starting point of our work is CRWL (Constructor based ReWriting Logic), a well established theoretical framework for functional logic programming, whose ...
arxiv
Large Spin‐Orbit Torque with Multi‐Directional Spin Components in Ni4W
Advanced Materials, EarlyView.Ni4W is theoretically proposed and experimentally verified as a promising unconventional spin‐orbit torque (SOT) material for generating multi‐directional spins. Epitaxial Ni4W thin films with outstanding crystallinity are grown by magnetron sputtering.
Yifei Yang +17 more
wiley +1 more source