Results 101 to 110 of about 253,413 (321)
On the semantics of durational actions
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
F. CORRADINI +2 more
openaire +4 more sources
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
Semantics in action: An electrophysiological study on the use of semantic knowledge for action
Journal of Physiology-Paris, 2008 Recent studies have supported close interactions between language and action-related processes, suggesting comparable neural mechanisms. However, relatively little is known about the semantics involved in action planning. The present study investigated the activation of semantic knowledge in meaningful actions by recording event-related potentials ...
Elk, M. van +2 more
openaire +4 more sources
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
Treating limb apraxia via action semantics: a preliminary study. [PDF]
Neuropsychol Rehabil, 2021 Stoll H +3 more
europepmc +1 more source
A reduced semantics for deciding trace equivalence using constraint systems
, 2014 Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
A. Anisimov +7 more
core +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
, 2004 There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same interface cannot be observed by any ...
Reeves, Steve, Streader, David
core +1 more source
Advanced Science, EarlyView.This work presents a dispersive full‐channel Jones matrix modulation strategy using single‐layer metasurface. By synergizing wavelength dispersion engineering with elliptical polarization bases, independent control of four Jones matrix channels is achieved across multiple wavelengths.
Hairong He +10 more
wiley +1 more source
Formal Dependability Engineering with MIOA [PDF]
, 2008 In this paper, we introduce MIOA, a stochastic process algebra-like specification language with datatypes, as well as a logic intSPDL, and its model checking algorithms.
Haverkort, Boudewijn, Kuntz, Matthias
core +2 more sources