FIRST PASSAGE PERCOLATION ON A HYPERBOLIC GRAPH ADMITS BI-INFINITE GEODESICS ITAI BENJAMINI AND ROMAIN TESSERA Abstract. Given an infinite connected graph, a way to randomly perturb its metric is to assign random i.i.d.

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Space
• Metric geometry
• Hyperbolic geometry
• Geometric group theory
• -hyperbolic space
• Hyperbolic group
• Geodesic
• Differential geometry of surfaces
• Busemann function
• Hyperbolic metric space

A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst

Source URL: www.cs.man.ac.uk

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Formal methods
• Logic in computer science
• Runtime verification
• Pointcut
• Formal verification
• Join point
• Instrumentation

´ ` DIRIGER DES RECHERCHES MEMOIRE D’HABILITATION A pr´esent´e le 30 mars 2018

Source URL: perso.ens-lyon.fr

• Operations research
• Parallel computing
• Mathematics
• Planning
• Scheduling
• Mathematical optimization
• Algorithm
• Applied mathematics
• Graph partition

Annexe aux conditions générales de vente relative aux contrats d’entretien et de maintenance de Soleol SA ayant son siège à Estavayer-le-Lac, Suisse Article 0 : Généralités La

Source URL: www.soleol.ch

Bourbaki seminar. VolumeExposés 1059–1073. With an author index fromtoSéminaire Bourbaki. VolumeExposés 1059–1073. Avec  table par noms d’auteurs de à 2012/1

Source URL: jgrivaux.perso.math.cnrs.fr

• Zbl
• Askold Khovanskii
• Fiz
• Mathematics

A Fistful of Bitcoins Characterizing Payments Among Men with No Names SAR AH MEIKLE JOHN, MAR JORI POMAROLE , GR ANT JORDAN, K I R I L L L E VC H E N KO , DA M O N M C C OY, G E O F F R E Y M . VO E L K E R A N D S T E

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Money
• Economy
• Currency
• Digital currencies
• Blockchains
• Mt. Gox
• Silk Road
• Satoshi Nakamoto
• BitPay

Homologie stable des groupes Christine VESPA∗ 8 février 2010 Depuis les années 1970, beaucoup d’intérêt a été porté à l’étude de l’homologie stable notamment à cause des liens étroits existant entre el

Source URL: irma.math.unistra.fr

Administration of William J. Clinton, July 26 (d) This order does not require agencies to create new positions or to change existing qualification standards for any position. Sec. 2. Implementation. Each Federal a

Source URL: www.gpo.gov

• Special education in the United States
• Human rights
• Law
• Reasonable accommodation
• Equal Employment Opportunity Commission
• Discrimination
• Rehabilitation Act
• Equal employment opportunity
• Disability
• Americans with Disabilities Act
• Section 504 of the Rehabilitation Act

brennan center for justice Reducing Racial and E t h n i c D i s pa r i t i e s I n J a i l s

Source URL: www.brennancenter.org

• Incarceration in the United States
• Criminal justice
• Brennan Center for Justice
• Politics of the United States
• United States

A Type Discipline for Authorization in Distributed Systems C´edric Fournet Microsoft Research Andrew D. Gordon Microsoft Research

Source URL: www.doc.ic.ac.uk

• Logic
• Mathematical logic
• Metalogic
• Propositional calculus
• Boolean algebra
• Formal languages
• Syntax
• Substitution
• Admissible rule
• Model theory
• Type
• Quantifier