Keyword:acceleration

Papers
Introducing a New Activity-Based Balance Index Using Accelerometer Data and Evaluate It as a Predictor of Skill Level Among Elite Junior Soccer Players Shahram Lenjannejadian, Jalil Reisi and Mehdi Salimi EasyChair Preprint no. 3329
Acceleration-based safety decision procedure for programs with arrays Francesco Alberti, Silvio Ghilardi and Natasha Sharygina In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Acceleration For Presburger Petri Nets Jerome Leroux In:VPT 2013. First International Workshop on Verification and Program Transformation
Tool Demonstration of the FLATA Counter Automata Toolset Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar In:WING 2010. Workshop on Invariant Generation 2010