Contents

Plenary Talks 14New Trends in Complex Networks: Temporal Networks, Vito Latora 16From Individuals to Collectivity: Multiscale Methods for Living

Complex Systems, Andrea Tosin . . . . . . . . . . . . . . . . . 17Variational models for dislocations, Adriana Garroni . . . . . . . . 19Breaking the Boltzmann complexity, Lorenzo Pareschi . . . . . . . 20Computational Concerns in Appearance Reproduction, Fabio Pel-

lacini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22Sampling and collocation methods for PDEs with random data,

Fabio Nobile . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

Minisymposia 24Data Assimilation: an ill posed inverse problem. Numerical topics

and Applications, Luisa D’Amore . . . . . . . . . . . . . . . . 25Numerical methods for inverse problems and image processing, Marco

Donatelli and Marco Prato . . . . . . . . . . . . . . . . . . . 26NEW DEVELOPMENTS AND APPLICATIONS OF GROEB-

NER BASES, Rosanna Utano and Monica La Barbiera . . . . 27Complex Systems (SisCo-SIMAI Activity Group), Marina Dolfin

and Andrea Tosin . . . . . . . . . . . . . . . . . . . . . . . . . 28Mathematical Models and Computational Methods in Biomedicine,

Michele Piana . . . . . . . . . . . . . . . . . . . . . . . . . . . 29New perspectives on applicabilities in graph theory, Maurizio Imbesi

and Paola Lea Stagliano . . . . . . . . . . . . . . . . . . . . . 33Numerical methods for coupled problems, Marco Discacciati and

Christian Vergara . . . . . . . . . . . . . . . . . . . . . . . . . 35Computational models for natural hazards and extreme events sim-

ulation, Paola F. Antonietti, Ilario Mazzieri and Alfio Quar-teroni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

2

MINISYMPOSIUM “VARIATIONAL INEQUALITIES, IMMUNESYSTEMS AND LOCAL MINIMIZERS OF FUNCTION-ALS”., Maria Alessandra Ragusa and Annamaria Barbagallo 38

Modeling, simulation and optimization of complex systems usingPartial Differential Equations, Rosanna Manzo, Vincenzo Vespri,Maria Pia D’Arienzo and Cristian Tacelli . . . . . . . . . . . 40

GASVA minisymposium on Mathematical Modelling in Environ-mental and Life Sciences, Ezio Di Costanzo, Maria GraziaNotarangelo, Giuseppe Pontrelli, Alberto Bersani, Paolo Freguglia,Luigi Frunzo, Roberto Natalini and Luigi Preziosi . . . . . . . 42

Numerical methods and models for multiscale kinetic equations,Lorenzo Pareschi and Gabriella Puppo . . . . . . . . . . . . . 44

Proposal of minisymposium: The mathematics of learning fromdata, Lorenzo Rosasco and Silvia Villa . . . . . . . . . . . . . 46

Particle Laden Turbulent Shear Layers, Joern Sesterhenn . . . . . 47Discrete and continuous models for pedestrian movements,Marco

Di Francesco . . . . . . . . . . . . . . . . . . . . . . . . . . . 48“Mathematical Applications funded by the European Union”, Vale-

ria Artale, Cristina Milazzo and Angela Ricciardello . . . . . 51Models and applications of the theory of conservation laws, Stefano

Bianchini and Giuseppe Coclite . . . . . . . . . . . . . . . . . 53Mini-symposium Proposal: Coherent Structures and Nonlinear Waves,

Gaetana Gambino, Maria Carmela Lombardo and VincenzoSciacca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

Mini-symposium proposal: “Signal and image processing techniques,and applications”, Mariantonia Cotronei, Elisa Francomanoand Francesca Pitolli . . . . . . . . . . . . . . . . . . . . . . . 56

From computer aided geometric design to industrial CAD modelingand simulations, Carlotta Giannelli and Carla Manni . . . . . 57

High order schemes for nonlinear evolution Partial DifferentialEquations (Mini-symposium Proposals), Giovanni Naldi . . . 59

Title of minisimposium: Mathematical Problems from micro ansnano-electronics industry, Giovanni Mascali . . . . . . . . . . 60

