Boolean function analysis on high-dimensional expanders Irit Dinur∗ Yuval Filmus† Prahladh Harsha‡

Source URL: www.cs.toronto.edu

Harmonic Analysis of Boolean Networks: Determinative Power and Perturbations Reinhard Heckel∗, Steffen Schober† and Martin Bossert† Abstract Consider a large Boolean network with a feed forward structure. Given a p

Source URL: www.reinhardheckel.com

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis Peter Backeman1,2 , Sara-Jane Dunn2 , Boyan Yordanov2 , and Christoph M. Wintersteiger2 1

Source URL: ceur-ws.org

Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science–104 www.elsevier.com/locate/entcs Static Analysis of Boolean Networks Based on

Source URL: loicpauleve.name

Compositional analysis of Boolean networks using local fixed-point iterations A. Le Co¨ent1 , L. Fribourg2 , and R. Soulat3 1 CMLA, ENS Cachan, CNRS, Universit´e Paris-Saclay 61 av. du Pr´esident Wilson, 94235 Cachan

Source URL: www.lsv.ens-cachan.fr

A Result of Vapnik with Applications Martin Anthony Department of Statistical and Mathematical Sciences London School of Economics Houghton Street London WC2A 2AE, U.K.

Source URL: www.maths.lse.ac.uk

• Mathematical analysis
• Mathematics
• Measure theory
• Probability theory
• Boolean algebra
• Sigma-algebra
• Cardinal number
• Uniform convergence
• Relationships among probability distributions

Improved approximation for Fr´echet distance on c-packed curves matching conditional lower bounds (extended abstract) Karl Bringmann∗ Marvin K¨

Source URL: people.mpi-inf.mpg.de

• Mathematical analysis
• Mathematics
• Measure theory
• Homotopy theory
• Differential topology
• Analysis
• Boolean algebra
• Probability theory
• Sigma-algebra
• Generalised Whitehead product

Contents Formaliz. MathModelling Real World Using Stochastic Processes and Filtration By Peter Jaeger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Source URL: mizar.uwb.edu.pl

• Mathematical analysis
• Mathematics
• Probability theory
• Measure theory
• Mathematical logic
• Boolean algebra
• Sigma-algebra
• Borel set
• Probability space
• Pi system

Data Mining and Knowledge Discovery manuscript No. (will be inserted by the editor) Clustering Boolean Tensors Saskia Metzler · Pauli Miettinen

Source URL: people.mpi-inf.mpg.de

• Algebra
• Mathematics
• Multilinear algebra
• Binary operations
• Linear algebra
• Multivariate statistics
• Cluster analysis
• Tensor
• Higher-order singular value decomposition
• Outer product
• Matrix
• Boolean algebra

Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland

Source URL: ceur-ws.org

• Theoretical computer science
• Mathematics
• Mathematical optimization
• Numerical analysis
• Combinatorial optimization
• Operations research
• Constraint programming
• Logic in computer science
• Maximum satisfiability problem
• Linear programming
• Constrained optimization
• Solver