We present a method to automatically quantify the local asymmetries of bilateral structures in point clouds. The method relies on the robust computation of the approximate symmetr...
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
Many data sets are visualized effectively with area proportional Venn diagrams, where the area of the regions is in proportion to a defined specification. In particular, Venn diag...
Peter Rodgers, Jean Flower, Gem Stapleton, John Ho...
In this paper, we present a novel framework to carry out computations on tensors, i.e. symmetric positive definite matrices. We endow the space of tensors with an affine-invariant...
Pierre Fillard, Vincent Arsigny, Nicholas Ayache, ...
In this paper we propose several efficient algorithms for assessing the resistance of Boolean functions against algebraic and fast algebraic attacks when implemented in LFSRbased s...
Frederik Armknecht, Claude Carlet, Philippe Gabori...