SECTIONAL CURVATURE OF POLYGONAL COMPLEXES WITH PLANAR SUBSTRUCTURES MATTHIAS KELLER, NORBERT PEYERIMHOFF, AND FELIX POGORZELSKI Abstract. In this paper we introduce a class of polygonal complexes for which we can define

Source URL: maths.dur.ac.uk

• Curvature
• Riemannian geometry
• Algebraic topology
• Mathematical structures
• Differential geometry
• Sectional curvature
• Planar graph
• Euler characteristic
• Differential geometry of surfaces
• Building
• Ricci curvature
• Symmetric space

An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume

Source URL: www.ccs.neu.edu

• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Valuation
• Generalised Whitehead product
• Symbol

12th International Society for Music Information Retrieval Conference (ISMIRTIMBRE AND MELODY FEATURES FOR THE RECOGNITION OF VOCAL ACTIVITY AND INSTRUMENTAL SOLOS IN POLYPHONIC MUSIC Matthias Mauch Hiromasa Fuji

Source URL: ismir2011.ismir.net

Are Robots Ready for Administering Health Status Surveys? First Results from an HRI Study with Subjects with Parkinson’s Disease Priscilla Briggs Matthias Scheutz

Source URL: hrilab.tufts.edu

Face Model Fitting based on Machine Learning from Multi-band Images of Facial Components Matthias Wimmer∗ Perceptual Computing Lab Waseda University Tokyo, Japan

Source URL: wimmerm.bplaced.net

Application of emotion recognition methods in automotive research Martin A. Tischler, Christian Peter, Matthias Wimmer, Jörg Voskamp 1 Customer Research Center, DaimlerChrysler AG, Böblingen Fraunhofer Institut für Gr

Source URL: wimmerm.bplaced.net

Formal proof mining, a structure-oriented approach Matthias Puech∗ October 9, 2009 Large corpora of formal proofs have been developed over the years, that sit in

Source URL: www.pps.univ-paris-diderot.fr

Extension of Life Span by Impaired Glucose Metabolism in Caenorhabditis elegans Is Accompanied by Structural Rearrangements of the Transcriptomic Network Steffen Priebe1*, Uwe Menzel1, Kim Zarse2, Marco Groth3, Matthias

Source URL: genome.imb-jena.de

Computational Physics Prof. Matthias Troyer ETH Z¨ urich, Contents

Source URL: www.ifb.ethz.ch

Exploring Male Spatial Placement Strategies in a Biologically Plausible Mating Task Matthias Scheutz1, Max Smiley1, and Sunny Boyd2 1Department of Computer Science

Source URL: hrilab.tufts.edu