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
00:31, 9 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
18:14, 22 February 2017 Wikipedia org Arthur Charles Clarke predicts internet and PC.webm (file) 6.44 MB Martin Vahi   1
22: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
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: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
06:22, 22 May 2020 WHAT ARE BELIEF SYSTEMS by J L Usó-Doménech and J Nescolarde-Selva.pdf (file) 164 KB Martin Vahi Downloaded on 2020_05_22 from https://www.vub.be/CLEA/FOS/cfp/what-are-belief-systems.pdf 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: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
23:58, 23 February 2018 Viterbi Algorithm for error detection and correction by Varsha P Patil and D G Chougule and Radhika R Naik.pdf (file) 171 KB Martin Vahi Downloaded on 2018_02_23 from http://www.iosrjournals.org/iosr-jece/papers/sicete-volume6/76.pdf 1
00:38, 16 May 2016 Verification of C Programs Using Automated Reasoning by David Crocker and Judith Carlton.pdf (file) 141 KB Martin Vahi Downloaded on 2016_05_16 from http://www.eschertech.com/papers/sefmpaper.pdf 1
02:06, 4 March 2019 Using MOSFETs in Load Switch Applications An ON Semiconductor Application Note AND9093-D.pdf (file) 345 KB Martin Vahi Downloaded on 2019_03_04 from https://www.onsemi.com/pub/Collateral/AND9093-D.PDF 1
00:53, 21 May 2016 Users ece utexas edu tilde gerstl Viterbi Encoding.pdf (file) 103 KB Martin Vahi Downloaded on 2016_05_21 from http://users.ece.utexas.edu/~gerstl/ee382v-ics_f09/lectures/Viterbi.pdf 1
03:31, 22 January 2018 Unplanned Obsolescence Hardware and Software After Collapse by Esther Jang and Matthew Johnson and Edward Burnell and Kurtis Heimerl.pdf (file) 201 KB Martin Vahi Downloaded on 2018_01_22 from http://kurti.sh/pubs/unplanned_limits17.pdf http://kurti.sh/ https://people.eecs.berkeley.edu/~brewer/ http://www.nicemice.net/amc/os-prelim/spring1997.var http://www.nicemice.net/amc/projects.var 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
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
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
22: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
20:49, 2 March 2018 The Use of a Formal Simulator to Verify a Simple Real Time Control Program by Robert S Boyer and Milton W Green and J Strother Moore.pdf (file) 1.27 MB Martin Vahi Downloaded on 2018_03_02 from http://www.cs.utexas.edu/users/moore/publications/controller.pdf 1
00:26, 30 April 2016 The Star Wars Walkers t1.jpg (file) 205 KB Martin Vahi Downloaded on 2016_04_30 from http://www.fondowallpaper.com/2012/12/54-wallpapers-star-wars-hd-variados.html https://archive.is/H2Zyl 1
11:56, 17 April 2016 The Logic in Computer Science Column by Yuri Gurevich a SAT Solver Primer by David G Mitchell.pdf (file) 144 KB Martin Vahi Downloaded on 2016_04_17 from http://www.cs.sfu.ca/~mitchell/papers/colLogCS85.pdf 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
20:33, 29 May 2015 The Byzantine Generals Problem by Leslie Lamport and Robert Shostak and Marshall Pease.pdf (file) 1.19 MB Martin Vahi 2014_11_21, Leslie Lamport, http://dl.acm.org/citation.cfm?id=357176 1
07:22, 24 June 2020 Text Algorithms by Maxime Crochemore and Wojciech Rytter.pdf (file) 2.39 MB Martin Vahi Downloaded on 2020_06_24 from http://www-igm.univ-mlv.fr/~mac/REC/text-algorithms.pdf 1
06:32, 24 June 2020 THE DESIGN OF MAPLE A COMPACT PORTABLE AND POWERFUL COMPUTER ALGEBRA SYSTEM by Bruce W Char and Keith O Geddes and W Morven Gentleman and Gaston H Gonnet.pdf (file) 989 KB Martin Vahi Downloaded on 2020_06_24 from https://www.mapleprimes.com/DocumentFiles/19185/Keith_Paper.pdf 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
06:26, 18 April 2016 Sphinx A Compact and Provably Secure Mix Format by George Danezis and Ian Goldberg.pdf (file) 473 KB Martin Vahi Downloaded on 2016_04_18 from http://freehaven.net/anonbib/cache/DBLP:conf/sp/DanezisG09.pdf According to the http://freehaven.net/anonbib/#ccs07-doa its original URL was http://research.microsoft.com/en-us/um/people/gdane/papers/sphinx-eprint.pdf 1
05:51, 16 January 2021 Spdx dev Software Package Data Exchange SPDX Specification v 2 2.pdf (file) 2.08 MB Martin Vahi https://spdx.dev/wp-content/uploads/sites/41/2020/08/SPDX-specification-2-2.pdf 1
13:58, 7 May 2021 Soviet USSR CCCP CPU KP1806BE1 id est KR1806VE1 datasheet.pdf (file) 1.06 MB Martin Vahi Downloaded on 2021_05_07 from http://silirium.ru/datasheets/ussr-KR1806VE1.pdf.zip 1
14:00, 7 May 2021 Soviet CPU KP1806BE1 id est KR1806VE1 minimum configuration schematics.png (file) 74 KB Martin Vahi A screenshot from a datasheet that has been downloaded on 2021_05_07 from http://silirium.ru/datasheets/ussr-KR1806VE1.pdf.zip 1
15:34, 12 February 2019 Some Properties of Brzozowski Derivatives of Regular Expressions by N Murugesan and O V Shanmuga Sundaram.pdf (file) 78 KB Martin Vahi Downloaded on 2019_02_12 from https://arxiv.org/pdf/1407.5902.pdf 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
17:16, 12 April 2020 Shadows over the speed of light by J J Mareš and P Hubík and V Špička and J Stávek and J Šesták and J Krištofik.pdf (file) 474 KB Martin Vahi Downloaded on 2020_04_12 from https://arxiv.org/pdf/1606.02128.pdf 1
10:07, 5 June 2015 Scheduling Multithreaded Computations by Work Stealing by Robert D Blumofe and C.pdf (file) 387 KB Martin Vahi Downloaded 2015_06_05 from http://supertech.csail.mit.edu/papers/steal.pdf 1
07: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
20: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
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
03:07, 28 August 2020 Reducing Context Switch Overhead with CompilerAssisted Threading by Pekka Jääskelainen and Pertti Kellomäki and Jarmo Takala and Heikki Kultala and Mikael Lepistö.pdf (file) 73 KB Martin Vahi Downloaded on 2020_08_28 from http://openasip.org/papers/Threading.pdf 1
14:32, 4 November 2020 Reasoning About Past Events in ContextAware Middleware by Eline Philips and Christophe Scholliers and Charlotte Herzeel and Stijn Mostinckx.pdf (file) 132 KB Martin Vahi Downloaded on 2020_11_04 from http://soft.vub.ac.be/Publications/2007/vub-prog-tr-07-25.pdf https://soft.vub.ac.be/soft/content/fact-space-model http://soft.vub.ac.be/amop/start https://fluence.network/ 1
10:20, 17 April 2016 RGB CMY färgcirkel.svg (file) 22 KB Martin Vahi Downloaded on 2016_04_17 from https://upload.wikimedia.org/wikipedia/commons/1/17/RGB_CMY_f%C3%A4rgcirkel.svg 1
03:45, 17 June 2013 Quark-0807.tar.gz (file) 1.3 MB Martin Vahi Downloaded from http://goto.ucsd.edu/quark/quark-0807.tar.gz on 2013_06_17. 1
12: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
11: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
00:40, 24 August 2018 Perspectives on Standardization in Mobile Robot Programming The Carnegie Mellon Navigation CARMEN Toolkit by Michael Montemerlo and Nich.pdf (file) 140 KB Martin Vahi Downloaded on 2018_08_24 from http://robots.stanford.edu/papers/Montemerlo03b.pdf https://capablerobot.com/blog/2018/2018-05-09-wheel-reinvention/ 1
09:03, 1 February 2018 PT5hc.zip (file) 298 KB Martin Vahi Downloaded on 2018_02_01 from https://archive.is/PT5hc https://www.bestvalueschools.com/most-affordable-universities-america/ 1
20:42, 2 March 2018 PROGRAM VERIFICATION by Robert S Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning.pdf (file) 21 KB Martin Vahi Downloaded on 2018_03_02 from https://www.cs.utexas.edu/users/boyer/jar.pdf 1
06:47, 19 January 2015 Oo er relations demo t1.jpeg (file) 22 KB Martin Vahi Once upon a time the image was at http://longterm.softf1.com/specifications/beesting_access_rights_specification/ 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
18:03, 11 November 2019 Nõo Reaalgümnaasiumi vana hone seina grafiti foto NRG kodulehelt i-xcWP7Nb-X2.jpeg (file) 259 KB Martin Vahi Downloaded on 2019_11_11 from https://nrg.smugmug.com/Pildid/Vanad-%C3%B5ppehooned/i-xcWP7Nb/A 1
12:54, 16 April 2016 NUwOw.zip (file) 623 KB Martin Vahi 2016_04 archieval copy https://archive.is/nUwOw of http://uus.minut.ee/m-v-2015_02-nagemus-sellest-millistes-programmeerimiskeeltes-tasub-end-vormi-ajada/ 1
13:58, 22 June 2019 Mpfr-4.0.2.tar.xz (file) 1.38 MB Martin Vahi Downloaded on 2019_06_22 from https://www.mpfr.org/mpfr-current/mpfr-4.0.2.tar.xz 1
First page
Previous page
Last page