Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
acceleration
Papers
Developing Speed-Based Emission Models for Passenger Cars in India Using a Portable Emission Measurement System
C Chandrashekar
,
Pritha Chatterjee
and
Digvijay S. Pawar
EasyChair Preprint no. 10045
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
Copyright © 2012-2023 easychair.org. All rights reserved.