Results 121 to 130 of about 241,667 (307)
Generalized Gradient Equivariant Multivalued Maps, Approximation and Degree
Mathematics, 2020 Consider the Euclidean space Rn with the orthogonal action of a compact Lie group G. We prove that a locally Lipschitz G-invariant mapping f from Rn to R can be uniformly approximated by G-invariant smooth mappings g in such a way that the gradient of g ...
Zdzisław Dzedzej, Tomasz Gzella
doaj +1 more source
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 +9 more
wiley +1 more source
Design and semantics of form and movement (DeSForM 2006) [PDF]
, 2006 Design and Semantics of Form and Movement (DeSForM) grew from applied research exploring emerging design methods and practices to support new generation product and interface design.
Feijs, Loe +2 more
core
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
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 +11 more
wiley +1 more source
Theory and Practice of Action Semantics
BRICS Report Series, 1996 Action Semantics is a framework for the formal description<br />of programming languages. Its main advantage over other frameworks<br />is pragmatic: action-semantic descriptions (ASDs) scale up smoothly to<br />realistic programming languages.
openaire +4 more sources
Biomolecular Interaction Prediction: The Era of AI
Advanced Science, EarlyView.This review offers a thorough examination of recent progress in deep learning for predicting biomolecular interactions, including those involving proteins, nucleic acids, and small molecules. It covers data processing strategies, representative model architectures, and evaluation metrics, while highlighting current methodological limitations.
Haoping Wang, Xiangjie Meng, Yang Zhang
wiley +1 more source
Semanta – Semantic Email in Action [PDF]
, 2009 Semanta is a system supporting Semantic Email, implemented as an add-in to two popular Mail User Agents, using existing email transport technology and integrated with the Social Semantic Desktop. It enables machines to support email users with correctly interpreting, handling and keeping track of action items within email messages, visualizing email ...
Brian Davis +3 more
openaire +2 more sources
Precise Modelling of Compensating Business Transactions and its Application to BPEL
, 2005 We describe the StAC language which can be used to specify the orchestration of activities in long running business transactions. Long running business transactions use compensation to cope with exceptions. StAC supports sequential and parallel behaviour
Butler, Michael +2 more
core +4 more sources
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 +13 more
wiley +1 more source