Mehdi Bouaziz

Learn More
AIM Fencing requires rapid and accurate decision-making while competing and experiencing gradual perceived effort. This study examined the linkage between physical effort, simple reaction time and choice reaction time in fencers and non-fencer subjects. METHODS Two age-matched groups participated in this experiment: 12 professional fencers and 12(More)
AIM Skillful performance in combat and racquet sports consists of proficient technique accompanied with efficient information-processing while engaged in moderate to high physical effort. This study examined information processing and decision-making using simple reaction time (SRT) and choice reaction time (CRT) paradigms in athletes of combat sports and(More)
We present a new static analysis to infer necessary field conditions for object-oriented programs. A necessary field condition is a property that should hold on the fields of a given object, for otherwise there exists a calling context leading to a failure due to bad object state. Our analysis also infers the provenance of the necessary condition, so that(More)
Relational numerical abstract domains do not scale up. To ensure a linear cost of abstract domains, abstract interpretation-based tools analyzing large programs generally split the set of variables into independent smaller sets, sometimes sharing some non-relational information. We present a way to gain precision by keeping fully expressive relations(More)
  • 1