Feature Engineering for Clustering Student Solutions Elena L. Glassman Rishabh Singh Robert C. Miller MIT CSAIL, 32 Vassar St. Cambridge, MA {elg,rishabhs,rcm}@mit.edu

Source URL: rishabhmit.bitbucket.io

• Information theory
• Mathematics
• K-means clustering
• Adjusted mutual information
• Hierarchical clustering
• Applied mathematics
• Algorithm
• Mutual information
• Machine learning
• Cognitive science
• Consensus clustering
• Cluster analysis

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Formal verification
• Satisfiability modulo theories
• Abstract interpretation
• Loop invariant
• Logic programming
• Model checking
• KeY
• Software verification

Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with:

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Java platform
• Cross-platform software
• Object-oriented programming languages
• Software testing
• Java Database Connectivity
• JUnit
• D
• Test automation

Nishant Shukla Notes October 5, 2016

Source URL: shukla.io

• Logic in computer science
• Theoretical computer science
• Fluent
• Logic programming
• Knowledge representation
• Automated planning and scheduling

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph

​Frequently​​ Asked​​ Questions 1​​-​​What​​is​​the​​Token​​Sale? Token​​Sale​​​is​​a​​modern​​method​​of​​crowdfunding​​that​​allows​​us​​t

Source URL: hacken.io

• Cryptocurrencies
• Blockchains
• Ethereum
• Alternative currencies
• Cryptography
• Numismatics
• Economy
• Computer access control
• ERC-20
• Kin
• Token coin
• Multi-factor authentication

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Source URL: seahorn.github.io

• Pointer
• Graph

UFO: From Underapproximations to Overapproximations and Back! Arie Gurfinkel (SEI/CMU) with Aws Albarghouthi and

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Television
• Abstract interpretation
• Interpolation
• Mellon
• UFO
• Refinement
• Unidentified flying object
• Terminology

Open Citations in Action: Case Study ScienceOpen Workshop on Open Citations, Bologna, ItalySeptember 2017´8 @Science_Open @SDawsonBerlin

Source URL: workshop-oc.github.io

• Publishing
• Open access
• Information science
• Scholarly communication
• Academic publishing
• Knowledge
• Citation indices
• ScienceOpen
• Citation metrics
• Crossref
• Initiative for Open Citations
• Directory of Open Access Journals

UNSERE VISION Wir revolutionieren, wie Unternehmen in der globalen Lieferkette interagieren. In Zukunft wird die Kontrolle über Geschäftsdaten in den Händen der Eigentümer liegen – den einzelnen Unternehmen. In Sma

Source URL: www.centrifuge.io