Results 201 to 210 of about 970,866 (376)

Review of Memristors for In‐Memory Computing and Spiking Neural Networks

Advanced Intelligent Systems, EarlyView.
Memristors uniquely enable energy‐efficient, brain‐inspired computing by acting as both memory and synaptic elements. This review highlights their physical mechanisms, integration in crossbar arrays, and role in spiking neural networks. Key challenges, including variability, relaxation, and stochastic switching, are discussed, alongside emerging ...
Mostafa Shooshtari, Teresa Serrano‐Gotarredona, Bernabé Linares‐Barranco   +2 more
wiley   +1 more source

Feature Disentangling and Combination Implemented by Spin–Orbit Torque Magnetic Tunnel Junctions

Advanced Intelligent Systems, EarlyView.
Spin–orbit torque magnetic tunnel junctions (SOT‐MTJs) enable efficient feature disentangling and integration in image data. A proposed algorithm leverages SOT‐MTJs as true random number generators to disentangle and recombine features in real time, with experimental validation on emoji and facial datasets.
Xiaohan Li, Yingqian Xu, Caihua Wan, Ran Zhang, Meike Hindenberg, Raik Hoffmann, Shiqiang Liu, Tianyi Zhang, Shilong Xiong, Dehao Kong, Jihao Xia, Fangshuo Gao, Zhuyang Nie, Thomas Kämpfe, Guoqiang Yu, Xiufeng Han   +15 more
wiley   +1 more source

On the Correspondence between Information Flow, Noninterference, and Symbolic Execution - Benchmark Set

, 2023
­ Anonymous
openalex   +1 more source

Compact Modeling of Volatile‐Switching Electrochemical Metallization Memory Cells by Means of the Electromotive Force

Advanced Intelligent Systems, EarlyView.
A volatile‐switching compact model of electrochemical metallization memory cells for neuromorphic architecture is developed and validated by reliable reproduction of device characterization measurements: I−V sweeps, SET kinetics, relaxation dynamics.
Rana Walied Ahmad, Solomon Amsalu Chekol, Julius Rasbach, Susanne Hoffmann‐Eifert, Stephan Menzel   +4 more
wiley   +1 more source

Verification of synchronous sequential machines based on symbolic execution [PDF]

, 1990
Olivier Coudert, Christian Berthet, Jean Christophe Madre   +2 more
openalex   +1 more source

Maneuverable Multilegged Locomotion through Anisotropically Arranged Soft Backbones in a Single‐Actuator Modular Miniature Robot

Advanced Intelligent Systems, EarlyView.
A modular eight‐legged robot exploits anisotropically oriented soft I‐beam backbones to transmit vibration from a single unbalanced‐mass actuator, producing frequency‐dependent multimodal gaits. A pseudo‐rigid‐body model enables high‐fidelity MuJoCo simulation, while Bayesian parameter identification and reinforcement learning yield robust control ...
Yiğit Yaman, Burak Arslan, Ömer Çağrı Ergin, Daniel M. Aukes, Onur Özcan   +4 more
wiley   +1 more source

Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis [PDF]

Joshua P. Bailey, Charles Nicholas
openalex   +1 more source

Source code for the SECA symbolic execution engine

, 2020
Markus Klinik, Bernard van Gastel, Cynthia Kop, M.C.J.D. van Eekelen   +3 more
openalex   +2 more sources