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
07:30, 24 May 2019 2012 xx xx CSE 438 Embbeded Systems Programming Binary Translation Project Report by Ajey Achutha and Mahesh Kumar M.pdf (file) 444 KB Martin Vahi Downloaded on 2019_05_24 from http://rts.lab.asu.edu/web_438/project_final/CSE_598_Binary_Translation_Report.pdf 1
16:17, 16 May 2019 1944 xx xx George Polya How-to-Solve-it keywords Mathematics proofs thinking methods heuristics.pdf (file) 1.87 MB Martin Vahi Downloaded on 2019_05_16 from https://lms.umb.sk/pluginfile.php/37176/mod_folder/content/0/Polya_How-to-solve-it.pdf?forcedownload=1 1
11:33, 16 May 2019 2017 xx xx PornHub gay solo act with body Paintings and UV Light t1.webm (file) 4.04 MB Martin Vahi Source: https://www.pornhub.com/view_video.php?viewkey=ph58b40b8bc019f 1
14:24, 15 May 2019 2019 03 07 Conventional Deterrence and Landpower in Northeastern Europe by Michael A Hunzeker and Alexander Lanoszka.pdf (file) 1.58 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3686.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3686 1
14:18, 15 May 2019 2019 03 05 Two Case Studies of Successful Strategic Communication Campaigns by Thomas P Galvin.pdf (file) 1.65 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3679.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3679 1
14:14, 15 May 2019 2019 01 17 The U S Army in the Iraq War – Volume 1 Invasion – Insurgency – Civil War 2003-2006 by Joel D Rayburn and Frank K Sobchak and Jeanne F Godfroy and Matthew D Morton and James S Powell and Matthew M Zais.pdf (file) 11.57 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3667.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3667 The promotional presentation was published by the CSIS (Center for Strategic and... 1
14:04, 15 May 2019 2019 01 17 The U S Army in the Iraq War — Volume 2 Surge and Withdrawal 2007-2011 by Joel D Rayburn and Frank K Sobchak and Jeanne F Godfroy and Matthew D Morton and James S Powell and Matthew M Zais.pdf (file) 16.12 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3668 https://publications.armywarcollege.edu/pubs/3668.pdf The promotional presentation was published by the CSIS (Center for Strategic and... 1
13:54, 15 May 2019 2017 08 25 Rotational Deployments vs Forward Stationing How Can the Army Achieve Assurance and Deterrence Efficiently and Effectively by John R Deni.pdf (file) 7.25 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3359.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3359 1
13:51, 15 May 2019 2019 04 30 Command Decision Ethical Leadership in the Information Environment by Keir Giles.pdf (file) 1.95 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3692.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3692 1
13:48, 15 May 2019 2019 05 06 Parameters VOL 48 NO 4 Winter 2018-19 by Antulio J Echevarria II.pdf (file) 2.35 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3693.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3693 1
13:00, 15 May 2019 2019 05 07 Maneuver and Manipulation On the Military Strategy of Online Information Warfare by Tim Hwang.pdf (file) 1.16 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3694.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3694 1
12:56, 15 May 2019 2019 05 08 A Whole-of-Government Approach to Gray Zone Warfare by Elizabeth G Troeder.pdf (file) 2.23 MB Martin Vahi Dowlnoaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3695.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3695 1
12:24, 15 May 2019 2019 04 05 Grand Strategy is Attrition The Logic of Integrating Various Forms of Power in Conflict by Lukas Milevski.pdf (file) 1.19 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3690.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3690 1
12:21, 15 May 2019 2019 03 29 Air Power and Warfare A Century of Theory and History by Tami Davis Biddle.pdf (file) 1.47 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3688.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3688 1
12:18, 15 May 2019 2019 03 18 The Army Role in Achieving Deterrence in Cyberspace by Jeffrey L Caton.pdf (file) 2.69 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3685.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3685 1
12:13, 15 May 2019 2019 03 20 Deterring Russia in the Gray Zone by Michael C McCarthy and Matthew A Moyer and Brett H Venable.pdf (file) 3.5 MB Martin Vahi Downloaded on 2019_05_15 from https://publications.armywarcollege.edu/pubs/3687.pdf https://publications.armywarcollege.edu/publication-detail.cfm?publicationID=3687 1
03:17, 23 April 2019 1986 xx xx Linear Logic by Jean-Yves Girard.pdf (file) 10.56 MB Martin Vahi Downloaded on 2019_04_23 from https://pdf.sciencedirectassets.com/271538/1-s2.0-S0304397500X04197/1-s2.0-0304397587900454/main.pdf?x-amz-security-token=AgoJb3JpZ2luX2VjENf%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCXVzLWVhc3QtMSJGMEQCIB9uQ9ntxJxJWbNqd9P8bxQH9z... 1
03:06, 23 April 2019 Linear types can change the world by Philip Wadler.pdf (file) 214 KB Martin Vahi Downloaded on 2019_04_23 from http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf 1
03:00, 23 April 2019 1999 xx xx Type Theory and Functional Programming by Simon Thompson.pdf (file) 1.22 MB Martin Vahi Downloaded on 2019_04_23 from https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ 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
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
11:03, 3 March 2019 1993 xx xx Field Effect Transistors in Theory and Practice by NXP Freescale Semiconductor Application Note AN211A.pdf (file) 383 KB Martin Vahi Downloaded on 2019_03_03 from https://www.nxp.com/docs/en/application-note/AN211A.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:08, 10 February 2019 2019 02 10 Analüüsipuu ehk Abstract Syntax Tree Martin Vahi joonistus 01.xcf (file) 666 KB Martin Vahi   1
18:07, 10 February 2019 2019 02 10 Analüüsipuu ehk Abstract Syntax Tree Martin Vahi joonistus 01.jpeg (file) 220 KB Martin Vahi   1
10:29, 3 February 2019 3 vertex labeled complete graph 01.jpeg (file) 6 KB Martin Vahi   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:45, 17 January 2019 2016 11 xx USING HDF5 AS BEST PRACTICES FOR A BUSINESS INTELLIGENCE INITIATIVE by Tiago Cardoso Pereira Fialho Pombeiro.pdf (file) 1.46 MB Martin Vahi Downloaded on 2019_01_17 from https://run.unl.pt/bitstream/10362/19901/1/TGI0076.pdf 1
22:13, 9 January 2019 2010 03 23 Introduction to Optimal Transport Theory by Filippo Santambrogio.pdf (file) 188 KB Martin Vahi Downloaded on 2019_01_09 from https://arxiv.org/pdf/1009.3856.pdf https://arxiv.org/abs/1009.3856 1
21:28, 9 January 2019 1997 xx xx Informed MultiProcess Prefetching and Caching by Andrew Tomkins and R. Hugo Patterson and Garth Gibson.pdf (file) 318 KB Martin Vahi Downloaded on 2019_01_09 from http://www.pdl.cmu.edu/PDL-FTP/TIP/Sigmetrics97.pdf http://www.pdl.cmu.edu/PDL-FTP/TIP/Sigmetrics97.abstract.shtml http://www.pdl.cmu.edu/Publications/downloads.shtml 1
07:40, 23 December 2018 2017 xx xx Typed SelfApplicable MetaProgramming by Matthew Scott Brown.pdf (file) 420 KB Martin Vahi Downloaded on 2018_12_23 from http://compilers.cs.ucla.edu/public/publications/mattbrown-thesis.pdf 1
10:59, 10 December 2018 2018 xx xx Computational Optimal Transport by Gabriel Peyré and Marco Cuturi.pdf (file) 41.06 MB Martin Vahi Downloaded on 2018_12_10 from https://arxiv.org/pdf/1803.00567.pdf https://arxiv.org/abs/1803.00567 https://optimaltransport.github.io/ 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
01:17, 1 December 2018 1995 08 30 PolynomialTime Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer Peter W Shor.pdf (file) 308 KB Martin Vahi https://arxiv.org/pdf/quant-ph/9508027.pdf https://arxiv.org/abs/quant-ph/9508027 1
05:32, 16 October 2018 2015 09 19 v3dot72 Secure Programming HOWTO by David A Wheeler.pdf (file) 1.5 MB Martin Vahi Downloaded on 2018_10_16 from https://dwheeler.com/secure-programs/Secure-Programs-HOWTO.pdf https://dwheeler.com/secure-programs/ http://kodu.ut.ee/~mroos/secprog/2010/ 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
14:11, 1 August 2018 2018 08 xx voltage divider formulaes t1.jpeg (file) 128 KB Martin Vahi   1
14:08, 1 August 2018 2018 08 xx voltage divider formulaes t1.xcf (file) 105 KB Martin Vahi   1
02:12, 8 June 2018 Formally Verified Software in the Real World by Gerwin Klein and June Andronick and Matthew Fernandez and Ihor Kuz and Toby Murray and Gernot Heiser.pdf (file) 566 KB Martin Vahi Downloaded on 2018_06_08 from https://ts.data61.csiro.au/publications/csiro_full_text//Klein_AKMHF_toappear.pdf 1
04:54, 19 May 2018 2005 12 xx JOINT STRIKE FIGHTER AIR VEHICLE C++ CODING STANDARDS FOR THE SYSTEM DEVELOPMENT AND .pdf (file) 782 KB Martin Vahi Downloaded on 2018_05_19 from http://www.stroustrup.com/JSF-AV-rules.pdf https://www.youtube.com/watch?v=sRe77Mdna0Y Keywords: JSF++, CppCon, Bill Emshoff 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
17:00, 28 March 2018 1952 08 14 The Chemical Basis of Morphogenesis by Alan Mathison Turing.pdf (file) 1.18 MB Martin Vahi Downloaded on 2018_03_28 from http://www.dna.caltech.edu/courses/cs191/paperscs191/turing.pdf 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
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
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
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
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
16:23, 4 February 2018 2003 01 xx Expander Graphs and Their Applications Lecture Notes for a Course by Nati Linial and Avi Wigderson.pdf (file) 848 KB Martin Vahi Downloaded on 2018_02_04 from http://www.math.ias.edu/~boaz/ExpanderCourse/allnotes.pdf 1
11:32, 4 February 2018 1985 06 xx The Connection Machine by William Daniel Hillis.pdf (file) 7.88 MB Martin Vahi Downloaded on 2018_02_04 from https://dspace.mit.edu/bitstream/handle/1721.1/14719/18524280-MIT.pdf?sequence=2 http://archive.is/3juQT https://twitter.com/alastair_d_reid/status/959903620715163654 1
First page
Previous page
Last page