Logical and Algebraic Characterizations of Rational Transductions [PDF]
, 2019 Rational word languages can be defined by several equivalent means: finite state automata, rational expressions, finite congruences, or monadic second-order (MSO) logic.
Filiot, Emmanuel +2 more
core +2 more sources
Forcing of Infinity and Algebras of Distributions of Binary Semi-isolating Formulas for Strongly Minimal Theories [PDF]
Mathematics and Statistics, 2014 We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories.
openaire +2 more sources
Applying Formal Methods to Networking: Theory, Techniques and Applications [PDF]
, 2013 Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today.
Hasan, Osman, Qadir, Junaid
core +1 more source
Algebras of distributions of binary semi-isolating formulas for families of isolated types and for countably categorical theories [PDF]
International Mathematical Forum, 2014 We apply a general approach for distributions of binary isolating and semi-isolating formulas to families of isolated types and to the class of countably categorical theories.
openaire +2 more sources
Bootstrapping 3D Fermions [PDF]
, 2016 We study the conformal bootstrap for a 4-point function of fermions $\langle\psi\psi\psi\psi\rangle$ in 3D. We first introduce an embedding formalism for 3D spinors and compute the conformal blocks appearing in fermion 4-point functions.
Iliesiu, Luca +5 more
core +3 more sources
Generalized Majority-Minority Operations are Tractable [PDF]
, 2005 Generalized majority-minority (GMM) operations are introduced as a common generalization of near unanimity operations and Mal'tsev operations on finite sets.
Prakash Panangaden, Victor Dalmau
core +3 more sources
Algebras of distributions of binary isolating formulas of a complete theory
, 2012 41 pages, 1 ...
Shulepov, Ilya V., Sudoplatov, Sergey V.
openaire +2 more sources
An invitation to model theory and C*-algebras [PDF]
, 2019 We present an introductory survey to first order logic for metric structures and its applications to C ...
Lupini, Martino
core +1 more source
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
, 2016 Analytic combinatorics studies the asymptotic behaviour of sequences through the analytic properties of their generating functions. This article provides effective algorithms required for the study of analytic combinatorics in several variables, together
Melczer, Stephen, Salvy, Bruno
core +3 more sources
Identity Testing for Constant-Width, and Commutative, Read-Once Oblivious ABPs [PDF]
, 2016 We give improved hitting-sets for two special cases of Read-once Oblivious Arithmetic Branching Programs (ROABP). First is the case of an ROABP with known variable order.
Gurjar, Rohit +2 more
core +1 more source