GroupLink: Group Event Recommendations Using Personal Digital Traces Honghao Wei Tsinghua University Beijing, 100084, China

Source URL: www.cs.cornell.edu

• Information science
• Collaboration
• Humancomputer interaction
• Information retrieval
• Recommender systems
• Human communication
• Social information processing
• Collective intelligence
• Collaborative filtering
• Computer-supported cooperative work
• Personalization
• GroupLens Research

Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

Source URL: www.kestrel.edu

• Mathematical analysis
• Mathematics
• Abstract interpretation
• Function
• Exponential function
• Complex analysis
• Formal methods
• Centripetal CatmullRom spline

MIT_Campus_Walking_Tour_Final_small

Source URL: institute-events.mit.edu

• Massachusetts
• Massachusetts Institute of Technology
• Deconstructivism
• Practical jokes
• Hacks at the Massachusetts Institute of Technology
• Pranksters
• Ray and Maria Stata Center
• MIT Museum
• Infinite Corridor
• List Visual Arts Center
• MIT Sloan School of Management
• Kresge Auditorium

An MCSAT treatment of Bit-Vectors (preliminary report) St´ephane Graham-Lengrand1,2 and Dejan Jovanovi´c1 1 2

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Boolean algebra
• Computational complexity theory
• Mathematical logic
• Formal methods
• Binary decision diagram
• Diagrams
• Model checking
• Conflict-driven clause learning
• Boolean satisfiability problem
• FO

Madhusudan Parthasarathy Curriculum Vitae Department of Computer Science Univ. of Illinois at Urbana-Champaign

Source URL: madhu.cs.illinois.edu

• Computer science
• Computing
• Electrical engineering
• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• Association for Computing Machinery
• Vienna Summer of Logic
• Theoretical computer science
• ACM SIGACT
• Helmut Veith
• International Colloquium on Automata
• Languages and Programming
• International Conference on Functional Programming

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Formal methods
• Mathematical logic
• Boolean algebra
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Resolution
• COMPASS/Sample Code
• BCD

Darko Marinov Professor Department of Computer Science University of Illinois at Urbana-Champaign http://mir.cs.illinois.edu/marinov

Source URL: mir.cs.illinois.edu

PDF Document

Source URL: mirror.clarkson.edu

• Logic
• Mathematical logic
• Mathematics
• Predicate logic
• Quantification
• Model theory
• Free variables and bound variables
• Mathematical notation
• Skolem normal form
• Universal quantification
• Counterexample
• Expected value

Data Loss and Reconstruction in Sensor Networks

Source URL: wirelesslab.sjtu.edu.cn

• Algebra
• Mathematics
• Dimension reduction
• Linear algebra
• Numerical linear algebra
• Mathematical optimization
• Matrix theory
• Singular spectrum analysis
• Principal component analysis
• Singular value decomposition
• Compressed sensing
• Low-rank approximation

Exploiting Anonymity in Approximate Linear Programming: Scaling to Large Multiagent MDPs

Source URL: platformlab.stanford.edu