Linear - PDFSEARCH.IO - Document Search Engine

Linear
Results: 27143

#	Item
21	Recent Progress in Linear Algebra and Lattice Basis Reduction Gilles Villard CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon Laboratoire LIP Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2017-06-27 04:39:37 Mathematics Algebra Cryptography Computational number theory Lattice points Linear algebra Lattice-based cryptography Lattice reduction LenstraLenstraLovsz lattice basis reduction algorithm Hermite normal form Euclidean algorithm Integer relation algorithm
22	SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell? Abstract. Many highly sophisticated tools exist for Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-08 10:37:46 Theoretical computer science Mathematics Computational complexity theory Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem Linear programming AMPL
23	Shorter Linear Straight-Line Programs for MDS Matrices Yet another XOR Count Paper Thorsten Kranz1 , Gregor Leander1 , Ko Stoffelen2 , Friedrich Wiemer1 1 Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:40:09 Algebra Linear algebra Mathematics Matrices MDS matrix Matrix Invertible matrix Symmetric matrix Hadamard matrix Involutory matrix General linear group Circulant matrix
24	Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation∗ Luca Bortolussi3 , Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-06 06:37:52 Statistical randomness Mathematical analysis Probability theory Stochastic processes Markov models Graph theory Markov chain Stochastic differential equations Distribution Stochastic simulation Normal distribution Decomposition of spectrum
25	Mixing Layers in Symmetric Crypto Ko Stoffelen Part I Shorter Linear Straight-Line Programs for MDS Matrices Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-04-23 01:39:02 Matrices Mathematics Cryptography MDS matrix Matrix Sparse matrices Symmetric matrix MDS Coding theory Numerical linear algebra
26	Formality of a higher-codimensional Swiss-Cheese operad Najib Idrissi∗ September 20, 2018 We study configurations of points in the complement of a linear subspace Add to Reading List Source URL: idrissi.eu Language: English - Date: 2018-10-19 04:32:45 Algebra Mathematics Abstract algebra Algebraic topology Topology Category theory Homotopy theory Operad theory Rational homotopy theory Configuration space Projection Retract
27	Improved Differential-Linear Cryptanalysis of 7-round Chaskey with Partitioning Ga¨etan Leurent Inria, France Abstract. In this work we study the security of Chaskey, a recent Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:34 Cryptography Data Encryption Standard Linear cryptanalysis Differential cryptanalysis Block cipher Salsa20 Cryptanalysis Differential-linear attack NC Boomerang attack Stream cipher E0
28	COSC 544 Probabilistic Proof SystemsA First Linear PCP (Of Size \|F\|O(S ) ) Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-02 08:26:19 Algebra Abstract algebra Mathematics Probabilistically checkable proof Valuation Tensor product
29	A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic? Fran¸cois Bobot1 , Sylvain Conchon1 , Evelyne Contejean1 , Mohamed Iguernelala1 , Assia Mahboubi2 , Alain Mebsout1 , and Guillaume Melq Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Algebra Mathematics Linear algebra Affine geometry Linear programming Convex optimization Group theory Affine space Linear combination Simplex algorithm Equation solving Vector space
30	Chaskey ARX Cryptanalysis Improved Differential-Linear Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:34 Cryptography Data Encryption Standard Differential cryptanalysis Linear cryptanalysis Cryptanalysis ICE Differential-linear attack