Liste des événements publics pour les groupes


2013-06-27  Static analysis of programs manipulating arrays 076 MV 
2013-06-14  Partitions non croisées et complexes simpliciaux 076 CÉA 
2013-06-06  On the Context-freeness Problem for Vector Addition Systems 076 MV 
2013-05-30  Exact algorithms for stochastic games and real algebraic geometry 076 MV 
2013-05-24  Une fraction continue géométrique 076 CÉA 
2013-05-17  Algorithmes probabilistes pour la fouille quantitative de très grandes masses de données 076 CÉA 
2013-05-16  Path Analysis in OTAWA Framework 076 MV 
2013-05-13  Calcul Distribué et Fouille de Données salle 178 Algo.Dist 
2013-04-30  LALBLC: a program testing the equivalence of dpda's Salle 076 GL 
2013-04-25  discussion avec auriane salle 64 eqsys 
2013-04-25  Le Cloud Privé Mabiovis 178 BioVis 
2013-04-25  Automatic security proof of cryptographic primitives: public encryption, symmetric encryption modes, MAC  076 MV 
2013-04-25  [Sem-LaBRI] Tour d'horizon de divers problèmes d'optimisation dans les réseaux Amphi du LaBRI Séminaire du LaBRI 
2013-04-22  A peer-to-peer-based virtual environment system Salle 178 Algo.Dist 
2013-04-19  Applications of an algorithmic proof of Lovasz Local Lemma Salle 178 GT-GA 
2013-04-19  Un pont entre les espèce de structures et la combinatoire analytique (2/2) 076 CÉA 
2013-04-18  Contributions à la gestion et à la fouille de données spatiotemporelles floues 178 BioVis 
2013-04-15  Algorithms for the Vertex Cover Problem on Large Graphs with Low Memory Capacities Salle 178 Algo.Dist 
2013-04-12  Wilf-équivalences dérivées d'une bijection entre Av(231) et Av(132) 076 CÉA 
2013-04-11  Static Analysis for Optimizing the Update of Large Temporal XML 178 BioVis 
2013-04-11  [Sem-LaBRI] Intégrer la reconnaissance des expressions figées dans des analyseurs linguistiques Amphi du LaBRI Séminaire du LaBRI 
2013-04-08  Implémentation d'algorithmes distribués à l'aide de Visidia  Salle 178 Algo.Dist 
2013-04-05  From edge-colouring to strong edge-colouring Salle 178 GT-GA 
2013-04-05  une version dimensionnelle du théorème de Vosper Salle 178 GT-GA 
2013-04-05  Éléments « totalement commutatifs » et chemins du plan 076 CÉA 
2013-04-04  The Insight binary analysis framework 076 MV 
2013-04-04  [Sem-LaBRI] La tuile : vers un modèle pour la programmation structurée de l’espace et du temps Amphi du LaBRI Séminaire du LaBRI 
2013-04-04  Organisation des gènes le long des génomes : programmation linéaire et statistiques 178 BioVis 
2013-03-29  The complexity of signed graph homomorphisms. Salle 178 GT-GA 
2013-03-29  Tri de permutations par plusieurs piles et miroirs, et Wilf-équivalences associées 178 CÉA 
2013-03-28  Cost-optimal factored planning using weighted automata calculus 076 MV 
2013-03-26  Algebras, automata and logic for languages of labeled birooted trees Salle 076 GL 
2013-03-25  Simultaneous Consensus vs Set Agreement Salle 178 Algo.Dist 
2013-03-22  Coloration localement irrégulière des arêtes d’un graphe Salle 178 GT-GA 
2013-03-21  [Sem-LaBRI] Propriétés combinatoires et de robustesse de modèles discrets de réseaux biologiques Amphi du LaBRI Séminaire du LaBRI 
2013-03-21  RENCONTRE P UNG SALLE 1278 INOLIA - CUB 
2013-03-19  A Formal Analysis in Coq of a Handshake Randomised Distributed Algorithm Salle 178 GL 
2013-03-18  Vers une classification des réseaux dynamiques en fonction des problèmes qu'on peut y résoudre. salle 178 Algo.Dist 
2013-03-14  [Sem-LaBRI et GT MABioVis] Measuring truth in visualizations  salle 178 Séminaire du LaBRI 
2013-03-08  Un pont entre les espèce de structures et la combinatoire analytique (1/2) 076 CÉA 
2013-03-07  [Sem-LaBRI] Next Generation Radiotherapies Amphi du LaBRI Séminaire du LaBRI 
2013-03-07  A semi-decidable approach for determining language inclusion for timed automata 076 MV 
2013-03-05  Deterministic regular expressions Salle 076 GL 
2013-03-01  Évacuation et promotion 076 CÉA 
2013-02-26  The expressivity of Separation Logic : a survey Salle 76 GL 
2013-02-25  Sur les 1001 modèles en algorithmique distribuée salle 178 Algo.Dist 
2013-02-22  Coefficients de structure de l’algèbre de Hecke de la paire (S2n, Bn) 076 CÉA 
2013-02-21  [Sem-LaBRI] Towards a new era of SAT Solvers Amphi du LaBRI Séminaire du LaBRI 
2013-02-21  Equivalence Checking of Pushdown Automata and One-Counter Automata 076 MV 
2013-02-19  From Two-Way to One-Way Finite State Transducers Salle 076 GL 
2013-02-18  Distributed Calculation of Graph Diameter Salle 178 Algo.Dist 
2013-02-15  3-Colourable Circulant Graphs  Salle 178 GT-GA 
2013-02-11  Bounds for Communication in Wireless Grids Salle 178 Algo.Dist 
2013-02-08  Méthode de compression d'entropie et applications aux problèmes de coloration de graphes Salle 178 GT-GA 
2013-02-08  Lattice paths from an order-theoretic perspective 076 CÉA 
2013-02-07  [Sem-LaBRI] Optimizing Energy and Bandwidth in Mobile Streaming Systems Amphi du LaBRI Séminaire du LaBRI 
2013-02-07  Playing (combinatorially) with dominoes Amphi LaBRI SémiDoc 
2013-02-04  Distributed Detection of Clone Attacks in Wireless Sensor Networks Salle 178 Algo.Dist 
2013-02-01  A combinatorial approach to lattice path asymptotics 076 CÉA 
2013-02-01  Problèmes de linéarisation/circularisation de graphes et hypergraphes motivés par l'assemblage de génomes Salle 178 GT-GA 
2013-01-31  calcul distribué de requêtes type "Skyline"  178 BioVis 
2013-01-31  Reasoning about Data Repetitions with Counter Systems 076 MV 
2013-01-28  Distributed Exclusive Graph Searching in Trees Salle 178 Algo.Dist 
2013-01-25  Realizations in Domination game Salle 178 GT-GA 
2013-01-25  Propriétés asymptotiques de quelques classes de graphes à mineurs exclus 076 CÉA 
2013-01-24  Underapproximation of Procedure Summaries for Recursive Integer Programs  076 MV 
2013-01-21  Présentation de Keep Alert, une solution pour la surveillance de marques sur Internet Salle 178 Algo.Dist 
2013-01-17  Mesurer l’intrication sémantique dans une collection de documents salle 3 Bâtiment A29 BioVis 
2013-01-17  Beautiful Games You Cannot Stop Playing 076 MV 
2013-01-15  Trace equivalence of protocols for an unbounded number of sessions Salle 076 GL 
2013-01-14  Two Monte-Carlo Election Algorithms for Anonymous Graphs without any Initial Knowledge Salla 178 Algo.Dist 
2013-01-11  Chemins auto-évitants dans un demi-plan 076 CÉA 
2013-01-10  Time-bounded reachability for monotonic hybrid automata 076 MV 
2012-12-20  Runtime Enforcement of Timed Properties 076 MV 
2012-12-14  Le nombre thêta de Lovász : applications, généralisations, et problèmes ouverts (2) Salle 76 GT-GA 
2012-12-14  Arbres et cartes munis de forêt couvrante 076 CÉA 
2012-12-14  Comment avoir précisément 1/2 coup d'avance à un jeu Salle 76 GT-GA 
2012-12-14  Approche duale des représentations du groupe symétrique (9)  076 PÉC 
2012-12-13  Algorithmic and Compact Data Structures for NGR & NGS 178 BioVis 
2012-12-07  Approche duale des représentations du groupe symétrique (8) 178 PÉC 
2012-12-07  Résultats récents obtenus grâce aux tableaux boisés 178 CÉA 
2012-12-06  LCA Skeleton Tree in Linear Time 178 BioVis 
2012-12-06  A perfect model for bounded verification  Salle Patio - Bat C4 "Haut-carré" MV 
2012-12-06  [Sem-LaBRI] Promoting systems biology research through intelligent information mining of omic datasets salle 178 Séminaire du LaBRI 
2012-12-06  Multi-dimension Quantitative Games: Complexity and Strategy Synthesis  Salle Patio - Bat C4 "Haut-carré" MV 
2012-12-03  Progress and Challenges for Labeling Schemes Salle 178 Algo.Dist 
2012-11-30  Approche duale des représentations du groupe symétrique (7) 076 PÉC 
2012-11-30  Combinatorial properties of fullerene graphs  Salle 178 GT-GA 
2012-11-29  Safety Verification of Communicating One-Counter Machines 076 MV 
2012-11-23  Approche duale des représentations du groupe symétrique (6) salle 4 du bâtiment A29 PÉC 
2012-11-20  Nouvelles notions de rang et indépendance pour graphes finis Salle 076 GL 
2012-11-19  Efficient data structures for large-scale genome sequencing data. salle de réunion Sud, CGFB BioVis 
2012-11-16  Approche duale des représentations du groupe symétrique (5) 076 PÉC 
2012-11-16  Towards randomly generated mammals... 076 CÉA 
2012-11-15  Causal graph dynamics Amphi du LaBRI Séminaire du LaBRI 
2012-11-14  Eval Begone! Semi-Automated Removal of Eval from JavaScript Programs salle 71 GT-GL 
2012-11-13  Automates avec multiplicité et epsilon-transitions salle 76 GL 
2012-11-09  Computational complexity of partitioning a graph into a few connected subgraphs Salle 178 GT-GA 
2012-11-09  Approche duale des représentations du groupe symétrique (4) 076 PÉC 
2012-11-09  Bouquets de cercles et langages de courbes 076 CÉA 
2012-11-08  Assemblage du génome de l'agent de la peste noire. 178 BioVis 
2012-11-08  Coarse abstractions make Zeno behaviors difficult to detect 076 MV 
2012-10-26  Approche duale des représentations du groupe symétrique (3) 076 PÉC 
2012-10-25  Formation Cloud 178 BioVis 
2012-10-23  La théorie des fonctions de coût régulières salle 76 GL 
2012-10-22  Toward a compact distributed routing scheme s. 178 Algo.Dist 
2012-10-19  Une extension stochastique du modèle du tas de sable sur un graphe 076 CÉA 
2012-10-19  Le jeu de Timber  Amphi du LaBRI GT-GA 
2012-10-19  Approche duale des représentations du groupe symétrique (2) 076 PÉC 
2012-10-18  Formation Cloud 178 BioVis 
2012-10-16  A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words 76 GL 
2012-10-15  Network Verification via Routing Table Queries s. 178 Algo.Dist 
2012-10-12  Décompositions de graphes en 1-facteurs 076 CÉA 
2012-10-12  Approche duale des représentations du groupe symétrique (1) 076 PÉC 
2012-10-12  La fonction theta de Lovasz est-elle unique? Salle 76 GT-GA 
2012-10-11  Formation Cloud 178 BioVis 
2012-10-08  Pré-présentation à la conférence WCRE par Cédric Teyton Salle 73 GT-GL 
2012-10-05  Some permutation classes enumerated by the central binomial coefficients 076 CÉA 
2012-10-05  Algorithmes de graphes polynomiaux utilisant des automates (infinis) à compteurs Salle 178 GT-GA 
2012-10-04  PETITE ECOLE : Acorn: A grid computing system for constraint based modeling and visualization of the genome scale metabolic reaction networks via a web interface 178 BioVis 
2012-10-04  Reachability of Communicating Timed Processes 076 MV 
2012-10-02  Walking in the free inverse monoid Salle 076 GL 
2012-09-28  Sur le calcul du rang dans les graphes et en particulier les cliques (2/2) 076 CÉA 
2012-09-28  omplete oriented colourings and the oriented achromatic number Salle 178 GT-GA 
2012-09-27  Strategy Synthesis (From Specification to Implementation) 076 MV 
2012-09-21  The Stretch Factor of $L_1$- and $L_infty$-Delaunay Triangulations  Salle 178 GT-GA 
2012-09-21  Sur le calcul du rang dans les graphes et en particulier les cliques (1/2) 076 CÉA 
2012-09-20  Petite ecole : Unraveling Protein Networks with Power Graph Analysis  178 BioVis 
2012-09-19  Geographical Treemaps: Cartographic Metaphors for Laying out Hierarchical Data salle 73 GT-GL 
2012-09-18  Challenges in Computational Phylogenetics salle de réunion Nord du CGFB à Bordeaux 2 BioVis 
2012-09-18  Complexity of languages of geodesics salle 178 GL 
2012-09-14  Domination de puissance dans les graphes réguliers Salle ALP, batiment A9 GT-GA 
2012-09-13  Permutation Patterns Amphi du LaBRI Séminaire du LaBRI 
2012-09-07  New perspectives on the enumeration of permutation classes 076 CÉA 
2012-07-16  From self-stabilizing to self-stabilizing with service guarantee weight-based clustering  s. 076 Algo.Dist 
2012-07-06  Etude de l'activité des développeurs impliqués dans Gnome salle 178 GT-GL 
2012-07-05  Reproducibility challenges of data-driven biology Salle de Conférences du Centre de Génomique Fonctionnelle Bordeaux (CGFB) , Université Bordeaux Segalen  BioVis 
2012-07-03  Some algorithms for replica placement with distance constraints in tree networks  s. 076 Algo.Dist 
2012-06-28  Adapting comparative genomics to MapReduce 178 BioVis 
2012-06-25  Evolutionary Dynamics on Undirected Networks  s. 178 Algo.Dist 
2012-06-22  Spanning trees, lattice Green functions and Mahler measures 076 CÉA 
2012-06-22  Partitioning Harary graphs into connected subgraphs containing prescribed vertices Salle 178 GT-GA 
2012-06-22  L'Ansatz cellulaire (15) 076 PÉC 
2012-06-18  Convergecast by Power-Aware Mobile Agents s. 076 Algo.Dist 
2012-06-15  Un cas d'énumération de permutations triées par trois piles et deux symétries 076 CÉA 
2012-06-15  L'Ansatz cellulaire (14) 076 PÉC 
2012-06-15  Application de la théorie spectrale des graphes à des objets musicaux. Modélisation et visualisation en Hyperespace Amphi du LaBRI GT-GA 
2012-06-11  Leader Election for Anonymous Asynchronous Agents in Arbitrary Networks s. 076 Algo.Dist 
2012-06-08  Énumération de permutations triées par deux piles et une symétrie salle 3 du bâtiment A29 CÉA 
2012-06-08  L'Ansatz cellulaire (13) salle 3 du bâtiment A29 PÉC 
2012-06-07  Parameterized Complexity of some Petri Net Problems  MV 
2012-06-04  Calcul distribué de requêtes type ``horizon'' (Skyline)  s. 076 Algo.Dist 
2012-06-01  Étude d'une suppression d'une case dans les tableaux boisés et dans les tableaux de Dyck 076 CÉA 
2012-05-29  Journée Méthodes Formelles Amphi LaBRI GL 
2012-05-25  Some operators that preserve the locality of a pseudovariety of semigroups.  salle 178 GL 
2012-05-25  L'Ansatz cellulaire (12) 076 PÉC 
2012-05-24  Querying Schemas With Access Restrictions 076 MV 
2012-05-17  GT MABioVis 178 BioVis 
2012-05-15  introduction au "multi-stage programming" Salle Ada Lovelace, Bât. A29 GT-GL 
2012-05-15  Chemins disjoints avec congestion dans les graphes à mineur exclu Amphi du LaBRI GT-GA 
2012-05-15  [GTGL] The Quest for Future Proof Interoperability salle 178 GT-GL 
2012-05-14  Modélisation cérébrale systémique: approches en algorithmique distribuée s. 076 Algo.Dist 
2012-05-11  Complexity and algorithms for max-coloring problems Salle 178 GT-GA 
2012-05-11  L'Ansatz cellulaire (11) 076 PÉC 
2012-05-10  Tagging Make Local Testing of Message-Passing Systems Feasible 076 MV 
2012-05-04  Perfect matchings in cubic graphs Salle 178 GT-GA 
2012-05-04  L'Ansatz cellulaire (10) 076 PÉC 
2012-05-04  Fonctions quasisymétriques sur les diagrammes de Young 076 CÉA 
2012-05-03  Bounded Phase Analysis of Message-Passing Programs 076 MV 
2012-05-02  A formally verified SSA-based middle-end - Static Single Assignment meets CompCert. Salle Ada Lovelace, Bât. A29 GT-GL 
2012-04-27  Méthode d'accélération en optimisation global  Salle 178 GT-GA 
2012-04-26  Des approches applicatives de fouille de données semi-supervisées ou non supervisées 178 BioVis 
2012-04-20  Une méthode générique d'énumération de différentes classes de polycubes dirigés 076 CÉA 
2012-04-20  k-formes, nombres de Genocchi et tableaux boisés 076 CÉA 
2012-04-19  Recherche de motifs dans des réseaux d'interactions 050 (Amphi) BioVis 
2012-04-19  Routage géographique dans les réseaux véhiculaires ad hoc en environnement urbain Amphi du LaBRI Séminaire du LaBRI 
2012-04-17  Bisimulations pour les opérateurs de contrôle délimité salle 76 GL 
2012-04-13  [GTGL] Nicolas Loriant salle 76 GT-GL 
2012-04-13  Arbitrarily Partionable Graphs Salle 178 GT-GA 
2012-04-13  Distributions de cycles et distances entre génomes 076 CÉA 
2012-04-12  Intégration des activités de vérification formelle aux processus de développement de logiciels pour les systèmes embarqués salle 178 GT-GL 
2012-04-12  Model Checking Languages of Data Words 076 MV 
2012-04-12  Musique computationnelle : des arabesques de Debussy aux monoides quasi-inversifs de Lawson Amphi du LaBRI Séminaire du LaBRI 
2012-04-10  De la cellule virtuelle au robot réel 74 BioVis 
2012-04-10  Largeur de décomposition d'hypergraphe salle 76 GL 
2012-04-06  Une (nouvelle?) décomposition canonique des graphes fortement connexes. Applications aux mots de Gauss Salle 178 GT-GA 
2012-04-06  Combinatorics of minor-closed classes of graphs 076 CÉA 
2012-04-05  Forward Analysis for WSTS : Beyond Regular Accelerations Salle 076, LaBRI, Rez-de-chaussée MV 
2012-04-05  Extended formulations for the design of approximation algorithms : an example in inventory control  Amphi du LaBRI Séminaire du LaBRI 
2012-04-05  Algorithmes de comparaison de génomes appliqués aux génomes bactériens 178 BioVis 
2012-04-05  école Coq GT-GL salle 178 GT-GL 
2012-04-02  Spanner planaire pour le Unit Disk Graph  s. 076 Algo.Dist 
2012-03-30  Évolution perpétuelle de systèmes logiciels : Les langages et les architectures au service du génie logiciel salle 178 GT-GL 
2012-03-29  The Quantitative Linear-Time–Branching-Time Spectrum 076 MV 
2012-03-29  Algorithmiques et évaluation de performance dans les réseaux ad hoc Amphi du LaBRI Séminaire du LaBRI 
2012-03-29  Modèles de réconciliation d’un arbre de gènes et d’un arbre d’espèces. 178 BioVis 
2012-03-28  Maîtriser l'évolution des écosystèmes logiciels salle 178 GT-GL 
2012-03-27  Schützenberger groups of primitive substitutions are decidable salle 76 GL 
2012-03-26  Distributed Online and Stochastic Queuing on a Multiple Access Channel s. 076 Algo.Dist 
2012-03-23  Intervalles de m-Tamari étiquetés  salle 3 bâtiment A29 CÉA 
2012-03-23  Des codes (correcteurs) systématiques représentés sur une grille Amphi E, bât A29 GT-GA 
2012-03-22  Exploiting Structure in LTL Synthesis 076 MV 
2012-03-20  A game approach to determinize timed automata salle 76 GL 
2012-03-16  Modèle du marcheur pour les réseaux d'interactions 076 CÉA 
2012-03-15  Compositional Specification Theories for Stochastic Systems 076 MV 
2012-03-15  Power circuits and arithmetic for highly compressed integers Amphi du LaBRI Séminaire du LaBRI 
2012-03-13  MSO+U defines languages at arbitrarily high levels of the projective hierarchy salle 76 GL 
2012-03-12  On the lambda-alert problem in radio networks s. 076 Algo.Dist 
2012-03-08  The Cost of Repairing Regular Specifications Amphi MV 
2012-03-08  école Coq GT-GL salle 178 GT-GL 
2012-03-08  Concepts et méthodologie pour une description sémiotique de la structure musicale Amphi du LaBRI Séminaire du LaBRI 
2012-03-06  Nash equilibria in concurrent games salle 76 GL 
2012-03-05  On Snapshots and Stable Properties Detection in Anonymous Fully Distributed Systems s. 076 Algo.Dist 
2012-03-05  Reverse Engineering Variability Models salle 71 GT-GL 
2012-02-24  Des limites de la coloration quasi propre Salle 178 GT-GA 
2012-02-24  Ordonnancement, Combinatoire : un problème d'identité remarquable.  076 CÉA 
2012-02-23  Une introduction aux interfaces cerveau-ordinateur basées sur l'électroencéphalographie Amphi du LaBRI Séminaire du LaBRI 
2012-02-21  Balancing weighted binary trees in linear time. salle 76 GL 
2012-02-17  Arithmetic matroids and Tutte polynomial 076 CÉA 
2012-02-17  Induced decomposition of graphs Salle 178 GT-GA 
2012-02-16  Fixed-word simulations and ranks  Amphi MV 
2012-02-14  Connexité dans les graphes de genre g avec obstacles: un schéma d'étiquetage.  salle 76 GL 
2012-02-13  Preuves formelles d'algorithmes distribués probabilistes  s. 076 Algo.Dist 
2012-02-10  Arbres plans pondérés et une classe de polynômes extrémaux à coefficients rationnels 076 CÉA 
2012-02-10  Petite histoire d'une petite preuve. Salle 178 GT-GA 
2012-02-07  Lambda Calculus: The Differential Viewpoint salle 76 GL 
2012-02-06  Tolerating Transient, Permanent, and Intermittent Failures  s. 076 Algo.Dist 
2012-02-03  Quelques problèmes classiques sur des graphes dynamiques Salle 178 GT-GA 
2012-02-02  Generation of Debugging Interfaces for Linux Kernel-level Services salle 71 GT-GL 
2012-01-31  Langages de tuiles MSO définissables, monoïdes quasi-inversifs et pré-homomorphismes  salle 75 GL 
2012-01-31  An Observational Study of a Scripting Language: R salle 64 GT-GL 
2012-01-27  Graphical description of extremal polynomials 076 CÉA 
2012-01-26  "Comparative transcriptomic analysis of 3 cancer cell lines (colorectal, lung, leukemic) for the investigation of common tumor promoting mechanisms, through the application of a generic, computational, systematic framework"  178 BioVis 
2012-01-26  Etudiants M2 178 (LaBRI) BioVis 
2012-01-26  Forest Automata for Verification of Heap Manipulation 076 MV 
2012-01-26  école Coq GT-GL salle 178 GT-GL 
2012-01-24  Topological Monadic Logic salle 76 GL 
2012-01-20  Animaux dirigés, systèmes quadratiques et systèmes de réécritures 076 CÉA 
2012-01-20  Paired versus double domination in graphs Salle 178 GT-GA 
2012-01-19  [GTGL] Mixing logic and functional programming styles salle 64 GT-GL 
2012-01-19  Optimizing Buechi Automata Inclusion Checking with Subsumption Preorders  076 MV 
2012-01-19  From DNA to Jay-Z: how ideas from bioinformatics can automate finding rhymes in rap music Amphi du LaBRI Séminaire du LaBRI 
2012-01-17  WREATH PRODUCT: AN APOLOGY salle 76 GL 
2012-01-16  The Impact of Edge Deletions on the Number of Errors in Networks.  s. 076 Algo.Dist 
2012-01-13  Strong chromatic index of planar graphs with large girth Salle 178 GT-GA 
2012-01-12  Robustness and Implementability of Timed Automata 076 MV 
2012-01-10  Nax: a logic based upon Mendler style Iteration/Recursion Combinators Amphi du LaBRI Séminaire du LaBRI 
2012-01-09  Overlay Addressing and Routing System Based on Hyperbolic Geometry  s. 076 Algo.Dist