Thu, 22 Nov 2018

14:00 - 15:00
L4

Some new finding for preconditioning of elliptic problems

Prof Kent-Andre Mardal
(University of Oslo)
Abstract


In this talk I will present two recent findings concerning the preconditioning of elliptic problems. The first result concerns preconditioning of elliptic problems with variable coefficient K by an inverse Laplacian. Here we show that there is a close relationship between the eigenvalues of the preconditioned system and K. 
The second results concern the problem on mixed form where K approaches zero. Here, we show a uniform inf-sup condition and corresponding robust preconditioning. 

Thu, 29 Nov 2018

14:00 - 15:00
L4

Alternative Mixed Integer Linear Programming Formulations for Globally Solving Standard Quadratic Programs

Prof. Alper Yidirim
(Koç University Istanbul)
Abstract

Standard quadratic programs have numerous applications and play an important role in copositivity detection. We consider reformulating a standard quadratic program as a mixed integer linear programming (MILP) problem. We propose alternative MILP reformulations that exploit the specific structure of standard quadratic programs. We report extensive computational results on various classes of instances. Our experiments reveal that our MILP reformulations significantly outperform other global solution approaches. 
This is joint work with Jacek Gondzio.

Fri, 14 Sep 2018

10:00 - 11:00
L3

Deterministic particle approximation for local and nonlocal transport equations

Marco Di Francesco
(University of L' Aquila)
Abstract

The derivation of first-order nonlinear transport PDEs via interacting particles subject only to deterministic forces is crucial in the socio-biological sciences and in the real world applications (e.g. vehicular traffic, pedestrian movements), as it provides a rigorous justification to a "continuum" description in situations more naturally described by a discrete approach. This talk will collect recent results on the derivation of entropy solutions to scalar conservation laws (arising e.g. in traffic flow) as many particle limits of "follow-the-leader"-type ODEs, including extensions to the case with Dirichlet boundary conditions and to the Hughes model for pedestrian movements (the results involve S. Fagioli, M. D. Rosini, G. Russo). I will then describe a recent extension of this approach to nonlocal transport equations with a "nonlinear mobility" modelling prevention of overcrowding for high densities (in collaboration with S. Fagioli and E. Radici). 

Introduction
Alber, M Godin, C Maini, P Merks, R Mjolsness, E Bulletin of Mathematical Biology volume 81 issue 8 3214-3218 (22 Aug 2019)
An internal language for autonomous categories
Mackie, I Román, L Abramsky, S Applied Categorical Structures volume 1 issue 3 311-343 (Sep 1993)
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions Extended Abstract
Abramsky, S McCusker, G Electronic Notes in Theoretical Computer Science volume 3 2-14 (1996)
Applicative communicating processes in first order logic
Bellia, M Degano, P Levi, G Dameri, E Martelli, M Lecture Notes in Computer Science volume 137 1-14 (27 May 1982)
New foundations for the geometry of interaction
Abramsky, S Jagadeesan, R Proceedings - Symposium on Logic in Computer Science 211-222 (01 Jun 1992)
Preface
Abramsky, S Curien, P Theoretical Computer Science volume 115 issue 1 1-2 (Jul 1993)
Games and full abstraction for the lazy /spl lambda/-calculus
Abramsky, S McCusker, G Proceedings 11th Annual IEEE Symposium on Logic in Computer Science 234-243 (01 Jan 1995)
Subscribe to