Alexander Linden

发表

Iterative inversion of neural networks and its applications

Alexander Linden, 1997 .

Magic Quadrant for Advanced Analytics Platforms

Alexander Linden, Gareth Herschel, Lisa Kart, 2014 .

Network Analysis Techniques

Russell Beale, Alexander Linden, Stephen Luttrell, 1996 .

A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems

Pierre Wolper, Alexander Linden, 2013, TACAS.

Bericht von der Konferenz "Neural Information Processing Szstems - Natural and Synthetic" (NIPS) 1992

Gerhard Paass, Alexander Linden, 1993, Künstliche Intell..

Inversion of neural networks by gradient descent

Alexander Linden, Jörg Kindermann, A. Linden, 1990, Parallel Comput..

Multirate Synchronous Sampling of Sparse Multiband Signals

Amir Rosenthal, Alexander Linden, Michael Fleyer, 2008, IEEE Transactions on Signal Processing.

On the Verification of Programs on Relaxed Memory Models

Alexander Linden, A. Linden, 2013 .

Inversion in Time

Sebastian Thrun, Alexander Linden, 1990, EURASIP Workshop.

Adaptive Look-Ahead Planning

Sebastian Thrun, Knut Möller, Alexander Linden, 1990, ÖGAI.

On Discontinuous Q-Functions in Reinforcment Learning

Alexander Linden, 1992, GWAI.

Detection of Minimal Microfeatures by Internal Feedback

Alexander Linden, Jörg Kindermann, 1989, ÖGAI.

SESAME — A software environment for combining multiple neural network paradigms and applications

Alexander Linden, Christoph Tietz, 1992 .

Eine Softwareumgebung für Design und Analyse komplexer neuronaler Systeme

Alexander Linden, Christoph Tietz, 1991, Wirtsch..

Planning with an Adaptive World Model

Sebastian Thrun, Knut Möller, Alexander Linden, 1990, NIPS.

A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems

Pierre Wolper, Alexander Linden, 2011, SPIN.

An Object-Oriented Framework for the Simulation of Neural Networks

F. Weber, Alexander Linden, Christoph Tietz, 1992, NIPS.

Verifying Programs on Relaxed Memory Models with a Focus on x86-TSO

Alexander Linden, 2011 .

A software environment for the design and analysis of complex neural systems

Alexander Linden, Christoph Tietz, 1991 .

An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models

Pierre Wolper, Alexander Linden, 2010, SPIN.

SESAME - ein objekt- und datenflußorientierter Simulator für Modelle der Neuroinformatik und angrenzender Gebiete

Alexander Linden, 1995, DISKI.

Implementing inner drive through competence reflection

Frank Weber, Alexander Linden, Alexander Linden, 1993 .

SESAME - An Object Oriented Software Tool for Design, Simulation and Analysis of Neural Nets

Alexander Linden, Christoph Tietz, Thomas Sudbrak, 1993, MASCOTS.