IS SELF-DETERMINED MOTIVATION A USEFUL AGENT TO OVERCOME PERCEIVED EXERCISE BARRIERS IN PATIENTS WITH TYPE 2 DIABETES MELLITUS?

Is Self-Determined Motivation a Useful Agent to Overcome Perceived Exercise Barriers in Patients With Type 2 Diabetes Mellitus?

Background: Devising a program to increase physical activity (PA)/exercise behavior in patients with type 2 diabetes mellitus (T2DM) can meet with limited effectiveness in real-world settings because of the variety of barriers to Curling - Clothing - Mens PA/exercise that individuals need to overcome.An alternative approach is to explore whether ta

read more


Reachability and liveness in parametric timed automata

We study timed systems in which some timing features are unknown parameters.Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable.Notably, the parametric reachability emptiness problem, i.e., the emptiness of the parameter valuations set allowing to reach some given discr

read more