Results 211 to 220 of about 1,018,291 (234)

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  

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  

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  

Planning chemical syntheses with deep neural networks and symbolic AI

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

symbolic execution

2011
openaire   +1 more source

symbolic execution

2000
openaire   +1 more source

A Survey of Symbolic Execution Techniques

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

Substantive or Symbolic Environmental Strategies? Effects of External and Internal Normative Stakeholder Pressures

Business Strategy and the Environment, 2017
David G Hyatt, Nicholas Berente
exaly