Results 71 to 80 of about 103,776 (269)

ggalign: Bridging the Grammar of Graphics and Biological Multilayered Complexity

Advanced Science, EarlyView.
The ggalign package provides a comprehensive framework for composable visualization built on top of ggplot2. Its primary purpose is to enable the construction of complex multi‐plot layouts with consistent observation alignment across plots, particularly for high‐dimensional data contexts such as genomics, transcriptomics, and microbiome studies ...
Yun Peng, Shan Jiang, Yuxuan Song, Peng Luo, Jianfeng Li, Dehua Hu, Jian‐Guo Zhou, Guangchuang Yu, Tao Xu, Shixiang Wang   +9 more
wiley   +1 more source

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential [PDF]

Logical Methods in Computer Science
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed and ...
Francesco Dagnino, Francesco Gavazzo
doaj   +1 more source

B‐EPIC: A Transformer‐Based Language Model for Decoding B Cell Immunodominance Patterns

Advanced Science, EarlyView.
B‐Epic: Achieving high‐accuracy B cell epitope prediction through Transformer architecture. Comprehensive validation demonstrates B‐Epic's robust performance across diverse datasets. B‐Epic facilitates vaccine development for H. pylori and EBV, addressing critical public health challenges.
Jun‐Ze Liang, Youtao Wang, Cong Sun, Tao Liu, Zengfeng Wu, Lipeng Chen, Lina Chen, Penglin Li, Zhengkang Li, Cangui Zhang, Bingyun Lu, Ye Chen, Bing Gu, Qian Zhong, Xin Wei Wang, Mu‐Sheng Zeng, Jinping Liu   +16 more
wiley   +1 more source

Two Semantics of Trust Management Language with Negation

Journal of Telecommunications and Information Technology, 2013
The family of Role-based Trust management languages is used for representing security policies by defining a formalism, which uses credentials to handle trust in decentralized, distributed access control systems.
Anna Felkner
doaj   +1 more source

Single Mitochondrion Morphology‐Function Relationship Analysis Using Fluorescent Probes and Artificial Intelligence

Advanced Science, EarlyView.
An integrated strategy combining a mitochondria‐targeted fluorescent probe set and an AI framework enables simultaneous analysis of mitochondrial morphology and function at the single organelle level. By fusing multi‐parametric features, machine learning classification accurately distinguishes individual mitochondria under hypoxia‐related conditions ...
Yang Ding, Bin Fang, Qingzhe Li, Biying Zhang, Jintao Li, Hua Bai, Nicolas H. Voelcker, Bo Peng, Xuekang Yang, Lin Li   +9 more
wiley   +1 more source

A Metalanguage for Guarded Iteration

, 2018
Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves as a unifying ...
A Carboni, B Geron, E Giménez, E Giménez, E Moggi, G Plotkin, G Winskel, JRB Cockett, K Nakata, K Nakata, Keiko Nakata, Keiko Nakata, L Birkedal, M Hyland, N Benton, PB Levy, R Clouston, R Milner, S Abramsky, S Bloom, S Goncharov, S Goncharov, S Goncharov, S Goncharov, S Mac Lane, S Milius, T Coquand, WW Tait   +27 more
core   +1 more source

Enhancer Reprogramming Reveals the Tumorigenic Role of PTPRZ1 in Lung Squamous Cell Carcinoma

Advanced Science, EarlyView.
Lung squamous cell cancer (LUSC) is deadly due to lack of good treatments. Here, multiomics techniques are applied to LUSC tumors and find thousands of cancer‐specific enhancers controlling key genes. Interestingly, the gene PTPRZ1 is identified as a critical oncogene driven by the LUSC‐acquired enhancers. PTPRZ1 is activated by MDK, fueling cancer via
Yong‐Qiang Ning, Jie Wang, Yihui Zhang, Hongrui Li, Zenan Jiang, Xinyu Su, Xiao Yang, Xiaoxuan Wu, Bing Wei, Jianmin Ying, Jian Yan, Wenbin Li   +11 more
wiley   +1 more source

Program equivalence for a concurrent lambda calculus with futures [PDF]

, 2006
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the ...
Niehren, Joachim, Sabel, David, Schmidt-Schauß, Manfred, Schwinghammer, Jan   +3 more
core   +1 more source

A Floating‐Gate Photoelectric Synaptic Transistor Utilizing BP/POx/WSe2 Heterostructure for Neuromorphic Visual Processing

Advanced Science, EarlyView.
In this paper, a novel floating gate transistor (BP/POx/WSe2) is developed, which enables rich synaptic functionality under optoelectronic conditions and can mimic human visual memory. By introducing a two‐path convolutional neural network that synergistically fuses optical and electronic inputs, it can achieve efficient feature extraction and weight ...
Yuxuan Zeng, Wenxing Lv, Zehai Hou, Weihua Huang, Zhipeng Yu, Zishuo Han, Rongbin Zhan, Tianle Zeng, Yawen Luo, Yu Lin, Weiming Lv, Bin Fang, Zhongming Zeng, Lianbo Guo   +13 more
wiley   +1 more source

Leveraging 3D Molecular Spatial Visual Information and Multi‐Perspective Representations for Drug Discovery

Advanced Science, EarlyView.
A deep learning framework called MolVisGNN is proposed to fuse 3D molecular visual information of drugs with multi‐source features, which proves the importance of 3D molecular visual information of drugs and the advancedness of this model in the field of drug discovery, and provides a reference for how to more comprehensively express small molecule ...
Zimai Zhang, Xi Zhou, Yujie Qi, Xiaobo Zhu, Xun Deng, Feng Tan, Yuan Huang, Lun Hu, Zhuhong You, Pengwei Hu   +9 more
wiley   +1 more source