Results 131 to 140 of about 235,856 (255)

Verified Decision Procedures for Modal Logics

, 2019
We describe a formalization of modal tableaux with histories for the modal logics K, KT and S4 in Lean. We describe how we formalized the static and transitional rules, the non-trivial termination and the correctness of loop-checks. The formalized tableaux are essentially executable decision procedures with soundness and completeness proved ...
Wu, Minchao, Goré, Rajeev
openaire   +2 more sources

Mesoscale Recovery of Microglial and Neuronal Dynamics After Craniotomy Across Wide Cortex in Transgenic Mice

Advanced Science, EarlyView.
This study employs longitudinal fluorescence imaging in transgenic mice to map post‐craniotomy cortical recovery. We identify distinct neuroimmune recovery phases: microglial structural inflammation peaks at ∼10 days, neuronal structural intensity peaks at ∼14 days and correlates with microglial activity, and functional network modularity is most ...
Guihua Xiao, Zhilei Wang, Pengchang Zheng, Jingyu Xie, Yangzhen Wang, Yun Chen, Zilin Wang, Ao Li, Minghuan Wang, Quanbo Ji, Can Gao, Di Yao, Lingbo Li, Jiangbei Cao   +13 more
wiley   +1 more source

The Observer Attribution of Supervisor Knowledge Hiding: An Exploratory Analysis Based on Grounded Theory

SAGE Open
Based on grounded theory, this paper discusses the classification of observer attribution of supervisor knowledge hiding and constructs a theoretical model of observer attribution of supervisor knowledge hiding.
Hongdan Zhao, Yuzian Chen
doaj   +1 more source

Intelligent Stain‐Free Histology on Structural Colorimetric Nanocavities

Advanced Science, EarlyView.
Chen and Gan et al. introduce a label‐free imaging platform using inexpensive Nanocavity‐on‐Silicon (NOS) slides. These slides transform subtle tissue variations into vivid structural colors, enabling high‐contrast histological imaging under a regular optical microscope. This stain‐free approach reveals morphological details comparable to traditional H&
Qizhe Chen, Yifei Ren, Lijie Hu, Yanyan Li, Wenyue Liang, Jin Wang, Han Gao, Xinhai Wang, Jiajun Li, Qiutao He, Yingfeng Zhu, Haifeng Hu, Qiwen Zhan, Imed Gallouzi, Jasmeen Merzaban, Di Wang, Zunguo Du, Xiaodong Gu, Qiaoqiang Gan   +18 more
wiley   +1 more source

The difficult harmonisation of EU policies

Italian Political Science, 2019
The EU pesticide policy is informed by a one-fits-all logic: scientific guidelines as well as procedural norms have been harmonised and centralised at EU level.
Emanuela Bozzini
doaj  

Procedures, Evidence and Logics

, 2023
openaire   +1 more source

DSG2+ Cancer Stem Cells Co‐Located With FAP+ Myofibroblasts in the Tumor Boundary That Determines the Efficacy of Immunotherapy in Non‐Small Cell Lung Cancer

Advanced Science, EarlyView.
Cancer stem cells (CSCs) in non‐small cell lung cancer display pronounced plasticity and spatial heterogeneity. By integrating single‐cell and spatial transcriptomics, this study defines a DSG2‐associated CSC program and reveals a tumor‐margin niche formed with FAP+ myofibroblasts.
Guangyu Fan, Le Tang, Tongji Xie, Mengwei Yang, Lin Li, Sheng Yang, Puyuan Xing, Xiaohong Han, Yuankai Shi   +8 more
wiley   +1 more source

Logic‐Gated HSV‐TK/GCV Suicide Gene Circuit for Triple‐Negative Breast Cancer

Advanced Science, EarlyView.
The BRAS comprises two modular genetic components driven by distinct tumor‐specific promoters and a failsafe layer with the NOT gate. This multi‐input logic gate circuit enables precise, specific expression of HSV‐TK in breast cancer cells with hardly expression in normal cell and effectively inhibits tumor growth in a triple‐negative breast cancer ...
Shasha Tang, Yuan Fang, Lingli Jin, Dongyang Liu, Yicheng Liu, Ruijia Zheng, Liyun Yong, Xin Wu, Longliang Qiao, Meiyan Wang, Fengfeng Cai   +10 more
wiley   +1 more source

Timing Mechanotransduction: Mechanically Dynamic Biomaterials Reveal the Temporal Hierarchy of YAP/TAZ Control Nodes

Advanced Science, EarlyView.
This work develops dynamically softening polyacrylamide hydrogels for time‐resolved imaging during continuous mechanical transitions. The study revealed that mechanotransduction is biphasic; YAP/TAZ inactivation is driven by early loss of the nucleocytoskeletal continuum connecting subnuclear adhesions, F‐actin, and the nuclear envelope, coupled with ...
Alessandro Gandin, Giada Vanni, Veronica Torresan, Margherita Pelosin, Rebecca Busetto, Anna Citron, Ambela Suli, Paolo Contessotto, Carlo Albanese, Francesca Zanconato, Tito Panciera, Stefano Piccolo, Giovanna Brusatin   +12 more
wiley   +1 more source

Spatial‐Wavelength Multiplexing Error‐Controlled Photonic Analog Computing System

Advanced Science, EarlyView.
A novel photonic integrated circuit prototype implementing the concept of general‐purpose analog computing and demonstrate its capability in radio frequency applications. The chip features a multichannel architecture and performs fully optical analog computation with frequency‐domain parallel processing. An FPGA‐based error‐correction algorithm aims to
Tao Zhu, Bowen Zhu, Shicheng Zhang, Keren Li, Xianchen Wu, Yazhi Pi, Jie Yan, Daigao Chen, Bingli Guo, Xi Xiao, Lei Wang, Xiaochuan Xu, Xuwei Xue, Shanguo Huang, Zizheng Cao, Shaohua Yu   +15 more
wiley   +1 more source