Recent advances on the theory and applications of Semi-Lagrangianmethods, Maurizio Falcone and Roberto Ferretti . . . . . . . . 62

Contributed Talk 64Development of a family of cost-optimized prefactored high-order

compact schemes for low-speed aeroacoustics, Ivan Spisso, AldoRona and Sergio Pirozzoli . . . . . . . . . . . . . . . . . . . . 65

SIMAI 2014 3

A Supermodular Generalized Nash Equilibrium Problem for powerallocation in Cognitive Radio systems, Laura Prati . . . . . . 66

The interaction of a uniform vortex with a pointwise one, GiorgioRiccardi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

Tensor Train Approximation of the First Moment Equation for theLognormal Darcy Problem, Francesca Bonizzoni and FabioNobile . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

Vortex merging in relativistic flows, Pierluigi Vellucci and GiorgioRiccardi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

Active stress as a local regulator of global size in morphogenesis,Viola Pettinati, Davide Ambrosi and Pasquale Ciarletta . . . 70

Numerical Simulations of Self-Induced Thermodiffusion in PorousMedia, Melania Carfagna and Alfio Grillo . . . . . . . . . . . 71

Considerations On Thermodiffusion In Higher Order Binary Flu-ids, Alfio Grillo and Melania Carfagna . . . . . . . . . . . . . 72

Uncertainty quantification analysis in engineering design, ManoloVenturin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

Compressed solving: a model reduction technique for PDEs basedon compressed sensing, Simone Brugiapaglia, Stefano Michelettiand Simona Perotto . . . . . . . . . . . . . . . . . . . . . . . 74

Long-term structure-preserving numerical methods for Hamiltonianproblems in Physics and Medicine, Raffaele D’Ambrosio . . . 75

Irregularization accelerates iterative regularization, Paola Brianzi,Fabio Di Benedetto, Andrea Di Stefano, Claudio Estatico andLuca Surace . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

Data assimilation: an ill posed problem 78A Scalable Algorithm for Three Dimensional Variational Data As-

similation, Luisa D’Amore, Almerico Murli, Rossella Arcucciand Luisa Carracciuolo . . . . . . . . . . . . . . . . . . . . . . 79

Variational Data assimilation in Computational Hemodynamics:Applications to Parameter Estimation, Luca Bertagna, Huan-huan Yang and Alessandro Veneziani . . . . . . . . . . . . . . 81

Data Assimilation of Anthropogenic Land Subsidence for the Com-pressibility Calibration in Productive Hydrocarbon Reservoirs,Claudia Zoccarato, Domenico Bau, Massimiliano Ferronato,Giuseppe Gambolati, Carlo Janna and Pietro . . . . . . . . . 82

Conditioning of Incremental Variational Data Assimilation, AmosLawless, Nancy Nichols, Stephen Haben and Adam El-Said . 83

SIMAI 2014 4

Variational Ocean Data Assimilation for the Mediterranean Fore-casting System, Nadia Pinardi, Marina Tonani, Jenny Pistoia,Michelangelo Mariani, Alessandro Grandi, Srdjan Dobricic,Christopher K. Wikle, Ralph F. Milliff and Mark L. Berliner 85

Numerical methods for inverse problems and image processing 87Adaptive choice of the regularization parameter and matrix for the

Arnoldi-Tikhonov methods, Silvia Gazzola, Paolo Novati andMaria Rosaria Russo . . . . . . . . . . . . . . . . . . . . . . . 88

A method for constrained L1/TV image denoising, Germana Landi 90Inexact Bregman Regularization for astronomical images corrupted

by Poisson noise, Alessandro Benfenati and Valeria Ruggiero 91Levenberg-Marquardt and Adaptive Quadratic Regularized methods

for ill-posed nonlinear systems, Stefania Bellavia and BenedettaMorini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93

Unsupervised tissue segmentation and classification of three-dimensional3T prostate MRSI data by hierarchical non-negative matrixfactorization for automatic tumour detection and visualisa-tion, Teresa Laudadio, Anca Croitor Sava, Diana Sima, AlanWright, Arend Heerschap, Nicola Mastronardi and SabineVan Huffel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

Conjugate Gradient method for p-norm minimization, Flavia Lenti,Claudio Estatico, Serge Gratton and David Titley-Peloquin . 97

