Concept

Calcul formel

Publications associées (54)

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

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 SOC2019

Performance of Piezoelectric MEMS Microphones

Iwan Mohamed Jaber

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

2018

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

2018

Non-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 Bv2017

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 Ltd2016

Efficient 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 Inc2016

Deductive Synthesis and Repair

Etienne Kneuss

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

EPFL2016

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

IEEE2016

On 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 Inc2016

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