Results 121 to 130 of about 110,833 (284)

Towards modular verification of pathways: fairness and assumptions

, 2012
Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems.
Drábik, Peter, Maggiolo-Schettini, Andrea, Milazzo, Paolo   +2 more
core   +2 more sources

Spectral Decomposition of Chemical Semantics for Activity Cliffs‐Aware Molecular Property Prediction

Advanced Science, EarlyView.
PrismNet mimics chemical intuition by functioning as a computational prism, refracting molecular graphs into complementary semantic views and spectral frequencies. This dual‐decomposition strategy effectively captures both global topologies and subtle “activity cliff” perturbations.
Chaoyang Xie, Junhu Xu, Guangyi Huang, Shihang Wang, Mutian He, Xinyu Dong, Huiyang Hong, Xiaojun Yao, Qi Wang, Yuquan Li   +9 more
wiley   +1 more source

Biomechanics‐Driven 3D Architecture Inference from Histology Using CellSqueeze3D

Advanced Science, EarlyView.
CellSqueeze3D reconstructs 3D cellular architecture from standard 2D histology images using biomechanical constraints and optimization. Validated on clinical datasets, it enables accurate tissue phenotyping, predicts gene mutations, and reveals significant correlations between nuclear‐cytoplasmic ratio entropy and tumor progression.
Yan Kong, Hui Lu
wiley   +1 more source

The Determination of the Elastoplastic and Phase-Field Parameters for Monotonic and Fatigue Fracture of Sintered Steel Astaloy™ Mo+0.2C

Metals
This paper presents a procedure for determining the elastoplastic parameters of phase-field fracture of sintered material. The material considered was sintered steel Astaloy™ Mo+0.2C of three densities: 6.5, 6.8 and 7.1 g/cm3. The stress–strain curve and
Tomislav Polančec, Tomislav Lesičar, Zdenko Tonković   +2 more
doaj   +1 more source

Multimodal AI‐Driven Identification of Dehydrocostus Lactone as a Potent Renal Fibrosis Attenuator Targeting IQGAP1

Advanced Science, EarlyView.
Renal fibrosis, a hallmark of CKD, lacks effective treatments. Herein, we developed a multimodal AI model (TCM‐SPred) to identify anti‐fibrotic agents and found that dehydrocostus lactone (DCL) targets IQGAP1 to inhibit Wnt signaling, blocking the interaction between IQGAP1 and CCT3, demonstrating potent anti‐fibrotic activity in vitro and in vivo ...
Weijiang Lin, Wenzhuo Xu, Kang Liu, Ping Wang, Zhenzhen Zhu, Wenyu Lu, Zhe Zheng, Xiaoqian Peng, Xunkai Yin, Shulan Mei, An Pan, Jian Liu, Lihong Hu   +12 more
wiley   +1 more source

MicrobeDiscover: A Knowledge Graph–Enabled AI Framework for Identifying Microbes for Inorganic Nanomaterial Biosynthesis

Advanced Science, EarlyView.
Microbial synthesis of nanomaterials (NMs) is eco‐friendly, but the screening of microorganisms is limited by inefficient traditional methods (currently only involving∽400 microorganisms/90 NMs). We propose AI framework MicrobeDiscover, integrating a knowledge graph of microbe‐NM interactions.
Ludi Wang, Hexing Han, Yufeng Liu, Zhiyuan Ning, Yujie Ma, Haidan Wang, Jinling Xu, Qiansheng Huang, Wenjuan Cui, Yuanchun Zhou, Yang Gao, Bin Wang, Yi Du   +12 more
wiley   +1 more source

Integrating Spatial Proteogenomics in Cancer Research

Advanced Science, EarlyView.
Xx xx. ABSTRACT Background: Spatial proteogenomics marks a paradigm shift in oncology by integrating molecular analysis with spatial information from both spatial proteomics and other data modalities (e.g., spatial transcriptomics), thereby unveiling tumor heterogeneity and dynamic changes in the microenvironment.
Yida Wang, Yang Wu, Feng Zhang, Parthiban Periasamy, Haiyue You, Denise Goh, Rachel Elizabeth Ann Fincham, Xin Ning, Danping Wu, Lu Liu, Ying Jiang, Zhiwen Qian, Joe Yeong, Yan Zhang   +13 more
wiley   +1 more source

DFT Calculations of Structure and IR Spectra of M@C₆₀ and M₂@C₆₀ Endofullerenes (M=Sc and Y)

Molecules
The endohedral metallofullerenes with a rare-earth metal encapsulated into the carbon cage are nanoparticles with potentially wide applications. We present the results of our quantum-chemical modelling of Sc@C60, Y@C60 and Sc2@C60, Y2@C60 endofullerenes ...
Alexey V. Krisilov, Igor V. Nechaev, Vladislav E. Chernov, Gie Eli Kallu   +3 more
doaj   +1 more source

Machine Learning‐Guided Engineering of Protein Phase Separation Properties in Immune Regulation

Advanced Science, EarlyView.
PScalpel, a machine learning model integrating protein structure extraction, graph contrastive learning, and a genetic algorithm, guides the engineering of protein phase separation ability. It adopts transfer learning methods to provide predictive recommendations for protein phase separation ability changes through single amino acid mutations in a ...
Chenqiu Zhang, Jia Wang, Zhe Wang, Liyan Zhu, Sihui Cai, Luzhi Zhan, Haorui Liang, Yaoxing Wu, Jianqiang Li, Jun Cui   +9 more
wiley   +1 more source

Semantic World Models

Planning with world models offers a powerful paradigm for robotic control. Conventional approaches train a model to predict future frames conditioned on current frames and actions, which can then be used for planning. However, the objective of predicting future pixels is often at odds with the actual planning objective; strong pixel reconstruction does
Berg, Jacob, Zhu, Chuning, Bao, Yanda, Durugkar, Ishan, Gupta, Abhishek   +4 more
openaire   +2 more sources