Results 121 to 130 of about 106,571 (319)
Advanced Science, EarlyView.UniMR, a training‐free framework for automated molecular recognition in STM images. By integrating adaptive feature selection with CLIP embeddings and Gaussian Mixture Modeling, UniMR achieves robust performance across diverse molecular systems and low‐resolution conditions.
Ziqiang Cao +10 more
wiley +1 more source
Coinductive Big-Step Operational Semantics [PDF]
, 2006 This paper illustrates the use of co-inductive definitions and proofs in big-step operational semantics, enabling the latter to describe diverging evaluations in addition to terminating evaluations. We show applications to proofs of type soundness and to proofs of semantic preservation for compilers.
openaire +2 more sources
Accurate Identification of Protein Binding Sites for All Drug Modalities Using ALLSites
Advanced Science, EarlyView.ALLSites is a unified sequence‐based framework for identifying proteome‐wide binding sites across all drug modalities. It integrates a gated convolutional network with a transformer architecture to capture residue interactions directly from the sequence.
Minjie Mou +14 more
wiley +1 more source
A Wireless, Battery‐Free Artificial Throat Patch with Deep Learning for Emotional Speech Recognition
Advanced Science, EarlyView.In this work, Xu and co‐workers develop a wireless, battery‐free artificial throat patch system (ATPS) consisting of a carbon nanotube‐based thin‐film strain sensor and a miniaturized flexible printed circuit board, to enable real‐time sensing of throat signals.
Bingxin Xu +10 more
wiley +1 more source
Typical Examples of Atoment Language Using
Моделирование и анализ информационных систем, 2011 Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj
Advanced Science, EarlyView.Donor‐derived tdTomato+ mature hepatocytes were FACS‐isolated and transplanted into Fah−/− host mice. During regeneration, these cells convert into proliferative, unipotent Afp+ rHeps. Their plasticity is governed by a PPARγ/AFP‐dependent metabolic switch, segregating into pro‐proliferative Afplow and pro‐survival Afphigh subpopulations.
Ting Fang +12 more
wiley +1 more source
CACLENS: A Multitask Deep Learning System for Enzyme Discovery
Advanced Science, EarlyView.CACLENS, a multimodal and multi‐task deep learning framework integrating cross‐attention, contrastive learning, and customized gate control, enables reaction type classification, EC number prediction, and reaction feasibility assessment. CACLENS accelerates functional enzyme discovery and identifies efficient Zearalenone (ZEN)‐degrading enzymes.
Xilong Yi +5 more
wiley +1 more source
Defeasible logic programming: language definition, operational semantics, and parallelism
Journal of Computer Science and Technology, 2001 This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj
Advanced Science, EarlyView.RegGAIN is a novel and powerful deep learning framework for inferring gene regulatory networks (GRNs) from single‐cell RNA sequencing data. By integrating self‐supervised contrastive learning with dual‐role gene representations, it consistently outperforms existing methods in both accuracy and robustness.
Qiyuan Guan +9 more
wiley +1 more source