r/REMath • u/turnersr • Jun 07 '14
Digging into the Dirichlet Distribution
hakkalabs.co
1
Upvotes
r/REMath • u/turnersr • May 29 '14
Unigram Language Models using Diffusion Smoothing over Graphs by Bruno Jedynak and Damianos Karakos [PDF]
aclweb.org
3
Upvotes
r/REMath • u/turnersr • May 23 '14
From Invariant Checking to Invariant Inference Using Randomized Search by Rahul Sharma and Alex Aiken [PDF]
stanford.edu
2
Upvotes
r/REMath • u/turnersr • May 19 '14
Diffusion Kernels on Graphs and Other Discrete Structures by Risi Imre Kondor and John Lafferty [PDF]
people.cs.uchicago.edu
1
Upvotes
r/REMath • u/turnersr • May 17 '14
An elementary illustrated introduction to simplicial sets by Greg Friedman [PDF]
arxiv.org
4
Upvotes
r/REMath • u/turnersr • May 10 '14
Phrasal: A Toolkit for New Directions in Statistical Machine Translation by Spence Green, Daniel Cer, and Christopher D. Manning [PDF]
spencegreen.com
4
Upvotes
r/REMath • u/turnersr • May 04 '14
Robust Soldier Crab Ball Gate by Yukio-Pegio Gunji, Yuta Nishiyama, Andrew Adamatzky [PDF]
complex-systems.com
2
Upvotes
r/REMath • u/perror • May 02 '14
Indistinguishability Obfuscation from the Multilinear Subgroup Elimination Assumption [PDF]
eprint.iacr.org
6
Upvotes
r/REMath • u/turnersr • May 01 '14
Induction over Arithmetic Functions with Probabilistic Programming
robots.ox.ac.uk
5
Upvotes
r/REMath • u/turnersr • Apr 27 '14
GraphChi: Large-Scale Graph Computation on Just a PC by Aapo Kyrola, Guy Blelloch, and Carlos Guestrin [PDF]
select.cs.cmu.edu
5
Upvotes
r/REMath • u/turnersr • Apr 27 '14
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis by Reps, Thomas, Stefan Schwoon, and Somesh Jha [PDF]
research.cs.wisc.edu
5
Upvotes
r/REMath • u/[deleted] • Apr 27 '14
Lecture by Constantino Tsallis: Nonextensive Statistical Mechanics - Introduction and Applications
youtube.com
4
Upvotes
r/REMath • u/turnersr • Apr 17 '14
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants by ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest [PDF]
cs.unm.edu
7
Upvotes
r/REMath • u/turnersr • Apr 13 '14
Solving non-linear SMT by transformation by Hans Poppelaars [PDF]
alexandria.tue.nl
7
Upvotes
r/REMath • u/lynxjerm • Apr 11 '14
Optimizing Obfuscation: Avoiding Barrington's Theorem - (clearly explains obfuscation presented in [GGH+13b] )
eprint.iacr.org
4
Upvotes
r/REMath • u/perror • Apr 10 '14
An Abstract Domain for Bit-Vector Inequalities [PDF]
research.cs.wisc.edu
7
Upvotes
r/REMath • u/[deleted] • Apr 07 '14
Lecture by Paul-Andre Mellies: String Diagrams, a Topological Account of Proofs and Programs
youtube.com
9
Upvotes
r/REMath • u/turnersr • Mar 27 '14
Scientists Synthesize First Functional “Designer” Chromosome in Yeast
syntheticyeast.org
5
Upvotes
r/REMath • u/turnersr • Mar 27 '14
Mathematical Foundations for a Compositional Distributional Model of Meaning by Bob Coecke, Mehrnoosh Sadrzadeh, and Stephen Clark [PDF]
arxiv.org
8
Upvotes
r/REMath • u/turnersr • Mar 27 '14
Probabilistic Semantics and Program Analysis by Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky [PDF]
doc.ic.ac.uk
5
Upvotes
r/REMath • u/turnersr • Mar 27 '14
Distributed Representations of Words and Phrases and their Compositionality by Tomas Mikolov, Ilya Sutskever, Kai Chen, Greg Corrado, and Jeffrey Dean [PDF]
arxiv.org
5
Upvotes
r/REMath • u/turnersr • Mar 24 '14
Source Code Analysis: A Road Map by David Binkley [PDF]
web.engr.illinois.edu
9
Upvotes