TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE

Source URL: www.dbai.tuwien.ac.at

• Theoretical computer science
• Stable model semantics
• Answer set programming
• Hypertree
• Term algebra
• Function
• Valuation
• Tree decomposition
• Graph theory
• Mathematics
• Logic programming

GENERALIZED TOPOLOGIES: HYPERGRAPHS, CHEMICAL REACTIONS, AND BIOLOGICAL EVOLUTION Christoph Flamm1 , B¨arbel M. R. Stadler2 , and Peter F. Stadler1−6 1 Inst.

Source URL: www.tbi.univie.ac.at

• Locally connected space
• Connected space
• Topological space
• Interior algebra
• Metric
• Closure operator
• Open set
• Closure
• Topological indistinguishability
• Topology
• General topology
• Continuous function

TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN

Source URL: www.dbai.tuwien.ac.at

• Mathematics
• Fourier analysis
• Logic
• Approximately finite dimensional C*-algebra
• Interpolation space
• FO
• Finite model theory
• State space

TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE

Source URL: www.dbai.tuwien.ac.at

• Model theory
• Logic programming
• Boolean algebra
• Propositional calculus
• Stable model semantics
• Interpretation
• First-order logic
• If and only if
• Negation as failure
• Logic
• Mathematical logic
• Mathematics

Motivic zeta function of a quasi-ordinary power series Pedro Daniel González Pérez ICMAT, Departamento de Álgebra, Universidad Complutense de Madrid Spain ABSTRACT Let f : Cd+1 ; 0 ! (C; 0) be a germ of complex analyt

Source URL: www.math.cinvestav.mx

Ilse C.F. Ipsen Department of Mathematics North Carolina State University Raleigh, NC[removed], USA[removed], [removed] http://www4.ncsu.edu/˜ipsen/

Source URL: www4.ncsu.edu

• Numerical linear algebra
• Matrix theory
• Matrices
• Mathematical physics
• Eigenvalues and eigenvectors
• Society for Industrial and Applied Mathematics
• Matrix multiplication
• Matrix
• Preconditioner
• Algebra
• Linear algebra
• Mathematics

Rank Revealing QR factorization F. Guyomarc’h, D. Mezher and B. Philippe 1 Outline

Source URL: www.irisa.fr

• Numerical linear algebra
• QR decomposition
• QR algorithm
• Householder transformation
• Rank
• Cholesky decomposition
• Algebra
• Linear algebra
• Mathematics

EXTENDED VTS FOR NOISE-ROBUST SPEECH RECOGNITION R. C. van Dalen and M. J. F. Gales Cambridge University Engineering Department Trumpington Street, Cambridge, CB2 1PZ, UK ABSTRACT Model compensation is a standard way of

Source URL: mi.eng.cam.ac.uk

• Noise
• Regression analysis
• Computer accessibility
• Speech recognition
• Image noise
• Linear regression
• Signal-to-noise ratio
• Vector space
• Algebra
• Mathematics
• Statistics

58 _____________________________________Math & Computational Sciences Division Mathematical Software Parallel Adaptive Refinement and Multigrid Finite Element Methods William F. Mitchell Eite Tiesinga (NIST PL)

Source URL: math.nist.gov

• Software
• Numerical linear algebra
• Template Numerical Toolkit
• LAPACK
• Multigrid method
• Basic Linear Algebra Subprograms
• Lis
• Computational science
• Finite element method
• Numerical software
• Numerical analysis
• Mathematics

Covariance Modelling for Noise-Robust Speech Recognition R. C. van Dalen, M. J. F. Gales Cambridge University Engineering Department Trumpington Street, Cambridge, CB2 1PZ, UK [removed], [removed]

Source URL: mi.eng.cam.ac.uk

• Algebra of random variables
• Econometrics
• Regression analysis
• Speech recognition
• Covariance
• Matrix
• Linear regression
• Statistics
• Covariance and correlation
• Estimation theory