Verifying Object-Oriented Programs with KeY: A Tutorial Wolfgang Ahrendt1 , Bernhard Beckert2 , Reiner H¨ ahnle1 , Philipp R¨ ummer1 , 3

Source URL: www.cse.chalmers.se

Professor Dr. iur. Bernhard Kempen Professor Dr. iur. Wolfgang Weiß Prof. Dr. Kempen · Prof. Dr. Weiß

Source URL: www.mehr-demokratie.de

Professor Dr. iur. Bernhard Kempen Professor Dr. iur. Wolfgang Weiß Prof. Dr. Kempen · Prof. Dr. Weiß

Source URL: www.mehr-demokratie.de

UML-F - A modeling language for object-oriented frameworks Marcus Fontoura, Wolfgang Pree, Bernhard Rumpe http://uml-f.org © 2000, M. Fontoura, W. Pree, B. Rumpe

Source URL: fontoura.org

STIMMEN DER ZEIT Herausgeber und Chefredakteur: Wolfgang Seibel SJ; ab Heft 8: Martin Maier SJ. Mitglieder der Redaktion: Johannes Baar SJ, Roman Bleistein SJ, Martin Maier SJ; ab Heft 8: Johannes Baar SJ, Bernhard Gr

Source URL: www.stimmen-der-zeit.de

Bayesian Computation Emerges in Generic Cortical Microcircuits through Spike-Timing-Dependent Plasticity Bernhard Nessler1*, Michael Pfeiffer1,2, Lars Buesing1, Wolfgang Maass1 1 Institute for Theoretical Computer Scienc

Source URL: www.gatsby.ucl.ac.uk

• Neuroscience
• Nervous system
• Biology
• Computational neuroscience
• Neural networks
• Neurophysiology
• Spike-timing-dependent plasticity
• Biological neuron model
• Neural coding
• Hebbian theory
• Neuron
• Neural oscillation

Neural Dynamics as Sampling: A Model for Stochastic Computation in Recurrent Networks of Spiking Neurons Lars Buesing¤*, Johannes Bill, Bernhard Nessler, Wolfgang Maass Institute for Theoretical Computer Science, Graz U

Source URL: www.gatsby.ucl.ac.uk

• Neuroscience
• Computational neuroscience
• Nervous system
• Biology
• Artificial neural network
• Biological neuron model
• Spiking neural network
• Neural oscillation
• Gibbs sampling
• Action potential
• Neuron
• Stochastic process

CGI 2008 Conference Proceedings Bernhard Thomaszewski · Simon Pabst · Wolfgang Straßer WSI/GRIS, Universit¨ at T¨ ubingen, Germany

Source URL: graphics.ethz.ch

Web Information Extraction Using Eupeptic Data in Web Tables ? Web Information Extraction Using Eupeptic Data in Web Tables? Wolfgang Gatterbauer, Bernhard Kr¨ upl, Wolfgang Holzinger, and

Source URL: ftp.informatik.rwth-aachen.de

Dr. h.c. Laudatio – Prof. Gerhard Weiss, Chair of the Department of Knowledge Engineering (DKE) at Maastricht University, for Prof. Wolfgang Wahlster – Professor Wolfgang Wahlster has significantly and subs

Source URL: www.dfki.de

• Academia
• Saarland University
• Educational psychology
• Maastricht
• Bernhard Nebel
• German Research Centre for Artificial Intelligence
• Wolfgang Wahlster
• Artificial intelligence