Linear A - PDFSEARCH.IO - Document Search Engine

Linear A
Results: 6088

#	Item
1	COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size \|F\|O(S) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-11-02 08:56:25 Mathematics Probabilistically checkable proof IP Algebra Creativity
2	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 04:52:12 Mathematical analysis Functional analysis Metaphysics Stochastic processes Distribution Stochastic simulation Dynamical system
3	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-11-02 05:37:42 Mathematical analysis Statistical randomness Metaphysics Stochastic processes Generalized functions Stochastic simulation Distribution Dynamical system Markov chain
4	A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´ Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematics Algebra Theoretical computer science Logic in computer science Satisfiability modulo theories Alt-Ergo Modular arithmetic Ring Rewriting Linear programming First-order logic Interval arithmetic
5	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-27 19:23:46 Temporal logic Algebraic structures Mathematics Mathematical logic Theoretical computer science Linear temporal logic Logic in computer science Computation tree logic MVS Boolean domain Boolean algebra Finite-state machine
6	1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-04-04 15:35:29 Concurrent computing Computing Computer programming Parallel computing Numerical linear algebra Numerical software Application programming interfaces Fortran OpenACC Math Kernel Library OpenMP ScaLAPACK
7	. (0000) “Polynomial functors from algebras over a set-operad and non-linear Mackey functors,” International Mathematics Research Notices, Vol. 0000, Article ID rnn000, 54 pages. doi:imrn/rnn000 Polynomial fu Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2013-09-19 05:26:17 Algebra Mathematics Category theory Functors Adjoint functors Equivalence Homological algebra Sheaf Operad theory Natural transformation Isomorphism of categories Additive category
8	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
9	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
10	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