Results 141 to 150 of about 165,990,627 (290)

A Distributed Kripke Semantics

, 2004
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this ...
Chadha, R., Macedonio, D., Sassone, V.
core   +1 more source

Nesting is not contracting

Journal of High Energy Physics
The default way of proving holographic entropy inequalities is the contraction method. It divides Ryu-Takayanagi (RT) surfaces on the ‘greater than’ side of the inequality into segments, then glues the segments into candidate RT surfaces for terms on the
Bartłomiej Czech, Sirui Shuai
doaj   +1 more source

Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors

Advanced Science, EarlyView.
This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung, Gwang Ya Kim, Sejin Kim, Hyunjong Seo, Se Gi Lee, Sang Min Won, Dongjoon Rhee, Joohoon Kang   +7 more
wiley   +1 more source

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source

A Portable Soft Robotic Glove with Fully Functional Thumb Assistance for Complex Dexterous Fine Motor Skills

Advanced Science, EarlyView.
A portable, sensorized, and controlled dexterous thumb‐enhanced glove helps stroke survivors swipe phones, twist caps, and perform other tasks. It is based on a powerful continuously, segmented origami dual chamber actuator to achieve active thumb CMC and MCP joint assistance and passively extend the IP joint.
Disheng Xie, Zhen Wang, Zhongping Ye, Minghao Liu, Xiangqian Shi, Shuk Fan Tong, Jianbin Liu, Chuanbin Mao, Thomas W. Leung, Haitao Liu, Raymond Kai‐yu Tong   +10 more
wiley   +1 more source

Radiation Resilient Synthetic Antiferromagnets‐Based Neuromorphic Device for Sea Surface Temperature Reconstruction

Advanced Science, EarlyView.
By leveraging strong antiferromagnetic coupling, radiation‐tolerant synthetic antiferromagnetic synaptic devices are developed. Their intrinsic nonlinearity emulates neuronal activation, while linear and symmetric conductance modulation mimics synaptic plasticity.
Mingxu Song, Jiahao Liu, Ruisheng Hu, Teng Xu, Aihua Tang, Zhihong Zhu   +5 more
wiley   +1 more source

Targeting GALNT7 Disrupts the TAZ O‐GalNAcylation Feedback Loop to Suppress Gallbladder Cancer Progression

Advanced Science, EarlyView.
Aberrant GALNT7‐mediated O‐GalNAcylation stabilizes TAZ to drive gallbladder cancer progression through a feed‐forward transcriptional loop. Structure‐based screening identifies Olaparib as a potent GALNT7 antagonist that disrupts this oncogenic axis, providing an immediate therapeutic strategy for this aggressive malignancy.
Peng Qiu, Ming Zhang, Yunxiang Feng, Yibo Deng, Kai Zhao, Xiangyu Li, Yun Lu, Li Tian, Tao Yang, Wei Yao, Jianming Wang, Zhengdong Deng   +11 more
wiley   +1 more source

Specification and verification of total correctness of distributed programs [PDF]

This paper describes a compositional specification and proof system for networks of distributed processes. Each process in a network is specified using first order logic in terms of a presupposition P and an affirmation A as a triple (P) S (A).
Joseph, Mathai, Pandya, Paritosh K.
core  

Time Resolved DNA Barcodes for Information Encoding and Dynamic Encryption

Advanced Science, EarlyView.
This study establishes a molecular information platform based on DNA Temporal Barcodes. Information is encoded through combinations of DNA tags with distinct retention times, while dynamic encryption is achieved through a key‐triggered DNA ligation.
Likang Chu, Haixia Wang, Haiyan Gao, Sixian Chen, Zilong Li, Zhanyihao Hao, Lei He, Da Han   +7 more
wiley   +1 more source

Multiscale Coupling From Mastication to Retronasal Aroma Perception: The PG‐DTCFN Model and Multiphysics Simulation

Advanced Science, EarlyView.
Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen, Xiongfeng He, Zihao Li, Zidong Chen, Jiajin Sun, Xinyu Jiang, Yunhui Zhang, Lizhang Wu, Ran Wang, Jingnan Lu, Bo Wang, Kezhou Cai, Baocai Xu   +12 more
wiley   +1 more source