COSC 544 Probabilistic Proof SystemsGGPR: A Linear PCP Of Size |F|O(S) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Mathematics
• Probabilistically checkable proof
• IP
• Algebra
• Creativity

! Ecole Doctorale des Sciences Fondamentales Title of the thesis: Resolution of non-linear systems using Least-squares type methods. Supervisor : Arnaud Münch Laboratory : UMR 6620 – Laboratoire de Mathématiques - C

Source URL: recherche.math.univ-bpclermont.fr

• Classical control theory
• Controllability
• Least squares
• OLS

Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic

Source URL: csl.sri.com

• Mathematics
• Algebra
• Linear programming
• Linear algebra
• Elementary algebra
• Inequality
• Linear inequality
• Expected value
• Simplex algorithm
• Boolean satisfiability problem
• Cutting-plane method
• Equation solving

A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Functional analysis
• Metaphysics
• Stochastic processes
• Distribution
• Stochastic simulation
• Dynamical system

LEIBNIZ HOMOLOGY OF LIE ALGEBRAS AS FUNCTOR HOMOLOGY ERIC HOFFBECK AND CHRISTINE VESPA Abstract. We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Category theory
• Algebras
• Algebraic topology
• Operad theory
• Hochschild homology
• Functor
• Enriched category
• Monoidal category

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi

Source URL: mitras.ece.illinois.edu

• Control theory
• Systems theory
• Control engineering
• Systems science
• Classical control theory
• Computational mathematics
• Mathematical modeling
• State-space representation

Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New

Source URL: smt2014.it.uu.se

Operating Degrees for XL vs. F4/F5 for Generic MQ with Number of Equations Linear in That of Variables Jenny Yuan-Chun Yeh, Chen-Mou Cheng, and Bo-Yin Yang Academia Sinica, Taipei, Taiwan {jenny,doug,by}@crypto.tw Abstra

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Computer algebra
• Algebraic geometry
• Commutative algebra
• Linear algebra
• Determinants
• Faugre's F4 and F5 algorithms
• Grbner basis
• Overdetermined system
• Buchberger's algorithm
• Matrix

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

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Statistical randomness
• Metaphysics
• Stochastic processes
• Generalized functions
• Stochastic simulation
• Distribution
• Dynamical system
• Markov chain

8 Linear Systems Performance Report Jakub Kurzak Mark Gates Ichitaro Yamazaki

Source URL: www.icl.utk.edu

• Numerical linear algebra
• Numerical analysis
• Mathematics
• Numerical software
• Parallel computing
• Computer programming
• Application programming interfaces
• Message Passing Interface
• LAPACK
• Cholesky decomposition
• Basic Linear Algebra Subprograms
• LU decomposition