Results 61 to 70 of about 2,766,744 (297)
The orbital‐current‐induced torque is investigated as an efficient method for controlling magnetization direction. By introducing Ti as an orbital current source in Ti/Ta (or Pt)/CoFeB/MgO structures, the switching current is reduced by ∼25% compared to a conventional spin‐orbit torque structure of Ta/CoFeB/MgO.
So y. Shin+3 more
wiley +1 more source
Efficient Description Logic Reasoning in Prolog: The DLog system [PDF]
This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABox reasoning engine for the full SHIQ language.
arxiv
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
Separation logic: a logic for shared mutable data structures
In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure.
J. C. Reynolds
semanticscholar +1 more source
Improving Logical-Level Natural Language Generation with Topic-Conditioned Data Augmentation and Logical Form Generation [PDF]
Logical Natural Language Generation, i.e., generating textual descriptions that can be logically entailed by a structured table, has been a challenge due to the low fidelity of the generation. \citet{chen2020logic2text} have addressed this problem by annotating interim logical programs to control the generation contents and semantics, and presented the
arxiv
Ternary Transistors With Reconfigurable Polarities
Polarity‐reconfigurable ternary transistors are demonstrated using black phosphorus homojunction with asymmetric contacts and split‐gate structures. Suppression of majority carrier injection, while Fowler–Nordheim tunneling of low‐density minority carriers persists, enables a well‐defined intermediate state with improved on/off ratios.
Dongju Yeom+11 more
wiley +1 more source
Ultrasoft Iontronics: Stretchable Diodes Enabled by Ionically Conductive Bottlebrush Elastomers
This work introduces a solvent‐free, ultrasoft, and stretchable ionic diode based on oppositely charged bottlebrush elastomers (BBEs). The BBE diode exhibits an ultralow Young's modulus (<23 kPa), a high rectification ratio of 46, and stretchability over 400%.
Xia Wu+6 more
wiley +1 more source
Hypertableau Reasoning for Description Logics [PDF]
We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning calculi used in state-of-the-art reasoners. In order to
Motik, B, Shearer, R, Horrocks, I
openaire +5 more sources
Double Helical Plasmonic Antennas
Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin+7 more
wiley +1 more source
Descriptive inner model theory [PDF]
A paper for general audience about descriptive inner model theory.
arxiv