Results 91 to 100 of about 8,631,344 (363)
The Limits of Horn Logic Programs
, 2002 Given a sequence $\{\Pi_n\}$ of Horn logic programs, the limit $\Pi$ of $\{\Pi_n\}$ is the set of the clauses such that every clause in $\Pi$ belongs to almost every $\Pi_n$ and every clause in infinitely many $\Pi_n$'s belongs to $\Pi$ also.
Ma, Shilong, Sui, Yuefei, Xu, Ke
core +2 more sources
Philosophia Scientiæ, 2005 Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic.
Denis Bonnay
doaj +1 more source
Advanced Functional Materials, EarlyView.A stretchable and superhydrophobic pF1V1 polymer layer is conformally coated on Zn metal via iCVD, forming a water‐repelling interphase that inhibits the hydrogen evolution reaction. This tailored interface maintains excellent electrolyte compatibility while suppressing dendrite growth, thereby enhancing the long‐term electrochemical stability of Zn ...
Jaeyeon Lee +12 more
wiley +1 more source
General failure of logic programs
The Journal of Logic Programming, 1985 By classifying general finite failures of logic programming into different levels and by using these levels in order to define general finite failure inductively on the constructive ordinals the author obtains a lucid and simple proof of the soundness and completeness of Clark's negation-as-failure rule.
openaire +2 more sources
Ferroelectricity in Single‐Crystalline BaTiO3 Nanodisks on Silicon
Advanced Functional Materials, EarlyView.Ferroelectricity is studied in 20 nm thick single crystalline BaTiO3 nanodisks when scaling their diameter from ≈ 400 down to 100 nm. For 100 nm diameter, the vertical polarization component adopts three distinct patterns, and the lateral one shows a rotational invariance in‐plane, suggesting a combination of center‐type and flux‐closure domains.
Ibukun Olaniyan +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This work demonstrates ultrafast, field‐free spin–orbit torque (SOT) switching using a PtTe2/WTe2/CoFeB multilayer, achieving sub‐nanosecond magnetization reversal with record‐low energy consumption. The PtTe2/WTe2 bilayer generates an intrinsic out‐of‐plane spin current, enabling deterministic switching without external fields.
Qu Yang +7 more
wiley +1 more source
A five-valued logic and a system
Journal of Computer Science and Technology, 2004 The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
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
Cycle time optimization by timing driven placement with simultaneous netlist transformations [PDF]
, 2006 We present new concepts to integrate logic synthesis and physical design. Our methodology uses general Boolean transformations as known from technology-independent synthesis, and a recursive bi-partitioning placement algorithm. In each partitioning step,
Hartje, Hendrik +3 more
core
Advanced Functional Materials, EarlyView.The influence of postdeposition treatments on the formation of self‐assembling (mono)layers commonly utilized as hole transport layers in perovskite‐based solar cells is thoroughly investigated. The implementation of a washing step and an annealing step at temperatures exceeding the current literature standards leads to an enhanced layer quality and ...
Jann B. Landgraf +14 more
wiley +1 more source