Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Computer science
• Formal methods
• Computing
• Logic in computer science
• European Joint Conferences on Theory and Practice of Software
• Computer Aided Verification
• Software verification
• Formal verification
• Edmund M. Clarke
• Satisfiability modulo theories
• Verification

HES-SO | Master of Science in Engineering Cloud Computing — NoSQL and database as a service Academic year

Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com

• Data management
• Computing
• Data
• Structured storage
• Database management systems
• NoSQL
• Cloud computing
• Cloud database
• Data store
• Database
• Bigtable
• Distributed data store

Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur,

Source URL: gdac.uqam.ca

• Technology
• Computing
• World Wide Web
• Social media
• Internet vigilantism
• Internet-based activism
• Cyberspace
• Internet culture
• Online shaming
• Twitter
• Tweet
• Hashtag

Research Centres & Supervisors School of Engineering

Source URL: www.ecu.edu.au

• Energy
• Universe
• Energy conversion
• Renewable energy technology
• Wireless networking
• Smart grid
• Energy development
• Ocean thermal energy conversion
• Desalination
• Energy technology
• Wireless sensor network
• Energy storage

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and

Source URL: shukla.io

• Learning
• Humancomputer interaction
• Cognition
• Machine learning
• Multimodal interaction
• User interfaces
• Graphical model
• Artificial intelligence
• Robot learning
• Natural language processing
• Parsing
• Dialogue system

SUPPLY CHAIN DESIGN: CAPACITY, FLEXIBILITY AND WHOLESALE PRICE STRATEGIES by Brian T. Tomlin B.E. Chemical Engineering University College Dublin, Ireland, 1992

Source URL: web.mit.edu

• Supply chain management
• Economy
• Business
• Management
• Supply-chain management
• Supply chain
• Bottleneck
• Supplier

Learning gem5 – Part III Modeling Cache Coherence with Ruby and SLICC Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• Computing
• Computer architecture
• Computer engineering
• Cache coherence
• Cache coherency
• Concurrent computing
• Parallel computing
• Cache
• Controller
• CPU cache

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

Source URL: qav.comlab.ox.ac.uk

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org