Concept
Computer algebra
Related publications (54)
Scalable Computation of Dynamic Flow Problems via Multimarginal Graph-Structured Optimal Transport
Isabel Haasler, Axel Ringh, Yiqiang Chen
In this work, we develop a new framework for dynamic network flow pro-blems based on optimal transport theory. We show that the dynamic multicommodity minimum-cost network flow problem can be formulated as a multimarginal optimal transport problem, where t ...
2023Spectral Hypergraph Sparsifiers of Nearly Linear Size
Mikhail Kapralov, Jakab Tardos
Graph sparsification has been studied extensively over the past two decades, culminating in spectral sparsifiers of optimal size (up to constant factors). Spectral hypergraph sparsification is a natural analogue of this problem, for which optimal bounds on ...
IEEE COMPUTER SOC2022An analytical solution of the isentropic vortex problem in the special relativistic magnetohydrodynamics
The isentropic vortex problem is frequently solved to test the accuracy of numerical methods and verify corresponding code. Unfortunately, its existing solution was derived in the relativistic magnetohydrodynamics by numerically solving an ordinary differe ...
ACADEMIC PRESS INC ELSEVIER SCIENCE2022Admissibility of Uncertain Injections in Quadratic Algebraic Systems
Jean-Yves Le Boudec, Cong Wang, Eleni Stai
We study the admissibility problem in multivariate algebraic systems, such as ac electrical networks, where the power injection is quadratic in the state. The goal of such systems is to ensure that the state stays in some security set (e.g., magnitudes of ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021A numerical approach to characterize the viscoelastic behaviour of fibre beds and to evaluate the influence of strain deviations on viscoelastic parameter extraction
Véronique Michaud, Vincent Werlen, Christian Rytka
The development of a robust material model able to accurately describe fibre bed compaction at different strain and strain rates is highly desirable because it is essential for the simulation of many composite manufacturing processes. In this study, we inv ...
2021A new Euler-Lagrangian cavitation model for tip-vortex cavitation with the effect of non-condensable gas
Numerical simulation of tip vortex cavitation (TVC) remains a challenging task in a variety of applica-tions, such as axial turbines and pumps as well as marine propellers. Although it is well known that TVC is highly sensitive to gas content, be it dissol ...
PERGAMON-ELSEVIER SCIENCE LTD2021An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language
Felix Schürmann, James Gonzalo King, Michael Lee Hines, Pramod Shivaji Kumbhar, Jorge Blanco Alonso, Omar Awile, Liam Roger George Keegan
Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...
Springer2020Hierarchically refined isogeometric analysis of trimmed shells
Luca Coradello, Alessandro Reali, Davide D'Angella
This work focuses on the study of several computational challenges arising when trimmed surfaces are directly employed for the isogeometric analysis of Kirchhoff-Love shells. To cope with these issues and to resolve mechanical and/or geometrical features o ...
SPRINGER2020ColTraIn: Co-located DNN training and inference
Mario Paulo Drumond Lages De Oliveira
Deep neural network inference accelerators are deployed at scale to accommodate online services, but face low average load because of service demand variability, leading to poor resource utilization. Unfortunately, reclaiming inference idle cycles is diffi ...
EPFL2020An efficient treatment of the full Coulomb collision operator with applications
Paolo Ricci, Rogério Manuel Cabete De Jesus Jorge, Baptiste Jimmy Frei
A formulation of full Coulomb (or Landau) collision operator is provided that allows for an efficient numerical implementation, both in unmagnetized and magnetized plasmas. The method is based on projecting the Boltzmann equations and the collision operato ...
2019