J-2 - PDFSEARCH.IO - Document Search Engine

J-2
Results: 12326

#	Item
1	Grivaux, Julien On a conjucture of Kashiwara relating Chern and Euler classes of O-modules. (English) Zbl J. Differ. Geom. 90, No. 2, Characteristic classes in Hochschild homology are well Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-03-18 08:56:03 Algebra Abstract algebra Mathematics Algebraic geometry Sheaf theory Characteristic classes Complex manifolds Vector bundles Coherent sheaf Cohomology Todd class Sheaf
2	Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Algebra Abstract algebra Mathematics Finite fields Group theory Logarithms Algebraic number theory Numerical linear algebra XTR Discrete logarithm Gaussian elimination Quadratic field
3	The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 12:35:21 Logic Mathematical logic Mathematics Propositional calculus Logical truth Logic in computer science Syntax Automated theorem proving Resolution Frege system Boolean satisfiability problem First-order logic
4	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term
5	SoK: Making Sense of Censorship Resistance Systems That CRS SoK paper at PETS Sheharbano Khattak1, Tariq Elahi2, Laurent Simon1, Colleen M. Swanson3, Steven J. Murdoch4, Ian Goldberg5 1: University of Cambridge, 2: KU Le Add to Reading List Source URL: sheharbano.com Language: English - Date: 2017-02-16 07:58:33 Compagnies Rpublicaines de Scurit National Police
6	SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-21 11:51:07 Algebra Linear algebra Mathematics Numerical linear algebra Matrices Matrix theory Multiplication Gaussian elimination Matrix multiplication Pivot element Invertible matrix Matrix
7	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator
8	Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 EPFL, Lausanne, Switzerland Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-10-15 10:31:49 Cryptography Public-key cryptography Post-quantum cryptography Hash-based cryptography Hashing Merkle signature scheme Digital signature Cryptographic hash function Merkle tree RSA Hash function Quantum digital signature
9	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term
10	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar