Results 141 to 150 of about 6,681,112 (349)

Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal

Advanced Materials, EarlyView.
Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton, Yue Li, Harshvardhan Solanki, Sergey Grebenchuk, Magdalena Grzeszczyk, Zhaolong Chen, Makars Šiškins, Kostya S. Novoselov, Maciej Koperski, Elton J. G. Santos, Charudatta Phatak   +10 more
wiley   +1 more source

Separation logic: a logic for shared mutable data structures

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002
J. C. Reynolds
semanticscholar   +1 more source

Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics

Advanced Materials, EarlyView.
Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón, Juan Ignacio Beltrán, Matilde Saura‐Múzquiz, Paolo Perna, M. Carmen Muñoz, Lucas Pérez, Maria Varela   +6 more
wiley   +1 more source

Adapting Logic Models Over Time: The Washington State Heart Disease and Stroke Prevention Program Experience

Preventing Chronic Disease, 2008
Logic models are graphic representations of the relationship between program activities and their intended effects and are used for both program planning and evaluation.
Jan Jernigan, PhD, Marilyn Sitaker, MPH, Miriam Patanian, MPH, Susan Ladd, MS   +3 more
doaj  

A Kripke-Kleene Semantics for Logic Programs

The Journal of Logic Programming, 1985
M. Fitting
semanticscholar   +1 more source

Vertical Self‐Rectifying Memristive Arrays for Page‐Wise Parallel Logic and Arithmetic Processing

Advanced Materials, EarlyView.
This study proposes a page‐wise logic‐in‐memory architecture realized in a 3D vertical resistvie random‐access memory array of self‐rectifying memristors. By introducing intra‐ and inter‐page logic primitives, the system enables Boolean and arithmetic operations to be executed directly within the memory.
Kunhee Son, Jea Min Cho, Dong Hoon Shin, Yeong Rok Kim, Néstor Ghenzi, Sunwoo Cheong, Byeong Su Kim, Jung Kyu Lee, Sungho Kim, Wonho Choi, Soo Hyung Lee, Janguk Han, Cheol Seong Hwang   +12 more
wiley   +1 more source

3D Anodic Alumina Nanoarchitectures: A Decade of Progress from Foundational Science to Functional Metamaterials

Advanced Materials, EarlyView.
Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley   +1 more source

Abstract Interpretation and Application to Logic Programs

The Journal of Logic Programming, 1992
P. Cousot, R. Cousot
semanticscholar   +1 more source

High‐Performance Air‐Stable Polymer Monolayer Transistors for Monolithic 3D CMOS logics

Advanced Materials, EarlyView.
A fibrillar polymer monolayer with a self‐confinement effect is demonstrated, in which aligned chains parallel the nanofiber axis. Employing a top‐gate CYTOP dielectric, this monolayer transistor achieves high mobility (7.12 cm2 V−1 s−1) and exceptional stability over 1260 days in air.
Miao Cheng, Yanqin Zhang, Jinyao Wang, Haonan Wang, Yifan Xie, Shuaidi Zhang, Changrui Liu, Jingyun Chu, Feng Zhang, Zhenzhong Yang, Zilong Zheng, Mingjian Wu, Ling Li, Mengmeng Li   +13 more
wiley   +1 more source

Autonomous Hydrogel Actuators Programmed by Endogenous Biochemical Logic for Dual‐Stage Morphing and Drug Release

Advanced Materials, EarlyView.
A 3D‐printed BSA–PEGDA bilayer actuator performs biochemical logic, bending autonomously in acid and releasing its drug payload only when both acid and pepsin are present. This dual‐stage, enzyme‐gated mechanism enables autonomous catch‐and‐release motion and controlled gastric drug delivery, representing a programmable soft material powered by ...
Yuchen Liu, Harischandra Potthuri, Alejandro Sosnik, Luai R. Khoury   +3 more
wiley   +1 more source