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
04:07, 17 June 2015 Kibuvits iteratable tree t1.rb (file) 5 KB Martin Vahi A tree walking and encoding demo. 1
10:29, 3 February 2019 3 vertex labeled complete graph 01.jpeg (file) 6 KB Martin Vahi   1
00:27, 15 April 2013 Cs instance img 1 original.odg (file) 12 KB Martin Vahi   1
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
00:54, 17 February 2013 Art psycho komposition t1.png (file) 14 KB Martin Vahi   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
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
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
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
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
00:14, 17 February 2013 Art psycho test 1 Lorenzo Costa 003.jpeg (file) 37 KB Martin Vahi   1
07:55, 14 April 2013 Cs instance img 1.png (file) 39 KB Martin Vahi   1
01:19, 1 December 2018 1996 05 29 A Fast Quantum Mechanical Algorithm for Database Search by Lov K Grover.pdf (file) 44 KB Martin Vahi https://arxiv.org/pdf/quant-ph/9605043.pdf https://arxiv.org/abs/quant-ph/9605043 1
06:05, 8 January 2015 Conjunctive normal form and disjunctive normal form t1.jpeg (file) 46 KB Martin Vahi File:Conjunctive normal form and disjunctive normal form t1.xcf 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
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
00:43, 5 January 2016 2016 01 04 theinercept com british spy game exercise 9.png (file) 61 KB Martin Vahi https://theintercept.com/2015/12/25/gchq-play-a-british-spy-game/ https://archive.is/Z3XLd 1
23:55, 26 May 2019 070-Systolic-Processors Presentation Slides by MAREK ANDRZEJ PERKOWSKI.pdf (file) 62 KB Martin Vahi Downloaded on 2013_xx_xx from http://web.cecs.pdx.edu/~mperkows/temp/May13/070-Systolic-Processors.pdf 1
00:53, 17 February 2013 Art psycho komposition t1.xcf (file) 64 KB Martin Vahi   1
16:57, 8 January 2015 2015 01 08 ams org Some of What Mathematicians Do by Martin H Kriege.pdf (file) 64 KB Martin Vahi Downloaded on 2015_01_08 from http://www.ams.org/profession/career-info/math-work/math-work http://www.ams.org/notices/200410/comm-krieger.pdf 1
09:27, 18 May 2018 2001 10 29 Random Access Machines id est RAM machines by Michael Bader.pdf (file) 66 KB Martin Vahi   1
09:30, 16 February 2018 2018 02 16 copy of http www es ele tue nl slash education slash 5MC10 slash Solutions slash knapsack.pdf (file) 68 KB Martin Vahi Downloaded on 2018_02_16 from http://www.es.ele.tue.nl/education/5MC10/Solutions/knapsack.pdf 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
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
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
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
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
09: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
14:08, 1 August 2018 2018 08 xx voltage divider formulaes t1.xcf (file) 105 KB Martin Vahi   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
12:07, 26 January 2019 Bitrary gray code illustration t1.jpeg (file) 110 KB Martin Vahi Created on 2019_01_26 by Martin.Vahi@softf1.com 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
00:32, 18 March 2018 1999 xx xx Java s Insecure Parallelism Pointed out by the PER BRINCH HANSEN.pdf (file) 122 KB Martin Vahi Downloaded on 2018_03_17 from http://brinch-hansen.net/papers/1999b.pdf http://brinch-hansen.net/ 1
20:55, 2 March 2018 1988 12 xx Formal Verification of Programs SEI Curriculum Module SEI-CM-20-1.0 by Alfs T Berztiss and Mark A Ardis.pdf (file) 123 KB Martin Vahi Downloaded on 2018_03_02 from https://resources.sei.cmu.edu/asset_files/CurriculumModule/1988_007_001_15611.pdf 1
06:04, 8 January 2015 Conjunctive normal form and disjunctive normal form t1.xcf (file) 127 KB Martin Vahi   1
14:11, 1 August 2018 2018 08 xx voltage divider formulaes t1.jpeg (file) 128 KB Martin Vahi   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
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
09:06, 8 December 2014 2014 12 xx competitors minimum viable product versus my minimal viable segment t1.png (file) 142 KB Martin Vahi   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
23:26, 31 December 2016 2016 12 31 geometry 01.jpeg (file) 148 KB Martin Vahi   1
13:40, 27 February 2013 Ctl star t1.jpeg (file) 150 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
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
00:48, 16 May 2016 Generating Commercial web Applications from Precise Requirements and Formal Specifications David Crocker and John H Warren.pdf (file) 158 KB Martin Vahi Downloaded on 2016_05_16 from http://www.eschertech.com/papers/wwv05paper.pdf 1
02:02, 4 March 2019 MOSFET Power Losses and how they Affect Powersupply Efficiency by By George Lakkas at Texas Instruments.pdf (file) 162 KB Martin Vahi Downloaded on 2019_03_04 from http://www.ti.com/lit/an/slyt664/slyt664.pdf 1
01:54, 8 September 2014 Graph tree t1.png (file) 168 KB Martin Vahi   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
23:14, 29 January 2015 A Modern Formal Logic Primer by Paul Teller in 1989 1ch5.pdf (file) 176 KB Martin Vahi http://archive.softf1.com/2015/2015_01_29_A_Modern_Formal_Logic_Primer_by_Paul_Teller_in_1989/uncompressed/1ch5.pdf http://tellerprimer.ucdavis.edu/ 1
First page
Previous page
Last page