// TORINO 25-28 GIUGNO 2012
CONGRESSO NAZIONALESIMAI
2012
SIMAI 2012 Politecnico di Torino, June 25-28, 2012
The aim of SIMAI Biannual Congresses is to provide a scientific forum for presenting and discussing the issues and the advances in applied mathematics and applications of mathematics to industry, technology, environment, cultural heritage, biology and society. By bringing together researchers and professionals in applied analysis, mathematical modeling and scientific computing, SIMAI 2012 represents a key occasion to promote and stimulate interdisciplinary research in applied mathematics and to foster interactions with industry.
Conference Venue Opening: (June 25, 2012) Politecnico di Torino, Sala Consiglio di Facoltà Corso Duca degli Abruzzi 24, 10129 Torino Conference: (from June 25 to June 28, 2010) Politecnico di Torino Corso Duca degli Abruzzi 24, 10129 Torino Invited Speakers Luigi Barletti, Firenze Paolo Bisegna, Roma Antonio DeSimone, Trieste Nicole El Karoui, Paris Massimo Fornasier, München Valeria Simoncini, Bologna
Copyright © 2012, SIMAI Societa’ Italiana di Matematica Applicata e Industriale Via dei Taurini, 19 - 00185 Roma www.simai.eu
Scientific Committee Nicola Bellomo, Politecnico di Torino, Chair Franco Brezzi, IUSS / CNR IMATI, Pavia Carlo Cinquini, Università di Pavia Luca Formaggia, Politecnico di Milano Giorgio Fotia, CRS4 Bioinformatica, Pula (Cagliari) Roberto Natalini, CNR IAC, Roma Mario Primicerio, Università di Firenze Anna Sciomachen, Università di Genova Organizing Commitee Elena De Angelis, Politecnico di Torino, Chair Marcello Delitala, Politecnico di Torino Giorgio Fotia, CRS4 Bioinformatica, Pula (Cagliari) Roberto Natalini, CNR IAC, Roma Luigi Preziosi, Politecnico di Torino Luigia Puccio, Università di Messina
Graphic layout and cover design TEMBO Communication Design, Torino
[SIMAI 2012]
PROGRAM
Updated on June 18, 2012
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[SIMAI 2012]
Time table Monday, June 25th
ROOM
TIME
REGISTRATION
CdF
13:00 - 14:00
OPENING CEREMONY
CdF
14:00 - 14:30
PLENARY SESSION Nicole El Karoui Dynamic utilities and long term interest rates
CdF
14:30 - 15:30
COFFEE BREAK PLENARY SESSION Valeria Simoncini Solution of structured algebraic linear systems in PDE-constrained optimization problems
15:30 - 16:00
CdF
16:00 - 17:00
WELCOME DRINK
Tuesday, June 26th PARALLEL SESSIONS: MINISYMPOSIA Approximation methods for data and image processing - I Cotronei, Lamberti, Rossini Complex systems I Sacerdote Integral equations: numerical methods and applications - I Aimi, Diligenti, Monegato Mathematical problems in semiconductors and related topics - I Muscato, Majorana, Romano New problems arising in mathematical modeling of smart and biological materials - I Andreucci, Carillo Optimization methods for inverse problems in imaging and machine learning Ruggiero, Zanni Variational inequalities and network equilibrium problems Barbagallo, Maugeri
19:00
TIME
ROOM
9:00 - 10:40
4i 2i 1i 5i 3i 7i 6i
COFFEE BREAK CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
10:40 -11:10
7
[SIMAI 2012]
Time table Tuesday, June 26th
TIME
11:10 - 12:50
12:50 - 14:00 12:50 - 14:00
14:00 - 15:40
8
ROOM
PARALLEL SESSIONS: MINISYMPOSIA Approximation methods for data and image processing - II Cotronei, Lamberti, Rossini Complex systems II Sacerdote Integral equations: numerical methods and applications - II Aimi, Diligenti, Monegato Mathematical and numerical modelling in geosciences Miglio, Formaggia Mathematical modelling in biomedicine I Preziosi Mathematical problems in semiconductors and related topics - II Muscato, Majorana, Romano New problems arising in mathematical modeling of smart and biological materials - II Andreucci, Carillo
4i 2i 1i 7i 6i 5i 3i
LUNCH BREAK LUNCH TIME SESSION HPC at CINECA: overview, new features and applications in Mathematics PARALLEL SESSIONS: MINISYMPOSIA Advances in numerical methods and applications I Naldi Complex systems III Sacerdote Developments of graph theory to networks - I Imbesi, La Barbiera Integral equations: numerical methods and applications - III Aimi, Diligenti, Monegato Mathematical problems in semiconductors and related topics - III Muscato, Majorana, Romano New problems arising in mathematical modeling of smart and biological materials - III Andreucci, Carillo Nonlinear evolution equations: analytical and geometrical methods - I Demontis, Ortenzi
1i 7i 2i 4i 1i 5i 3i 6i
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[SIMAI 2012]
Time table Tuesday, June 26th PARALLEL SESSIONS: MINISYMPOSIA Advances in numerical methods and applications II Naldi Developments of graph theory to networks - II Imbesi, La Barbiera Integral equations: numerical methods and applications - IV Aimi, Diligenti, Monegato Mathematical problems in semiconductors and related topics - IV Muscato, Majorana, Romano New problems arising in mathematical modeling of smart and biological materials - IV Andreucci, Carillo Nonlinear evolution equations: analytical and geometrical methods - II Demontis, Ortenzi Topics in classical mechanics Groppi
Wednesday, June 27th FOCUS SESSION Mathematics & Industry, a novel approach to R&D PARALLEL SESSIONS: MINISYMPOSIA Computational and statistical methods for biomedical applications - I Sangalli, Vergara Developments of graph theory to networks - III Imbesi, La Barbiera From nano to macro: modeling and simulation Riccardi Mathematical methods in decisions, economics, finance and games - I CarfÏ, Ricciardello, Schilirò New problems arising in mathematical modeling of smart and biological materials - V Andreucci, Carillo CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
ROOM
TIME
16:10 - 17:50
7i 4i 1i 5i 3i 6i 2i
ROOM
TIME
1i
9:00 - 12:50 9:00 - 10:40
6i 4i 7i 5i 3i
9
[SIMAI 2012]
Time table Wednesday, June 27th
TIME
ROOM
Reduced and polynomial approximation strategies for parametrized and stochastic PDEs - I Tamellini, Manzoni Variational methods for problems in applied sciences - I Chiadò Piat, Zappale 10:40 - 11:10
COFFEE BREAK
11:10 - 12:50
PARALLEL SESSIONS: MINISYMPOSIA Advances in numerical methods and applications III Naldi Computational and statistical methods for biomedical applications - II Sangalli, Vergara Mathematical methods in decisions, economics, finance and games - II Carfì, Ricciardello, Schilirò Mathematical models for renewable energy sources Felaco, Di Michele Networks and optimization Chinnici Quasi-variational inequalities, generalized Nash equilibrium problems and applications Scrimali Variational methods for problems in applied sciences - II Chiadò Piat, Zappale
2i 8i
7i 6i 5i 4i 2i 3i 8i
12:50 - 14:00
LUNCH BREAK
14:00 - 15:00
PLENARY SESSION Luigi Barletti Quantum fluid models for nanoelectronics
CdF
15:00 - 16:00
PLENARY SESSION Massimo Fornasier (SIMAI Biannual Prize 2012 recipient) Random dimensionality reduction and sparse recovery algorithms
CdF
16:00 - 16:30
COFFEE BREAK
16:30 - 18:00
ROUND TABLE ON MATHEMATICS AND INDUSTRY
20:00
SOCIAL DINNER 10
CdF
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[SIMAI 2012]
Time table Thursday, June 28th PARALLEL SESSIONS: MINISYMPOSIA Beyond the mesh: handling geometry with unconventional methods Scotti, Dassi Large-scale numerical linear algebra and optimization Bellavia, De Simone Mathematical methods in decisions, economics, finance and games - III CarfÏ, Ricciardello, Schilirò Mathematical modelling in biomedicine II Preziosi Numerical modelling for engineering applications involving complex fluids and geometries - I Berrone, Verani Packing optimization problems in space engineering Fasano Topics in fluid dynamics I De Bernardis
ROOM
9:00 - 10:40
7i 2i 5i 6i 1i 4i 3i
COFFEE BREAK PARALLEL SESSIONS: MINISYMPOSIA Mathematical modelling in biomedicine III Preziosi Numerical modelling for engineering applications involving complex fluids and geometries - II Berrone, Verani Numerical resolution of PDE: the potentiality of the Life V library Fumagalli, Dassi Reduced and polynomial approximation strategies for parametrized and stochastic PDEs - II Tamellini, Manzoni Topics in fluid dynamics II De Bernardis Topics in rational mechanics Frosali LUNCH BREAK CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
TIME
10:40 - 11:10 11:10 - 12:50
6i 1i 7i 2i 3i 4i 12:50 - 14:00
11
[SIMAI 2012]
Time table Thursday, June 28th
TIME
ROOM
14.00 - 15:00
PLENARY SESSION Antonio DeSimone Cellular motility: mechanical bases and some mathematical results
15:00 - 16:00
PLENARY SESSION Paolo Bisegna Mathematical issues in visual transduction
16:00 - 16:30
COFFEE BREAK
16:30 - 17:30
ASSEMBLEA SOCI
CdF
17:30
CLOSING CEREMONY
CdF
CdF
CdF
Welcome Drink and Social Dinner Venue: Ristorante La Magnolia Via Luigi Mercantini, 6 - Torino www.ristorantelamagnolia.com 12
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[SIMAI 2012]
Room Map
CdF= Aula Consiglio di Facoltà CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
13
[SIMAI 2012]
YOUNG RESEARCHERS MINISYMPOSIA SECTION
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[YRM-001]
28.06
7i
Beyond the mesh: handling geometry with unconventional methods
9:00 10:40
Organizers: Scotti, Dassi
ROOM
Anisotropic mesh adaptation for PDE defined on implicit surfaces Simona Perotto, Luca Formaggia, Franco Dassi * Optimal transformation mesh-free method: a mesh-free method for solid and fluid flows Edie Miglio, Mattia Penati * An approach to local refinement in isogeometric analysis: LR-splines Andrea Bressan Automatic, hierarchic and adaptive mesh generation on CAD surfaces for BEM simulations of ship hydrodynamics Antonio DeSimone, Luca Heltai, Andrea Mola *
27.06 ROOM
[YRM-002]
4i
Mathematical models for renewable energy sources
11:10 12:50
Organizers: Felaco, Di Michele Mathematical modeling and simulations of parabolic trough power plants Federica Di Michele *, Ingenuin Gasser Renewable energy incentive schemes: performance comparison using optimal control Neeraj Oak *, Alan Champneys, Daniel Lawson A 1-D model for pressure retarded osmosis Federica Di Michele, Ingenuin Gasser, Henning Struchtrup, Elisabetta Felaco * Mathematical modeling and simulation of solar chimney power plants for high latitudes Ingenuin Gasser, Muhammad Junaid Kamboh *
16
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[YRM-003]
28.06
Numerical resolution of PDE: the potentiality of the LifeV library
ROOM
7i 11:10 12:50
Organizers: Fumagalli, Dassi An isogeometric analyis module for LifeV Paolo Crosetto *, Luca Dedè, Carlo Falco An XFEM method for 3D elliptic interface problems Guido Francesco Iori Numerical modeling of sedimentary basin evolution on HPC systems Antonio Cervone *, Nur Aiman Fadel Simulating electromechanical coupling in the heart Davide Ambrosi, Simone Pezzuto *
[YRM-004]
27.06
Reduced and polynomial approximation strategies for parametrized and stochastic PDEs - I
ROOM
2i 9:00 10:40
Organizers: Tamellini, Manzoni Computational and geometrical reduction strategies for parametrized fluid dynamics equations Toni Lassila, Gianluigi Rozza, Alfio Quarteroni, Andrea Manzoni * The reduced basis method for nonlinear elasticity Lorenzo Zanon Approximation of quantities of interest in stochastic PDES by the discrete L2 projection on polynomial spaces with random evaluations Giovanni Migliorati *, Fabio Nobile, Erik von Schwerin, Raul Tempone Polynomial chaos decomposition for differential models including technology variability Paolo Manfredi, Igor S. Stievano *, Flavio G. Canavero CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
17
[YRM-005]
28.06
2i
Reduced and polynomial approximation strategies for parametrized and stochastic PDEs - II
11:10 12:50
Organizers: Tamellini, Manzoni
ROOM
Polynomial approximation of stochastic PDEs Joakim Beck, Fabio Nobile, Lorenzo Tamellini *, Raul Tempone Uncertainty propagation through polynomial chaos expansion of a sedimentary basin compaction model Valentina Lever *, Giovanni Porta, Monica Riva Reduced basis method for parametrized optimal control problems Federico Negri *, Andrea Manzoni, Alfio Quarteroni, Gianluigi Rozza Reduced models for data assimilation in haemodynamics Luca Bertagna *, Alessandro Veneziani
18
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[SIMAI 2012]
MINISYMPOSIA SECTION
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-001]
26.06
Advances in numerical methods and applications I
ROOM
7i 14:00 15:40
Organizers: Naldi Approximated nonstationary iterated Tikhonov with application to image deblurring Marco Donatelli *, Martin Hanke Approximation by sigmoidal functions and applications Danilo Costarelli *, Renato Spigler Constrained nonlinear optimization for parameters identification in imaging Anastasia Cornelio *, Elena Loli Piccolomini, James G. Nagy Shape parametrization and computational reduction for real-time simulations in varying geometries Gianluigi Rozza *, Toni Lassila, Andrea Manzoni, Alfio Quarteroni
[MSP-002]
26.06
Advances in numerical methods and applications II
ROOM
7i 16:10 17:50
Organizers: Naldi A statistical-numerical approach for surface fitting over non-planar domains Bree Ettinger *, Simona Perotto, Laura M Sangalli Equations for the probabilistic moments of the solution of SPDEs Francesca Bonizzoni *, Fabio Nobile, Annalisa Buffa The L2-projection in the spatial discretization of heat equations Francesca Tantardini *, Andreas Veeser A RKDG scheme for 2D SWE on curved boundary domains Valerio Caleffi *, Alessandro Valiani
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
21
[MSP-003]
27.06
Advances in numerical methods and applications III
ROOM
7i 11:10 12:40
Organizers: Naldi XFEM for Darcy problems with networks of fractures Alessio Fumagalli *, Anna Scotti Subsoil decontamination with bioventing: numerical experiments Filippo Notarnicola Multi-scale numerical models for fluid-structure interaction problems in packaging applications Nicola Parolini *, Marco Pischedda, Chiara Riccobene Discontinuous Galerkin approximation of relaxation models for nonlinear diffusion equations Fausto Cavalli, Giovanni Naldi *, Ilaria Perugia
[MSP-004]
26.06
4i
Approximation methods for data and image processing - I
9:00 10:40
Organizers: Cotronei, Lamberti, Rossini
ROOM
Statistical and deterministic methods for image reconstruction in X-ray solar astronomy Federico Benvenuto *, Anna Maria Massone, Michele Piana A high capacity fragile and reversible medical image watermarking method Nello Balossino, Davide Cavagnino, Marco Grangetto, Maurizio Lucenteforte *, Sergio Rabellino Nonstationary biorthogonal wavelet filters Vittoria Bruni *, Mariantonia Cotronei, Francesca Pitolli Synthesis of coloured maps from keratography Licia Lenarduzzi 22
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-005]
26.06
Approximation methods for data and image processing - II
ROOM
4i 11:10 12:50
Organizers: Cotronei, Lamberti, Rossini Partition of unity algorithms for two-dimensional interpolation using radial basis functions Roberto Cavoretto Medical image registration using compactly supported functions Alessandra De Rossi Reconstruction of volume data by trivariate quartic C2 box splines Catterina Dagnino, Paola Lamberti *, Sara Remogna CAD System for the treatment of neurological bioimages Giuseppe Lamponi *, Lilla Bonanno *, Francesco Bertè, Alessia Bramanti, Silvia Marino, Placido Bramanti, Pietro Lanzafame
[MSP-006]
26.06
Complex systems I
ROOM
2i 9:00 10:40
Organizers: Sacerdote Multiscale probabilistic models for collective behaviors in living complex systems Focus on crowd dynamics Emiliano Cristiani, Benedetto Piccoli, Andrea Tosin * Statistical study of the interaction between the spread of an influenza epidemics and human mobility Alessandra Micheletti A discrete kinetic theory approach to modeling vehicular traffic Luisa Fermo Improving multicomponent systems via randomization Antonio Di Crescenzo *, Franco Pellerey CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
23
[MSP-007]
26.06
Complex systems II
ROOM
2i 11:10 12:50
Organizers: Sacerdote A mathematical model for value estimation with public information and herding Marcello Delitala *, Tommaso Lorenzi A Statistical approach to recognize interactions between neurons Laura Sacerdote, Massimiliano Tamborrino, Cristina Zucca * Segregation and dynamics of reaction-diffusion systems in the presence of strong competition Susanna Terracini From heterogeneous vehicle-driver behaviors to first order traffic flow macroscopic models Marina Dolfin
[MSP-008]
26.06
Complex systems III
ROOM
2i 14:00 15:40
Organizers: Sacerdote Optimal kinematics of supercoiled filaments Francesca Maggioni *, Florian A. Potra, Marida Bertocchi A discrete model analyzing biophysical determinants of cell migration in matrix environments Marco Scianna On the dynamics of social conflicts: looking for the Black Swan Nicola Bellomo Mathematical tools to model the interactions in a neural network Laura Lea Sacerdote
24
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-009]
27.06
Computational and statistical methods for biomedical applications - I
ROOM
6i 9:00 10:40
Organizers: Sangalli, Vergara A variational approach for image-based parameter estimation in hemodynamics Luca Bertagna *, Alessandro Veneziani, Mauro Perego, Christian Vergara Validation of a high-flow rate fluid solver with application to arterio-venous fistula hemodynamics Lorenzo Botti *, Luca Antiga, Andrea Remuzzi, Koen Van Canneyt Numerical simulations for percutaneous vascular surgery: from diagnosis to prediction Ferdinando Auricchio, Michele Conti *, Simone Morganti, Alessandro Reali High performance finite elements library LifeV: a fluid-structure interaction module for hemodynamic applications Paolo Crosetto
[MSP-010]
27.06
Computational and statistical methods for biomedical applications - II
ROOM
6i 11:10 12:50
Organizers: Sangalli, Vergara Modeling mandibular shape variation using bayesian ANOVA models Lara Fontanella, Luigi Ippoliti *, Pasquale Valentini PDE penalized statistical estimation of blood flow velocity profiles Laura Azzimonti *, Laura Maria Sangalli, Piercesare Secchi, Maurizio Domanin, Silvia Romagnoli Interpolation-based reconstruction of human carotid dynamics from magnetic resonance images Elena Faggiano *, Luca Antiga Mammogram diagnostics via 2-d complex wavelet-based self-similarity measures Orietta Nicolis *, Seonghye Jeon, Brani Vidakovic CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
25
[MSP-011]
26.06
Developments of graph theory to networks - I
ROOM
4i 14:00 15:40
Organizers: Imbesi, La Barbiera Ideals of vertex covers and applications Maurizio Imbesi, Monica La Barbiera * Node coverings in presence of loops Maurizio Imbesi *, Monica La Barbier Vertex cover ideals of chordal graphs Mariella Murgia
[MSP-012]
26.06
Developments of graph theory to networks - II
ROOM
4i 16:10 17:50
Organizers: Imbesi, La Barbiera On the h-vector of some simplicial complexes and their applications Naoki Terai, Vittoria Bonanziga * Binomial ideals and graphs Gioia Failla Graphs arising from mixed products ideals Monica La Barbiera, Paola Lea Staglianò *
26
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-013]
27.06
Developments of graph theory to networks - III
ROOM
4i 9:00 10:40
Organizers: Imbesi, La Barbiera Buchberger graphs Anna Maria Stanganelli Regularity of ideals associated to planar graphs Maria Fortuna Paratore Combinatorics of planar graphs Gaetana Restuccia
[MSP-014]
27.06
From nano to macro: modeling and simulation
ROOM
7i 9:00 10:40
Organizers: Riccardi The Schwarz function approach to the motion of planar uniform vortices Giorgio Riccardi Nonlocal effects in radial heat transport in silicon thin layers and graphene sheets Antonio Sellitto *, David Jou, Javier Bafaluy Analysis and simulations of the initial phase in multispecies biofilm formation Berardino D’Acunto, Luigi Frunzo *, Maria Rosaria Mattei A mathematical model explaining high flow rate in nanotubes Francesco Calabrò *, Davide Mattia
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
27
[MSP-015]
26.06
1i
Integral equations: numerical methods and applications - I
9:00 10:40
Organizers: Aimi, Diligenti, Monegato
ROOM
Gaussian rules w.r.t. exponential weights in finite or infinite intervals Giuseppe Mastroianni Numerical methods for the solution of integral equations in imaging Elena Loli Piccolomini, Fabiana Zama * A time-dependent absorbing boundary condition for the numerical solution of exterior wave equation problems Silvia Falletta *, Giovanni Monegato A numerical method for the Dirichlet problem on domains with corners Luisa Fermo, Concetta Laurita *
[MSP-016]
26.06
1i
Integral equations: numerical methods and applications - II
11:10 12:50
Organizers: Aimi, Diligenti, Monegato
ROOM
Structured matrix spectral analysis of photonic crystals Pietro Contu, Cornelis van der Mee *, Sebastiano Seatzu Full vectorial finite element method for integrated optical device design Paolo Pintus Parallel implementation of a SGBEM for the analysis of elastostatics 3D crack problems with unilateral contact on GPU’s and multicore CPU’s Edoardo Conrado, Stefano Miccoli * Recent advances in fracture mechanics modeling via boundary elements Alberto Salvadori, Alessandro Temponi *, Luca Zani
28
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-017]
26.06
Integral equations: numerical methods and applications - III
ROOM
1i 14:00 15:40
Organizers: Aimi, Diligenti, Monegato Direct methods for CSIE in weighted Zygmund spaces with uniform norm Maria Carmela De Bonis *, Giuseppe Mastroianni Numerical analysis of nonlinear Volterra integral equations: stability with respect to bounded perturbations Eleonora Messina *, Elvira Russo, Antonia Vecchio A class of methods for Volterra integral equations with periodic solution based on exponential fitting Angelamaria Cardone, Beatrice Paternoster, Giuseppe Santomauro * An energetic approach to BEM-FEM coupling for wave propagation phenomena Alessandra Aimi *, Mauro Diligenti, Chiara Guardasoni, Stefano Panizzi
[MSP-018]
26.06
Integral equations: numerical methods and applications - IV
ROOM
1i 16:10 17:50
Organizers: Aimi, Diligenti, Monegato Numerical modelling of electromagnetic sources by integral formulation Guido Ala, Elisa Francomano, Salvatore Ganci * A stable energetic Galerkin BEM for 3D wave propagation interior problems Alessandra Aimi, Mauro Diligenti, Attilio Frangi, Chiara Guardasoni * Canonical properties of general linear methods for Hamiltonian problems Raffaele D’Ambrosio *, John C. Butcher
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
29
[MSP-019]
28.06
Large-scale numerical linear algebra and optimization
ROOM
2i 9:00 10:40
Organizers: Bellavia, De Simone Quasi Newton updates of preconditioners for large size nonlinear systems arising in finite element discretizations of groundwater flow models Luca Bergamaschi *, Angeles Martinez, Mario Putti Sparse approximate inverse updated preconditioners revisited Daniele Bertaccini *, Salvatore Filippone A preconditioning framework for sequences of linear systems in optimization Stefania Bellavia, Valentina De Simone, Daniela Di Serafino *, Benedetta Morini Innovative multilevel techniques for structural optimization Benoit Colson, Margherita Porcelli *, Philippe L. Toint
[MSP-020]
26.06
7i
Mathematical and numerical modelling in geosciences
11:10 12:50
Organizers: Miglio, Formaggia
ROOM
Data assimilation in distributed catchment models Mario Putti Numerical methods for multiphase flows in fractured porous media Alessio Fumagalli, Anna Scotti * Asymmetry of thermal structure at slow-spreading ridges: plate kinematics, geodynamic and numerical modelling Marco Cuffaro *, Edie Miglio Computational challenges in modelling explosive volcanic eruptions Tomaso Esposti Ongaro *, Augusto Neri
30
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-021]
27.06
Mathematical methods in decisions, economics, finance and games - I
ROOM
5i 9:00 10:40
Organizers: Carfi, Ricciardello, Schilirò Coopetitive models for a global sustainable green economy David Carfì *, Daniele Schilirò Circulation of informational flows in organizations David Carfì, Ileana Ciutacu * The coherence of anti-crisis solutions in Greece: effects and negative externalities Ileana Ciutacu *, Daniel Stefan Belingher
[MSP-022]
27.06
Mathematical methods in decisions, economics, finance and games - II
ROOM
5i 11:10 12:40
Organizers: Carfi, Ricciardello, Schilirò Optimal participation in illegitimate market activities: complete Pareto analysis of 2-dimensional cases David Carfì *, Angelica Pintaudi Speculative attacks: game theory and possible defenses Fabrizio Lanzafame Algorithms for payoff trajectories in C1 coopetitive games David Carfì *, Angela Ricciardello
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
31
[MSP-023]
28.06
5i
Mathematical methods in decisions, economics, finance and games - III
9:00 10:40
Organizers: Carfi, Ricciardello, Schilirò
ROOM
Public pension system sustainability Marinella Cadoni, Alessandro Trudda, Roberta Melis * Teaching system analysis to giurists - future specialists of legal informatics Guranda Tevdoradze On the countries’ technological level Umberto Lucia, Giuseppe Maino *
[MSP-025]
26.06
Mathematical modelling in biomedicine I
ROOM
6i 11:10 12:50
Organizers: Preziosi Modelling the mechanical response of growing cellular aggregates Chiara Giverso *, Alfio Grillo Time delay between RR and RT heart beat intervals assessed by trend extraction of exercise test data Camillo Cammarota *, Mario Curione Closed-loop control of plasma glycemia: a DDE model-based approach Pasquale Palumbo *, Giulia Pizzichelli, Simona Panunzi, Pierdomenico Pepe, Andrea De Gaetano Simulating human cardial electrophysiology with unstructured all-hexahedral spectral elements Gianmauro Cuccuru, Giorgio Fotia *, Fabio Maggio 32
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-026]
28.06
Mathematical modelling in biomedicine II
ROOM
6i 9:00 10:40
Organizers: Preziosi Numerical Modelling for EM-fields and biosystems interactions Guido Ala, Elisa Francomano *, Salvatore Ganci A bayesian approach to magnetoencephalography in the frequency domain Riccardo Aramini *, Alberto Sorrentino, Gianvittorio Luria, Michele Piana FitzHugh-Nagumo equations with generalized diffusion to model biological neural networks Anna Cattani *, Claudio Canuto, Luigi Preziosi Optimal control of culling in epidemic models for wildlife Maria Groppi *, Valentina Tessoni, Luca Bolzoni, Giulio A. De Leo
[MSP-027]
28.06
Mathematical modelling in biomedicine III
ROOM
6i 11:10 12:50
Organizers: Preziosi A new probabilistic approach to crowd dynamics for applications in built environment Alessandro Corbetta *, Andrea Tosin, Luca Bruno A mathematical model for p53 nuclear accumulation Jean Clairambault, Luna Dimitrio *, Roberto Natalini Non-icosahedral pathways for the expansion of icosahedral viral capsids: a coarse grained model Giuliana Indelicato
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
33
[MSP-028]
26.06
5i
Mathematical problems in semiconductors and related topics - I
9:00 10:40
Organizers: Muscato, Majorana, Romano
ROOM
Quasibound states and transport resonances in coherent transmission spectra of electron waveguides Andrea Bertoni Is the Wigner transport equation to be modified for open systems? Paolo Bordone *, Carlo Jacoboni Multiband transport in composite materials: effective mass theorem Omar Morandi Two spinorial drift-diffusion models for quantum electron transport in graphene Ansgar Juengel, Luigi Barletti, Nicola Zamponi *
[MSP-029]
26.06
5i
Mathematical problems in semiconductors and related topics - II
11:10 12:50
Organizers: Muscato, Majorana, Romano
ROOM
On the two-temperature energy-transport model for semiconductors Giuseppe Ali *, Vittorio Romano Simulation of 2D nanoscale double-gate MOSFETs including crystal heating Vito Dario Camiola, Giovanni Mascali, Vittorio Romano * Hydrodynamical models for compound semiconductors Giovanni Mascali *, Giuseppe AlĂŹ, Vittorio Romano, Rosa Claudia Torcasio Hydrodynamic simulation of silicon nanowires Vincenza Di Stefano *, Orazio Muscato
34
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-030]
26.06
Mathematical problems in semiconductors and related topics - III
ROOM
5i 14:00 15:40
Organizers: Muscato, Majorana, Romano Scalable numerical algorithms for transient simulation of power electronics devices Marco Bellini, Carlo De Falco *, Marco Restelli Thermoelectric effects in silicon quantum wires Orazio Muscato Electron transport in one-walled carbon nanotube FET´s Clement Jourdana, Paola Pietra * Multiscale modeling and simulation of organic solar cells Carlo De Falco, Matteo Porro, Riccardo Sacco *, Maurizio Verri
[MSP-031]
26.06
Mathematical problems in semiconductors and related topics - IV
ROOM
5i 16:10 17:50
Organizers: Muscato, Majorana, Romano Numerical method for a nanoscale DG-MOSFET Alexander Mikhajlovich Blokhin, Boris Vladimirovich Semisalov * Recent advances in the spherical harmonics expansion of the Boltzmann transport equation Karl Rupp *, Tibor Grasser, Ansgar JĂźngel Semiconductor spintronics in a participating phonon medium: macroscopic equations Alberto Rossani Hydrodynamic model for 2D-3D electron gas Vito Dario Camiola *, Vittorio Romano CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
35
[MSP-032]
27.06
Networks and optimization
ROOM
2i 11:10 12:50
Organizers: Chinnici Topological modeling of malware propagation in networks Vincenzo Fioriti, Andrea Arbore, Marta Chinnici * A mathematical model for container assignment optimization on intermodal networks Maurizio Arnone, Micheal G.H. Bell, Simona Mancini * Existence results for non ‘convex’ variational problems in L∞ Ana Margarida Ribeiro, Elvira Zappale * A parallel biological neural network of hippocampus region on GPU Salvatore Cuomo, Pasquale De Michele *
[MSP-033]
26.06
3i
New problems arising in mathematical modeling of smart and biological materials - I
9:00 10:40
Organizers: Andreucci, Carillo
ROOM
Boundary controllability and source reconstruction in a viscoelastic string under external traction Luciano Pandolfi Stabilization for nonlinear integro-differential equations with weakly singular kernels Daniela Sforza Discrete observability Paola Loreti Some existence and uniqueness results in viscoelasticity: connections with free energies Sandra Carillo
36
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-034]
26.06
New problems arising in mathematical modeling of smart and biological materials - II
ROOM
3i 11:10 12:50
Organizers: Andreucci, Carillo A phase transitions model for shape memory polymers Elena Bonetti Free energies and phase transitions in materials with hysteresis Alessia Berti, Claudio Giorgi *, Elena Vuk On a modified viscous Cahn-Hilliard type system Gianni Gilardi Modelling of active particles in a mixture of fluids Giacomo Caviglia, Angelo Morro *
[MSP-035]
26.06
New problems arising in mathematical modeling of smart and biological materials - III
ROOM
3i 14:00 15:40
Organizers: Andreucci, Carillo Modeling magnetostriction with phase change Ulisse Stefanelli A Ginzburg-Landau model in superfluidity Alessia Berti *, Valeria Berti Asymptotic dynamics of nonlinear coupled suspension bridge equations Ivana Bochicchio, Claudio Giorgi, Elena Vuk * Some qualitative results in the mixtures of thermoelastic solids Maria Grazia Naso
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
37
[MSP-036]
26.06
3i
New problems arising in mathematical modeling of smart and biological materials - IV
16:10 17:50
Organizers: Andreucci, Carillo
ROOM
Reconstruction of a convolution kernel in a parabolic problem with a memory term in the boundary conditions Davide Guidetti An irreversible phase transition problem with a nonlinear heat flux law Giovanna Bonfanti A phase-field model for shape memory alloys at macroscopic scale: uni-axial deformation tests under different control conditions. Mirko Maraldi, Luisa Molari, Diego Grandi *
[MSP-037]
27.06
3i
New problems arising in mathematical modeling of smart and biological materials - V
9:00 10:40
Organizers: Andreucci, Carillo
ROOM
Diffusion and current-voltage curves in potassium channels Daniele Andreucci, Dario Bellaveglia *, Emilio N.M. Cirillo, Silvia Marconi Two-phase mass transfer in drug delivery problems: an application to the drugeluting stent Giuseppe Pontrelli *, Andrea Di Mascio, Filippo de Monte Nonlinear heat transport in nanosystems Vito Antonio Cimmelli *, David Jou, Antonio Sellitto
38
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-038]
26.06
Nonlinear evolution equations: analytical and geometrical methods - I
ROOM
6i 14:00 15:40
Organizers: Demontis, Ortenzi Coupled Maxwell-Bloch equations with inhomogeneous broadening for a 3-level system Mark J Ablowitz, Sarbarish Chakravarty, Barbara Prinari * Propagating two-dimensional magnetic droplets Mark A. Hoefer, Matteo Sommacal * Nonlinear propagation in optical fibers: a perturbation theory for the stochastic nonlinear Schrödinger equation Marco Secondini *, Domenico Marsella, Enrico Forestieri Integrable discrete nonlinear Schrödinger equations with vanishing and nonvanishing boundary conditions Cornelis van der Mee
[MSP-039]
26.06
Nonlinear evolution equations: analytical and geometrical methods - II
ROOM
6i 16:10 17:50
Organizers: Demontis, Ortenzi Flutter and gradient catastrophe in vortex filament dynamics with axial flow Boris Konopelchenko *, Giovanni Ortenzi Numerical solution to the nonlinear Schrödinger equation Antonio Aricò *, Giuseppe Rodriguez, Sebastiano Seatzu An inertia ‘paradox’ for incompressible stratified Euler fluids R. Camassa, S. Chen, G. Falqui, G. Ortenzi, Marco Pedroni * Constructing multidimensional Fourier solutions of integrable and nonintegrable evolutions equations Alfred Osborne
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
39
[MSP-040]
28.06
1i
Numerical modelling for engineering applications involving complex fluids and geometries - I
9:00 10:40
Organizers: Berrone, Verani
ROOM
Algorithms for adaptive particle distributions and multi-resolution in SPH schemes Salvatore Marrone *, Andrea Colagrossi, Benjamin Bouscasse, David Le Touzé, Daniel Barcarolo URANSE simulations of complex moving bodies by means of dynamic overlapping grids Stefano Zaghi *, Riccardo Broglia, Roberto Muscari, Andrea Di Mascio Metal foams formation: a numerical model Fulvio Bisi, Elisabetta Repossi *, Riccardo Rosso, Marco Verani Two and three dimensional simulation of flow and particle transport in porous media Matteo Icardi *, Gianluca Boccardo, Francesca Messina, Daniele L. Marchisio, Rajandrea Sethi
[MSP-041]
28.06
1i
Numerical modelling for engineering applications involving complex fluids and geometries - II
11:10 12:50
Organizers: Berrone, Verani
ROOM
Computational models for large contrast problems applied to microscale analysis of tissue engineered constructs Laura Cattaneo, Carlo de Falco, Paolo Zunino * The role of membrane viscosity in the dynamics of fluid membranes Marino Arroyo, Antonio DeSimone, Luca Heltai * An extended finite element optimization method for simulating discrete fracture network flows Stefano Berrone, Sandra Pieraccini, Stefano Scialò * An immersed boundary method applied to cardiovascular simulations Laura Cattaneo *, Elena Cutrì, Paolo Zunino
40
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-042]
26.06
Optimization methods for inverse problems in imaging and machine learning
ROOM
7i 9:00 10:40
Organizers: Ruggiero, Zanni Nonparametric sparsity via derivative-based regularization Sofia Mosci, Lorenzo Rosasco, Matteo Santoro, Alessandro Verri, Silvia Villa * Optimized limited angle tomography Iuri Frosio, Nunzio Alberto Borghese * An alternating direction method for constrained linear least-squares problems with application to image restoration Jianjun Zhang, Benedetta Morini * Primal-dual hybrid gradient algorithms for image restoration Silvia Bonettini *, Valeria Ruggiero
[MSP-043]
28.06
Packing optimization problems in space engineering
ROOM
4i 9:00 10:40
Organizers: Fasano A global optimization approach for solving non-standard packing problems with additional constraints Giorgio Fasano Exploiting empty spaces of a partially loaded container by adding virtual items Giorgio Fasano, Maria Chiara Vola * Approximate solutions to the basic 3D-packing MIP model by a non-linear approach Giorgio Fasano, Alessandro Castellazzo * The CAST (Cargo Accommodation Support Tool) project Giorgio Fasano *, Claudia Lavopa, Davide Negri, Maria Chiara Vola
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
41
[MSP-044]
26.06
Topics in classical mechanics
ROOM
2i 16:10 17:50
Organizers: Groppi A unified master-equations-based setting for the analysis of chemical reactions Alessandro Borri, Francesco Carravetta *, Gabriella Mavelli, Pasquale Palumbo An ES-BGK model for a reacting gas mixture Maria Groppi *, Giampiero Spiga Exponentially fitted methods for second order ordinary differential equations with parameter estimation Raffaele D’Ambrosio, Beatrice Paternoster * Meteorological fractional models of pollution based on anomalous diffusion Moreno Concezzi
[MSP-045]
28.06
Topics in fluid dynamics - I
ROOM
3i 9:00 10:40
Organizers: De Bernardis MHD three-dimensional stagnation-point flow of a newtonian and a micropolar fluid Alessandra Borrelli, Giulia Giantesio *, Maria Cristina Patria A mathematical and numerical model for explosive volcanic eruptions Susanna Carcano *, Luca Bonaventura, Augusto Neri, Tomaso Esposti Ongaro Droplets spreading under contact-line friction Lorenzo Giacomelli, Maria Chiricotto *
42
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-046]
28.06
Topics in fluid dynamics - II
ROOM
3i 11:10 12:50
Organizers: De Bernardis Stokes flows in axisymmetric geometries Giorgio Riccardi *, Enrico De Bernardis Spectral gaps for water waves above a corrugated bottom Valeria Chiadò Piat *, Sergey A. Nazarov, Kejio Ruotsalainen An Eulerian-Lagrangian approach for interface tracking in free boundary problems Alessandro Iafrati
[MSP-047]
28.06
Topics in rational mechanics
ROOM
4i 11:10 12:50
Organizers: Frosali Mathematical modelling of mikrokopter Andrea Alaimo, Cristina L.R Milazzo *, Marianna Ruggieri Nonlinear analysis of the two-mass-skate bicycle model Giovanni Frosali, Francesco Ricci *, Federico Zinelli
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
43
[MSP-048]
27.06
3i
Quasi-variational inequalities, generalized Nash equilibrium problems and applications
11:10 12:50
Organizers: Scrimali
ROOM
Quasi-variational inequalities, generalized Nash equilibrium and market coupling imperfections Giorgia Oggioni *, Yves Smeers, Elisabetta Allevi, Siegfried Schaible The cement sector’s carbon leakage: a generalized Nash equilibrium problem Rossana Riccardi *, Elisabetta Allevi, Giorgia Oggioni, Marco Rocco Nash equilibrium existence for a cognitive radio power allocation model. Laura Prati A quasi-variational inequality approach to environmental projects Laura Scrimali
[MSP-049]
26.06
6i
Variational inequalities and network equilibrium problems
9:00 10:40
Organizers: Barbagallo, Maugeri
ROOM
Advanced results on infinite dimensional duality in elastic-plastic torsion Sofia Giuffrè, Antonino Maugeri * Partial cooperative games Lucia Pusillo Partial cooperation in strategic game Lina Mallozzi *, Stef Tijs Retarded weighted quasi-variational inequalities for transportation problems Annamaria Barbagallo
44
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
[MSP-050]
27.06
Variational methods for problems in applied sciences - I
ROOM
8i 9:00 10:40
Organizers: Chiadò Piat, Zappale Asymptotic analysis of a system of edge dislocations Lucia De Luca, Adriana Garroni *, Marcello Ponsiglione An explicit formula for a relaxed interfacial energy arising from structured deformations David Owen, Roberto Paroni * Variational discrete models in image reconstruction Andrea Braides, Anneliese Defranceschi, Enrico Vitali * Homogenization of a graphene sheet Cesare Davini
[MSP-051]
27.06
Variational methods for problems in applied sciences - II
ROOM
8i 11:10 12:50
Organizers: Chiadò Piat, Zappale A multiple scales model for biomembranes and variational limits Luca Lussardi A quasistatic evolution model for perfectly plastic plates derived by -convergence Elisa Davoli *, Maria Giovanna Mora Determination of the equivalent anisotropy properties of polycrystalline magnetic materials: theoretical aspects and numerical analysis Oriano Bottauscio, Valeria Chiadò Piat, Michela Eleuteri *, Luca Lussardi, Alessandra Manzin On a rate-independent modeling in damage Dorothee Knees, Riccarda Rossi, Chiara Zanini * CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
45
NOTES
46
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
NOTES
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
47
NOTES
48
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
NOTES
CONGRESSO NAZIONALE SIMAI 2012 // PROGRAM
49