Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking Dwaine Clarke? , Srinivas Devadas, Marten van Dijk?? , Blaise Gassend, G. Edward Suh MIT Computer Science and Artificial Intelligence

Source URL: www.iacr.org

Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders Sergio Abriola1 , Santiago Figueira2,3? , and Gabriel Senno2 1 2

Source URL: www.glyc.dc.uba.ar

• Multiset
• Summation
• Partially ordered set
• Well-founded relation
• Binomial coefficient
• Mathematics
• Order theory
• Lexicographical order

WRITINGBY%LLEN,UPTON X X

Source URL: scalafont.com

• Multiset
• Software
• Freedesktop.org
• X Window System

An Evolutionary Argument for a Self-Explanatory, Benevolent Metaphysics Ward Blondé Abstract: In this paper, a metaphysics is proposed that includes everything that can be represented by a well-founded multiset. It is s

Source URL: symposion.acadiasi.ro

Automated analysis of security protocols with global state Steve Kremer INRIA Nancy - Grand’Est & Loria, France Abstract—Security APIs, key servers and protocols that need to keep the status of transactions, require

Source URL: www.ieee-security.org

• Symbol
• Mathematics
• Multiset
• Parity of a permutation

Task: Version: Date:

Source URL: www.openmath.org

• OpenMath
• Mathematics
• Information
• MathML
• James H. Davenport
• Multiset
• Dictionary
• Obsessive–compulsive disorder
• OMDoc
• Markup languages
• Mathematical markup languages
• Computing

ITW 2009, Volos, Greece, June, 2009 Recent Results on Pattern Maximum Likelihood Jayadev Acharya Alon Orlitsky

Source URL: people.csail.mit.edu

• Statistics
• Statistical theory
• Functional analysis
• Estimation theory
• Maximum likelihood
• Multiset
• Uniform distribution
• Distribution
• Probability
• Mathematical analysis
• Mathematics
• Probability and statistics

Quadratic-backtracking Algorithm for String Reconstruction from Substring Compositions Jayadev Acharya Hirakendu Das

Source URL: people.csail.mit.edu

• Multiset
• Backtracking
• Probabilistic complexity theory
• Mathematics
• String
• Substring

Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak LARA - I&C - EPFL emails: INR 318, Station 15, CH-1015 Lausanne, Switzerla

Source URL: lara.epfl.ch

• Binary operations
• Algebraic number theory
• Multiset
• Function
• Summation
• Cardinality
• Number
• Addition
• Expected value
• Mathematics
• Abstract algebra
• Elementary mathematics

Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland

Source URL: lara.epfl.ch

• Model theory
• Metalogic
• Proof theory
• Logic in computer science
• Formal languages
• First-order logic
• Multiset
• Presburger arithmetic
• Quantifier elimination
• Logic
• Mathematics
• Mathematical logic