Results 41 to 50 of about 2,396,703 (177)

Explicit Evidence Systems with Common Knowledge

, 2010
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge.
Alberucci L., Antonakos E., Artemov S. N., Artemov S. N., Artemov S. N., Artemov S. N., Artemov S. N., Blass A., Brünnler K., Brünnler K., Bucheli S., Bucheli S., Fagin R., Fitting M., Fitting M., Jäger G., Kuznets R., McCarthy J., Mkrtychev A., Nonaka I., Plaza J., Renne B., Renne B., Roman Kuznets, Samuel Bucheli, Thomas Studer, Yavorskaya (Sidon) T.   +26 more
core   +5 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

Matching Logic

, 2017
This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching.
Rosu, Grigore
core   +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

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

Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures

Advanced Functional Materials, EarlyView.
3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina, Luke Alexander Turnbull, Weijie Xu, Markus König, Paul Simon, Wilder Carrillo‐Cabrera, Amalio Fernández‐Pacheco, Uri Vool, Dieter Suess, Claas Abert, Vladimir M. Fomin, Claire Donnelly   +11 more
wiley   +1 more source

Polarization‐Driven Molecular Alignment of Azopolymer for Dual‐Encrypted and Moiré Animation‐Based Anti‐Counterfeiting

Advanced Functional Materials, EarlyView.
A multi‐layered anti‐counterfeiting platform is developed based on an azopolymer (PAzo) system. By leveraging the molecular orientation control of PAzo under linearly polarized light (LPL), encrypted patterns are fabricated that remain invisible under standard conditions and require polarized optical microscopy (POM) for decryption.
Ming‐Hsuan Chang, Yi‐Chung Dzeng, Yi‐Ren Chen, Chun‐Chi Chang, Lin‐Ruei Lee, Tsung‐Hung Tsai, Yi‐Fan Chen, Yu‐Chun Liu, Teruki Sugiyama, Chi Chen, Jiun‐Tai Chen   +10 more
wiley   +1 more source

Dual‐Nanoparticle Engineered Hydrogel Reverses Bicellular Oxidative Stress to Accelerate Diabetic Fracture Healing

Advanced Functional Materials, EarlyView.
CD105‐LNPs and PS‐LNPs can deliver α‐lipoic acid to bone marrow mesenchymal stem cells and bone marrow‐derived macrophages, reversing high glucose‐induced oxidative stress while enhancing osteogenesis and M2 polarization. Integrating both nanoparticles into glucose‐responsive hyaluronic acid hydrogel forms DLNPs@HA hydrogel, which accelerates diabetic ...
Yanzhi Zhao, Weixian Hu, Shengming Zhang, Yuheng Liao, Kangkang Zha, Chenyan Yu, Zhenhe Zhang, Wenqian Zhang, Bobin Mi, Faqi Cao, Guohui Liu, Wu Zhou   +11 more
wiley   +1 more source

Atmospheric Doping of Stretchable Polymer Semiconductors for Skin Electronics

Advanced Functional Materials, EarlyView.
An atmospheric doping system using oxygen molecules in air as dopants is introduced for stretchable polymer semiconductors. The chemisorbed oxygen molecules act as acceptor, lead to increase not only the hole concentration of the semiconductor film over two orders of magnitude (3.37 × 1017 cm−3) but also electrical properties of the field‐effect ...
Min Woo Jeong, Min Hyouk Kim, Jun Su Kim, Tae Uk Nam, Ngoc Thanh Phuong Vo, Kyu Ho Jung, Tae Il Lee, Jin Young Oh   +7 more
wiley   +1 more source