Commit Graph

792 Commits

Author SHA1 Message Date
Sean Broderick
1dd8434cdb fix machine-learning readme formatting 2019-12-25 23:50:45 -05:00
Sean Broderick
5b528a5523 fix data-compression topic readme formatting 2019-12-25 23:47:27 -05:00
NewAlexandria
39fd04bdce Math papers from original isomorphisms PR (#587)
* Add gitter for community.

* Update CODE_OF_CONDUCT.md

* Add statecharts paper in a new systems modeling category (#565)

* Rename "paradigm" and "plt" folders for findability (#561)

* rename "language-paradigm" folder for findability

lang para pluralize

* rename PLT => languages-theory

* fixed formatting

* group pattern-* related papers (#564)

* combine clustering algo into pattern matching

* rename stringology with the pattern_ prefix

* improved the README header info for paper related to patterns

* consolidate org-sim and sw-eng dirs (#567)

* consolidate org-sim and sw-eng dirs
* typo and links

* Fixed link (#568)

* Update README.md
* Fixed A Unified Theory of Garbage Collection link

* Verification faults dirs (#566)

* consolidate program verificaiton and program fault detection listings.
* faults and validation gets header info

* self-similarity by Tom Leinster

Again on the topic of renormalisation. Dr Leinster has a nice, simple picture of self-similarity.

* added new papers in Machine Learning dir.  fixed-up references
Truncation of Wavelet Matrices
Understanding Deep Convolutional Networks
General self-similarity: an overview

cleanup url files (wrong repo format)

* what has sphere packing to do with compression?

• role of E8 & Leech lattice in optimal codes
• mathematically best compression was never used
• ikosahedron

* surfaces ∑

I show this paper to college freshmen because
• it’s pictorial
• it’s about an object you mightn’t have considered mathematical
• no calculus, crypto, ML, or pretentious notation
• it’s short
• it’s a classification proof: “How can it be that you know something about _all possible_ X, even the xϵX you haven’t seen yet?’

* good combinatorics

Programmers are used to counting boring things. Why not count something more interesting for a change?

* added comentaries from commit messages.  more consistent formatting.

* graphs

Programmers work with graphs often (file system, greplin, trees, "graph isomorphism problem" (who cares) ).   But have you ever tried to construct a simpler building-block (basis) with which graphs could be built? Or at least a different building block to build the same old things.

This <10-page paper also uses 𝔰𝔩₂(ℂ), a simple mathematical object you haven’t heard of, but which is a nice lead-in to an area of real mathematics—rep theory—that (1) contains actual insights (1a) that you aren’t using (2) is simple (3) isn’t pretentious.

* from dominoes to hexagons

why is this super-smart guy interested in such simple drawings?

* sorting

You do sorting all the time. Are there smart ways to organise sub-sorts?

* distributed robots!!

Robots! And varying your dimensionality across a space. But also — distributed robots!

* knitting

Get into knitting.

Learn a data structure that needs to be embedded in 3D to do its thing.

Break your mind a bit.

* female genius

* On “On Invariants of Manifolds”

2 pages about how notation and algorithms are inferior to clarity and simplicity.

* pretty robots

You’ll understand calculus better after looking at these pretty 75 pages.

* Farey

Have another look at ye olde Int class.

* renormalisation

Stéphane Mallat thinks renormalisation has something to do with why deep nets work.

* the torus trick, applied

In Simons Foundation’s interview by Michael Hartley Freedman of Robion Kirby, Freedman mentions this paper in which MHF applied RK’s “torus trick” to compression via wavelets.

* renormalisation

Here is a video of a master (https://press.princeton.edu/titles/5669.html) talking about renormalisation. Which S Mallat has suggested is key to why deep learning works.

* Cartan triality + Milnor fibre

This is a higher-level paper, but still a survey (so more readable). It ties together disparate areas like Platonic solids (A-D-E), Milnor’s exceptional fibre, and algebra.

It has pictures and you’ll get a better sense of what mathematics is like from skimming it.

* Create see.machine.learning

* tropical geometry

Recently there have been some papers posted about tropical geometry of neural nets. Tropical is also said to be derived from CS. This is a good introduction.

* self-similarity by Tom Leinster

Again on the topic of renormalisation. Dr Leinster has a nice, simple picture of self-similarity.

* rename papers accordingly, and add descriptive info

remove dup maths papers

* fixed crappy explanations

* improved the annotations for papers in the Machine Learning readme

* remediated descriptive wording for papers in the mathematics section

* removed local copy and added link to Conway Zip Proof

* removed local copy and added link to Packing of Spheres - Sloane

* removed local copy and added link to Algebraic Topo - Hatcher

* removed local copy and added link to Topo of Numbers - Hatcher

* removed local copy and added link to Young Tableax - Yong

* removed local copy and added link to Elements of A Topo

* removed local copy and added link to Truncation of Wavlet Matrices

Co-authored-by: Zeeshan Lakhani <202820+zeeshanlakhani@users.noreply.github.com>
Co-authored-by: Wiktor Czajkowski <wiktor.czajkowski@gmail.com>
Co-authored-by: keddad <keddad@yandex.ru>
Co-authored-by: i <isomorphisms@sdf.org>
2019-12-25 23:36:58 -05:00
Mahfuza Humayra Mohona
9d830880b5 Added a list of papers for Brain Computer Interface. (#586)
* created ReadMe

* Update and rename Brain–computer Interface/README.md to Brain-computer Interface/README.md

* Updating Readme as per @hakutsuru's review

* Update README.md
2019-12-13 02:04:44 -05:00
Rajaram Gaunker
bb8be2701e KHyperLogLog paper: measure of reidentifiability in anonymyzed data (#589) 2019-11-24 13:51:40 -06:00
Rajaram Gaunker
80352d2d15 Papers on Web Privacy (#588) 2019-11-23 17:40:34 -05:00
Rajaram Gaunker
b571f8191e Differtial privacy and de-anonymization papers (#585) 2019-11-15 00:27:22 -06:00
Federico Carrone
b86732b009 Add Buenos Aires to the list of chapters (#584)
Add Buenos Aires to the list of chapters
2019-11-14 21:57:52 -06:00
Lílian Honorio Teixeira
d2f57e26ba Adding Object Identification for Computer Vision Using Image Segmentation and Computer Vision Based Detection and Localization of Potholes in Asphalt Pavement Images (#583)
* Adding Object Identification for Computer Vision Using Image Segmentation and Computer Vision Based Detection and Localization of Potholes in Asphalt Pavement Images

* Adding Object Identification for Computer Vision Using Image Segmentation and Computer Vision Based Detection and Localization of Potholes in Asphalt Pavement Images
2019-11-14 21:27:23 -06:00
Rajaram Gaunker
ccd2941adc Add kanonymity paper in privacy category (#582)
* Add kanonymity paper in privacy category

* Update README.md
2019-11-14 21:23:35 -06:00
Jody Alford
d0964171d1 Game design elements link fix (#579)
[From Game Design Elements to Gamefulness: Defining “Gamification”](https://uwaterloo.ca/scholar/sites/ca.scholar/files/lnacke/files/From_game_design_elements_to_gamefulness-_defining_gamification.pdf)

Previous link was 404ing
2019-10-24 20:10:04 -04:00
Sébastien Portebois
38bda8dae5 Fix broken links (#578)
Fix broken links in operating_systems
Fix broken link in networks
Fix broken link in robotics (plus typo)
Fix Unikernel paper links
2019-10-23 09:27:25 -04:00
Michael Jalkio
1624d6d39c Fix 404 papers (#577)
* Update link to Interactive Horizon Mapping: Shadows for bump-mapped surfaces
* Update link to A Mathematical Theory of Cryptography (1945)
2019-10-21 20:08:46 -04:00
Rachita Bhagchandani
ec34be84a2 Corrected indentation (#575) 2019-10-08 21:47:41 -04:00
Angela Ambroz
a03416af40 Adding Varian 2009 (#574) 2019-10-01 08:49:30 -04:00
Juanito Fatas
ba4aac88ea Fix links after rename plt to languages-theory (#573) 2019-09-18 10:59:21 -05:00
Eugene Jen
9481bf54ce [FIX_BROKEN_LINKS_ROBERT_HARPER] fix broken link to Robert Harper's collections of research papers (#572) 2019-09-10 00:19:58 -04:00
NewAlexandria
7edb828c2d Verification faults dirs (#566)
* consolidate program verificaiton and program fault detection listings.
* faults and validation gets header info
2019-09-07 11:18:05 -04:00
keddad
e98568b063 Fixed link (#568)
* Update README.md
* Fixed A Unified Theory of Garbage Collection link
2019-09-07 11:17:35 -04:00
NewAlexandria
7efd6bf8d7 consolidate org-sim and sw-eng dirs (#567)
* consolidate org-sim and sw-eng dirs
* typo and links
2019-09-07 11:16:40 -04:00
NewAlexandria
5a081a62c2 group pattern-* related papers (#564)
* combine clustering algo into pattern matching

* rename stringology with the pattern_ prefix

* improved the README header info for paper related to patterns
2019-09-04 06:39:40 -04:00
NewAlexandria
bbe18dc2c5 Rename "paradigm" and "plt" folders for findability (#561)
* rename "language-paradigm" folder for findability

lang para pluralize

* rename PLT => languages-theory

* fixed formatting
2019-09-04 06:38:53 -04:00
Wiktor Czajkowski
9e1ee27e9f Add statecharts paper in a new systems modeling category (#565) 2019-09-03 22:50:21 -04:00
Zeeshan Lakhani
e09bdcda53
Update CODE_OF_CONDUCT.md 2019-09-03 09:21:50 -04:00
Zeeshan Lakhani
7782b3e21e
Add gitter for community. 2019-09-03 09:20:17 -04:00
Wally Jones
5db7bda337 Fix two broken links (#558)
* Fix broken link: PODC queues

* Fix broken link: p457-consolvo.pdf
2019-08-18 23:11:21 -04:00
jiangplus
964a9294a5 adding beijing chapter to readme (#556) 2019-08-13 08:41:59 -04:00
Paul Welch
2b5e076d89 Update SWIM Link (#557)
The URL for the SWIM PDF has changed on Cornell's site.
2019-08-07 18:55:32 -04:00
Alexander Jung
b184353984 Add some of my favourite papers on unikernels (#554) 2019-07-15 07:12:19 -04:00
Никита
2b32b53b3f Update README.md (#555) 2019-07-14 15:30:43 -04:00
Stephen De Gabrielle
ca04e2da74 On the Expressive Power of Programming Languages (#553)
* Update README.md
2019-07-13 17:20:54 -04:00
Stephen De Gabrielle
27e3f28b9e paper at PWL conf (#552)
* paper at PWL conf

paper at PWL conf  https://pwlconf.org/2019/shriram-krishnamurthi

* scroll emoji removed
2019-07-11 16:20:12 -04:00
Ianislav Vasilev
3dd27b0ba4 A structure paper I come by every now and then. Useful for competitive programming. (#549) 2019-06-16 15:48:36 -04:00
NewAlexandria
ac241fb4b4 Fix for URL to Flattening Combinators PDF (#548) 2019-06-06 13:41:41 -04:00
Chandan Singh
b5614ed1cb Add new machine learning papers (#546) 2019-05-27 19:10:44 -04:00
Sumit Kumar Singh
2c46dabc37 Add: Artificial Intelligence - A Universal Music Translation Network (#545)
* Add: Software Engineering topic, 2 research papers

* Fix: typo

* Resolve Conflict: software_ngineering/README.md

* Add: Artificial Intelligence - A Universal Music Translation Network
2019-05-10 18:51:08 -04:00
Sean Broderick
2aeca78bc3 polish summary of "Why Software Projects need Heroes" 2019-04-29 22:33:08 -04:00
Sean Broderick
53550836d0 fix spelling error in software_engineering readme
Actually, intend to fix description a bit, but before diving in, just
checking to be sure pushing trivial updates will work >_<
2019-04-29 22:19:09 -04:00
Sumit Kumar Singh
506aaa352b Add: software_engineering - Why software projects need heroes (#544)
* Add: Software Engineering topic, 2 research papers

* Fix: typo
2019-04-29 22:11:26 -04:00
Sumit Kumar Singh
0dc4a39959 Add: Software Engineering topic, 2 research papers (#543) 2019-04-22 14:41:31 -04:00
Yy
1b65148fef Fix Dead Link (#542)
Replace the dead link of *A Note on Distributed Computing*
2019-04-19 09:22:07 -04:00
Jon Moore
4345e4bf66 As software becomes more and more integrated in our daily lives, we (#537)
need, more than ever, for the software we write to work reliably in a
wide range of conditions--even, and especially, in unexpected
conditions. This paper, written by Robert Rasmussen from the Jet
Propulsion Laboratory in 2008, documents and explains some fundamental
principles about designing fault tolerant systems as learned through
the hard-won experience of designing Guidance, Navigation, and Control
(GN&C) systems for spacecraft. This paper is rich in principles,
examples, and advice, and has a lot to offer to our industry
generally--even for those of us who don't actively work on software for
spaceships!
2019-03-11 20:20:26 -04:00
Sohom Bhattacharjee
9fa554d33e Adds Papers We Love Mumbai (#535) 2019-02-02 10:38:13 -05:00
João Farias
ac8d9ce108 Adding the original MVC paper (#532) 2018-11-24 09:07:04 -05:00
David Ashby
76be2bbb83 change to v8 since v1 is a buggy redirect loop (#531) 2018-11-10 10:05:42 -05:00
Himansu Didwania
709faf7978 Added PWL Bhubaneswar (#528) 2018-09-09 08:07:27 -04:00
Christian Oliff
c35fc811b9 Correct capitalisation of YouTube (#527) 2018-09-07 06:22:35 -04:00
Youssef Sherif
933fabebee Add Cairo's meetup (#525) 2018-08-28 12:11:49 -04:00
Benjamin Smith
7c801a1090 Updating links for reed.com as it has moved (#524)
* Details here: https://www.reed.com/dpr/moved.html
2018-06-26 16:33:00 -04:00
Alex Prut
87de1f5e2e Ethereum: a secure decentralized generalized transaction ledger (#523) 2018-06-13 19:34:35 -04:00