Do Cascades Recur? Justin Cheng1 , Lada A Adamic2 , Jon Kleinberg3 , Jure Leskovec4 1,4 1,4 Stanford University, 2 Facebook, 3 Cornell University

Source URL: gdac.uqam.ca

www.pwc.de/industry4.0 Industry 4.0 – Opportunities and Challenges of the Industrial Internet

Source URL: www.pwc.nl

• Industrial Revolution
• Technology
• Industrial automation
• Modern history
• Business
• Big data
• Industry 4.0
• Internet of things
• Technology forecasting
• Fourth Industrial Revolution
• PricewaterhouseCoopers
• Innovation of Industrial Internet of Things

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Application software
• PRISM model checker
• Systems science
• Mathematics
• Model checking
• Uppaal Model Checker
• Probabilistic automaton
• PAT
• Hybrid system
• Markov chain

Non-randomness in eSTREAM Candidates Salsa20 and TSC-4 Simon Fischer1 , Willi Meier1 , Cˆ ome Berbain , Jean-Fran¸cois Biasse2 , and M.J.B. Robshaw2 2

Source URL: www.lix.polytechnique.fr

• Cryptography
• Stream ciphers
• Salsa20
• VEST
• Tiny Encryption Algorithm
• Keystream
• ESTREAM
• ICE
• Weak key
• Data Encryption Standard
• Indocrypt

How to Use BigDataBench 4.0 Jianfeng Zhan, Chen Zheng, and Wanling Gao http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA

Source URL: prof.ict.ac.cn

• Computing
• Free software
• Data
• Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Apache Hadoop
• Apache Spark
• Apache HBase
• Big data

Chapter 4 Political Conversations as Civic Engagement: Examining Patterns from Mobile Communication Logs in Japan Takahisa Suzuki, Tetsuro Kobayashi, and Jeffrey Boase

Source URL: individual.utoronto.ca

• Sociology
• Human behavior
• Communication theory
• Metaphysics
• Oral communication
• Gmail
• Social networking service
• Social network
• Conversation
• Dyad

Press Release LONDON LEGAL TECH STARTUP LEXOO SECURES $4.4M SERIES A LED BY EARLYBIRD • The data-driven marketplace has over 800 lawyers across 55 countries • Lexoo’s clients compare and hire lawyers within a globa

Source URL: earlybird.com

• Economy
• Law
• Practice of law
• Law firm
• Boutique law firm
• Venture capital
• Draft:Earlybird Venture Capital

Annual Report JuneMay 2000 Contents 3 A Word from the President 4 About ERCIM

Source URL: www.ercim.eu

Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic in computer science
• Formal methods
• Logic programming
• Predicate logic
• Satisfiability modulo theories
• Unification
• Solver
• Resolution

Celkový počet akcí: 2046 Respondentů celkem: 35 Hotely: 25 DMC/PCO: 6 Konferenční zařízení: 4

Source URL: www.pragueconvention.cz