vRAM: Faster Verifiable RAM With Program-Independent Preprocessing Yupeng Zhang∗ , Daniel Genkin† , ∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡ , ∗ and Charalampos Papamanthou∗ ∗ University † Universi

Source URL: web.eecs.umich.edu

Learning Outcomes for Master of Science (MSc) in Corporate Finance National Qualification Framework for Iceland Master of Corporate Finance at Reykjavik University Master of Science in Corporate Finance (MSc MCF) is a 12

Source URL: www.ru.is

• Finance
• Corporate finance
• Master's degree
• Academic degree
• Education
• Economy
• Professional certification in finance
• Management education
• Vocational education
• Chartered Financial Analyst
• Knowledge worker

Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Mathematical software
• Computing
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Solver
• Benchmark
• Nl

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Source URL: lamport.azurewebsites.net

• Concurrent computing
• Distributed algorithms
• Concurrency
• Mathematics
• Computing
• Algorithm
• Mathematical logic
• Theoretical computer science
• Distributed computing
• Deadlock
• Chandy-Lamport algorithm
• Virtual synchrony

Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto

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

• Dynamic programming
• Markov decision process
• Stochastic control
• Symbol
• PP
• Probability and statistics
• Probability
• Theoretical computer science
• Models of computation

Fake it till you make it: Fishing for Catfishes Walid Magdy∗ , Yehia Elkhatib§ , Gareth Tyson‡ , Sagar Joglekar† , and Nishanth Sastry† ∗ School of Informatics, The University of Edinburgh, UK

Source URL: www.eecs.qmul.ac.uk

• World Wide Web
• Software
• Digital media
• Social media
• Social networking services
• Universal Windows Platform apps
• Blog hosting services
• Video hosting
• Pornhub
• Tinder
• Catfishing
• Online dating service

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

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

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Stochastic game
• Markov chain
• Determinacy
• Game theory
• Strategy
• Probabilistic automaton
• Markov decision process
• Stochastic process

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca

ASSOCIATION FOR CONSUMER RESEARCH Labovitz School of Business & Economics, University of Minnesota Duluth, 11 E. Superior Street, Suite 210, Duluth, MNAwe Expands People’S Perception of Time, Alters Decision Mak

Source URL: www.acrwebsite.org

• Psychology
• Emotions
• Positive psychology
• Mind
• Quality of life
• Happiness
• Well-being
• Awe
• Jennifer Aaker
• Dacher Keltner
• Prosocial behavior
• Life satisfaction