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

National Quantum Initiative Act The National Quantum Initiative Act establishes a federal program to accelerate quantum research and development for the United States’ economic and national security. Quantum Informatio

Source URL: science.house.gov

• Theoretical computer science
• Quantum information science
• Emerging technologies
• Physics
• Quantum cryptography
• Quantum mechanics
• Quantum computing
• Quantum technology
• Quantum information
• Quantum network
• Pittsburgh Quantum Institute

The Next Bigly Thing -- Torsion Chemistry 80% Faster Reactions, 50% Less Energy with "Activators" by Robert A. Nelson Science has bestowed many wonderments upon us, but the Return-On-Investment is quickly diminishing (th

Source URL: www.rexresearch.com

• Fringe theory
• Chemistry
• Physics
• Forteana
• New Age
• Pseudoscience
• Pyramid power
• Pyramidology
• Measuring instrument
• Electric arc
• Magnetic field
• Distillation

Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Computing
• Computer science
• Symposium on Principles of Programming Languages
• Electronic design automation
• Formal methods
• Logic in computer science
• Computer Aided Verification
• Helmut Veith
• High-level synthesis
• Formal verification
• Computer music

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

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

• Information theory
• Statistical theory
• Mathematics
• Mathematical analysis
• Entropy
• Mutual information
• Expected value
• Confidence interval
• Information flow
• Binomial distribution
• Conditional entropy
• Quantities of information

TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering

Source URL: gdac.uqam.ca

• Information science
• Collective intelligence
• Recommender systems
• Information retrieval
• Collaboration
• Social information processing
• Information systems
• Collaborative filtering
• Matrix factorization
• Machine learning
• Personalization

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Mathematics
• Probability and statistics
• Determinacy
• Stochastic game
• Strategy
• Markov chain
• Stochastic process
• Support
• Mathematical optimization
• Statistical model

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Parallel computing
• Computing
• Computer programming
• Manycore processor
• Data parallelism
• General-purpose computing on graphics processing units
• Parallel programming model
• Multi-core processor
• Thread
• CUDA
• OpenMP