Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates

Author(s):  
Soonho Kong ◽  
Yungbum Jung ◽  
Cristina David ◽  
Bow-Yaw Wang ◽  
Kwangkeun Yi
Keyword(s):  
2021 ◽  
pp. 212-230
Author(s):  
Svetlana Yakovleva ◽  
Joris van Hoboken

Entropy ◽  
2020 ◽  
Vol 22 (8) ◽  
pp. 838
Author(s):  
Gil Cohen

This research has examined the ability of two forecasting methods to forecast Bitcoin’s price trends. The research is based on Bitcoin—USA dollar prices from the beginning of 2012 until the end of March 2020. Such a long period of time that includes volatile periods with strong up and downtrends introduces challenges to any forecasting system. We use particle swarm optimization to find the best forecasting combinations of setups. Results show that Bitcoin’s price changes do not follow the “Random Walk” efficient market hypothesis and that both Darvas Box and Linear Regression techniques can help traders to predict the bitcoin’s price trends. We also find that both methodologies work better predicting an uptrend than a downtrend. The best setup for the Darvas Box strategy is six days of formation. A Darvas box uptrend signal was found efficient predicting four sequential daily returns while a downtrend signal faded after two days on average. The best setup for the Linear Regression model is 42 days with 1 standard deviation.


Sign in / Sign up

Export Citation Format

Share Document