Results 61 to 70 of about 2,766,744 (297)

Enhanced Magnetization Switching Efficiency via Orbital‐Current‐Induced Torque in Ti/Ta (Pt)/CoFeB/MgO Structures

open access: yesAdvanced Functional Materials, EarlyView.
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]

open access: yesarXiv, 2009
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  

Dynamic Networks via Polymerizable Deep Eutectic Monomers for Uniform Li+ Transport at Interfaces in Lithium Metal Batteries

open access: yesAdvanced 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

Separation logic: a logic for shared mutable data structures

open access: yesProceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002
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]

open access: yesarXiv, 2021
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

open access: yesAdvanced Functional Materials, EarlyView.
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

open access: yesAdvanced Functional Materials, EarlyView.
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]

open access: yesJournal of Artificial Intelligence Research, 2009
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

open access: yesAdvanced Functional Materials, EarlyView.
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]

open access: yesarXiv, 2012
A paper for general audience about descriptive inner model theory.
arxiv  

Home - About - Disclaimer - Privacy