Simultaneous Topology and Stiffness Identification for Mass-Spring Models based on FEM Reference Deformations G´erald Bianchi, Barbara Solenthaler, G´abor Sz´ekely, and Matthias Harders Swiss Federal Institute of Tech

Source URL: graphics.ethz.ch

“Batch, Batch, Batch:” What Does It Really Mean? Matthias Wloka What Is a Batch?

Source URL: www.nvidia.com

• Video cards
• Computer hardware
• Computer architecture
• Computer engineering
• GeForce
• Nvidia
• Athlon
• NForce
• GeForce 6 series

Nachrichten aus dem Stadtarchiv AusgabeRedaktion: Matthias Haupt Erscheint in zwangloser Reihenfolge Hausanschrift: Kellerstraße 10, 83512 Wasserburg a. Inn

Source URL: www.wasserburg.de

Manuscript of: Diepeveen, Janneke & Matthias Hüning (2016): The status of Dutch in post-colonial Suriname. In: Daniel Schmidt-Brücken, Susanne Schuster & Marina Wienberg (Hrsg.), Aspects of (post)colonial linguistics.

Source URL: neon.niederlandistik.fu-berlin.de

Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

Source URL: www.preining.info

• Model theory
• Non-classical logic
• Modal logic
• Philosophical logic
• Kripke semantics
• Sheaf theory
• Propositional calculus
• Interpretation
• Mathematical logic
• Intuitionistic logic
• First-order logic

Balance Coding and Synaptic Unreliability: How Much Information Is There in the Noise? Leon A. Gatys , Alexander S. Ecker , Tatjana Tchumatchenko , Matthias Bethge 1,2 Population model

Source URL: bethgelab.org

• Neuroscience
• Nervous system
• Biology
• Neurophysiology
• Cellular neuroscience
• Neurology
• Neurobiology
• Chemical synapse
• Excitatory postsynaptic potential
• Synapse
• Neurotransmission
• Neuron

Automating Vertical Profiling Matthias Hauswirth Amer Diwan University of Colorado at Boulder

Source URL: www-plan.cs.colorado.edu

Zentrum für Angewandte Rechtswissenschaft (ZAR) Institut für Informations- und Wirtschaftsrecht (IIWR) Lehrstuhl Prof. Dr. iur. Matthias Bäcker (Institutsleitung) KIT-Campus Süd | ZAR - IIWR | Postfach 6980 | 76049 K

Source URL: www.zar.kit.edu

Coordinated Concurrent Programming in Syndicate Tony Garnock-Jones and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA Abstract. Most programs interact with the world: via graphical user interfaces

Source URL: www.ccs.neu.edu

Introducing Reputation Systems to the Economics of Outsourcing Computations to Rational Workers Jassim Aljuraidan1 , Lujo Bauer1 , Michael K. Reiter2 , and Matthias Beckerle1 1

Source URL: fc16.ifca.ai