On the application of spectral projected gradient methods in im-age segmentation,Laura Antonelli, Valentina De Simone andDaniela di Serafino . . . . . . . . . . . . . . . . . . . . . . . . 99

Optimization methods for large-scale deconvolution on HPC archi-tectures with applications in Microscopy, Gaetano Zanghirati,Riccardo Zanella, Federica Porta and Luca Zanni . . . . . . . 101

New developments and applications of Groebner bases 103Applications of Groebner bases to simple graphs, Monica La Bar-

biera and Maurizio Imbesi . . . . . . . . . . . . . . . . . . . . 104Graphs of paths and associated monomial algebras, Gaetana Restuc-

cia and Rosanna Utano . . . . . . . . . . . . . . . . . . . . . 106Which Principal Borel ideals are Gotzmann?, Vittoria Bonanzinga

and Shalom Eliahou . . . . . . . . . . . . . . . . . . . . . . . 107Algebraic and geometric models for business, Gioia Failla . . . . . 108On the Birkhoff model for ranking problems, Gaetana Restuccia . . 109Simplicial complexes, convex polytopes and art, Vincenzo Iorfida . 110

SIMAI 2014 5

Complex Systems (SisCo-SIMAI Activity Group) 111MODELING ALTRUISM AND SELFISHNESS IN WELFARE DY-

NAMICS, Marina Dolfin and Miroslaw Lachowicz . . . . . . . 112A kinetic approach to traffic flow on road networks, Luisa Fermo

and Andrea Tosin . . . . . . . . . . . . . . . . . . . . . . . . . 113Nonlocal interaction equations with two species, Simone Fagioli . . 114A Kinetic Model of Crowd Evacuation from Bounded Domains,

Juan Pablo Agnelli, Francesca Colasuonno and Damian Knopoff115An Easy-to-Use Approach for Simulating Traffic Flow on Net-

works, Gabriella Bretti, Maya Briani and Emiliano Cristiani . 116Some remarks on the risk driving index definition: mathematical

models, Paolo Freguglia . . . . . . . . . . . . . . . . . . . . . 118Kinetic description of optimal control problems and applications

to consensus modeling, Giacomo Albi, Michael Herty andLorenzo Pareschi . . . . . . . . . . . . . . . . . . . . . . . . . 119

On the Modeling Learning Dynamics of Large Living Systems, Sil-vana De Lillo . . . . . . . . . . . . . . . . . . . . . . . . . . . 120

On a Model of Darwinian Dynamics and Competition between Tu-mor and Immune Cells, Elena De Angelis . . . . . . . . . . . 121

Transient states and congestion in simple dynamical models onroad networks, Armando Bazzani and Paolo Freguglia . . . . 122

A 2-population kinetic model for vehicular traffic, Matteo Semplice,Gabriella Puppo and Giuseppe Visconti . . . . . . . . . . . . 124

Mathematical Models and Computational Methods in Biomedicine125Compartmental Models for Nuclear Medicine Data: an Inverse

Problems Perspective, Michele Piana, Sara Garbarino, Fab-rice Delbary, Valentina Vivaldi and Giacomo Caviglia . . . . 126

A Small Angle X-ray Scattering Technique for Determining NanoscaleParticle Size Distributions, Federico Benvenuto and HoussemHaddar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

The Hough Transform and a Novel Prognostic Index for ChronicLeukemia, Anna Maria Massone, Cristina Campi, AnnalisaPerasso, Mauro Carlo Beltrametti and Michele Piana . . . . . 128

Sequential Monte Carlo Samplers for the determination of neuralactivity from neurophysiological data, Alberto Sorrentino, Gi-anvittorio Luria and Riccardo Aramini . . . . . . . . . . . . . 130

New Perspectives on Applicabilities in Graph Theory 131

SIMAI 2014 6

Graphs & Neuro-Fuzzy Approaches to Solve Inverse Problems inNon Destructing Testing and Evalutation, Mario Versaci . . . 132

Vertex covering optimization in Veronese bi-type graph ideals, Mau-rizio Imbesi and Monica La Barbiera . . . . . . . . . . . . . . 133

