Sexual transmission of HIV according to viral load and antiretroviral therapy: systematic review and meta-analysis Suzanna Attiaa, Matthias Eggera,b, Monika Mu¨llera, Marcel Zwahlena and Nicola Lowa,b Objectives: To syn

Source URL: www.who.int

A logical framework for incremental type-checking Matthias Puech1,2 1 Dept. Yann R´egis-Gianas2

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

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: www.maths.dur.ac.uk

• Geometry
• Mathematics
• Space
• Curvature
• Riemannian geometry
• Algebraic topology
• Mathematical structures
• Differential geometry
• Sectional curvature
• Planar graph
• Differential geometry of surfaces
• Euler characteristic

10th International Society for Music Information Retrieval Conference (ISMIRUSING MUSICAL STRUCTURE TO ENHANCE AUTOMATIC CHORD TRANSCRIPTION Matthias Mauch, Katy Noland, Simon Dixon Queen Mary University of Londo

Source URL: ismir2009.ismir.net

Profiling and Optimizing Micro-Architecture Bottlenecks on the Hardware Level Francis B. Moreira, Marco A. Z. Alves, Matthias Diener, Philippe O. A. Navaux Israel Koren

Source URL: euler.ecs.umass.edu

• Computer architecture
• Computing
• Computer engineering
• Central processing unit
• Instruction set architectures
• Cache
• Computer science
• Trace Cache
• Branch predictor
• Microarchitecture
• Prefetching
• ARM architecture

New approaches to generating comprehensive allday activity-travel schedules Matthias Feil Michael Balmer Kay W. Axhausen STRC 2009

Source URL: www.strc.ch

• Business
• Transportation planning
• Operations research
• Applied mathematics
• Professional studies
• Mathematical optimization
• Metaheuristics
• Manufacturing
• Transims
• Genetic algorithm
• Schedule
• Tabu search

Certifying, incremental type checking Matthias Puech1,2 and Yann R´egis-Gianas1 1 2

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

Secure Service-Oriented Grid Computing with Public Virtual Worker Nodes Matthias Schmidt, Niels Fallenbeck, Matthew Smith, Bernd Freisleben Department of Mathematics and Computer Science, University of Marburg Hans-Meerw

Source URL: www.dcsec.uni-hannover.de

An Equivalence-Preserving CPS Translation via Multi-Language Semantics (Technical Appendix) Amal Ahmed Matthias Blume

Source URL: www.ccs.neu.edu

Learning Robust Objective Functions with Application to Face Model Fitting Matthias Wimmer1 , Sylvia Pietzsch2 , Freek Stulp3 , and Bernd Radig2 1 Faculty of Science and Engineering, Waseda University, Tokyo, Japan

Source URL: wimmerm.bplaced.net