A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

Source URL: www.isse.uni-augsburg.de

• Functional predicate
• Model theory
• Symbol
• Limit of a function
• Universal quantification
• Mathematical logic
• Mathematics
• Logic

Poster: Detecting Command and Control Servers of Botnet With Randomized Traffic Di Wu1,2, Binxing Fang3, Fangjiao Zhang1,2 1 (Institute of Information Engineering, Chinese Academy of Sciences) 2 (School of Cyber Security

Source URL: www.ieee-security.org

• Computer network security
• Computing
• Cyberwarfare
• Multi-agent systems
• Spamming
• Cybercrime
• Botnets
• Intrusion detection system
• Server
• Cluster analysis
• Internet bot
• Computer security

Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Learning
• Statistical randomness
• Q-learning
• Metalearning
• Reinforcement learning
• Artificial neural network
• Meta learning
• Multi-armed bandit
• Markov decision process
• Feature learning

Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

Source URL: www.isse.uni-augsburg.de

• Computer memory
• Computer data storage
• Embedded Linux
• Data management
• Computing
• Non-volatile memory
• Flash file system
• Flash memory
• Data
• UBIFS
• File system
• JFFS2

INVITED SPEAKER SEMINAR IN ELECTRICAL AND COMPUTER ENGINEERING CO-SPONSORED BY: The Department of Electrical and Computer Engineering, Concordia University, IEEE Montreal Section,

Source URL: users.encs.concordia.ca

• Computing
• Computer systems
• Edsger W. Dijkstra
• Software architecture
• Software engineering
• Scalability
• Big data
• Database
• Information and communications technology
• Computer engineering

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

From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Cyberwarfare
• Software Engineering Institute
• Mellon
• Software engineering
• Carnegie
• Pittsburgh

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

HOST RELEASE FORM I want to participate in the Carnegie Mellon University Africa (“CMUAfrica”) Host Family Program as a host. I understand that, as a host, I will be matched with a foreign student(s) for the purpose

Source URL: www.africa.engineering.cmu.edu

• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Severability
• Terminology

to appear in Proceedings of the Third International Conference on Generative Programming and Component Engineering (GPCE’04), Springer-Verlag LNCS, 2004. A Generative Approach to Aspect-Oriented Programming Douglas R.

Source URL: www.kestrel.edu

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Invariant
• Cross-cutting concern
• Pointcut