List of Minisymposia
Adaptive mesh refinement for the numerical solution of PDEs
Vit Dolejsi (firstname.lastname@example.org, Charles University in Prague, Czechia)
Adaptive mesh refinement exhibits a very efficient tool for the numerical solution of partial differential equation. A suitable mesh adaptation, together with a high order of approximation, allows to achieve the given accuracy with a significantly smaller number of degrees of freedom than the approaches used currently in the industry. The aim of this minisymposium is to present and discuss the new progress in adaption techniques including residual-based error estimates, adjoint-based error estimates and interpolation error estimates. Further, the minisymposium covers h-/hp-variants of the mesh adaptation and isotropic as well as anisotropic refinements.
Advanced methods for analysis of numerical models and optimization
Frantisek Mach (email@example.com, University of West Bohemia, Pilsen, Czechia)
The minisymposium is aimed at the domain of computational modeling that is represented by coupling of numerical solutions of mathematical models, analysis of these solutions and mathematical optimization. This topic is generally of a very high importance and its development will have a considerable impact on futher progress in analyses of technologies, devices and their complex systems. Main attention will be paid to recent advances in computational techniques and efficient algorithms for sensitivity analysis, uncertainty quantification and optimization methods.
Complex Coupled Fluid-Structure Interactions - Tools, Methods, and Applications
Miriam Mehl (Miriam.Mehl@ipvs.uni-stuttgart.de, Universität Stuttgart, Germany)
Fluid-structure interactions are the natural next step after a pure fluid simulation in many applications ranging from blood flow simulation to virtual wind tunnels. Although many very powerful specialized monolithic solvers are available in the meantime for pure fluid-structure interactions, the fast development of a simulation environment enhanced by a further physical field such as acoustic wave propagation, combustion, porous media flow or with an alternative approach, e.g., for the flow solver or model, still requires the highly modular partitioned approach. It represents a plug-and-play principle if suitable solvers and an efficient and powerful coupling tool are available. In this minisymposium, we present the coupling tool preCICE offering efficient parallel implementations of data communication, data mapping, and interface equation solvers along with various current and future application showcases. In addition, details and alternatives for the numerical coupling components are going to be presented.
Computational Applications on Statistics, Stochastic Processes, Transport Phenomena and Inverse Problems
Javier Morales Castillo (firstname.lastname@example.org, FIME, Universidad Autonoma de Nuevo León, Mexico) Francisco Javier Almaguer Martinez (email@example.com, FCFM, Universidad Autonoma de Nuevo León, Mexico)
Great advances in computer technology enable us to use computers to study complicated physical and mathematical problems. in this minisymposium we will be concerned with novel solutions involving numerical models and computational methods in the areas of statistics, stochastic processes and transport phenomena. We are focused on problems with environmental and social impact.
Computational Methods for Applied Inverse Problems in Science and Engineering
Most measurements in science and engineering are indirect, resulting in models that require the solutions of inverse problems in order to extract the information of interest from the measured data. The solutions to such inverse problems can be computationally challenging for several reasons, including the need to account for very large amounts of data, the need to solve complex models, like numerically challenging partial differential equations, or the need to include estimates of uncertainties in the computed solutions. In this minisymposium we will present recent work on computational approaches to applied inverse problems in radiation transport, reduced order modeling, and stress wave propagation.
Computers and ICT in Mathematics Education
José Luis Galán-García (firstname.lastname@example.org, Universidad de Málaga, Spain), Eugenio Roanes-Lozano (email@example.com, Universidad Complutense de Madrid, Spain), Pavel Solin (firstname.lastname@example.org, University of Nevada, Reno, USA)
The increasing use of computers and ICT (Information and Communication Technologies) in every kind of activity (industrial, academic, social,...), is nowadays a fact that must be addressed. Specifically in Education, the computer and ICT are being used from different point of views in order to develop different Education strategies and techniques (programming, e-learning, blended learning, open and distance learning, learner-centered environments,…). It is very important to know the new trends in the use of Computer and ICT in Education since it is a field in constant evolution. In this minisymposium, proposals dealing with the use of Computers and ICT in Mathematics Education are welcome. The minisymposium will promote the outreach of new experiences, application of new educational models and techniques in Mathematics Education in which the use of computers and ICT have an key role.
The scientific results regarding technical education will appear in a special issue of The International Journal for Technology in Mathematics Education (IJTME, ISSN: 1744-2710).
Coupled Problems of Fluid Mechanics
Karthik Karunakaran (email@example.com, Indian Institute of Technology Madras, India)
Most of the fluid mechanics problem in reality has an element of coupling. "Coupled Problems of Fluid Mechanics" is broadly defined as those analyses that require the solution of more than one physical process for adequate representation of the overall system. The minisymposium covers various applications such as:
- Aerodynamic sound generation
- Fluid-structure interaction
- Heat conduction and radiation (& chemical reaction) etc.
High-level Computing in Applied Sciences
Anders Logg (firstname.lastname@example.org, Chalmers University of Technology, Gothenburg, Sweden), Garth N. Wells (email@example.com, University of Cambridge, UK), Jan Blechta (firstname.lastname@example.org, Charles University in Prague, Czechia)
With FEniCS, application scientists, engineers and numerical analysts can easily develop efficient simulation software compactly and with a high level of abstraction. Users can focus on methodology and applications rather than low-level implementation details, which are handled automatically, seamlessly and efficiently by code generation. In this workshop, we bring together users of FEniCS: application scientists, engineers and numerical analysts who demonstrate the use of FEniCS for a wide range of interesting applications.
HPC-FEA: High-Performance Computing in Finite Element Applications
Finite element methods are well-established in several applications that require large-scale high-performance simulation. Besides, the FE-like discontinuous Galerkin method has gained much popularity in the last years since it allows rather localized data accesses on the one hand, and higher-order approximations on the other hand.
In this minisymposium, recent advances in the field of high-performance computing with particular regard to FE-like methods for various applications are discussed. Particular topics comprise amongst others the efficient FEM- based simulation of earth quakes and earth mantle convection at extreme scale, recent developments in software frameworks such as deal.ii or Uintah, or fault tolerance.
Model Order Reduction Algorithms for High Performance Computers and Their Applications
Nowadays, mathematical models and the computational simulations used to studying a physical phenomenon are of increasing size and complexity. High performance computers, together with advances in algorithmic development, have enabled increasingly larger simulations to be performed in an efficient manner. Model order reduction (MOR) methods, which reduce the size and complexity of the mathematical model while capturing its essential features, are another important development. MOR methods allow for more efficient simulations by making use of reduced models. Examples of applications in which such methods are needed include nanoelectronics, control systems, and dynamical systems to name just a few. The focus of this minisymposium is on model order reduction algorithms for use on high performance computers and their applications (e.g., to nanoelectronics, fluid structure interaction, the life sciences, etcetera).
Progression and challenge of verified computation in numerical analysis
Xuefeng Liu(email@example.com, Niigata University, Japan)
The verified computation aims to provide guaranteed results for numerical schemes used in various fields, which ranges from mathematics to industry. For this purpose, various algorithms have been developed to provide rigorous estimation for error occurring in numerical computation, such like rounding error, truncation error of series, function approximation error, etc. The topics in this research vary from basic arithmetic of floating-point number computation, matrix computation, to solution verification of non-linear partial differential equations. In this mini-symposium, the latest progression in verified computation be reported and the problems to be challenged in the future will be discussed.
Smart Applications of Scientific Computing
Nowadays there is a wide variety of mathematical software available: computer algebra systems, technical computing languages, automated deduction systems,... This minisymposium is devoted to practical real-world applications of this software in fields like: transportation engineering, electrical engineering, medicine, knowledge based systems,... (this is not an exhaustive list). The focus will be on advanced and smart applications with a nontrivial mathematical background.
Smart Homes and Smart Cities
Smart Homes and Smart Cities are nowadays a consolidated real fact. But, as a relatively new field, there exist an increasing number of related techniques. In this minisymposium, applications on this field are welcome. The topic include (but not limited to): Mathematics applications to Smart Homes and Cities; Accelerated Time Simulations; Digital Models; Building automation; Energy efficiency in illumination; Adapted housing; Sustainable rehabilitation in building; Urban renewal; Models of Queuing Systems; Smart and Green cities; Ambient assisted living.
Using the method of finite element to calculate the properties of molecules
Moritz Braun (firstname.lastname@example.org, University of South Africa (UNISA), South Africa)
In the last 30 years the method of finite elements has been used in atomic physics as well as for cylindrically symmetric molecules. Three dimensional calculations have also been undertaken, but due to the increased complexity of such calculations this only has been a development of the last 10 years. The purpose of this mini symposium is server as a place for practitioners in the fields of computational physics and chemistry, that are making use the the method of finite elements to meet and possibly start to collaborate.
Organizers: joint group of researchers at the University of West Bohemia in Pilsen, Czechia
Agros2D is a multiplatform application for the solution of physical problems developed by the group at the University of West Bohemia in Pilsen. This code is based on the fully adaptive higher-order finite element method and works with library Hermes2D containing the most advanced numerical algorithms for the numerical processing of systems of second-order partial differential equations. It is characterized by several quite unique features such as work with hanging nodes of any level, multimesh technology (every physical field can be calculated on a different mesh generally varying in time) and a possibility of combining triangular, quadrilateral and curved elements. More information can be found on the webpage www.agros2d.org.
Organizers: joint group of researchers at TUM in Munich, Germany and the University of Stuttgart, Germany
preCICE (Precise Code Interaction Coupling Environment) provides the complete set of functional pieces required to couple black-box single-physics solvers to a multi-physics simulation environment. This allows for a high flexibility, needed to keep a decent time-to-solution for complex multi-physics scenarios (e.g. fluid-structure-acoustics interactions).
Please visit www.precice.org for more details.
preCICe is currently used by several groups in Munich, a group in Delft, a group at the Barcelona supercomputing center, a group in Singapore, and several groups in Stuttgart.