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
07:48, 4 July 2019 Bitrary softf1 com Theory of Computation Diagram t1 dia v0.png (file) 47 KB Martin Vahi   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
07:07, 16 May 2020 1994 xx xx The Stanford FLASH Multiprocessor ISCA94.pdf (file) 56 KB Martin Vahi Downloaded on 2020_05_16 from http://csl.cs.ucf.edu/~heinrich/papers/ISCA94.pdf https://web.archive.org/web/20000824013530/http://www-flash.stanford.edu/ 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
16:02, 15 June 2020 19xx xx xx forbes com Nazi repression subject Jew Albert Einstein in USA with the Washington segregation repression subjects black students t1.jpeg (file) 64 KB Martin Vahi Downloaded on 2020_06_15 ("There's A Nationwide STEM Teacher Shortage. Will It Cost Us The Next Einstein?") https://www.forbes.com/sites/taliamilgromelcott/2019/05/30/theres-a-nationwide-stem-teacher-shortage-will-it-cost-us-the-next-einstein/#ed60c... 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
05:05, 30 June 2019 GrammarBased Visual Software Modeling and Conversion by Jüri Kiho.pdf (file) 68 KB Martin Vahi Downloaded on 2019_06_30 from https://kodu.ut.ee/~kiho/fRED/Conversion/paper.pdf https://kodu.ut.ee/~kiho/fRED/Conversion/ https://kodu.ut.ee/~kiho/ 1
15:58, 20 June 2020 2007 08 21 An Analog Computer Primer Brian L Stuart.pdf (file) 71 KB Martin Vahi Downloaded on 2020_06_20 from https://www.cs.drexel.edu/~bls96/analog/analog.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
13:07, 15 June 2020 2002 xx xx The Imagine Stream Processor by Ujval J Kapasi and William J Dally and Scott Rixner† and John D Owens and and Brucek Khailany.pdf (file) 102 KB Martin Vahi Downloaded on 2020_06_15 from http://www.ann.ece.ufl.edu/courses/eel6935_10spr/papers/The_imagine_stream_processor.pdf https://graphics.stanford.edu/streamlang/ https://graphics.stanford.edu/projects/brookgpu/ 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
05:07, 30 May 2020 2002 xx xx physics nist gov Fundamental Physical Constants.pdf (file) 113 KB Martin Vahi Downloaded on 2020_05_30 from https://physics.nist.gov/cuu/pdf/all_2002.pdf 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
First page
Previous page
Last page