type:REPORT - Groups

Design and comparison of lattices of topological relations: Application to sa...

Rapport interne.

HTML

Matching Power

Aussi apparu en "Proc. of RTA, Rewriting Techniques and Applications, Utrecht, The Netherlands, May 22-24, Lecture Notes in Computer Sciences, no 2051, pp 77--92,...

HTML

The asymptotic number of prime alternating links

Soumis au colloque FPSAC'01.. Rapport interne.

HTML

The convex hull of the disjunction of polymatroids

Rapport interne.

HTML

Resource models and proof-search in Intuitionistic Linear Logic

Rapport interne.

HTML

A Rho Cube

Aussi apparu en "Proc. of FOSSACS, Foundations of Software Science and Computation Structures Held as Part of the Joint European Conferences on Theory and Practice of Software,...

HTML

Actes de la journée sur l'adaptation

Rapport interne.

HTML

Induction for termination

Rapport interne.

HTML

Catch Me If You Can Privacy-Preserving Dissemination in Micro-Blogging

Online micro-blogging services and social networks, as ex- emplified by Twitter and Facebook, have emerged as an im- portant means of disseminating information quickly...

HTML

Pliage et récurrence pour le construction de programme

Rapport interne.

HTML

STRIP: Structural sharing and intuitionistic proof-search

Rapport interne.

HTML

On Reconfiguring Tree Linkages: Trees can lock

Rapport interne.

HTML

The Eulerian stretch of a digraph and the ending guarantee of a convergence r...

Rapport interne.

HTML

A Fast Algorithm for Testing Irreducibility of Trinomials mod 2

Rapport interne.

HTML

Margin error and generalization capabilities of multiclass discriminant systems

Ce rapport technique NeuroCOLT2, NC2-TR-1999-051-R, publie en décembre 1999, est paru dans une version revue et corrigée, publié en Juin 2001 (voir : A01-R-033).. Rapport interne.