Results 41 to 50 of about 677,578 (177)

Ultrafast Room‐Temperature Nanofabrication via Ozone‐Based Gas‐Phase Metal‐Assisted Chemical Etching for High‐Performance Silicon Photodetectors

Advanced Functional Materials, EarlyView.
Ozone‐based gas‐phase metal‐assisted chemical etching enables unprecedented room‐temperature fabrication of high‐quality silicon nanowires. The superior oxidation potential of O3 drives rapid vertical etching (1 µm min−1) while maintaining exceptional structural integrity. The pristine nanowire surfaces enable high‐performance core‐shell photodetectors
Hyein Cho, Yejin Han, Geonhwi Kim, Jihwan Jeong, Seongmin Lee, Yebin Ahn, Sang Beom Hong, Soohyeok Park, Inkyeong Park, So Eun Jang, Duck Hyun Youn, Han‐Don Um   +11 more
wiley   +1 more source

Ternary Transistors With Reconfigurable Polarities

Advanced Functional Materials, EarlyView.
Polarity‐reconfigurable ternary transistors are demonstrated using black phosphorus homojunction with asymmetric contacts and split‐gate structures. Suppression of majority carrier injection, while Fowler–Nordheim tunneling of low‐density minority carriers persists, enables a well‐defined intermediate state with improved on/off ratios.
Dongju Yeom, Yeonghyeon Ko, Youngkyu Ko, Heungsoon Im, Jungi Song, Yongwook Seok, Hanbyeol Jang, Jaeha Hwang, Seokhun Jin, Kenji Watanabe, Takashi Taniguchi, Kayoung Lee   +11 more
wiley   +1 more source

Classes of Terminating Logic Programs

, 2002
Termination of logic programs depends critically on the selection rule, i.e. the rule that determines which atom is selected in each resolution step.
Pedreschi, Dino, Ruggieri, Salvatore, Smaus, Jan-Georg   +2 more
core   +2 more sources

Deterministic Writing of Field‐Free and Unipolar Spin‐Transfer Torque Magnetic Random‐Access Memory

Advanced Functional Materials, EarlyView.
Deterministic unipolar‐switching STT‐MRAM with field‐free operation is experimentally demonstrated. The device features a compact 4F2 cell architecture using a diode as the access device and a single magnetic tunneling junction. Unlike conventional bipolar switching STT‐MRAM requiring a three‐terminal access transistor in the array, this design offers ...
Ming‐Chun Hong, Ching Shih, Guan‐Long Chen, Yu‐Chen Hsin, Chen‐Yu Yang, Hsin‐Han Lee, Kuan‐Ming Chen, Yu‐Ho Kao, Tsai‐Yu Wu, Chiao‐Yun Lo, Sin‐You Huang, Cheng‐Yi Shih, Shan‐Yi Yang, I‐Jung Wang, Yao‐Jen Chang, Shih‐Ching Chiu, Yi‐Hui Su, Chih‐Yao Wang, Jeng‐Hua Wei, Shyh‐Shyuan Sheu, Wei‐Chung Lo, Shih‐Chieh Chang, Tuo‐Hung Hou   +22 more
wiley   +1 more source

Ultrasoft Iontronics: Stretchable Diodes Enabled by Ionically Conductive Bottlebrush Elastomers

Advanced Functional Materials, EarlyView.
This work introduces a solvent‐free, ultrasoft, and stretchable ionic diode based on oppositely charged bottlebrush elastomers (BBEs). The BBE diode exhibits an ultralow Young's modulus (<23 kPa), a high rectification ratio of 46, and stretchability over 400%.
Xia Wu, Pengfei Xu, Zefang Zhang, Qi Yang, Xi Huang, Peng Pan, Xinyu Liu   +6 more
wiley   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Super Logic Programs

, 2002
The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of theories called `super logic programs'. We argue that these programs form a
Brass, Stefan, Dix, Juergen, Przymusinski, Teodor C.   +2 more
core   +1 more source

Transformation Rules for Locally Stratified Constraint Logic Programs [PDF]

, 2004
We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model.
Fioravanti, Fabio, Pettorossi, Alberto, Proietti, Maurizio   +2 more
core  

Termination Proofs for Logic Programs with Tabling

, 2000
Tabled logic programming is receiving increasing attention in the Logic Programming community. It avoids many of the shortcomings of SLD execution and provides a more flexible and often extremely efficient execution mechanism for logic programs.
De Schreye, Danny, Sagonas, Konstantinos, Verbaeten, Sofie   +2 more
core   +3 more sources

Prospects of Electric Field Control in Perpendicular Magnetic Tunnel Junctions and Emerging 2D Spintronics for Ultralow Energy Memory and Logic Devices

Advanced Functional Materials, EarlyView.
Electric control of magnetic tunnel junctions offers a path to drastically reduce the energy requirements of the device. Electric field control of magnetization can be realized in a multitude of ways. These mechanisms can be integrated into existing spintronic devices to further reduce the operational energy.
Will Echtenkamp, Brahmdutta Dixit, Yifei Yang, Deyuan Lyu, Thomas Peterson, Qi Jia, Yu‐Chia Chen, Jian‐Ping Wang   +7 more
wiley   +1 more source