Graphs of paths and applications, Anna Maria Stanganelli . . . . . 135On Ideals Associated to Complete Bipartite Graphs, Maurizio Imbesi,

Monica La Barbiera and Paola Lea Stagliano . . . . . . . . . 136

Numerical methods for coupled problems 138Electromechanical modelling and in silico analysis of a rat cardiac

syncytium, Fabrizio Del Bianco, Piero Colli Franzone, SimoneScacchi and Lorenzo Fassina . . . . . . . . . . . . . . . . . . . 139

Interface Control Domain Decomposition (ICDD) Method for StokesDarcy coupling, Marco Discacciati, Paola Gervasio and AlfioQuarteroni . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141

Finite elements for Immersed Boundary Method, Daniele Boffi,Nicola Cavallini and Lucia Gastaldi . . . . . . . . . . . . . . . 143

A hybrid level set/front tracking approach for fluid-structure in-teraction with large structural displacements, Steffen Basting,Annalisa Quaini, Suncica Canic and Roland Glowinski . . . . 144

An implicit high-order Discontinuous Galerkin solver for hybridRANS-LES simulations, Alessandro Colombo, Francesco Bassi,Lorenzo Botti, Nicoletta Franchina, Francesco Carlo Massa,Antonio Ghidoni and Stefano Rebay . . . . . . . . . . . . . . 146

Patient-specific model of the electrical activity in the heart: gener-ation of Purkinje networks driven by clinical measurements,Simone Palamara, Domenico Catanzariti, Maurizio Centonze,Elena Faggiano, Fabio Nobile, Alfio Quarteroni and ChristianVergara . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148

Analysis and optimization of the generalized Schwarz method for el-liptic problems with application to fluid-structure interaction,Giacomo Gigante and Christian Vergara . . . . . . . . . . . . 150

Multiscale model of rift dynamics, Edie Miglio and Mattia Penati . 151Coupling Micro-Scale Dynamics to Collective Behaviors: The Case

of Living, hence Complex, Systems, Nicola Bellomo . . . . . . 152Optimized partitioned procedures for the Stokes-Darcy coupled prob-

lem, Luca Gerardo-Giorda and Marco Discacciati . . . . . . . 153

SIMAI 2014 7

Fluid-Structure-Interaction in Hemodynamics using Nonlinear, AnisotropicHyperelastic Wall Models, Daniel Balzani, Simone Deparis,Simon Fausten, Davide Forti, Alexander Heinlein, Axel Kla-wonn, Oliver Rheinbach, Alfio Quarteroni and Jorg Schroder 154

A novel implementation of the H-based formulation of the eddy cur-rent model, Ana Alonso, Enrico Bertolazzi, Riccardo Ghiloniand Alberto Valli . . . . . . . . . . . . . . . . . . . . . . . . . 156

Computational models for natural hazards and extreme eventssimulation 158A finite-difference ghost-point method for elliptic equations with

application to Cauchy-Navier equations, Giovanni Russo andArmando Coco . . . . . . . . . . . . . . . . . . . . . . . . . . 159

An accurate and efficient DG framework for adaptive numericalweather prediction, Giovanni Tumolo and Luca Bonaventura . 161

Numerical-based deterministic methods for earthquake risk analysisin large urban areas, Ilario Mazzieri, Paola F. Antonietti andAlfio Quarteroni . . . . . . . . . . . . . . . . . . . . . . . . . 163

Assessing volcanic hazard by using multiphase flow simulations,Augusto Neri, Tomaso Esposti Ongaro and Mattia De’MichieliVitturi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164

Lessons learnt from recent earthquakes and the importance of 3Dphysical modeling in insurance and (re)insurance market, MarcoStupazzini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165

Variational inequalities, immune systems and local minimizersof functionals 166Multiscale modelling of living systems: a mathematical and com-

putational perspective, Francesco Pappalardo, Filippo Cas-tiglione, Carlo Bianca, Giulia Russo, Marzio Pennisi and SantoMotta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

Duality theory for dynamic vaccination games, Annamaria Barba-gallo, Antonino Maugeri and Maria Alessandra Ragusa . . . . 169

Approximate symmetries of Differential equations, Marianna Rug-gieri and Maria Paola Speciale . . . . . . . . . . . . . . . . . 170

General Financial Equilibrium Problem with Memory Term andAdaptive Constraints, Annamaria Barbagallo, Patrizia Daniele,Mariagrazia Lorino, Antonino Maugeri and Cristina Mirabella 171

A bilevel model of the continuous-time optimal pollution emissionprice problem, Laura Scrimali . . . . . . . . . . . . . . . . . . 173

SIMAI 2014 8

Inverse variational inequalities and applications to an economicequilibrium problem, Annamaria Barbagallo and Paolo Mauro 174

Modeling, simulation and optimization of complex systems us-ing Partial Differential Equations 175Flow Optimization in Vascular Networks, Radu C. Cascaval, Ciro

D’Apice, Maria Pia D’Arienzo and Rosanna Manzo . . . . . . 176Optimization of the input flow of a supply chain, Ciro D’Apice,

Carmine De Nicola and Rosanna Manzo . . . . . . . . . . . . 178A problem of train scheduling on the rail line Verona-Monaco of

Bavaria, Martina Mazzanti, Viola Pungetti and Vincenzo Vespri180Kernel estimates for Schrdinger type operators with unbounded dif-

fusion and potential terms, Anna Canale, Abdelaziz Rhandiand Cristian Tacelli . . . . . . . . . . . . . . . . . . . . . . . 182

GASVA on Mathematical Modelling in Environmental and LifeSciences 184Quasi Steady-State Approximations (QSSAs) in the CME-based

stochastic framework, Alberto Maria Bersani, Alessandro Borri,Francesco Carravetta, Gabriella Mavelli and Pasquale Palumbo185

A semi-analytical study in transdermal drug delivery systems, GiuseppePontrelli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186

A hybrid mathematical model for self-organizing cells in the ze-brafish lateral line primordium, Ezio Di Costanzo, RobertoNatalini and Luigi Preziosi . . . . . . . . . . . . . . . . . . . 187

Ago-Antagonist Theory in Darwinian Evolution, Paolo Fregugliaand Armando Bazzani . . . . . . . . . . . . . . . . . . . . . . 189

Wind-Blown Sand: An Erosion-Transport-Sedimentation-SlidingModel, Luca Bruno, Davide Fransos and Luigi Preziosi . . . . 190

Numerical modelling of initial formation in multispecies biofilms,Berardino D’Acunto, Luigi Frunzo and Maria Rosaria Mattei 191

A Multidomain Mathematical Model about the Intracellular Trans-port of Naked DNA Plasmids, Maria Grazia Notarangelo andRoberto Natalini . . . . . . . . . . . . . . . . . . . . . . . . . 192

Time Scale Separation, Normal Modes and Quasi-Steady State Ap-proximations in Enzyme Kinetics, Pierluigi Vellucci and Al-berto Maria Bersani . . . . . . . . . . . . . . . . . . . . . . . 193

Numerical Methods and Models for Multiscale Kinetic Equa-tions 194

SIMAI 2014 9

High Order Semi-Lagrangian Schemes for the BGK Model, GiuseppeStracquadanio, Maria Groppi and Giovanni Russo . . . . . . 195

Kinetic relaxation models for reacting gas mixtures, Maria Groppiand Giampiero Spiga . . . . . . . . . . . . . . . . . . . . . . . 197

Derivation of BGK models for gas mixtures, Stephane Brull . . . . 198Oxygen transport properties estimation by DSMC-CT simulations,

Gianpietro Ghiroldi, Domenico Bruno and Aldo Frezzotti . . 199A kinetic BGK model for a multi-component mixture, Marlies Pirner,

Christian Klingenberg and Gabriella Puppo . . . . . . . . . . 201Binary interaction algorithms for the simulation of self-organized

systems, Giacomo Albi and Lorenzo Pareschi . . . . . . . . . 202

The mathematics of learning from data 203Learning a set by kernel methods, Francesca Odone, Lorenzo Rosasco,

Alessandro Rudi, Alessandro Toigo and Ernesto De Vito . . . 204A Unifying Framework for Multi-task Learning, Carlo Ciliberto,

Youssef Mroueh, Tomaso Poggio and Lorenzo Rosasco . . . . 205A stochastic iteration process with applications to splitting and

