English
Related papers

Related papers: Efficient Compilation of a Class of Variational Fo…

200 papers

As a key step towards a complete automation of the finite element method, we present a new algorithm for automatic and efficient evaluation of multilinear variational forms. The algorithm has been implemented in the form of a compiler, the…

Numerical Analysis · Mathematics 2011-12-05 Robert C. Kirby , Anders Logg

We present a topological framework for finding low-flop algorithms for evaluating element stiffness matrices associated with multilinear forms for finite element methods posed over straight-sided affine domains. This framework relies on…

Numerical Analysis · Mathematics 2012-05-15 Robert C. Kirby , Anders Logg , L. Ridgway Scott , Andy R. Terrel

We examine the effect of using complexity-reducing relations to generate optimized code for the evaluation of finite element variational forms. The optimizations are implemented in a prototype code named FErari, which has been integrated as…

Numerical Analysis · Mathematics 2012-05-15 Robert C. Kirby , Anders Logg

We examine aspects of the computation of finite element matrices and vectors which are made possible by automated code generation. Given a variational form in a syntax which resembles standard mathematical notation, the low-level computer…

Mathematical Software · Computer Science 2011-04-04 Kristian B. Ølgaard , Garth N. Wells

In finite element calculations, the integral forms are usually evaluated using nested loops over elements, and over quadrature points. Many such forms (e.g. linear or multi-linear) can be expressed in a compact way, without the explicit…

Mathematical Software · Computer Science 2021-07-30 Robert Cimrman

A form compiler takes a high-level description of the weak form of partial differential equations and produces low-level code that carries out the finite element assembly. In this paper we present the Two-Stage Form Compiler (TSFC), a new…

Mathematical Software · Computer Science 2018-07-03 Miklós Homolya , Lawrence Mitchell , Fabio Luporini , David A. Ham

In this paper, we discuss how to efficiently evaluate and assemble general finite element variational forms on H(div) and H(curl). The proposed strategy relies on a decomposition of the element tensor into a precomputable reference tensor…

Numerical Analysis · Mathematics 2012-05-15 Marie Rognes , Robert C. Kirby , Anders Logg

We derive exact form of the piecewise-linear finite element stiffness matrix on general non-uniform meshes for the integral fractional Laplacian operator in one dimension, where the derivation is accomplished in the Fourier transformed…

Numerical Analysis · Mathematics 2020-09-11 Hongbin Chen , Changtao Sheng , Li-Lian Wang

The tensor decomposition addressed in this paper may be seen as a generalisation of Singular Value Decomposition of matrices. We consider general multilinear and multihomogeneous tensors. We show how to reduce the problem to a truncated…

Algebraic Geometry · Mathematics 2012-10-17 Alessandra Bernardi , Jerome Brachat , Pierre Comon , Bernard Mourrain

In this paper, we present a topology optimization (TO) framework to simultaneously optimize the matrix topology and fiber distribution of functionally graded continuous fiber-reinforced composites (FRC). Current approaches in density-based…

Computational Engineering, Finance, and Science · Computer Science 2022-05-16 Aaditya Chandrasekhar , Amir Mirzendehdel , Morad Behandish , Krishnan Suresh

Because tensor data appear more and more frequently in various scientific researches and real-world applications, analyzing the relationship between tensor features and the univariate outcome becomes an elementary task in many fields. To…

Machine Learning · Computer Science 2019-12-04 Jiaqi Zhang , Beilun Wang

Tensor network states provide an efficient class of states that faithfully capture strongly correlated quantum models and systems in classical statistical mechanics. While tensor networks can now be seen as becoming standard tools in the…

Quantum Physics · Physics 2022-09-27 A. Nietner , B. Vanhecke , F. Verstraete , J. Eisert , L. Vanderstraeten

Proposing an effective and flexible matrix to represent a graph is a fundamental challenge that has been explored from multiple perspectives, e.g., filtering in Graph Fourier Transforms. In this work, we develop a novel and general…

Machine Learning · Computer Science 2023-05-11 Mingqi Yang , Wenjie Feng , Yanming Shen , Bryan Hooi

Compressed file formats are the corner stone of efficient data storage and transmission, yet their potential for representation learning remains largely underexplored. We introduce TEMPEST (TransformErs froM comPressed rEpreSenTations), a…

The persistent homology with coefficients in a field F coincides with the same for cohomology because of duality. We propose an implementation of a recently introduced algorithm for persistent cohomology that attaches annotation vectors…

Computational Geometry · Computer Science 2020-01-09 Jean-Daniel Boissonnat , Tamal K. Dey , Clément Maria

We provide a computational framework for approximating a class of structured matrices; here, the term structure is very general, and may refer to a regular sparsity pattern (e.g., block-banded), or be more highly structured (e.g., symmetric…

Numerical Analysis · Mathematics 2021-05-05 Misha E. Kilmer , Arvind K. Saibaba

We introduce a formal operational semantics that describes the fused execution of variable contraction problems, which compute indexed arithmetic over a semiring and generalize sparse and dense tensor algebra, relational algebra, and graph…

Programming Languages · Computer Science 2022-07-28 Scott Kovach , Fredrik Kjolstad

We present a polynomial time algorithm to approximately scale tensors of any format to arbitrary prescribed marginals (whenever possible). This unifies and generalizes a sequence of past works on matrix, operator and tensor scaling. Our…

Data Structures and Algorithms · Computer Science 2020-03-10 Peter Bürgisser , Cole Franks , Ankit Garg , Rafael Oliveira , Michael Walter , Avi Wigderson

The answers to many unsolved problems lie in the intractable chemical space of molecules and materials. Machine learning techniques are rapidly growing in popularity as a way to compress and explore chemical space efficiently. One of the…

Chemical Physics · Physics 2020-01-06 John E. Herr , Kevin Koh , Kun Yao , John Parkhill

Strain gradient theory is an accurate model for capturing the size effect and localization phenomena. However, the challenge in identification of corresponding constitutive parameters limits the practical application of the theory. We…

Computational Engineering, Finance, and Science · Computer Science 2021-12-30 Hua Yang , Bilen Emek Abali , Wolfgang H. Müller , Salma Barboura , Jia Li
‹ Prev 1 2 3 10 Next ›