Results 41 to 50 of about 594,677 (236)
Spatial groundings for meaningful symbols [PDF]
, 2009 The increasing availability of ontologies raises the need to establish relationships and make inferences across heterogeneous knowledge models. The approach proposed and supported by knowledge representation standards consists in establishing formal ...
Dietze, Stefan, Tanasescu, Vlad
core +2 more sources
Molecular Oncology, EarlyView.This work identified serum proteins associated with pancreatic epithelial neoplasms (PanINs) and early‐stage PDAC. Proteomics screens assessed genetically engineered mice with abundant PanINs, KPC mice (Lox‐STOP‐Lox‐KrasG12D/+ Lox‐STOP‐Lox‐Trp53R172H/+ Pdx1‐Cre) before PDAC development and also early‐stage PDAC patients (n = 31), compared to benign ...
Hannah Mearns +10 more
wiley +1 more source
Errors in algebraic statements translation during the creation of an algebraic domino [PDF]
, 2012 We present a research study which main objective is to inquire into secondary school students´ ability to translate and relate algebraic statements which are presented in the symbolic and verbal representation systems.
Castro, Encarnación +3 more
core
Conformant Planning via Symbolic Model Checking
, 2011 We tackle the problem of planning in nondeterministic domains, by presenting a new approach to conformant planning. Conformant planning is the problem of finding a sequence of actions that is guaranteed to achieve the goal despite the nondeterminism of ...
Cimatti, A., Roveri, M.
core +1 more source
ToyArchitecture: Unsupervised Learning of Interpretable Models of the World
, 2020 Research in Artificial Intelligence (AI) has focused mostly on two extremes: either on small improvements in narrow AI domains, or on universal theoretical frameworks which are usually uncomputable, incompatible with theories of biological intelligence ...
Andersson, Simon +12 more
core +1 more source
Symbolic representations of iterated maps
Topological Methods in Nonlinear Analysis, 2001 This paper presents a general and systematic discussion of various symbolic representations of iterated maps through subshifts. We give a unified model for all continuous maps on a metric space, by representing a map through a general subshift over usually an uncountable alphabet. It is shown that at most the second order representation is enough for a
Fu, Xin-Chu +3 more
openaire +4 more sources
COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells
Molecular Oncology, EarlyView.This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos +6 more
wiley +1 more source
Pathogenic Neurofibromatosis type 1 gene variants in tumors of non‐NF1 patients and role of R1276
FEBS Open Bio, EarlyView.Somatic variants of the neurofibromatosis type 1 (NF1) gene occur across neoplasms without clinical manifestation of the disease NF1. We identified emerging somatic pathogenic NF1 variants and hotspots, for example, at the arginine finger 1276. Those missense variants provide fundamental information about neurofibromin's role in cancer.
Mareike Selig +7 more
wiley +1 more source
On the Equivalence of Forward Mode Automatic Differentiation and Symbolic Differentiation
, 2020 We show that forward mode automatic differentiation and symbolic differentiation are equivalent in the sense that they both perform the same operations when computing derivatives.
Laue, Soeren
core
On a representation of time space-harmonic polynomials via symbolic L\'evy processes [PDF]
, 2013 In this paper, we review the theory of time space-harmonic polynomials developed by using a symbolic device known in the literature as the classical umbral calculus. The advantage of this symbolic tool is twofold. First a moment representation is allowed
Di Nardo, E.
core +2 more sources