The isomorphism problem of Hausdorff measures and H¨ older restrictions of functions Doctoral thesis Andr´as M´ath´e

Source URL: homepages.warwick.ac.uk

• Dimension theory
• Fractals
• Metric geometry
• Measure theory
• Borel set
• Hausdorff measure
• Hausdorff dimension
• Borel measure
• Support
• Mathematical analysis
• Mathematics
• Topology

doi:[removed]nature08723 LETTERS Foot strike patterns and collision forces in habitually barefoot versus shod runners Daniel E. Lieberman1, Madhusudhan Venkadesan1,2*, William A. Werbel3*, Adam I. Daoud1*, Susan D’Andr

Source URL: www.barefootrunning.fas.harvard.edu

• Walking
• Locomotion
• Barefoot running
• Running
• Barefoot
• Gait
• Pronation of the foot
• Vibram FiveFingers
• Shoe
• Human anatomy
• Foot
• Anatomy

RF:s Stadgar I lydelse efter RF-stämman 2013 § Uppdaterade efter RF-stämman i maj 2013, v1.2 Ändrade paragrafer har markerats med ”ändr 2013”, med undantag för paragrafer

Source URL: www.idrottenskungorelser.se

Google Technical Report dapper[removed], April[removed]Dapper, a Large-Scale Distributed Systems Tracing Infrastructure Benjamin H. Sigelman, Luiz Andr´e Barroso, Mike Burrows, Pat Stephenson, Manoj Plakal, Donald Beaver, S

Source URL: static.googleusercontent.com

• Software engineering
• Tracing
• Instrumentation
• Profiling
• Hypertext Transfer Protocol
• Web service
• Pin
• Computing
• Debugging
• Software optimization

Triune Continuum Paradigm and Problems of UML Semantics Andrey Naumenko, Alain Wegmann Laboratory of Systemic Modeling, Swiss Federal Institute of Technology – Lausanne. EPFL-IC-LAMS, CH-1015 Lausanne, Switzerland andr

Source URL: www.triunecontinuum.com

• Software development
• Triune continuum paradigm
• Stereotype
• RM-ODP
• Entity-relationship model
• Metamodeling
• Object Management Group
• Profile
• Classifier
• Unified Modeling Language
• Software engineering
• Data modeling

An Experimental Comparison of Bayesian Optimization for Bipedal Locomotion Roberto Calandra1 , Andr´e Seyfarth2 , Jan Peters1,3 and Marc Peter Deisenroth4,1 Abstract— The design of gaits and corresponding control poli

Source URL: www.ias.tu-darmstadt.de

• Global optimization
• Multidisciplinary design optimization
• Stochastic optimization
• Random search
• Genetic algorithm
• BFGS method
• Maximum likelihood
• Mathematical optimization
• Numerical analysis
• Mathematical analysis

Effects of Floating-Point non-Associativity on Numerical Computations on Massively Multithreaded Systems∗ Oreste Villa1 , Daniel Chavarr´ıa-Miranda1 , Vidhya Gurumoorthi2 , Andr´es M´arquez1 , and Sriram Krishnamoo

Source URL: cass-mt.pnnl.gov

• Data types
• Supercomputers
• Parallel computing
• Cray XMT
• Cray
• Floating point
• Automatic parallelization
• Lis
• FLOPS
• Computing
• Software
• Compiler optimizations

Andr´ e Platzer Last updated: July 6, 2013 Contact Information

Source URL: symbolaris.com

• Mathematics
• Logic in computer science
• Formal methods
• Formal verification
• Model checking
• Magnus Egerstedt
• KeY
• Edmund M. Clarke
• Lecture Notes in Computer Science
• Theoretical computer science
• Applied mathematics
• Automated theorem proving

Characterizing Algebraic Invariants by Differential Radical Invariants? Khalil Ghorbal and Andr´e Platzer Carnegie Mellon University, Pittsburgh, PA, 15213, USA {kghorbal|aplatzer}@cs.cmu.edu

Source URL: symbolaris.com

• Algebraic geometry
• Field theory
• Invariant theory
• Polynomial
• Homogeneous polynomial
• Algebraic function
• Invariant
• Field
• Real algebraic geometry
• Abstract algebra
• Mathematics
• Algebra

Periodica Mathematica Hungarica Vol[removed]–2), (2001), pp. 191–198 THE EXPECTED NUMBER OF RANDOM ELEMENTS TO GENERATE A FINITE ABELIAN GROUP Carl Pomerance (Murray Hill) Dedicated to Professor Andr´

Source URL: www.math.dartmouth.edu

• Field theory
• Abelian group
• Niels Henrik Abel
• P-group
• Finite field
• Algebraic number field
• Index of a subgroup
• Solvable group
• Finite groups
• Abstract algebra
• Algebra
• Group theory