File list

Jump to: navigation, search

This special page shows all uploaded files.

File list
 
First page
Last page
Date Name Thumbnail Size User Description Versions
14:53, 3 June 2016 Arithmetic Algorithms for Extended Precision Using Floating-point Expansions by Mioara Joldes and Olivier Marty and Jean-Michel Muller and Valentina Popescu.pdf (file) 2.3 MB Martin Vahi Downloaded on 2016_06_03 from https://hal.archives-ouvertes.fr/hal-01111551/file/newton-raph.pdf 1
05:06, 7 June 2016 Abc61225 id est ABC is a system for sequential synthesis and verification.zip (file) 5.55 MB Martin Vahi Downloaded on 2016_06_07 from http://www.eecs.berkeley.edu/~alanmi/abc/abc61225.tar.gz http://people.eecs.berkeley.edu/~alanmi/courses/2008_290A/ https://archive.is/q97pH 1
07:52, 13 June 2016 2010 08 xx Formal Verification of Programs and Their Transformations by Guodong Li.pdf (file) 996 KB Martin Vahi Downloaded on 2016_06_13 from http://formalverification.cs.utah.edu/pdf/ligd_thesis.pdf 1
15:57, 13 June 2016 2016 03 17 Typosquatting in Programming Language Package Managers presented by Nikolai Philipp Tschacher.pdf (file) 870 KB Martin Vahi Downloaded on 2016_06_13 from http://incolumitas.com/data/thesis.pdf http://incolumitas.com/2016/06/08/typosquatting-package-managers/ https://archive.is/RPwM3 https://lwn.net/Articles/690605/ 1
18:20, 10 July 2016 Tricorder Building a Program Analysis Ecosystem by Caitlin Sadowski and Jeffrey van Gogh and Ciera Jaspan and Emma Söderberg and Collin Winter.pdf (file) 322 KB Martin Vahi Downloaded on 2016_07_10 from http://static.googleusercontent.com/media/research.google.com/en//pubs/archive/43322.pdf http://research.google.com/pubs/pub43322.html 1
22:38, 27 July 2016 Lightweight Bounds Checking by Niranjan Hasabnis and Ashish Misra and R Sekar.pdf (file) 361 KB Martin Vahi Downloaded on 2016_07_27 from http://seclab.cs.sunysb.edu/seclab/pubs/lbc.pdf http://sva.cs.illinois.edu/menagerie/ 1
23:03, 2 September 2016 Archive is AQVma.zip (file) 28 KB Martin Vahi Downloaded on 2016_09_02 from https://archive.is/AQVma https://www.cs.cmu.edu/~mblum/research/pdf/grad.html 1
12:24, 10 September 2016 2016 09 10 Software Foundations book HMTL and samples.tar.gz (file) 1.55 MB Martin Vahi Downloaded on 2016_09_10 from http://www.cis.upenn.edu/~bcpierce/sf/current/sf.tgz http://www.cis.upenn.edu/~bcpierce/sf/current/ https://archive.is/EUXrr 1
09:32, 22 September 2016 2016 09 22 archive is cClOi.zip (file) 1.68 MB Martin Vahi https://theintercept.com/2014/10/28/smuggling-snowden-secrets/ https://archive.is/cClOi "Ed Snowden Taught Me To Smuggle Secrets Past Incredible Danger. Now I Teach You" 1
02:00, 13 November 2016 How long can a Graph be kept Planar by V Anuradha and Chinmay Jain and Jack Snoeyink and Tibor Szabo.pdf (file) 96 KB Martin Vahi Downloaded on 2016_11_13 from http://www.combinatorics.org/ojs/index.php/eljc/article/view/v15i1n14/pdf http://www.emis.de/journals/EJC/ojs/index.php/eljc/article/view/v15i1n14 1
20:29, 28 November 2016 Toward an Open Source Civilization by Cameron Colby Thomson and Marcin Jakubowski.pdf (file) 1.48 MB Martin Vahi Downloaded on 2016_11_28 from http://www.mitpressjournals.org/doi/pdf/10.1162/INOV_a_00139 1
21:07, 28 November 2016 On Whose Shoulders by Yorick Wilks.pdf (file) 108 KB Martin Vahi Downloaded on 2016_11_28 from http://www.mitpressjournals.org/doi/pdf/10.1162/coli.2008.34.4.471 http://staffwww.dcs.shef.ac.uk/people/Y.Wilks/ 1
23:30, 28 November 2016 Unified Classical Logic Completeness by Jasmin Christian Blanchette and Andrei Popescu1 and Dmitriy Traytel.pdf (file) 191 KB Martin Vahi Downloaded on 2016_11_28 from http://www4.in.tum.de/~popescua/pdf/COMPL.pdf 1
01:53, 18 December 2016 2006 02 xx ted com Burt Rutan About Privately Funded Research.webm (file) 38.09 MB Martin Vahi http://www.ted.com/talks/burt_rutan_sees_the_future_of_space https://archive.is/6dygW 1
12:31, 21 December 2016 From Code to Models by Gerard J Holzmann.pdf (file) 59 KB Martin Vahi Downloaded on 2016_12_21 from http://spinroot.com/gerard/pdf/code_models2000.pdf 1
16:15, 21 December 2016 2013 07 23 cs ucsb edu tilde koc ac notes onetime.pdf (file) 50 KB Martin Vahi http://cs.ucsb.edu/~koc/ac/notes/onetime.pdf 1
09:58, 29 December 2016 Handbook of Exact String-Matching Algorithms by Christian Charras and Thierry Lecroq.pdf (file) 713 KB Martin Vahi Downloaded on 2016_12_29 from http://www-igm.univ-mlv.fr/~lecroq/string/string.pdf http://www-igm.univ-mlv.fr/~lecroq/string/index.html 1
11:09, 29 December 2016 The Exact String Matching Problem a Comprehensive Experimental Evaluation by Simone Faro and Thierry Lecroq.pdf (file) 298 KB Martin Vahi Downloaded on 2016_16_29 from https://arxiv.org/pdf/1012.2547v1.pdf https://arxiv.org/abs/1012.2547 http://www-igm.univ-mlv.fr/~lecroq/ 1
11:17, 29 December 2016 Smart.13.02.tar.gz (file) 103 KB Martin Vahi Downloaded on 2016_12_29 from http://www.dmi.unict.it/~faro/smart/download/smart.13.02.tar.gz http://www.dmi.unict.it/~faro/smart/ http://www-igm.univ-mlv.fr/~lecroq/ 1
23:26, 31 December 2016 2016 12 31 geometry 01.jpeg (file) 148 KB Martin Vahi   1
23:27, 31 December 2016 2016 12 31 geometry 01.xcf (file) 151 KB Martin Vahi File:2016 12 31 geometry 01.jpeg 1
14:40, 2 January 2017 2015 xx xx YouTube HFSDVrnAXZI Loren R Graham About why Technological Modernization Fails in Russia.webm (file) 8.83 MB Martin Vahi https://www.youtube.com/watch?v=HFSDVrnAXZI 1
07:45, 10 January 2017 HemannMuKanren2013.pdf (file) 270 KB Martin Vahi Downloaded on 2017_01_10 from http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf http://minikanren.org/ https://archive.is/90T8j 1
07:51, 10 January 2017 Relational Programming in miniKanren Techniques Applications and Implementations by William E Byrd.pdf (file) 1.18 MB Martin Vahi Downloaded on 2017_01_10 from http://media.proquest.com/media/pq/classic/doc/1917964651/fmt/ai/rep/NPDF?_s=TNY6GgBDo61mT5l2MyDhVZwGyzU%3D http://gradworks.umi.com/33/80/3380156.html http://minikanren.org/ https://archive.is/90T8j 2
07:55, 10 January 2017 2017 01 10 GitHub jsl ruby ukanren-master.zip (file) 13 KB Martin Vahi https://github.com/jsl/ruby_ukanren http://minikanren.org/ 1
07:15, 13 January 2017 Automation of Mathematical Induction as part of the History of Logic by J Strother Moore and ClausPeter Wirth.pdf (file) 1.19 MB Martin Vahi Downloaded on 2017_01_13 from http://www.cs.utexas.edu/users/moore/publications/moore-wirth-2014a.pdf http://www.cs.utexas.edu/users/moore/best-ideas/nqthm/ https://archive.is/H48ay 1
19:52, 23 January 2017 ASSERTIONS IN PROGRAMMING LANGUAGES by Richard N Taylor.pdf (file) 750 KB Martin Vahi Downloaded on 2017_01_23 from http://delivery.acm.org/10.1145/960000/954139/p105-taylor.pdf?ip=84.52.50.2&id=954139&acc=AUTHOR-IZED&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E00FF13A0232A132E&CFID=892179534&CFTOKEN=42447252&__acm__=... 1
13:55, 26 January 2017 Support Vector Machines and Kernels for Computational Biology by Asa Ben-Hur and Cheng Soon Ong and Sören Sonnenburg and Bernhard Schölkopf and Gunnar Rätsch.pdf (file) 514 KB Martin Vahi Downloaded on 2017_01_26 from http://svmcompbio.tuebingen.mpg.de/plos-svm.pdf http://svmcompbio.tuebingen.mpg.de/plos-svm.html 1
14:20, 26 January 2017 Cognitive Systems by H I Christensen and A Sloman and G-J Kruijff and J Wyatt.pdf (file) 41.82 MB Martin Vahi Downloaded on 2017_01_26 from http://www.cognitivesystems.org/cosybook/cosy-book.pdf 1
09:54, 28 January 2017 1zN8g.zip (file) 728 KB Martin Vahi Downloaded on 2017_01_28 from https://archive.is/1zN8g http://www.mdpi.com/2073-4336/7/4/37/htm 1
14:42, 1 February 2017 8g2VU.zip (file) 36 KB Martin Vahi Downloaded on 2017_02_01 from https://archive.is/8g2VU https://arstechnica.com/civis/viewtopic.php?f=26&t=1282857 1
17:26, 1 February 2017 High Performance RadiationHardened Electronics for Space Environments by Andrew S Keys and Michael D Watson and Donald O Frazier and James H Adams and Michael A Johnson and Elizabeth A Kolawa.pdf (file) 13.25 MB Martin Vahi Downloaded on 2017_02_01 from https://solarsystem.nasa.gov/docs/1_RHESE.pdf 1
02:29, 2 February 2017 2015 xx xx British Prime Minister David Cameron Wants to ban Proper Cryptography.webm (file) 2.67 MB Martin Vahi https://www.youtube.com/watch?v=u_kqM0gn63M 1
16:30, 2 February 2017 Engineering SelfAdaptive Systems through Feedback Loops.pdf (file) 655 KB Martin Vahi Downloaded on 2017_02_01 from https://pdfs.semanticscholar.org/3c11/1e31a8a971982520adf51945a402d13ce4da.pdf 1
03:17, 9 February 2017 2017 xx xx clausewitz com PrinciplesOfWar.pdf (file) 157 KB Martin Vahi Downloaded 2017_02_09 from http://www.clausewitz.com/readings/Principles/Clausewitz-PrinciplesOfWar-ClausewitzCom.pdf http://www.clausewitz.com/mobile/principlesofwar.htm https://archive.is/cCUrd 1
18:12, 22 February 2017 2004 THORIUM-FUELED UNDERGROUND POWER PLANT BASED ON MOLTEN SALT TECHNOLOGY by RALPH W MOIR and EDWARD TELLER.pdf (file) 214 KB Martin Vahi   2
18:13, 22 February 2017 2013 12 18 Library of Alexandria and the Development of the Capabilities of Human Speeces.webm (file) 8.01 MB Martin Vahi   1
18:14, 22 February 2017 Wikipedia org Arthur Charles Clarke predicts internet and PC.webm (file) 6.44 MB Martin Vahi   1
18:20, 22 February 2017 Libvpx-1.6.1.tar.bz2 (file) 1.87 MB Martin Vahi http://downloads.webmproject.org/releases/webm/index.html 1
18:20, 22 February 2017 Vp8-test-vectors-r2.tar.bz2 (file) 3.14 MB Martin Vahi http://downloads.webmproject.org/releases/webm/index.html 1
18:21, 22 February 2017 Vp8-test-vectors-r2.zip (file) 3.19 MB Martin Vahi http://downloads.webmproject.org/releases/webm/index.html 1
18:21, 22 February 2017 Webmdshow-1.0.4.1.zip (file) 1.35 MB Martin Vahi http://downloads.webmproject.org/releases/webm/index.html 1
18:21, 22 February 2017 Webmquicktime-src-0.2.0.tar.gz (file) 89 KB Martin Vahi http://downloads.webmproject.org/releases/webm/index.html 1
18:59, 22 February 2017 2016 06 17 YouTube CGTN 2sBYzJTTQJA 5min 0s Russian Labor is Cheaper than Chinese Labor.webm (file) 3.54 MB Martin Vahi https://www.youtube.com/watch?time_continue=300&v=2sBYzJTTQJA 1
18:16, 23 February 2017 2016 01 24 YouTube Ben Shneiderman bR3p7oHVn2Q A Belief About the Relation Between the Basic Research and the Development of Applications.webm (file) 4.6 MB Martin Vahi https://www.youtube.com/watch?v=bR3p7oHVn2Q https://www.youtube.com/watch?v=EuvYkEP4ECY 1
04:52, 6 March 2017 2017 02 27 YouTube Council on Foreign Relations IRt3XvZhmO4 excerpt about USA Sacrificing its Militarily Weaker Allies to Obtain a Militarily Stronger ally to Strengthen its Resistance Towards an Enemy of the USA.webm (file) 9.74 MB Martin Vahi https://youtu.be/IRt3XvZhmO4?t=53m24s 1
01:25, 11 March 2017 1985 Excerpt from Jim Hartz show Where Wassily Leontief Suggests that Dumber People Should get Income Without Working.webm (file) 14.9 MB Martin Vahi   1
23:02, 11 March 2017 2017 03 09 YouTube 9kkTIe1x81k Heather A Conley more Hardware and less Theology.webm (file) 953 KB Martin Vahi https://youtu.be/9kkTIe1x81k?t=34m42s "Let's get the capabilities, let's grow the effort, and then be little less focused on, what I call, the theology." 1
04:02, 22 June 2017 1973 08 xx Nassi and Shneiderman Structograms.pdf (file) 597 KB Martin Vahi Downloade don 2017_06_22 from http://www.cs.umd.edu/hcil/members/bshneiderman/nsd/1973.pdf https://en.wikipedia.org/wiki/Nassi%E2%80%93Shneiderman_diagram 1
05:47, 22 June 2017 2008 12 29 Amadeus.tar.xz (file) 2.1 MB Martin Vahi Downloaded on 2017_06_22 from http://kodu.ut.ee/~kiho/Amadeus250/Amadeus291208.zip http://kodu.ut.ee/~kiho/Amadeus250/ 1
First page
Last page