[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 ||
- 作者Dillig, Isil; Palsberg, Jens
- 文件大小8504.33KB
- 发表时间2018
- DOI10.1007/978-3-319-73721-8
[Studies in Computational Intelligence] Kinesthetic Perception Volume 748 || Predictive Sampler Design for Haptic SignalsChaudhuri, Subhasis; Bhardwaj, Amit · 2018
[Studies in Computational Intelligence] Predictive Approaches to Control of Complex Systems Volume 454 || Introduction to Predictive Control of Complex SystemsKarer, Gorazd; Škrjanc, Igor · 2013
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Data in the 21st CenturyKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Quantifying Predictive Uncertainty Using Belief Functions: Different Approaches and Practical ConstructionKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Bayesian Forecasting for Tail RiskKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Intelligent Systems for Knowledge Management Volume 252 || Neural Networks in Model Predictive ControlNguyen, Ngoc Thanh; Szczerbicki, Edward · 2009
[Studies in Computational Intelligence] Robustness in Econometrics Volume 692 || Predictive Recursion Maximum Likelihood of Threshold Autoregressive ModelKreinovich, Vladik; Sriboonchitta, Songsak; Huynh, Van-Nam · 2017
[Studies in Computational Intelligence] Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Volume 209 || What Make Democracy Possible: A Predictive Modeling ApproachLee, Roger; Ishii, Naohiro · 2009
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Bayesian Forecasting for Tail RiskKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Data in the 21st CenturyKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Interval Forecasting on Big Data ContextKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Quantitative Justification for the Gravity Model in EconomicsKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || The Decomposition of Quadratic Forms Under Skew Normal SettingsKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Measures of Mutually Complete Dependence for Discrete Random VectorsKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || Smoothing Spline as a Guide to Elaborate Explanatory ModelingKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018
[Studies in Computational Intelligence] Predictive Econometrics and Big Data Volume 753 || A Bibliometric Review of Global Econometrics Research: Characteristics and TrendsKreinovich, Vladik; Sriboonchitta, Songsak; Chakpitak, Nopasit · 2018