We classify up to C∞ orbit equivalence the volume-preserving quasiconformal Anosov flows whose strong stable and strong unstable distributions are at least three-dimensional. If one of the strong distributions is two-dimensional, then we get a partial classification. Using these classification results, we obtain the following rigidity result : Let Φ the the orbit foliation of the geodesic flow ...

Cadp is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It offers a wide range of state-of-the-art functionalities assisting the user throughout the design process: compilation, rapid prototyping, interactive and guided simulation, verification by equivalence/preorder checking and temporal logic model-checking, and test gener...

In this paper we give an alternate combinatorial description of the “(l, 0)-Carter partitions”. Our main theorem is the equivalence of our combinatoric and the one introduced by James and Mathas (A q-analogue of the Jantzen-Schaper theorem). The condition of being an (l, 0)-Carter partition is fundamentally related to the hook lengths of the partition. The representation-theoretic significance ...

Following the work by Houghton, Reeve and Wallace about an alternative formulation of the n → 0 limit of the (n+1) state Potts model in field theory for the large order behaviour of the perturbative expansion, we generalise their technique to all n by establishing an equivalence in perturbation theory order by order with another bosonic field theory. Restricting ourselves to a cubic interaction...

The problem of SPARQL query containment has recently attracted a lot of attention due to its fundamental purpose in query optimization and information integration. New approaches to this problem have been put forth, that can be implemented in practice. However, these approaches suffer from various limitations: coverage (size and type of queries), response time (how long it takes to determine co...

A local analogue of the Grothendieck Conjecture is an equivalence of the category of complete discrete valuation fields K with finite residue fields of characteristic p 6= 0 and the category of absolute Galois groups of fields K together with their ramification filtrations. The case of characteristic 0 fields K was considered by Mochizuki several years ago. Then the author proved it by differen...

Le présent article met en œuvre les concepts d’occurrence de notion et d’opération repérage tels qu’ils sont définis par Antoine Cuiloli (1999) dans le but rendre compte des similitudes d’emploi entre marqueurs IN, THROUGH WITH l’expression linguistique la cause. L’emploi qui nous intéresse est illustré exemples (1) (2) :(1) He raised his eyebrows in/with surprise and softly sang the words of s...

In this paper, we apply first and higher-order Euler discretizations to compare dynamic systems in discrete and continuous time. In addition, we stress the difference between backward and forward-looking approximations. Focussing on local bifurcations, we find that time representation is neutral and asymptotically neutral for models with saddle-node and Hopf bifurcations, respectively. Converse...