SYLLABUS Course title and number Term (e.g., Fall 200X) Meeting times and location CSCE 625 AI Robotics

Source URL: faculty.cs.tamu.edu

• Cybernetics
• Educational psychology
• Cognitive science
• Technology
• Psychology
• Artificial intelligence
• Computational neuroscience
• Intelligence
• Artificial Intelligence: A Modern Approach
• Machine learning

arXiv:1402.3401v5 [cs.CY] 5 NovCensorship in the Wild: Analyzing Internet Filtering in Syria Abdelberi Chaabane Terence Chen

Source URL: arxiv.org

We know (nearly) nothing! But can we learn? ? Stephan Schulz

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

Teaching Programming Languages by Experimental and Adversarial Thinking∗ Justin Pombrio1 , Shriram Krishnamurthi2 , and Kathi Fisler3 1 2

Source URL: cs.brown.edu

• Software engineering
• Computing
• Computer programming
• Functional languages
• Programming languages
• Object-oriented programming languages
• Cross-platform software
• Scripting languages
• Programming language
• Assignment
• Programming paradigm
• Semantics

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Disk file systems
• Data management
• Inode
• File system
• Journaling file system
• Log-structured File System
• Ext3
• Mkfs
• Refinement
• Ext4

Numerical quality: an industrial case study on code_aster Numerical Software Verication

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

• Computing
• Computational science
• Software engineering
• Applied mathematics
• Numerical analysis
• Alternatives to animal testing
• Computer simulation
• Scientific modeling
• Virtual reality
• Numerical modeling
• Simulation
• Numerical stability

1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1

Source URL: www0.cs.ucl.ac.uk

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Internet architecture
• Internet Standards
• Internet protocols
• Routing algorithms
• Constraint
• Open Shortest Path First
• Link-state routing protocol
• Router

Technical Report On the Mathematical Properties of Monadic Stream Functions 1.

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

• Software engineering
• Computer programming
• Mathematics
• Spectral theory
• Computability theory
• Lambda calculus
• Theoretical computer science
• Monad
• Continuous function
• Function composition
• Spectral theory of ordinary differential equations
• Jordan normal form

Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de

Source URL: icaps16.icaps-conference.org

• Search algorithms
• Theoretical computer science
• Heuristic
• State space search
• Mathematical optimization
• Algorithm
• Mathematics
• Philosophy of mathematics
• Cognitive science

Immersive Recommendation: News and Event Recommendations Using Personal Digital Traces Cheng-Kang Hsieh Longqi Yang

Source URL: www.cs.cornell.edu

• Collective intelligence
• Information science
• Information retrieval
• Computing
• Recommender systems
• Information systems
• New media
• Statistical natural language processing
• Collaborative filtering
• Cold start
• Matrix factorization
• Latent Dirichlet allocation