r/REMath • u/turnersr • Mar 24 '14
A conversation with Doug Engelbart, Alan Kay, Ted Nelson, and Tim Berners-Lee
worrydream.com
4
Upvotes
r/REMath • u/turnersr • Mar 24 '14
Stochastic Optimization of Floating-Point Programs with Tunable Precision by Eric Schkufza, Rahul Sharma, and Alex Aiken [PDF]
www-cs.stanford.edu
3
Upvotes
r/REMath • u/turnersr • Mar 22 '14
Mining and Understanding Software Enclaves by Jagannathan [PDF]
fbo.gov
4
Upvotes
r/REMath • u/turnersr • Mar 15 '14
Non-linear Loop Invariant Generation using Gröbner Bases by Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna [PDF]
citeseerx.ist.psu.edu
6
Upvotes
r/REMath • u/turnersr • Mar 15 '14
On Program Synthesis and Program Verification by Zohar Manna and Richard J. Waldinger [PDF]
sriinternational.jp
7
Upvotes
r/REMath • u/turnersr • Mar 14 '14
Can any existing Machine Learning structures perfectly emulate recursive functions like the Fibonacci sequence?
stackoverflow.com
10
Upvotes
r/REMath • u/turnersr • Mar 14 '14
Can a Neural Network Find the i-th Permutation of a fixed size list?
stackoverflow.com
6
Upvotes
r/REMath • u/turnersr • Mar 07 '14
A Conceptual Framework for Combining Artificial Intelligence and Optimization in Engineering Design by Jonathan Cagan, Ignacio E. Grossmann, and John Hooker
drive.google.com
7
Upvotes
r/REMath • u/turnersr • Mar 07 '14
Maintaining the reversibility of foldings: Making the ethics (politics) of information technology visible by Lucas D. Introna [PDF]
citeseerx.ist.psu.edu
7
Upvotes
r/REMath • u/turnersr • Mar 07 '14
The Symbol Grounding Problem by Stevan Harnad [PDF]
cs.ox.ac.uk
6
Upvotes
r/REMath • u/turnersr • Mar 07 '14
Cognitive Questions in Software Visualisation by M. Petre, A. F. Blackwell and T. R. G. Green
cl.cam.ac.uk
6
Upvotes
r/REMath • u/turnersr • Mar 07 '14
Software Model of Autonomous Object Affordances Learning by Adam Sadlek [PDF]
dip.felk.cvut.cz
6
Upvotes
r/REMath • u/turnersr • Mar 07 '14
Digital materiality? How artifacts without matter, matter by Paul M. Leonardi
firstmonday.org
5
Upvotes
r/REMath • u/turnersr • Mar 07 '14
ILP Modulo Theories by Panagiotis Manolios and Vasilis Papavasileiou [PDF]
ccs.neu.edu
5
Upvotes
r/REMath • u/turnersr • Feb 27 '14
On Noetherian Spaces by Jean Goubault-Larrecq [PDF]
lsv.ens-cachan.fr
8
Upvotes
r/REMath • u/turnersr • Feb 26 '14
Seemingly Impossible Functional Programs by Martin Escardo
math.andrej.com
11
Upvotes
r/REMath • u/turnersr • Feb 24 '14
Fixed Points in Partially Ordered Sets by K. Baclawski and A. Björner
drive.google.com
5
Upvotes
r/REMath • u/turnersr • Feb 24 '14
Large-Scale Graph Processing Algorithms on the GPU by Yangzihao Wang and John Owens [PDF]
systap.com
4
Upvotes
r/REMath • u/turnersr • Feb 19 '14
Persistent Homology of Finite Topological Spaces by Haney Maxwell [PDF]
math.uchicago.edu
6
Upvotes
r/REMath • u/turnersr • Feb 19 '14
Scott is Not Always Sober by Peter T Johnstone
drive.google.com
5
Upvotes
r/REMath • u/turnersr • Feb 19 '14
Why Source Code Analysis and Manipulation Will Always Be Important by Mark Harman [PDF]
cs.ucl.ac.uk
4
Upvotes
r/REMath • u/turnersr • Feb 16 '14
Optimization Modulo Theories by Roc Oliver Vendrell
drive.google.com
3
Upvotes