learning, Patrick Louis Combettes and Jean-Christophe Pesquet206Dictionary Identification, Karin Schnass . . . . . . . . . . . . . . . 207Spectral k-Support Norm Regularization, Massimiliano Pontil . . . 208Stochastic proximal methods, Lorenzo Rosasco, Silvia Villa and

Bang Cong Vu . . . . . . . . . . . . . . . . . . . . . . . . . . 209

Mathematical Applications funded by the European Union 210Kore Hexacopter, Artale Valeria, Cristina Milazzo, Angela Riccia-

rdello and Andrea Alaimo . . . . . . . . . . . . . . . . . . . . 211A Mathematical Dynamic Numerical Model for Energy Recovery in

Water Distribution Network, Using Pump as Turbine, GabrieleFreni and Mauro De Marchis . . . . . . . . . . . . . . . . . . 212

upGraded REnewable ENergy system project, Andrea Alaimo, An-tonio Esposito and Giovanni Pipitone . . . . . . . . . . . . . 214

IPSE Project: Real Time Multi-View Video Tracking of People inIndustrial Environments, Giorgio M. Grasso and Alessio Plebe 215

Coherent Structures and Nonlinear Waves 216Systems with moving boundaries, Giuseppe Coclite . . . . . . . . . 217Coherent structures and large-scale instabilities in fingering con-

vection, Francesco Paparella . . . . . . . . . . . . . . . . . . . 218

SIMAI 2014 10

Oscillating Turing patterns and spiral wave behavior in a mathe-matical model for alloy electrodeposition, Benedetto Bozzini,Deborah Lacitignola and Ivonne Sgura . . . . . . . . . . . . . 219

Second-grade nematic fluids and nematoacoustics, Giovanni De Mat-teis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221

Heat Transfer problems in Extended Thermodynamics, Elvira Bar-bera and Francesca Brini . . . . . . . . . . . . . . . . . . . . 223

Signal and image processing techniques, and applications 225Linear and nonlinear models for electrical conduction in biological

tissues, Micol Amar, Daniele Andreucci and Roberto Gianni . 226Image Contrast Enhancement by means of Fuzzy Techniques, Mario

Versaci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228Topology preservation of radial basis functions for image registra-

tion, Roberto Cavoretto, Alessandra De Rossi, Hanli Qiaoand Bernhard Quatember . . . . . . . . . . . . . . . . . . . . 230

A Semi-Analytic Bayesian Approach for Multiple Static DipolesEstimation from a Time Series of MEG Data, Sara Som-mariva and Alberto Sorrentino . . . . . . . . . . . . . . . . . 232

Beyond the BEM Solution of the M/EEG Forward Problem: aMeshfree Approach, Guido Ala, Gregory Fasshauer, Elisa Fran-comano, Salvatore Ganci and Michael McCourt . . . . . . . . 233

Backlund Charts: commutative versus non-commutative EquationHierarchie, Sandra Carillo, Mauro Lo Schiavo and CorneliaSchiebold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235

An anisotropic multiple multiresolution analysis for image dataprocessing, Mariantonia Cotronei, Milvia Rossini and TomasSauer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237

A BeamFormer for source localization in ElectroCOrticoGraphy,Annalisa Pascarella . . . . . . . . . . . . . . . . . . . . . . . . 238

On the problem of recovering non regular surfaces from griddeddata, Milvia Rossini . . . . . . . . . . . . . . . . . . . . . . . 239

Magnetic Tomography by Random Spatial Sampling, Francesca Pitolli240Design of a portable (CW) fNIRS embedded system, Diego Agro,

Gabriele Adamo, Maurizio Pinto, Riccardo Canicattı, Alessan-dro Tomasino, Antonino Parisi, Salvatore Stivala, AntonioGiordano, Costantino Giaconia and Alessandro Busacca . . . 241

Wavelet packet as diagnostic tool: an EEG study, Alessandro Cala-muneri, Simona De Salvo, Angelo Quartarone, Placido Bra-manti and Lilla Bonanno . . . . . . . . . . . . . . . . . . . . . 243

SIMAI 2014 11

Baecklund Charts: commutative versus non-commutative EquationHierarchies, Sandra Carillo, Mauro Lo Schiavo and CorneliaSchiebold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244

