Results 171 to 180 of about 594,677 (236)
physically interpretable residual strength prediction of corroded pipelines via symbolic Bayesian networks. [PDF]
Sci RepChen M, Zhang Y, Ye Y, Lu Y.
europepmc +1 more source
Kicking the mental number line: a kinematic investigation of numerical processing in childhood. [PDF]
Front PsycholStraulino E +4 more
europepmc +1 more source
Hemispheric disconnection as a basis for neurodegeneration in apraxia and Alzheimer's disease. [PDF]
Discov Ment HealthSanna M.
europepmc +1 more source
Hybrid Neuro-Symbolic State-Space Modeling for Industrial Robot Calibration via Adaptive Wavelet Networks and PSO. [PDF]
Biomimetics (Basel)Mao H, Lai Z, Li Z.
europepmc +1 more source
Research on deep learning architecture optimization method for intelligent scheduling of structural space. [PDF]
Sci RepYing W, Hui L.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Array representation in symbolic execution
Computer Languages, 1993Abstract Symbolic execution is a well known and powerful technique that allows to perform several activities as program testing, program formal verification, program specialization, etc. However, symbolic execution suffers from some problems which disable it to become a wide used technique.
COEN PORISINI, ALBERTO, DE PAOLI F.
openaire +2 more sources
Symbolic representations of biological oscillations
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005The investigation of biological dynamics involves many interesting aspects such as abstraction, modelling and simulation, but a very important aspect to consider is the representation of such dynamics. A correct, flexible and formal representation mechanism of interesting behaviours is the right starting point for all successive modelling steps and it ...
BIANCO, Luca +2 more
openaire +2 more sources