Certified Compilation of Financial Contracts.

Danil Annenkov Martin Elsman

Published in: PPDP (2018)

Keyphrases

supply chain
decision making
stock market
financial data
artificial intelligence
prime implicates
portfolio optimization
stock price
business processes
data structure
fraud detection
financial markets
bayesian networks
decision trees
neural network
financial information
financial risk