Applications of sampling Kantorovich operators to Image Process-ing, Danilo Costarelli and Gianluca Vinti . . . . . . . . . . . 246

Recent advances on the theory and applications of Semi-Lagrangianmethods 247A Semi-Lagrangian scheme for a degenerate second order Mean

Field Game system, Elisabetta Carlini and Francisco Silva . . 248Semi-Lagrangian methods for parabolic problems in divergence form,

Luca Bonaventura and Roberto Ferretti . . . . . . . . . . . . 249Semi-Lagrangian approximation schemes for non-Lambertian Shape-

from-Shading models, Silvia Tozza . . . . . . . . . . . . . . . 250Fast Semi-Lagrangian Schemes for Hamilton-Jacobi-Bellman Equa-

tions, Simone Cacace, Emiliano Cristiani and Maurizio Falcone252Experiments on adaptive semi-Lagrangian advection in a DG frame-

work, Giovanni Tumolo and Luca Bonaventura . . . . . . . . 254

High order schemes for nonlinear evolutionary Partial Differ-ential Equations 256High order semi-implicit schemes for evolutionary non linear par-

tial differential equations and applications, Sebastiano Boscarino257Time integration schemes for semidiscrete approximation of mul-

tiscale hyperbolic systems, Giovanni Naldi and Fausto Cavalli 258Implicit-Explicit Runge-Kutta schemes for optimal control prob-

lems and applications to hyperbolic system with relaxation,Giacomo Albi . . . . . . . . . . . . . . . . . . . . . . . . . . . 260

High order exponential schemes for nonlinear Fokker-Planck equa-tions, Lorenzo Pareschi . . . . . . . . . . . . . . . . . . . . . . 261

Mathematical Problems from micro and nano-electronics in-dustry 262Analytical and numerical characterization of the spin-wave proper-

ties emitted in a spintronic nano-waveguide, Giancarlo Consolo263

Particle Laden Turbulent Shear Layers 265On the importance of modeling the fluid acceleration term in a

particle laden, compressible turbulent boundary layer, ArneHeinrich, Flavia Cavalcanti Miranda and Jorn Sesterhenn . . 266

SIMAI 2014 12

Exact regularized point particle method for particle-laden flows inthe two-way coupling regime: application to turbulent freeshear flows, Paolo Gualtieri, Francesco Battista, FrancescoPicano and Carlo Massimo Casciola . . . . . . . . . . . . . . 268

Particle statistics in turbulent channel flows with wall-roughness.,Barbara Milici, Mauro De Marchis, Gaetano Sardina and En-rico Napoli . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273

High-performance computing for Volcanic ash plumes: turbulence,heat transfer and particle dynamics., Matteo Cerminara, TomasoEsposti Ongaro and Luigi Berselli . . . . . . . . . . . . . . . . 275

Bubble dynamics and related acoustics, Enrico De Bernardis andGiorgio Riccardi . . . . . . . . . . . . . . . . . . . . . . . . . 277

Discrete and continuous models for pedestrian movements 278Crowd Dynamics and Conservation Laws with Non–local Point

Constraints and Capacity Drop. Theory and Numerical Simu-lations., Boris Andreianov, Carlotta Donadello, Ulrich Razafi-son and Massimiliano Rosini . . . . . . . . . . . . . . . . . . . 279

Macroscopic modelling and simulations of crowd dynamics, MonikaTwarogowska . . . . . . . . . . . . . . . . . . . . . . . . . . . 281

On the Hughes model for pedestrian flows: including local effects,Jose Carrillo, Stephan Martin and Marie-Therese Wolfram . . 283

On the CR model and its applications at the bottlenecks, Massim-iliano D. Rosini . . . . . . . . . . . . . . . . . . . . . . . . . . 284

Mean field games with nonlinear mobilities in pedestrian dynamics,Martin Burger, Marco Di Francesco, Peter A. Markowich andMarie-Therese Wolfram . . . . . . . . . . . . . . . . . . . . . 286

Existence of weak solutions for Hughes’ model of pedestrian flows,Debora Amadori, Paola Goatin and Massimiliano Rosini . . . 287

Modeling Crowd Dynamics within the Framework of FPT7 Projects,Nicola Bellomo . . . . . . . . . . . . . . . . . . . . . . . . . . 288

