Results 61 to 70 of about 226,250 (290)

A New Threshold Switching Device With Tunable Negative Differential Resistance Based on ErMnO3 Polymorphs

Advanced Functional Materials, EarlyView.
Polymorph engineering in ErMnO3 enables low‐voltage, forming‐free threshold switching with tunable negative differential resistance. Conducting orthorhombic regions embedded in an insulating hexagonal matrix provide controlled Joule‐heating‐enhanced Poole–Frenkel transport. The hexagonal phase prevents excessive heating and breakdown.
Rong Wu, Florian Maudet, Thanh Luan Phan, Wassim Hamouda, Richard Schroedter, Ahmet Samil Demirkol, Ronald Tetzlaff, Veeresh Deshpande, Catherine Dubourdieu   +8 more
wiley   +1 more source

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  

The ubiquity of conservative translations

, 2012
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva, D’Ottaviano, D’Ottaviano, D’Ottaviano, D’Ottaviano, EMIL JEŘÁBEK, Galatos, Lau, Post   +8 more
core   +1 more source

2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics

Advanced Functional Materials, EarlyView.
2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit, Yifei Yang, Shawn Li, Yu‐Chia Chen, Qi Jia, Jian‐Ping Wang   +5 more
wiley   +1 more source

Fuzzy Logic-Based Substitution-Box for Robust Medical Image Encryption in Telemedicine

IEEE Access
Due to privacy and sensitivity of the medical images, the creation of strong medical image encryption schemes has gained the attention of cryptographers.
Abdul Razaq, Louai A. Maghrabi, Musheer Ahmad, Farrah Aslam, Wei Feng   +4 more
doaj   +1 more source

Suszko's Problem: Mixed Consequence and Compositionality

, 2019
Suszko's problem is the problem of finding the minimal number of truth values needed to semantically characterize a syntactic consequence relation. Suszko proved that every Tarskian consequence relation can be characterized using only two truth values ...
Chemla, Emmanuel, Egré, Paul
core   +2 more sources

Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?

Advanced Functional Materials, EarlyView.
This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee, Yunseo Kim, Hyeong‐ku Jo, Dongjoon Yoon, Byeonghyeok Im, WonJeong Yu, Eui‐Rim On, Changhwan Lee   +7 more
wiley   +1 more source

Cache vs. Key-Dependency: Side Channeling an Implementation of Pilsung

Transactions on Cryptographic Hardware and Embedded Systems, 2019
Over the past two decades, cache attacks have been identified as a threat to the security of cipher implementations. These attacks recover secret information by combining observations of the victim cache accesses with the knowledge of the internal ...
Daniel Genkin, Romain Poussier, Rui Qi Sim, Yuval Yarom, Yuanjing Zhao   +4 more
doaj   +1 more source

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Narrowing is a procedure that was first studied in the context of equational E-unification and that has been used in a wide range of applications. The classic completeness result due to Hullot states that any term rewriting derivation starting from an ...
Adrián Riesco, Juan Rodríguez-Hortalá
doaj   +1 more source

Shape‐Controlled Guanine Self‐Assemblies for Stable and Fast‐Ion Solid–Electrolyte Interphases in Sustainable Li Metal Batteries

Advanced Functional Materials, EarlyView.
The shape of guanine self‐assemblies is tuned by introducing alkyl (G8), fluoroalkyl (G8f), and oligoether (G8g) side chains into the G moiety. The scanning tunneling microscopy results and calculations show that the presence and type of the side chain strongly affect the G self‐assembly network.
So‐Huei Kang, So‐Dam Sohn, Kyung Min Lee, Seok‐Kyu Cho, Byongkyu Lee, Ji Eun Lee, Sang‐Young Lee, Sang Kyu Kwak, Hyung‐Joon Shin, Changduk Yang   +9 more
wiley   +1 more source