Compile-Time Extensions to Hybrid ODEs.

Yingfu Zeng Ferenc A. Bartha Walid Taha

Published in: SNR@ETAPS (2017)

Keyphrases

hybrid approaches
integrity constraints
database
case study
social networks
ordinary differential equations
real time
databases
neural network
logic programs
efficient implementation
hybrid learning
default theories