Results 161 to 170 of about 3,500,861 (360)

The Structure of Aristotelian Logic [PDF]

, 1940

openalex   +1 more source

A logic of authentication

ACM Transactions on Computer Systems, 1990
M. Burrows, M. Abadi, R. Needham
semanticscholar   +1 more source

Ultra‐Fast Microwave‐Assisted Volumetric Heating Engineered Defect‐Free Ceria/Zirconia Bilayer Electrolytes for Solid Oxide Electrochemical Cells

Advanced Materials, EarlyView.
This study proposes a transformative approach for fabricating highly dense and thin ceria/zirconia bilayer electrolytes for solid oxide electrochemical cells using microwave‐assisted volumetric sintering at unprecedentedly low temperatures and short processing times, achieving excellent performance and durability.
Hyeongmin Yu, Seungsoo Jang, Donghun Lee, Gayoung Youn, Kang Taek Lee   +4 more
wiley   +1 more source

Mathematics and Logic for Digital Devices.

, 1959
Raymond J. Nelson, James T. Culbertson
openalex   +2 more sources

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems, 1986
E. Clarke, E. Emerson, A. Sistla
semanticscholar   +1 more source

Designing Physical Unclonable Functions From Optically Active Materials

Advanced Materials, EarlyView.
Assigning unforgeable “fingerprints” to manufactured goods is a key strategy to fight global counterfeiting. Optical physical unclonable functions (PUFs) are chemically generated random patterns of optically active materials serving as unique authenticators.
Maxime Klausen, Junfang Zhang, Molly M. Stevens   +2 more
wiley   +1 more source

Linear logic

SIGA, 1992
P. Lincoln
semanticscholar   +1 more source

Electrospun Lignin/ZnO Nanofibrous Membranes for Self‐Powered Ultrasensitive Flexible Airflow Sensor and Wearable Device

Advanced Materials, EarlyView.
This study explores the novel sensing applications of water evaporation‐induced power generation, by using lignin/ZnO nanofibrous membranes for sensing airflow through output voltage variation. Obtained lignin/ZnO airflow sensors are self‐powered, precise, and quick‐responding, and can be used as wearable devices for breath monitor, surrounding ...
Yifei Zhan, Jade Poisson, Xintong Meng, Zengbin Wang, Lizhen Chen, Tun‐Hui Wu, Robert Koehler, Kai Zhang   +7 more
wiley   +1 more source

Foundations of Inductive Logic. [PDF]

, 1959
G. C. J. Midgley, Roy Harrod
openalex   +1 more source

Artesunate Nanoplatform Targets the Serine–MAPK Axis in Cancer‐Associated Fibroblasts to Reverse Photothermal Resistance in Triple‐Negative Breast Cancer

Advanced Materials, EarlyView.
The artesunate nanoplatform selectively targets ECM CAF, functioning as a GTPase inhibitor through disruption of intracellular serine homeostasis. This metabolic intervention effectively suppresses MAPK cascade activity, which consequently inhibits PTT‐induced CAF to ECM CAF differentiation.
Dongdong Zheng, Jiaqi Yan, Xuejiao Liu, Zhiming Zhang, Anqi Jin, Yue Zhao, Lu Bai, Mengyao Quan, Xiuzhu Qi, Bin Fu, Zhigang Wu, Jin Zhou, Han Han, Ziqi Wang, Shiyu Wang, Chaoqiang Deng, Weijian Sun, Cai Chang, Shichong Zhou, Hongbo Zhang   +19 more
wiley   +1 more source