Results 51 to 60 of about 3,500,861 (360)
A decidable weakening of Compass Logic based on cone-shaped cardinal directions [PDF]
, 2015 We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-shaped cardinal
Montanari, Angelo +2 more
core +5 more sources
Advanced 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
Journal of Electrochemical Science and Engineering, 2020 When performing electrochemical impedance spectroscopy (EIS) measurements on a system, we must make sure it fulfills certain conditions. One of them is that it should be stationary that is to say, steady-state and time-invariant. Commonly studied systems
Nicolas Murer +2 more
doaj +1 more source
On Affine Logic and {\L}ukasiewicz Logic [PDF]
, 2014 The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of {\L}
Arthan, Rob, Oliva, Paulo
core
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
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
Advanced Functional Materials, EarlyView.2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang +4 more
wiley +1 more source
Material-Device-Circuit Co-Design of 2-D Materials-Based Lateral Tunnel FETs
IEEE Journal of the Electron Devices Society, 2018 In this paper, the 2-D materials-based lateral TFETs are holistically assessed by co-optimizing the material parameters, device designs, and digital circuit figure-of-merits, e.g., energy consumption and delay.
Tarun Agarwal +5 more
doaj +1 more source
Necessity in the Thought of Avicenna [PDF]
حکمت و فلسفه, 2018 To Avicenna, the relation between the subject and the predicate is of three kinds: possibility, necessity, and impossibility. Impossibility is the same as necessary non-existence. The word ‘modal’ in modal logic refers to these three.
milad omrani, Fereshteh Nabati
doaj +1 more source
Simulation Studies of Nanomagnet-Based Architecture
, 2008 We report a simulation study on interacting ensembles of Co nanomagnets that can perform basic logic operations and propagate logic signals, where the state variable is the magnetization direction.
Behin-Aein B. +9 more
core +1 more source
The Logic of Logic Programming
, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
Denecker, Marc, Warren, David S.
openaire +2 more sources