Results 81 to 90 of about 1,138,309 (354)
Solving Functional Constraints by Variable Substitution [PDF]
, 2009 Functional constraints and bi-functional constraints are an important constraint class in Constraint Programming (CP) systems, in particular for Constraint Logic Programming (CLP) systems.
Yap, Roland H. C., Zhang, Yuanlin
core
Logic Programming in Tabular Allegories [PDF]
, 2012 We develop a compilation scheme and categorical abstract machine for execution of logic programs based on allegories, the categorical version of the calculus of relations. Operational and denotational semantics are developed using the same formalism, and
, B. Lipton, James
core +1 more source
Temperature‐Resilient Polymeric Memristors for Effective Deblurring in Static and Dynamic Imaging
Advanced Functional Materials, EarlyView.A thermally stable organic memristor based on a thiadiazolobenzotriazole (TBZ) and 2,5‐Dioctyl‐3,6‐di(thiophen‐2‐yl)pyrrolo[3,4‐c]pyrrole‐1,4(2H,5H)‐dione (DPP)‐based conjugated polymer is presented, demonstrating reliable, gradual resistance switching across a wide temperature range (153–573 K).
Ziyu Lv +15 more
wiley +1 more source
Designing experiments to discriminate families of logic models
Frontiers in Bioengineering and Biotechnology, 2015 Logic models of signaling pathways are a promising way of building effective in silico functional models of a cell, in particular of signaling pathways.
Santiago eVidela +10 more
doaj +1 more source
Extended logic-plus-functional programming [PDF]
, 1992 Extensions of logic and functional programming are integrated in RELFUN. Its valued clauses comprise Horn clauses (true\u27-valued) and clauses with a distinguished foot\u27 premise (returning arbitrary values).
Boley, Harold
core
Spin‐Selective Anisotropic Magnetoresistance Driven by Chirality in DNA
Advanced Functional Materials, EarlyView.It is shown that magnetoresistance (MR) measurements carried out as a function of angular dependence between the magnetic field and a chiral (DNA) interface provide a valuable new insight into the charge transport mechanism associated with the chiral‐induced spin selectivity (CISS) effect.
Tapan Kumar Das +4 more
wiley +1 more source
Vietnam Journal of Computer ScienceAs the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic theorem provers, capable of solving various reasoning problems automatically, and proof assistants, capable of
Simon Tobias Lund, Jørgen Villadsen
doaj +1 more source
, 2016 In functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic languages and contrary to functional languages, e.g., Haskell enforces a strict sequential interpretation of rules.
arxiv +1 more source
Advanced Functional Materials, EarlyView.The PDEM‐based SIGPE provides a dynamic nanophase from Li+‐bridged molecular self‐association, enhancing electrochemical stability and facilitating uniform Li+ ion flux at the interface. This unique solvation structure results in a hetero species‐driven inorganic‐rich SEI and long‐term cycle stability, suggesting that a PFAS‐free Li+‐containing monomer
Susung Yun +5 more
wiley +1 more source
Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices
Molecular Systems Biology, 2018 Biological systems have evolved efficient sensing and decision‐making mechanisms to maximize fitness in changing molecular environments. Synthetic biologists have exploited these capabilities to engineer control on information and energy processing in ...
Alexis Courbet +4 more
doaj +1 more source