Publications associées à Calcul formel

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 ...

2023

Spectral 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 SOC2022

An analytical solution of the isentropic vortex problem in the special relativistic magnetohydrodynamics

Junming Duan

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 SCIENCE2022

Admissibility 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 INC2021

A 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 ...

2021

An 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 ...

Springer2020

Hierarchically 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 ...

SPRINGER2020

ColTraIn: 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 ...

EPFL2020

An 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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Calcul formel

Graph Chatbot

Chattez avec Graph Search