RAPID Programming of Pattern-Recognition Processors Kevin Angstadt Westley Weimer Kevin Skadron

Source URL: cap.virginia.edu

• Finite automata
• Software engineering
• Computer programming
• Software
• Nondeterministic finite automaton
• Automata theory
• Finite-state machine
• Lex
• Regular expression
• Macro
• Pattern matching

BIT manuscript No. (will be inserted by the editor) Computing predecessor and successor in rounding to nearest Siegfried M. Rump · Paul Zimmermann · Sylvie Boldo · Guillaume Melquiond

Source URL: www.lri.fr

• Finite model theory
• Mathematics
• Category theory
• Universal property
• FO
• Rounding
• Abstraction

Student Project IMES, ETH Zurich Aortic Valve Replacement: Development of a Finite Element Model of a Stent

Source URL: www.zfm.ethz.ch

First Joint Meeting Brazil Italy of Mathematics Special Session: Algebraic Geometry over Finite Fields and its Applications to Coding Theory Rio de Janeiro, August 29 - September 02, 2016 Title: Weierstrass semigroup and

Source URL: www.sbm.org.br

First Joint Meeting Brazil Italy of Mathematics Special Session: Group Theory Rio de Janeiro, August 29 - September 02, 2016 Title: On the character degree graphs of finite groups Author: Emanuele Pacifici Abstract: Give

Source URL: www.sbm.org.br

Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

J Econ Growth:305–331 DOIs10887z Growth on a finite planet: resources, technology and population in the long run Pietro F. Peretto1 · Simone Valente2

Source URL: public.econ.duke.edu

• Demography
• Human geography
• Academia
• Economic growth
• Population ecology
• Human overpopulation
• World population
• Economics
• Labour economics
• Productivity
• Sustainability
• Steady-state economy

AN ENERGY-MINIMIZATION FINITE-ELEMENT APPROACH FOR THE FRANK-OSEEN MODEL OF NEMATIC LIQUID CRYSTALS: CONTINUUM AND DISCRETE ANALYSIS J. H. ADLER, T. J. ATHERTON, D. B. EMERSON, S. P. MACLACHLAN Abstract. This paper outli

Source URL: www.math.mun.ca

VALUES OF GAUSSIAN HYPERGEOMETRIC SERIES Ken Ono Appearing in Trans. Amer. Math. Soc. In celebration of Aspen’s birth. Abstract. Let p be prime and let GF (p) be the finite field with p elements. In this note we

Source URL: www.mathcs.emory.edu

FINITE MODEL FINDING IN SATISFIABILITY MODULO THEORIES by Andrew Joseph Reynolds A thesis submitted in partial fulfillment of the

Source URL: lara.epfl.ch