Org - PDFSEARCH.IO - Document Search Engine

Org
Results: 4040769

#	Item
611	The Mercury Language Reference Manual VersionFergus Henderson Thomas Conway Zoltan Somogyi Add to Reading List Source URL: mercurylang.org Language: English - Date: 2016-03-18 02:30:36 Software engineering Computing Computer programming Programming languages High-level programming languages Data types Cross-platform software Procedural programming languages Prolog Directive D Mercury
612	AAMC_SignatureBlue cmyk.eps Add to Reading List Source URL: www.aamc.org - Date: 2016-04-05 11:22:41
613	Reconfigurable Hardware Implementation of Mesh Routing in the Number Field Sieve Factorization Sashisu Bajracharya1, Deapesh Misra1, Kris Gaj1, Tarek El-Ghazawi2 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:15:52 Algebra Linear algebra Mathematics Numerical linear algebra Matrix theory Integer factorization algorithms Multiplication Reconfigurable computing Field-programmable gate array Matrix Virtex Xilinx
614	OWASP TopThe Ten Most Critical Web Application Security Risks https://owasp.org This work is licensed under a Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2018-03-08 11:23:41 Computer security Computing Cyberwarfare Computer network security Hacking Web applications OWASP Web application security Security Application security XML external entity attack SQL injection
615	Verifying the LTL to B¨ uchi Automata Translation via Very Weak Alternating Automata Simon Jantsch1 and Michael Norrish2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-05-17 00:58:55 Finite automata Temporal logic Model checking Theoretical computer science Formal methods Mathematical logic Linear temporal logic Computation tree logic Alternating finite automaton Generalized Bchi automaton Bchi automaton
616	The TO focuses on the benefits and costs of debt (for a survey see Harris-Raviv, 1991) Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-03-26 02:46:57 Economy Money Finance Financial markets Fixed income Bond Government bonds Government debt Monetary policy Corporate bond Municipal bond
617	MEDIA RELEASE IOSCO/MROctoberIOSCO Launches World Investor Week 2018 to Promote Investor Education and Protection Add to Reading List Source URL: www.iosco.org Language: English - Date: 2018-10-01 04:41:36 Financial regulation International Organization of Securities Commissions Economy Securities commission U.S. Securities and Exchange Commission Iosco Securities and Futures Commission Corporate governance Government Trinidad and Tobago Securities and Exchange Commission Canadian Securities Administrators
618	Radeus 8200 Series Antenna Controller Earth Station 11m Antenna Ancient History Add to Reading List Source URL: www.forth.org - Date: 2015-11-23 10:42:05
619	Making Argument Systems for Outsourced Computation Practical (Sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract This paper describes the desig Add to Reading List Source URL: www.pepper-project.org Language: English - Date: 2017-11-11 14:59:54 Cryptography Computational complexity theory Randomized algorithms Complexity classes Probabilistically checkable proof Proof theory IP NP NEXPTIME Soundness PCP theorem Commitment scheme
620	High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-07-09 00:19:47 Cryptography Elliptic curve cryptography EdDSA Elliptic-curve cryptography Elliptic Curve Digital Signature Algorithm Curve25519 Elliptic-curve DiffieHellman Digital signature Digital Signature Algorithm Daniel J. Bernstein Hash function Public-key cryptography

UPDATE