The Field

Results: 37474



#Item
1Software engineering / Computing / Software / Compilers / Compiler construction / Compiler optimizations / Abstract interpretation / LLVM / Programming language implementation / Intermediate representation / Polyspace / Static program analysis

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
2Security / National security / Cyberwarfare / Prevention / Cooperative Cyber Defence Centre of Excellence / Security engineering / Cybercrime / SCADA / Proactive cyber defence / Computer security

NATO Cooperative Cyber Defence Centre of Excellence (the Centre) is a NATO-accredited International Military Organisation dealing with education, consultation, lessons learned, research and development in the field of cy

Add to Reading List

Source URL: www.ccdcoe.org

Language: English - Date: 2016-08-04 08:04:56
3Algebra / Linear algebra / Mathematics / Numerical linear algebra / Matrix theory / Integer factorization algorithms / Multiplication / Reconfigurable computing / Field-programmable gate array / Matrix / Virtex / Xilinx

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
4Integer factorization algorithms / Mathematics / Quadratic sieve / General number field sieve / Integer factorization / Prime number / Factorization / Number theory / Factor base / Shanks's square forms factorization

Cofactorisation strategies for the number field sieve and an estimate for the sieving step for factoring 1024-bit integers Thorsten Kleinjung University of Bonn, Department of Mathematics, Beringstraße 1, DBonn,

Add to Reading List

Source URL: www.hyperelliptic.org

Language: English - Date: 2006-03-21 11:54:50
5Software / Computing / Web browsers / Computer network security / Mozilla / Social engineering / Portable software / Phishing / Firefox / Microsoft SmartScreen / Mozilla Corporation / Google Chrome

Alice in Warningland: A Large-Scale Field Study of Browser Security Warning Effectiveness Devdatta Akhawe, University of California, Berkeley; Adrienne Porter Felt, Google, Inc. This paper is included in the Proceedings

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2013-09-28 11:40:42
6Quantum information science / Theoretical computer science / Quantum mechanics / Quantum logic gate / Quantum circuit / Toffoli gate / Qubit / Quantum computing / Controlled NOT gate / Quantum error correction / Quantum teleportation / GottesmanKnill theorem

Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2018-10-22 17:57:48
7

A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2014-09-02 14:57:05
    8Geometry / Algebra / Abstract algebra / Moduli theory / String theory / Symplectic topology / Algebraic geometry / GromovWitten invariant / Quantum cohomology / Moduli of algebraic curves / Stable map / Orbifold

    Cohomological field theory calculations Rahul Pandharipande February 2018 Abstract Cohomological field theories (CohFTs) were defined in the mid 1990s by Kontsevich and Manin to capture the formal properties of the virtu

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-28 17:09:48
    9Numerical linear algebra / Integer factorization algorithms / General number field sieve / Matrix / Sparse matrix / LU decomposition / Incomplete Cholesky factorization

    Implementation of Mesh Routing for the Matrix Step in Number Field Sieving Factoring

    Add to Reading List

    Source URL: www.hyperelliptic.org

    Language: English - Date: 2005-03-13 11:15:52
    10Mathematics / Mathematical analysis / Geometry / Functional analysis / Metric geometry / Banach spaces / General topology / BanachMazur compactum / Tsirelson space / Normed vector space / Metric space / Compact operator

    METRIC DIMENSION REDUCTION: A SNAPSHOT OF THE RIBE PROGRAM ASSAF NAOR 1. Introduction The purpose of this article is to survey some of the context, achievements, challenges and mysteries of the field of metric dimension

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-28 17:09:47
    UPDATE