Tracking nano-metric particles in a biological environment is a very difficult task because of the low signal intensity and the high mobility of these small objects. The task bec...
Nicolas Chenouard, Samantha Vernhettes, Isabelle B...
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...