INSURETECH C O N N E C T THE FUTURE OF INSURANCE IS HERE OCTOBER 2-3, LAS VEGAS FORCES AT PLAY W I T H A L M O S T $ 5 B I L L I O N I N V E S T E D I N T O I N S U R A N C E T E C H S TA R T- U P S , A N D M O

Source URL: n68y02w29js2mtetnvfd871d-wpengine.netdna-ssl.com

• Index of standards articles
• Standards
• Linguistics
• Index of immunology articles

A r e Yo u A n I n f o r m e d I n v e s t o r ? Marijuana-Related Investments: Greener Pastures or Just Another Scam? You know the pitch – “Don’t miss out on this once-in-a-lifetime investment opportunity with gre

Source URL: www.avoidthescam.net

• Economy
• Finance
• Money
• Stock market
• Funds
• Investment
• Corruption
• Pump and dump
• Spamming
• Security
• Investment fund
• Crowdfunding

Which Configuration Option Should I Change? Sai Zhang, Michael D. Ernst University of Washington Presented by: Kıvanç Muşlu

Source URL: zhang-sai.github.io

• System software
• Software
• Free software
• APT
• Debian
• Dpkg
• Ubuntu
• Configuration management

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

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

AU D IT I NTE R N E ERIC-SERGE JEANNET ÉTHIQUE, ÉLÉMENT FONDAMENTAL DU TRAVAIL DE L’AUDITEUR Un aperçu des principes essentiels

Source URL: www.efk.admin.ch

Appendix D to Tradition SEF Rulebook Equities Product Listing Broad-Market Equity Index Swap Product Listing Tradition SEF, Inc. I. Discussion of contracts; not readily susceptible to manipulation

Source URL: www.traditionsef.com

• Economy
• Finance
• Stock market indices
• International development
• Investment
• Stock market
• Stock market index
• Index
• MSCI
• Exchange-traded fund
• Capitalization-weighted index
• S&P Dow Jones Indices

U NIVERSITAT DE G IRONA ` ` D EPARTAMENT D ’I NFORM ATICA , M ATEM ATICA

Source URL: icaps16.icaps-conference.org

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Automated planning and scheduling
• Solver
• Planning Domain Definition Language

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