Hoogλe Fast Type Searching Neil Mitchell www.cs.york.ac.uk/~ndm/

Source URL: ndmitchell.com

• Software engineering
• Computing
• Computer programming
• Data types
• Finite automata
• Trie
• Haskell
• Edit distance
• Set
• String
• Associative containers

Logic, Automata, and Games Sophie Pinchinat IRISA, university of Rennes 1, France Logic Summer School 2009

Source URL: ssll.cecs.anu.edu.au

CAP WEBINARS CENTER FOR AUTOMATA PROCESSING Toward the mission of building an ecosystem around research, development, and adoption of AP technology, CAP is

Source URL: cap.wpengine.com

Entity Resolution Acceleration using Micron’s Automata Processor Chunkun Bo1 , Ke Wang1 , Jeffrey J. Fox2 , and Kevin Skadron1 1 2

Source URL: cap.wpengine.com

ANALELE UNIVERSITATII DIN ORADEA FASCICOLA MATEMATICA, TOM VII, 1999 Selected Topics in Asynchronous Automata Serban E. Vlad Oradea City Hall & The University of Oradea str. Zimbrului, Nr.3, Bl.PB68, Et.2, Ap.11, 3700

Source URL: www.serbanvlad.ro

Exponential Stochastic Cellular Automata for Massively Parallel Inference Michael Wick Oracle Labs,

Source URL: www.manzil.ml

Exponential Stochastic Cellular Automata for Massively Parallel Inference Michael Wick Oracle Labs,

Source URL: manzil.ml

• Estimation theory
• Expectationmaximization algorithm
• Missing data
• Exponential family
• Latent Dirichlet allocation
• Symbol
• Variational Bayesian methods

Collapsible Pushdown Automata and Recursion Schemes M. Hague∗ A. S. Murawski† C.-H. L. Ong‡

Source URL: www.cs.rhul.ac.uk

Unboundedness and Downward Closures of Higher-Order Pushdown Automata Matthew Hague1 , Jonathan Kochems2 and C.-H. Luke Ong2 2 1

Source URL: www.cs.rhul.ac.uk

Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

Source URL: user.it.uu.se

• FO
• Finite model theory
• Finite automata
• Models of computation