arXiv:1410.5640v2 [math.DG] 26 MarQUANTITATIVE STRATIFICATION AND HIGHER REGULARITY FOR BIHARMONIC MAPS CHRISTINE BREINER AND TOBIAS LAMM

Source URL: arxiv.org

Profiling Underwater Swarm Robotic Shoaling Performance using Simulation Mark Read1,∗ , Christoph M¨oslinger2 , Tobias Dipper3 , Daniela Kengyel2 , James Hilder1 , Ronald Thenius2 , Andy Tyrrell1 , Jon Timmis1 , and T

Source URL: markread.info

Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

Source URL: www.dagstuhl.de

• Theoretical computer science
• Mathematical logic
• Logic
• Logic in computer science
• Automated theorem proving
• Formal methods
• Model theory
• Satisfiability modulo theories
• Automated reasoning
• Presburger arithmetic
• First-order logic
• Formal verification

IssueAnalysis The HIV/AIDS Crisis in Papua New Guinea Miranda Darling Tobias Executive Summary No. 81 • 8 February 2007

Source URL: pharmacy.utah.edu

Leakage Assessment Methodology - a clear roadmap for side-channel evaluations Tobias Schneider and Amir Moradi Wednesday, September 16th, 2015 Motivation Security Evaluation

Source URL: www.cryptoexperts.com

The MobileCoach – An Open Source Solution for Behavioral Change Interventions   Andreas Filler1,3, Severin Haug2 & Tobias Kowatsch1 , ,

Source URL: cocoa.ethz.ch

MySQL Users Conference 2005 , April 18-21 | Advanced InnoDB Optimization | © MySQL AB 2005 | www.mysql.com Advanced InnoDB Optimization Peter Zaitsev, Tobias Asplund MySQL AB

Source URL: conferences.oreillynet.com

INTENTIONAL AND UNINTENTIONAL SIDE-CHANNELS IN EMBEDDED SYSTEMS A Dissertation Presented by GEORG TOBIAS BECKER

Source URL: www.emsec.rub.de

Tobias Kowatsch Universität St.Gallen Institut für Technologiemanagement ITEM-HSG, Büro 1-236, Dufourstrasse 40a 9000 St. Gallen Schweiz

Source URL: www.alexandria.unisg.ch

Precise Client-side Protection against DOM-based Cross-Site Scripting Ben Stock, University of Erlangen-Nuremberg; Sebastian Lekies, Tobias Mueller, Patrick Spiegel, and Martin Johns, SAP AG https://www.usenix.org/confer

Source URL: www.usenix.org