Dominant Resource Fairness: Fair Allocation of Multiple Resource Types Ali Ghodsi, Matei Zaharia, Benjamin Hindman, Andy Konwinski, Scott Shenker, Ion Stoica University of California, Berkeley {alig,matei,benh,andyk,shen

Source URL: people.eecs.berkeley.edu

• Routing algorithms
• Fair division
• Computing
• Microeconomics
• Fairness measure
• Max-min fairness
• Scheduling
• Cloud computing
• System resource
• Central processing unit
• Resource monotonicity
• Pareto efficiency

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Source URL: www.prismmodelchecker.org

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

Source URL: perso.ens-lyon.fr

• Numerical analysis
• Mathematics
• Applied mathematics
• Iterative refinement
• Iterative method
• Interval arithmetic
• Newton's method
• Condition number
• Residual
• Root-finding algorithm
• Affine arithmetic

Learning to Detect Multiple Photographic Defects Ning Yu 1 Xiaohui Shen 2 Zhe Lin 2 1

Source URL: arxiv.org

• Geometry
• Digital photography
• Angular defect
• Hyperbolic geometry
• Polyhedra
• Image noise
• Random sample consensus

I’ll Be Back: On the Multiple Lives of Users of a Mobile Activity Tracking Application Zhiyuan Lin Tim Althoff

Source URL: www.timalthoff.com

• Software
• System software
• Azumio
• Microsoft App-V
• Social networking services
• Computing
• Social media
• Terms of service
• Internet privacy
• Universal Windows Platform apps
• Privacy concerns with social networking services

Client Impact Form The information you provide allows us to assess the impact of our services as well as receive program funding. All information will be kept confidential and only combined total amounts of multiple clie

Source URL: iowasbdc.org

• Biometrics
• Computer law
• Cryptography
• Electronic signature
• Records management technology
• Signature
• Economy
• Business

Characterization of Internet Censorship from Multiple Perspectives ! Shehar Bano ! University College London!

Source URL: sheharbano.com

• Information and communications technology
• Digital media
• Cultural globalization
• Internet
• New media
• Telegraphy
• Virtual reality
• Censorship
• Technology

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

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

• Markov processes
• Game theory
• Strategy
• Stochastic game
• Markov decision process
• Probability and statistics
• Probability
• Computability theory

RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

Source URL: precision.moscito.org

• Coding theory
• Error detection and correction
• ReedSolomon error correction
• NC
• Erasure code
• RAID
• Discrete mathematics
• Mathematics
• Theoretical computer science

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite

Source URL: www.prismmodelchecker.org

• Mathematics
• Group theory
• Graph theory
• Markov chain
• Kazhdan's property
• Stochastic game
• Markov decision process
• Distribution
• -quadratic form