Neural Dynamics as Sampling: A Model for Stochastic Computation in Recurrent Networks of Spiking Neurons Lars Buesing¤*, Johannes Bill, Bernhard Nessler, Wolfgang Maass Institute for Theoretical Computer Science, Graz U

Source URL: www.gatsby.ucl.ac.uk

• Neuroscience
• Computational neuroscience
• Nervous system
• Biology
• Artificial neural network
• Biological neuron model
• Spiking neural network
• Neural oscillation
• Gibbs sampling
• Action potential
• Neuron
• Stochastic process

VIMLab RA Application Dr. Jesse Graham’s Values, Ideology, and Morality Lab (VIMLab) Application for Research Assistant Position

Source URL: www-bcf.usc.edu

• Behavioural sciences
• Amazon Mechanical Turk
• Crowdsourcing
• Human-based computation
• Social information processing
• Coding
• Psychology
• Computing
• Knowledge
• Data

This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no

Source URL: www.civic-epistemologies.eu

• Citizen science
• Crowdsourcing
• Human-based computation
• Digitizing
• Computing
• Media technology

CS264: Beyond Worst-Case Analysis Lecture #15: Smoothed Complexity and Pseudopolynomial-Time Algorithms∗ Tim Roughgarden† November 5, 2014

Source URL: theory.stanford.edu

• Computational complexity theory
• Theory of computation
• Operations research
• Complexity classes
• Combinatorial optimization
• Analysis of algorithms
• Knapsack problem
• Simplex algorithm
• Time complexity
• Optimization problem
• NP
• Polynomial-time approximation scheme

Self-Improving Algorithms ∗ Nir Ailon† Bernard Chazelle† Abstract

Source URL: www.cs.princeton.edu

• Computational complexity theory
• Theory of computation
• Analysis of algorithms
• Time complexity
• NC

DRAGONFLY: A JAVA-BASED IAMC CLIENT PROTOTYPE WEIDONG LIAO, PAUL S. WANG Institute for Computational Mathematics Department of Mathematics & Computer Science Kent State University Kent, Ohio 44242, U.S.A.

Source URL: icm.mcs.kent.edu

• Software
• Application software
• Mathematical software
• Cross-platform software
• Functional languages
• Formula editors
• Mathematical markup languages
• MathML
• Maple
• Wolfram Mathematica
• Symbolic computation
• Design Science

Rational Secret Sharing, Revisited [Extended Abstract] ∗ S. Dov Gordon

Source URL: netecon.seas.harvard.edu

• Cryptography
• Secret sharing
• Secure multi-party computation
• Communications protocol
• Teague
• Verifiable secret sharing

Applications of Markov Chain Methodology in Evolutionary Computation Boris Mitavskiy ; url: http://users.aber.ac.uk/bom4/ Department of Computer Science, Aberystwyth University, Aberystwyth, Ceredigion,

Source URL: www.conference123.org

• Markov processes
• Markov models
• Probability
• Mathematical analysis
• Markov chain
• Data
• Stochastic

Implementing Implicit Self-Adjusting Computation Joshua Dunfield Yan Chen

Source URL: www.mpi-sws.org

Sentient Sketchbook: Computer-Aided Game Level Authoring Antonios Liapis Georgios N. Yannakakis

Source URL: antoniosliapis.com

• Software
• Mathematical optimization
• Information science
• Information retrieval
• Candidate solution
• Genetic algorithm
• Personalization
• Google Maps
• Constraint
• Evolutionary computation
• Neuroevolution