Personal tools
You are here: Home

Search results

RSS Subscribe to an always-updated RSS feed.

151 items matching your search terms.
Filter the results.
Item type










New items since



Sort by relevance · date (newest first) · alphabetically
From Petri Nets to Polynomials and Back: Models, Their Complexity, and New Algorithms
Prof. Ernst Mayr (University Munich), 13 April 2011, 11:30 a.m., RISC seminar room
Located in Events
PhD Defence: Fast Solvers and Adaptive High-Order FEM in Elastoplasticity
Peter Gruber (Doctoral Program, University Linz), 29 April 2011, 10:30 a.m.
Located in Events
The Abstract State Machines Method for Design and Analysis of Software-Based Systems
Prof. Egon Börger (University Pisa), 13 April 2011, 11 a.m., RISC seminar room
Located in Events
A shape and topology optimization method for the resolution of inverse problems
Dr. Antoine Laurain (University Berlin), 15 April 2011, 10:10 a.m., HF136
Located in Events
Functional a Posteriori Error Estimates of Elasticity Problems with Nonlinear Boundary Conditions
Prof. Jan Valdman (University Leipzig), 29 April 2011, 1:45 p.m., HF9904
Located in Events
Numerical homogenization procedures for materials with complex micro-structure
Prof. Alexander Düster (University Hamburg), 29 April 2011, 9 a.m., HF9904
Located in Events
Toric Factorisation of Bivariate Polynomials
Dr. Martin Weimann (University Barcelona), 8 February 2011, 10:15 a.m., seminar room Altenberger Straße 50
Located in Events
Generalized Fourier Series for Solutions of Linear Differential Equations
Alexandre Benoit (INRIA France), 19 January 2011, 3 p.m., RISC seminar room
Located in Events
A Symbolic Finite State Approach to Automated Theorem Proving
Dr. Thotsaporn Thanatipanonda (Bangkok University), 15 December, 2 p.m., RISC seminar room
Located in Events / 2010
Discovering hook length formulas by an expansion technique
Prof. Guoniu Han (Strasbourg University), 10 December 2010, 10 a.m., RISC seminar room
Located in Events / 2010