Concept
Computer algebra
Related publications (54)
Activity-Based Screening of Homogeneous Catalysts through the Rapid Assessment of Theoretically Derived Turnover Frequencies
Matthew Wodrich, Boodsarin Sawatlon
In homogeneous catalysis, the turnover frequency (TOF) and turnover number (TON) are the most commonly used quantities that experimentally describe catalytic activity. Computational studies, on the other hand, generally yield the ubiquitous free energy pro ...
AMER CHEMICAL SOC2019Performance of Piezoelectric MEMS Microphones
This semester project deals with the study of at fully clamped plates with various geome- tries (circular and square), piezoelectric properties and uniformly distributed load (normal to the surface). The stress distribution is analyzed in order to obtain a ...
2018Efficient Multi-dimensional Diracs Estimation with Linear Sample Complexity
Martin Vetterli, Thierry Blu, Hanjie Pan
Estimating Diracs in continuous two or higher dimensions is a fundamental problem in imaging. Previous approaches extended one dimensional methods, like the ones based on finite rate of innovation (FRI) sampling, in a separable manner, e.g., along the hori ...
2018Non-linear simulations of the TCV Scrape-Off Layer
Ivo Furno, Paolo Ricci, Benoît Labit, Joaquim Loizu Cisquella, Federico Nespoli, Federico David Halpern, Fabio Riva
To investigate the mechanisms leading to the heat deposition onto the first wall in the Scrape-Off Layer (SOL), we perform dedicated numerical non-linear simulations of the SOL plasma dynamics of a TCV discharge using the GBS code. The simulated parallel h ...
Elsevier Science Bv2017Efficient computation of Sommerfeld integral tails - methods and algorithms
Juan Ramon Mosig, Krzysztof Michalski
A review is presented of the most effective methods for the computation of Sommerfeld integral tails. Such integrals, which are often oscillatory, singular and divergent, commonly arise in layered media Green functions. The mathematical foundations of vari ...
Taylor & Francis Ltd2016Efficient Hardware Design Of Iterative Stencil Loops
David Atienza Alonso, Ivan Beretta, Alessandro Antonio Nacci
A large number of algorithms for multidimensional signals processing and scientific computation come in the form of iterative stencil loops (ISLs), whose data dependencies span across multiple iterations. Because of their complex inner structure, automatic ...
Ieee-Inst Electrical Electronics Engineers Inc2016Deductive Synthesis and Repair
In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...
EPFL2016Notes on Majority Boolean Algebra
Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Anupam Chattopadhyay
A Majority-Inverter Graph (MIG) is a homogeneous logic network, where each node represents the majority function. Recently, a logic optimization package based on the MIG data-structure, with 3-input majority node (M3) has been proposed [2], [30]. It is dem ...
IEEE2016On low-rank approximability of solutions to high-dimensional operator equations and eigenvalue problems
Daniel Kressner, André Uschmajew
Low-rank tensor approximation techniques attempt to mitigate the overwhelming complexity of linear algebra tasks arising from high-dimensional applications. In this work, we study the low-rank approximability of solutions to linear systems and eigenvalue p ...
Elsevier Science Inc2016Algebraic Complete Integrability of the Bloch-Iserles System
The goal of this paper is the proof of the algebraic complete integrability of the Bloch-Iserles Hamiltonian system [5]. This result was conjectured in [4], based on its validity in certain special cases. ...
Oxford University Press2015