70 research outputs found
Model Checking with Program Slicing Based on Variable Dependence Graphs
In embedded control systems, the potential risks of software defects have
been increasing because of software complexity which leads to, for example,
timing related problems. These defects are rarely found by tests or
simulations. To detect such defects, we propose a modeling method which can
generate software models for model checking with a program slicing technique
based on a variable dependence graph. We have applied the proposed method to
one case in automotive control software and demonstrated the effectiveness of
the method. Furthermore, we developed a software tool to automate model
generation and achieved a 35% decrease in total verification time on model
checking.Comment: In Proceedings FTSCS 2012, arXiv:1212.657
Smokers, Smoking Deprivation, and Time Discounting
This paper investigates whether smokers exhibit greater time discounting than non-smokers, and how short-term nicotine deprivation affects time discounting. A unique feature of our experiment is that our subjects receive rewards not only of money, but also of actual tobacco. This is done in order to elicit smokersf true preferences. Smokers are more impatient than non-smokers, consistent with previous studies. Additionally, nicotine deprivation makes smokers even more impatient. These results suggest that nicotine concentration has different effects on time preferences in the short and long runs.
Smokers, Smoking Deprivation, and Time Discounting
This paper investigates whether smokers exhibit greater time discounting thannon-smokers, and how short-term nicotine deprivation affects time discounting. Aunique feature of our experiment is that our subjects receive rewards not only of money,but also of actual tobacco. This is done in order to elicit smokers' true preferences.Smokers are more impatient than non-smokers, consistent with previous studies.Additionally, nicotine deprivation makes smokers even more impatient. These resultssuggest that nicotine concentration has different effects on time preferences in the shortand long runs
Smokers, Smoking Deprivation, and Time Discounting
This paper investigates whether smokers exhibit greater time discounting than non-smokers, and how short-term nicotine deprivation affects time discounting. A unique feature of our experiment is that our subjects receive rewards not only of money, but also of actual tobacco. This is done in order to elicit smokers' true preferences. Smokers are more impatient than non-smokers, consistent with previous studies. Additionally, nicotine deprivation makes smokers even more impatient. These results suggest that nicotine concentration has different effects on time preferences in the short and long runs
Observation of the acceleration of a single bunch by using the induction device in the kek proton synchrotron
A single rf bunch in the KEK proton synchrotron was accelerated with an induction acceleration method from the injection energy of 500 MeV to 5 GeV.</p
- …