Results 351 to 360 of about 970,866 (376)

A Survey on Hyperdimensional Computing aka Vector Symbolic Architectures, Part I: Models and Data Transformations

ACM Computing Surveys, 2023
Denis Kleyko, Dmitri A Rachkovskij, Evgeny Osipov   +2 more
exaly  

Symbolic Execution

2013
Cristian Cadar, Koushik Sen
openaire   +1 more source

Selective Symbolization Based Efficient Symbolic Execution

2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2021
Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai   +3 more
openaire   +1 more source

AI Feynman: A physics-inspired method for symbolic regression

Science Advances, 2020
Silviu-Marian Udrescu, Max Erik Tegmark
exaly  

Simple descriptor derived from symbolic regression accelerating the discovery of new perovskite catalysts

Nature Communications, 2020
Baicheng Weng, Qingde Sun, Yanfa Yan
exaly  

Planning chemical syntheses with deep neural networks and symbolic AI

Nature, 2018
Marwin H S Segler, Mark P Waller
exaly  

A Survey of Symbolic Execution Techniques

ACM Computing Surveys, 2019
Roberto Baldoni, Emilio Coppa, Camil Demetrescu   +2 more
exaly  

Substantive green innovation or symbolic green innovation? The impact of ER on enterprise green innovation based on the dual moderating effects

Journal of Innovation & Knowledge, 2022
exaly  

symbolic execution

2011
openaire   +1 more source

symbolic execution

2000
openaire   +1 more source