Modeling rationality to control self-organization of crowds, Emil-iano Cristiani, Fabio Simone Priuli and Andrea Tosin . . . . 289

Models and applications of conservation laws 291Initial-boundary value problems for transport equations with rough

coefficients, Gianluca Crippa, Carlotta Donadello and LauraSpinolo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292

SIMAI 2014 13

Rigorous derivation of the Lighthill-Whitham-Richards model fromthe follow-the-leader model as many particle limit, Marco DiFrancesco and Massimiliano D. Rosini . . . . . . . . . . . . . 294

NAVIER-STOKES EQUATIONS WITH INCOMPATIBLE DATAIN THE ZERO VISCOSITY LIMIT, Maria Carmela Lom-bardo and Marco Sammartino . . . . . . . . . . . . . . . . . . 295

From computer aided geometric design to industrial CAD mod-eling and simulations 296Compatible discretizations based on hierarchical splines, John Evans,

Michael Scott, Derek Thomas and Rafael Vazquez . . . . . . 2973D interaction and sketch-based surface modeling, Serena Morigi . 298Algebraic-Geometric Structures for Rational Camera Motions, Maria

Lucia Sampoli . . . . . . . . . . . . . . . . . . . . . . . . . . . 299Geometric Modeling for Turbine Engine Design, David Grossmann 300

SIMAI 2014 14

MSP - Signal and image processing techniques, and applications

Beyond the BEM Solution of the M/EEGForward Problem: a Meshfree Approach

Guido Ala, Salvatore GanciDEIM, Universita degli Studi di Palermo

viale delle Scienze, Edificio 9, 90128 Palermo, Italy

guido.ala@unipa.it, salvatore.ganci@unipa.it

Gregory E. FasshauerDepartment of Applied Mathematics, Illinois Institute of Technology

10 W 32nd Street, Chicago, IL 60616, USA

fasshauer@iit.edu

Elisa FrancomanoDICGIM, Universita degli Studi di Palermo

viale delle Scienze, Edificio 6, 90128 Palermo, Italy

elisa.francomano@unipa.it

Michael J. McCourtDepartment of Mathematical and Statistical Sciences, University of Colorado at

Denver1250 14th Street, Suite 600, Denver, CO 80202, USA

michael.mccourt@ucdenver.edu

Nowadays, the brain activity can be investigated non-invasively by meansof electromagnetic techniques, namely electroencephalography (EEG) andmagnetoencephalography (MEG). Such techniques require a typical inverseproblem to be solved. Therefore, an accurate and fast forward solver has tobe employed. As an alternative to the Boundary Element Method (BEM),which involves both complex meshing algorithms in the pre-processing stageand costly numerical integration routines, we propose the application of atruly meshfree solver for the numerical solution of the M/EEG forward prob-lem, i.e., a set of coupled boundary value problems for the 3D Laplacianoperator. The proposed method is based on the Method of FundamentalSolutions (MFS) and the Method of Particular Solutions (MPS), so it haspotential for spectral accuracy and it is integration-free. Flexibility andremarkable simplifications in the pre-processing stage are also reached. Nu-merical experiments on spherical head geometries, for which analytical or

SIMAI 2014 233

semi-analytical solution of the potential problem are known, show the po-tentiality of the proposed method when it is compared to the state-of-the-artBEM by considering both numerical accuracy and computational cost. Re-sults of experiments conducted on real head geometries are also shown.

1. Ala G., Di Blasi G. and Francomano E. 2012 A numerical meshless par-ticle method in solving the magnetoencephalography forward problem,International Journal of Numerical Modelling: Electronic Networks,Devices and Fields, vol. 25, pp. 428440.

2. Fairweather G. and Karageorghis A. 1998 The method of fundamentalsolutions for elliptic boundary value problems, Advances in Computa-tional Mathematics, vol. 9, pp. 6995.

3. Hmlinen M., Hari R., Ilmoniemi R. J., Knuutila J. and Lounasmaa O.V. 1993 Magnetoencephalographytheory, instrumentation, and appli-cations to noninvasive studies of the working human brain, Reviews ofModern Physics, vol. 65, pp. 413497.

SIMAI 2014 234