Results 121 to 130 of about 4,114,812 (330)
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
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
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
Learning to Understand by Evolving Theories
, 2013 In this paper, we describe an approach that enables an autonomous system to infer the semantics of a command (i.e. a symbol sequence representing an action) in terms of the relations between changes in the observations and the action instances.
Mueller, Martin E., Thosar, Madhura D.
core
Semantics out of context: nominal absolute denotations for first-order logic and computation
, 2016 Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source
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
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
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 +9 more
wiley +1 more source
PDDL2.1: An extension of PDDL for expressing temporal planning domains [PDF]
, 2003 In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources.
Fox, M., Long, D.
core +1 more source
SpaBalance: Balanced Learning for Efficient Spatial Multi‐Omics Decoding
Advanced Science, EarlyView.SpaBalance is a computational framework that harmonizes multi‐omics learning via gradient equilibrium and dual‐stream feature decomposition, achieving superior clustering accuracy, biological interpretability, and scalable integration of three or more spatial omics modalities.
Yingbo Cui +8 more
wiley +1 more source