Results 51 to 60 of about 2,457 (170)
Advanced Electronic Materials, EarlyView.Our work bridges the gap between skyrmion discovery and material design by demonstrating how atomic‐scale control of exchange interactions enables tunable skyrmion phase transitions in centrosymmetric magnetic metals. ABSTRACT Magnetic skyrmions are topologically protected spin states that hold promise for shaping the future of electronics.
Dasuni N. Rathnaweera +9 more
wiley +1 more source
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Advanced Electronic Materials, EarlyView.ABSTRACT Layered 2D materials are considered as promising for memristive applications due to their ultimate vertical scalability compared to conventional semiconductor films and pronounced hysteresis properties. Bias‐resolved Raman and Photoluminescence mapping is used to quantify strain from phonon shifts and carrier density from the exciton‐trion ...
Vladislav Kurtash +4 more
wiley +1 more source
Variable elimination for building interpreters [PDF]
, 2010 In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (the language which is used to build the interpreter).
Cohen, Julien +2 more
core +3 more sources
The Algebraic Intersection Type Unification Problem
, 2017 The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems.
Dudenhefner, Andrej +2 more
core +1 more source
Advanced Electronic Materials, EarlyView.In this work, low‐resolution infrared imaging is combined with a 28 nm FeFET IMC architecture to enable compact, energy‐efficient edge inference. MLC FeFET devices are experimentally characterized, and controlled multi‐level current accumulation is validated at crossbar array level.
Alptekin Vardar +9 more
wiley +1 more source
Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis. [PDF]
Entropy (Basel), 2023 Bach BG, Kundu A, Acharya T, Sarkar A.
europepmc +1 more source
Advanced Energy Materials, EarlyView.A fluorinated cyclic ether, FDOL, is shown to stabilize Mg metal anodes by tuning Mg2+ solvation of the G2 electrolyte. The G2‐FDOL electrolyte suppresses passivation and thick, diffusion‐blocking Mg deposits, enabling more uniform Mg plating/stripping and sustained interfacial reactions.
Hafiz Ahmad Ishfaq +9 more
wiley +1 more source
Neural circuits and symbolic processing. [PDF]
Neurobiol Learn Mem, 2021 Do Q, Hasselmo ME.
europepmc +1 more source
OTTER Experiments in a System of Combinatory Logic
, 1994 This paper describes some experiments involving the automated theorem-proving program OTTER in the system TRC of illative combinatory logic. We show how OTTER can be steered to find a contradiction in an inconsistent variant of TRC, and present some ...
Jech, Thomas
core +1 more source