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

PALO BÁLIK SK FILIP BLAŽEK CZ ROBERT KRAVJANSZKI HU AGNIESZKA MAŁECKA PL THE INSECTS

Source URL: theinsectsproject.eu

• Typography
• Writing
• Punctuation
• Orthography
• Language
• Diacritic
• Polish language
• Inverted breve
• Graphic design
• Ring
• Comma
• Dot

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: www.ece.northwestern.edu

• Computer programming
• Software engineering
• Type theory
• Declarative programming
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Member Spotlight: Robert B. Silverman From Perry Mason to Protectionism Robert B. Silverman is one of Grunfeld,

Source URL: www.irglobal.com

• Commercial policy
• Law
• Anti-competitive behaviour
• Dumping
• Pricing
• Protectionism
• Economy
• Law firm
• Business

The Next Bigly Thing: Spontaneous Generation by Robert A. Nelson Q: Why did the egg cross the road? A: To get laid by a proto-chicken. And it came first... Indeed, it had to do or die -- unless life can pop into existenc

Source URL: www.rexresearch.com

• Chemistry
• Chemical elements
• Native element minerals
• Dietary minerals
• Transition metals
• Industrial gases
• Ammonia
• Abiogenesis
• Protoplasm
• Spontaneous generation
• Chlorine
• Sulfur

Goodbye, Cape Town by Robert A. Nelson Over a billion people lack access to water, and nearly 3 billion face water scarcity for at least one month each year. Many major cities are in dire straits: Sao Paulo, Bangalore, B

Source URL: www.rexresearch.com

• Water
• Nature
• Universe
• Psychrometrics
• Water supply
• Appropriate technology
• Atmospheric thermodynamics
• Energy conversion
• Water vapor
• Air well
• Fog Collector
• Fog

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

Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c

Source URL: homes.sice.indiana.edu

SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Boolean algebra
• Electronic design automation
• Formal methods
• NP-complete problems
• Solver
• Propositional calculus
• AMPL
• Modulo operation

Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

Source URL: www.cs.utah.edu

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Functional languages
• Programming languages
• Lisp
• Cross-platform software
• Racket
• Scheme
• Literate programming
• Anonymous function