Computational Social Choice UPS Toulouse, 2015 Matching In a variant of the fair allocation problem, we try to match each agent

Source URL: formal.iti.kit.edu

• Mathematics
• Computational complexity theory
• Lloyd Shapley
• Matching
• Combinatorics
• Game theory
• Cooperative games
• Stable marriage problem
• CC
• Shapley
• Marriage problem

Navigating the Local Modes of Big Data: The Case of Topic Models∗ Margaret E. Roberts, Brandon M. Stewart, and Dustin Tingley This draft: June 28, 2015 ∗

Source URL: scholar.harvard.edu

• Probability and statistics
• Statistics
• Machine learning
• Statistical natural language processing
• Bayesian statistics
• Maximum likelihood estimation
• Scientific modeling
• Topic model
• Mixture model
• Latent Dirichlet allocation
• Expectationmaximization algorithm
• Linear regression

Suzanne Rivoire Curriculum Vitæ Date

Source URL: rivoire.cs.sonoma.edu

• Computing
• Computer science
• Information and communications technology
• Cluster computing
• Parallel computing
• Christos Kozyrakis
• Supercomputer
• ACM/IEEE Supercomputing Conference

外国文教专家生活补贴收据 Payment Receipt of “Beihang International Visiting Professor Program” 项目名称 Project Name 项目负责人 Host Name

Source URL: id.buaa.edu.cn

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Source URL: web.cs.ucdavis.edu

• Mathematics
• Theoretical computer science
• Applied mathematics
• Logic in computer science
• Formal methods
• Computational neuroscience
• Artificial neural networks
• Proof assistants
• Entropy
• Coq
• N-gram
• Recurrent neural network

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Yupeng Zhang∗ , Daniel Genkin†,∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡,∗ and Charalampos Papamanthou∗ ∗ University † Univers

Source URL: web.eecs.umich.edu

REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui and Xinyang Ge, Microsoft Research Redmond; Baris Kasikci, University of Michigan; Ben Niu, Microsoft Research Redmond; Upamanyu Sharma, University of

Source URL: web.eecs.umich.edu

• Computing
• Programming language implementation
• Parallel computing
• Debugging
• Optimizing compiler
• X86
• Computer engineering

Computational Social Choice UPS Toulouse, 2015 Fair Allocation of Goods Consider a set of agents and a set of goods. Each agent has her own

Source URL: formal.iti.kit.edu

• Fair division
• Welfare economics
• Game theory
• Last diminisher
• Bronisaw Knaster
• Microeconomics
• Intelligent agent
• Mathematics
• Economics

Article Parochial Empathy Predicts Reduced Altruism and the Endorsement of Passive Harm

Source URL: saxelab.mit.edu

• Interpersonal relationships
• Psychology
• Behavioural sciences
• Neuroscience
• Empathy
• Prosocial behavior
• Altruism
• Helping behavior
• Empathic concern
• Sympathy
• Empathy-altruism

Occipital Cortex of Blind Individuals Is Functionally Coupled with Executive Control Areas of Frontal Cortex Ben Deen, Rebecca Saxe, and Marina Bedny Abstract

Source URL: saxelab.mit.edu

• Brain
• Cerebrum
• Neuroscience
• Neuroimaging
• Magnetic resonance imaging
• Frontal lobe
• Resting state fMRI
• Occipital lobe
• Human brain
• Auditory cortex
• Inferior temporal gyrus
• Functional magnetic resonance imaging