Results 111 to 120 of about 201,623 (302)
Advanced Materials, EarlyView.We demonstrate a neuromorphic synapse in 2D Fe3GaTe2 flakes. The device operates via a current‐driven transformation from a skyrmion‐lattice to a stripe‐domain state, yielding a linear anomalous Hall resistance response with a tunable slope to enable multiply‐accumulate operations. Simulations confirm its viability in artificial neural networks.
Jixiang Huang +20 more
wiley +1 more source
La metafísica de orden superior: el caso del realismo fregeano
Síntesis. Revista de FilosofíaHigher-order metaphysics is an emerging research program that aims to account for metaphysical problems using the tools of higher-order logic. This critical study shows some of the relevant antecedents that led to this paradigm shift that is occurring in
Felipe Esteban Carrasco Figueroa
doaj +1 more source
Advanced Materials, EarlyView.A Nb‐proximitized Josephson junction based on a WTe2/α‐Fe2O3 heterostructure exhibits a robust superconducting diode effect with programmable polarity. The diode direction can be trained by magnetic fields and switched by temperature cycling, revealing tunable finite‐momentum pairing states and competing superconducting states in symmetry‐broken ...
Enze Zhang +9 more
wiley +1 more source
A Cell Sizing Technique for Mitigating Logic Soft Errors in Gate-level Designs
Advances in Electrical and Computer Engineering, 2013 The effect of logic soft errors on the degradation of the reliability becomes more crucial in the case of nano-meter semiconductor designs. Several hardening techniques have been reported from the transistor- to system-level.
KIM, J. T., PARK, J. K.
doaj +1 more source
Application of a Novel AＲCP Circuit in UPS
Journal of Harbin University of Science and Technology, 2017 In order to reduce the loss of the power switching device and improve the efficiency of the UP system，the AＲCP soft switching technology can be used.
MA Jun-jie +3 more
doaj +1 more source
Validating and Animating Higher-Order Recursive Functions in B
, 2007 ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions which cannot be represented explicitly by a tool.
Leuschel, Michael +2 more
core
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
Higher Order Modal Logic [PDF]
, 2006 A logic is called higher order if it allows for quantication (and possibly ab-straction) over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions ...
Muskens, R.A. +2 more
core
The Complexity of Independence-Friendly Fixpoint Logic
, 2005 . We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedding PFP, we show that its combined complexity is ExpSpace-hard, and ...
Julian Bradfield +4 more
core +1 more source
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source