commit
4ce794d82d
@ -0,0 +1,5 @@
|
||||
## Affective Computing
|
||||
|
||||
* :scroll: [Affective Computing](http://affect.media.mit.edu/pdfs/95.picard.pdf)
|
||||
|
||||
* :scroll: [Theories, Methods and Current Research on Emotions](https://irenelopatovska.files.wordpress.com/2012/10/lopatovska_arapakis_2011_theories.pdf)
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
@ -0,0 +1,6 @@
|
||||
Bioinformatics
|
||||
===========
|
||||
## Sequence Analysis
|
||||
* [SneakySnake: A Fast and Accurate Universal Genome Pre-Alignment Filter for CPUs, GPUs, and FPGAs (2019)](https://arxiv.org/abs/1910.09020v2)
|
||||
* [Shouji: a fast and efficient pre-alignment filter for sequence alignment (2019)](https://arxiv.org/ftp/arxiv/papers/1809/1809.07858.pdf)
|
||||
* [Shifted Hamming distance: a fast and accurate SIMD-friendly filter to accelerate alignment verification in read mapping (2015)](https://doi.org/10.1093/bioinformatics/btu856)
|
Binary file not shown.
@ -1,3 +0,0 @@
|
||||
## Clustering Algorithms
|
||||
|
||||
[On the resemblance and containment of documents](http://gatekeeper.dec.com/ftp/pub/dec/SRC/publications/broder/positano-final-wpnums.pdf) (Andrei Z. Broder)
|
@ -1,12 +1,14 @@
|
||||
# Combinatory Logic
|
||||
|
||||
* [Flattening Combinators: Surviving Without Parentheses]
|
||||
by Chris Okasaki (2003)
|
||||
by Chris Okasaki (2003) ([DOI])
|
||||
|
||||
* [Combinatorial Analysis and Computers]
|
||||
by Marshall Hall Jr. and Donald E. Knuth (1965)
|
||||
by Marshall Hall Jr. and Donald E. Knuth (1965)
|
||||
|
||||
[Flattening Combinators: Surviving Without Parentheses]:
|
||||
http://www.westpoint.edu/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/jfp03flat.pdf
|
||||
https://web.archive.org/web/20170828181221/http://www.westpoint.edu:80/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/jfp03flat.pdf
|
||||
[DOI]:
|
||||
https://doi.org/10.1017/S0956796802004483
|
||||
[Combinatorial Analysis and Computers]:
|
||||
http://poncelet.math.nthu.edu.tw/disk5/js/computer/hall-knuth.pdf
|
||||
https://web.archive.org/web/20170904072400/http://poncelet.math.nthu.edu.tw/disk5/js/computer/hall-knuth.pdf
|
||||
|
@ -1,11 +1,13 @@
|
||||
## Computer Science Fundamentals and History
|
||||
|
||||
* "Turing, On computable numbers, with an application to the Entscheidungsproblem" by Alan Turing
|
||||
* As a PDF: [Turing, On computable numbers, with an application to the Entscheidungsproblem](https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf)
|
||||
* As a PDF: [Turing, On computable numbers, with an application to the Entscheidungsproblem](https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf)
|
||||
* As a collection of single images: [Turing, On computable numbers, with an application to the Entscheidungsproblem](http://www.turingarchive.org/browse.php/B/12) by Alan Turing
|
||||
* [Mealy, A Method for Synthesizing Sequential Circuits] (http://www3.alcatel-lucent.com/bstj/vol34-1955/articles/bstj34-5-1045.pdf) by George H. Mealy
|
||||
* [Mealy, A Method for Synthesizing Sequential Circuits](http://www3.alcatel-lucent.com/bstj/vol34-1955/articles/bstj34-5-1045.pdf) by George H. Mealy
|
||||
* :scroll: [Back to the Future - The Story of Squeak, A Practical Smalltalk Written in Itself](story-of-squeak-a-practical-smalltalk-written-in-itself.pdf) by Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace & Alan Kay
|
||||
* :scroll: [Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I](recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf) by John McCarthy
|
||||
* :scroll: [An Axiomatic Basis for Computer Programming](axiomatic-basis-computer-programming.pdf) by C. A. R. HOARE
|
||||
* :scroll: [An Axiomatic Basis for Computer Programming](axiomatic-basis-computer-programming.pdf) by C. A. R. HOARE
|
||||
* [On the Computational Complexity of Algorithims](http://www.ams.org/journals/tran/1965-117-00/S0002-9947-1965-0170805-7/S0002-9947-1965-0170805-7.pdf) by J. HARTMANIS AND R. E. STEARNS
|
||||
* :scroll: [Hints for Computer System Design](hints-for-computer-system-design.pdf)
|
||||
* :scroll: [Early Lisp History: 1956-1959](early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf) by Herbert Stoyan. This is a pdf rendering of the HTML page available at Archive.org.
|
||||
* :scroll: [Why Programming is a good medium for expressing poorly understood and sloppily-formulated ideas](http://web.media.mit.edu/~minsky/papers/Why%20programming%20is--.html) by Marvin Minsky
|
||||
|
Binary file not shown.
File diff suppressed because one or more lines are too long
Binary file not shown.
Binary file not shown.
@ -1,4 +1,23 @@
|
||||
# Data Compression
|
||||
|
||||
* :scroll: [Data Compression](data-compression.pdf)
|
||||
> This paper surveys a variety of data compression methods spanning almost 40 years of research, from the work of Shannon, Fano and Huffman in the 40's, to a technique developed in 1986.
|
||||
|
||||
> This paper surveys a variety of data compression methods spanning almost 40 years of research, from the work of Shannon, Fano and Huffman in the 40's, to a technique developed in 1986.
|
||||
|
||||
## Scientific Data Compression
|
||||
|
||||
* :scroll: [Fast Error-bounded Lossy HPC Data Compression with SZ](fast_error_bounded_Lossy_hpc_data_compression_with_sz.pdf)
|
||||
|
||||
> This is the first version of SZ. In this paper, SZ is introduced to achieve data reduction using regression-based data point prediction.
|
||||
|
||||
* :scroll: [Significantly Improving Lossy Compression for Scientific Data Sets Based on Multidimensional Prediction and Error-Controlled Quantization](Significantly_Improving_Lossy_Compression_for_Scientific_Data_Sets_Based_on_Multidimensional_Prediction_and_Error-Controlled_Quantization.pdf)
|
||||
|
||||
> This work is known as SZ-1.4. In this work, SZ employs multi-dimensional data prediction so that data with dimension larger than 1 is no longer linearized into single dimension before compression. In this way, more data locality is preserved thus compression ratio is improved.
|
||||
|
||||
* :scroll: [Error-Controlled Lossy Compression Optimized for High Compression Ratios of Scientific Datasets](Error-Controlled_Lossy_Compression_Optimized_for_High_Compression_Ratios_of_Scientific_Datasets.pdf)
|
||||
|
||||
> This work is known as SZ-2.0. In this work, authors proposed an online selection tool between 2 predictors, the mean-integrated Lorenzo predictor and linear regression-based predictor. Users can choose the predictor that yields larger compression ratio with higher prediction accuracy.
|
||||
|
||||
* :scroll: [Fixed-Rate Compressed Floating-Point Arrays](fixed-rate_compressed_floating_point_arrays.pdf)
|
||||
|
||||
* :scroll: [FPC: A High-Speed Compressor for Double-Precision Floating-Point Data](fpc_a_high_speed_compressor_for_double_precision_floating_point_data.pdf)
|
||||
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
File diff suppressed because one or more lines are too long
@ -1,4 +1,8 @@
|
||||
# Data Replication
|
||||
|
||||
* :scroll: [A comprehensive study of
Convergent and Commutative Replicated Data Types](a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf)
|
||||
* :scroll: [Immutability Changes Everything](http://cidrdb.org/cidr2015/Papers/CIDR15_Paper16.pdf)
|
||||
> An overview on the patterns in computing leveraging immutability.
|
||||
Nowadays, keeping immutable copies of data is almost inexpensive. One of the advantages of this fact is that it
|
||||
can alleviate the burden of coordinated accesses to the data in the different layers of the SW/HW stack.
|
||||
* :scroll: [A comprehensive study of Convergent and Commutative Replicated Data Types](a-comprehensive-study-of-convergent-and-communative-replicated-data-types.pdf)
|
||||
> Eventual consistency aims to ensure that replicas of some mutable shared object converge without foreground synchronisation. We study a principled approach: to base the design of shared data types on some simple formal conditions that are sufficient to guarantee even- tual consistency. We call these types Convergent or Commutative Replicated Data Types (CRDTs).
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
@ -1,6 +1,7 @@
|
||||
# Design
|
||||
* [No Silver Bullet — Essence and Accidents of Software Engineering](http://faculty.salisbury.edu/~xswang/Research/Papers/SERelated/no-silver-bullet.pdf)
|
||||
* [Traits: A Mechanism for Fine-Grained Reuse](http://scg.unibe.ch/archive/papers/Duca06bTOPLASTraits.pdf)
|
||||
* [THING-MODEL-VIEW-EDITOR an Example from a planningsystem](http://heim.ifi.uio.no/~trygver/1979/mvc-1/1979-05-MVC.pdf)
|
||||
|
||||
* :scroll: [Out of the Tar Pit](out-of-the-tar-pit.pdf)
|
||||
> We identify common causes of complexity and discuss general approaches which can be taken to eliminate them where they are accidental in nature.
|
||||
|
@ -1,3 +1,11 @@
|
||||
# Digital Currency
|
||||
|
||||
* :scroll: [Bitcoin](bitcoin.pdf)
* :scroll: [PeerCoin](peercoin.pdf)
* :scroll: [PrimeCoin](primecoin.pdf)
|
||||
## External Papers
|
||||
|
||||
* [Ethereum: a secure decentralized generalized transaction ledger](https://ethereum.github.io/yellowpaper/paper.pdf)
|
||||
|
||||
## Hosted Papers
|
||||
|
||||
* :scroll: [Bitcoin](bitcoin.pdf)
|
||||
* :scroll: [PeerCoin](peercoin.pdf)
|
||||
* :scroll: [PrimeCoin](primecoin.pdf)
|
||||
|
@ -0,0 +1,13 @@
|
||||
# Distributed File Systems
|
||||
|
||||
* [Sun NFS](http://www.cs.ucf.edu/~eurip/papers/sandbergnfs.pdf)
|
||||
|
||||
* [Google (GFS)](https://static.googleusercontent.com/media/research.google.com/en//archive/gfs-sosp2003.pdf)
|
||||
|
||||
* [Hadoop (HDFS)](https://storageconference.us/2010/Papers/MSST/Shvachko.pdf)
|
||||
|
||||
* [Ceph](https://www.ssrc.ucsc.edu/Papers/weil-osdi06.pdf)
|
||||
|
||||
* [Coda](http://www.coda.cs.cmu.edu/ljpaper/lj.html)
|
||||
|
||||
* [Frangipani](https://pdos.csail.mit.edu/6.824/papers/thekkath-frangipani.pdf)
|
Binary file not shown.
@ -1,51 +0,0 @@
|
||||
## Information Retrieval
|
||||
|
||||
Information retrieval is the activity of obtaining information resources relevant to an information need from a collection of information resources. (Says Wikipedia).
|
||||
|
||||
The included documents are
|
||||
|
||||
* [:scroll:](graph_of_word_and_tw_idf.pdf) [Graph of Word and TW-IDF](http://www.lix.polytechnique.fr/~rousseau/papers/rousseau-cikm2013.pdf) - Francois Rousseau & Michalis Vazirgiannis
|
||||
|
||||
The traditional IR system stores term-specific statistics (typically
|
||||
a term's frequency in each document - which we call TF) in an index.
|
||||
Such a model ignores dependencies between terms and considers a
|
||||
document's terms to occur independently of each other (and is aptly
|
||||
called the bag-of-words model). In this paper the authors use a
|
||||
statistic that uses a graph representation of a document to encode
|
||||
dependencies between terms and replace the TF statistic with a new
|
||||
TW statistic based on the graph constructed and achieve
|
||||
significantly better results that popular existing models. This
|
||||
paper won a honorable mention at CIKM 2013.
|
||||
|
||||
* [:scroll:](pagerank.pdf) [Pagerank Algorithm](http://ilpubs.stanford.edu:8090/422/1/1999-66.pdf) - Lawrence Page, Sergey Brin, Rajeev Motwani and Terry Winograd
|
||||
|
||||
This paper introduces the PageRank algorithm, which forms the backbone of
|
||||
the present day google search engine. Pagerank operates by assessing the
|
||||
number of incoming and outgoing hyper links to a given web page and ranks the
|
||||
pages based on the link structure of a page. The authors also implemented
|
||||
PageRank on the backrub system (now called the Google Search
|
||||
Engine) in the [Anatomy of a Large-Scale Hypertextual Web Search Engine]
|
||||
http://infolab.stanford.edu/~backrub/google.html which assigned page ranks to
|
||||
every webpage in the world wide web. Google is currently the most commercially
|
||||
sucessful generic search engine in the world.
|
||||
|
||||
* [:scroll:](ocapi-trec3.pdf) [Okapi System](http://trec.nist.gov/pubs/trec3/papers/city.ps.gz) - Stephen E. Robertson, Steve Walker, Susan Jones, Micheline Hancock-Beaulieu, and Mike Gatford
|
||||
|
||||
This paper introduces the now famous Okapi information retrieval
|
||||
framework which introduces the BM25 ranking function for ranked
|
||||
retrieval. It is one of the first implementations of the probabilistic
|
||||
retrieval frameworks in literature. BM25 is a bag of words retrieval
|
||||
function. The IDF(Inverse document frequency) term can be interpreted
|
||||
via information theory. If a query q appears in n(q) docs the probability
|
||||
of picking a doc randomly and it containing that term :p(q) = n(q) / D,
|
||||
where D is the number of documents. The information content based on
|
||||
shannon's noisy channel model is = -log(p(q)) = log (D / n(q)). Smoothing
|
||||
by adding a constant to both numberator and demoninator leads to IDF term
|
||||
used in BM25. BM25 has been shown to be one of the best probabilistic
|
||||
weighting schemes. While the paper was in postscript form, the committer has
|
||||
changed the format to pdf as per guidelines of papers we love via ps2pdf.
|
||||
|
||||
* [:scroll:](hits.pdf) [Hits Algorithm](https://www.cs.cornell.edu/home/kleinber/auth.pdf) - Jon M. Kleinberg
|
||||
|
||||
This paper introduces the HITS algorithm, a link analysis algorithm that rates webpages. Unlike the more famous page rank algorithm, the hits algorithm makes a distinction between webpage behavior classifies them as hubs and autho rities. A page is authoratitative (in the sense the page has a large number of incoming links) or acts as a hub (a directory of sort, which can be measured by the number of outgoing link). The hits algorithm computes two scores for a page (authority and hub score) where the algorithm iteratively computes the hub score as sum of authority scores of outgoing links and authority scores as sum of hub scores of incoming links until a convergence is attained. These scores can then be used to rank documents. While this algorithm is famous in academia, its not very widely used in the industry (a variant of this algorithm was used by a company called Teoma which was acquired by AskJeeves)
|
||||
|
Binary file not shown.
@ -0,0 +1,3 @@
|
||||
# C++
|
||||
|
||||
* [Why C++ is not just an Object-Oriented Programming Language-Original](http://www.stroustrup.com/oopsla.pdf)
|
@ -0,0 +1,3 @@
|
||||
# C
|
||||
|
||||
* [The Development of the C Language-Original](https://www.bell-labs.com/usr/dmr/www/chist.pdf)
|
@ -0,0 +1,3 @@
|
||||
# Go
|
||||
|
||||
* [Go Lang Original Paper](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.138.6297&rep=rep1&type=pdf)
|
@ -0,0 +1,5 @@
|
||||
# Java
|
||||
|
||||
* [Java Original Paper](https://pdfs.semanticscholar.org/ee07/8894734c70589cb9653e2169a4342ae02355.pdf)
|
||||
|
||||
* [Java Whitepaper](http://www.stroustrup.com/1995_Java_whitepaper.pdf)
|
@ -0,0 +1,7 @@
|
||||
# Programming Language Theory
|
||||
|
||||
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.
|
||||
|
||||
## Included Papers
|
||||
|
||||
* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(Matthias Felleisen): "The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion of expressiveness and investigate its properties. To demonstrate the theory's closeness to published intuitions on expressiveness, we analyze the expressive power of several extensions of functional languages. Based on these results, we believe that our system correctly captures many of the informal ideas on expressiveness, and that it constitutes a good basis for further research in this direction. " (abstract)
|
Binary file not shown.
Binary file not shown.
Binary file not shown.
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in new issue