File list

Jump to: navigation, search

This special page shows all uploaded files.

File list
 
First page
Previous page
Last page
Date Name Thumbnail Size User Description Versions
08:50, 23 November 2017 2017 xx xx The Constitution of the United States.pdf (file) 104 KB Martin Vahi Downloaded on 2017_11_23 from http://www.usconstitution.net/const.pdf https://twitter.com/TomRevisited1/status/933559128970153984 (archival copy: https://archive.fo/3tbaF) 1
13:04, 18 November 2017 Matching Logic by Grigore Rosu.pdf (file) 1.17 MB Martin Vahi Downloaded on 2017_11_18 from https://arxiv.org/pdf/1705.06312.pdf https://arxiv.org/abs/1705.06312 1
06:26, 18 November 2017 2017 xx xx The Return of Coppersmith s Attack Practical Factorization of Widely Used RSA Moduli by Matus Nemec and Marek Sys and Petr Svenda and Dusan Klinec and Vashek Matyas.pdf (file) 1.83 MB Martin Vahi Downloaded on 2017_11_18 from https://acmccs.github.io/papers/p1631-nemecA.pdf https://www.scmagazine.com/estonia-suspends-national-760000-id-cards-found-prone-to-encryption-vulnerability/article/706134/ Rob Murrer's comment at https://twitter.com... 1
11:01, 26 October 2017 Qeditas A Formal Library as a Bitcoin SpinOff by Bill White.pdf (file) 190 KB Martin Vahi Downloaded on 2017_10_26 from http://qeditas.org/docs/qeditas.pdf https://iohk.io/projects/qeditas/ 1
10:56, 26 October 2017 2016 10 03 QeditasTechDoc.pdf (file) 897 KB Martin Vahi Downloaded on 2017_10_26 from http://qeditas.org/docs/QeditasTechDoc.pdf https://iohk.io/projects/qeditas/ 1
10:51, 26 October 2017 Qeditas-0.0.1.tar.gz (file) 200 KB Martin Vahi Downloaded on 2017_10_26 from http://qeditas.org/ https://iohk.io/projects/qeditas/ 1
01:42, 15 October 2017 2017 10 xx www obsidianfields com lj venn-poster4-large.jpeg (file) 578 KB Martin Vahi Downloaded on 2017_10_15 from http://www.obsidianfields.com/lj/venn-poster4-large.jpg 1
23:31, 8 October 2017 Www.math.brown.edu I tilde jhs I MathCrypto I SampleSections.pdf (file) 178 KB Martin Vahi Downloaded on 2017_10_09 from http://www.math.brown.edu/~jhs/MathCrypto/SampleSections.pdf 1
21:52, 7 October 2017 Who Guards the Guards dot Formal Validation of the Arm v8M Architecture Specification by ALASTAIR REID.pdf (file) 695 KB Martin Vahi Downloaded on 2017_10_07 from https://alastairreid.github.io/papers/oopsla2017-whoguardstheguards.pdf 1
15:28, 17 August 2017 2015 xx xx Anti-Forensic Study by Patrycjusz Zdzichowski and Michal Sadlon and Teemu Uolevi V2is2nen and Alvaro Botas Munoz and Karina Filipczak.pdf (file) 1.28 MB Martin Vahi Downloaded on 2017_08_17 from https://ccdcoe.org/sites/default/files/multimedia/pdf/AF_with%20intro.pdf 1
23:38, 13 August 2017 2002 11 14 Package Views a more Flexible Infrastructure for Thirdparty Software by Alistair Crooks.pdf (file) 188 KB Martin Vahi Downloaded on 2017_08_13 from https://www.netbsd.org/docs/software/pkgviews.pdf https://www.netbsd.org/docs/software/packages.html 1
05:46, 9 July 2017 2017 07 09 OPTI Toolbox.zip (file) 10.66 MB Martin Vahi https://www.inverseproblem.co.nz/OPTI/ http://www.i2c2.aut.ac.nz/Resources/Software.html 1
17:20, 6 July 2017 Introduction to Conic Optimization and SeDuMi In memory of Jos Sturm 1971-2003 by Kees Roos.pdf (file) 346 KB Martin Vahi Downloaded on 2017_07_06 from http://www.isa.ewi.tudelft.nl/~roos/talks/2004/Tilburg.pdf 1
06:44, 6 July 2017 SIAMBookFinalvNov12-2012 Semidefinite Optimization and Convex Algebraic Geometry.pdf (file) 8.82 MB Martin Vahi https://www.math.washington.edu/~thomas/frg/frgbook/SIAMBookFinalvNov12-2012.pdf http://www.mat.uc.pt/~jgouveia/summerpoly.html https://archive.is/JSEfw Semidefinite Optimization and Convex Algebraic Geometry (free pdf copy), Editors: Grigoriy B... 1
18:44, 30 June 2017 2017 06 26 TileScript.tar.xz (file) 1.04 MB Martin Vahi It's a structogram. http://www.tinlizzie.org/jstile/#Home 1
07:46, 27 June 2017 2014 10 14 Data Stream Algorithms by Amit Chakrabarti.pdf (file) 590 KB Martin Vahi   1
07:41, 27 June 2017 2012 05 xx Reusable Software Infrastructure for Stream Processing by Robert Soule.pdf (file) 1.55 MB Martin Vahi Downloaded on 2017_06_27 from http://www.cs.nyu.edu/~soule/soule_phdthesis.pdf http://www.cs.nyu.edu/brooklet/ 1
21:47, 26 June 2017 Toward A More Scalable End-User Scripting Language by Alessandro Warth and Takashi Yamamiya and Yoshiki Ohshima and Scott Wallace.pdf (file) 118 KB Martin Vahi Downloaded on 2017_06_26 from http://www.tinlizzie.org/jstile/c52008-15/c52008-ohshima.pdf http://www.tinlizzie.org/jstile/#Home http://vpri.org/ 1
19:13, 22 June 2017 S6tvc.zip (file) 20 KB Martin Vahi https://archive.is/s6tvc which is a 2017_06_22 vesion of the http://bitrary.softf1.com/index.php?title=Help:Contents 1
04:52, 22 June 2017 2014 08 04 DRAKON.tar.bz2 (file) 35.15 MB Martin Vahi http://drakon-editor.sourceforge.net/ 1
04: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
03: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
22: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
00: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
03: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
17: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
17: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
17: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
17: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
17:21, 22 February 2017 Vp8-test-vectors-r2.zip (file) 3.19 MB Martin Vahi http://downloads.webmproject.org/releases/webm/index.html 1
17: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
17: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
17:14, 22 February 2017 Wikipedia org Arthur Charles Clarke predicts internet and PC.webm (file) 6.44 MB Martin Vahi   1
17: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
17: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
02: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
15: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
01: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: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
13: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
08: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
13: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
12: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
18: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
06: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
06: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
06: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
06: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
13: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
22:27, 31 December 2016 2016 12 31 geometry 01.xcf (file) 151 KB Martin Vahi File:2016 12 31 geometry 01.jpeg 1
First page
Previous page
Last page