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

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

The geometric arrangement of interacting (magnetic) dipoles is a question of fundamental importance in physics, chemistry, and engineering. Motivated by recent progress concerning the self-assembly of magnetic structures, the equilibrium orientation of eig ...

American Physical Society2015

The present study is related to the development of the tip vortex cavitation in Kaplan turbines. The investigation is carried out on a simplified test case consisting of a NACA0009 blade with a gap between the blade tip and the side wall. Computations with ...

Iop Publishing Ltd2015

An emerging area of research is to automatically compute reasonably accurate upper bounds on numerical errors, including roundoffs due to the use of a finite-precision representation for real numbers such as floating point or fixed-point arithmetic. Previo ...

2014

Efficient geometrical parametrisation techniques of interfaces for reduced-order modelling: application to fluid-structure interaction coupling problems

Gianluigi Rozza, Davide Forti

We present some recent advances and improvements in shape parametrisation techniques of interfaces for reduced-order modelling with special attention to fluid-structure interaction problems and the management of structural deformations, namely, to represen ...

Taylor & Francis2014

Algebraic algorithms for network information flow

Javad Ebrahimi Boroojeni

Ahlswede et al. in the seminal paper [1] have shown that in data transfer over networks, processing the data at the nodes can significantly improve the throughput. As proved by Li et al. in [2], even with a simple type of operation, namely linear operation ...

EPFL2013

Accurate and efficient evaluation of failure probability for partial different equations with random input data

Alfio Quarteroni, Peng Chen

Several computational challenges arise when evaluating the failure probability of a given system in the context of risk prediction or reliability analysis. When the dimension of the uncertainties becomes high, well established direct numerical methods can ...

Elsevier Science Sa2013

Phase Gradient Estimation Techniques in Fringe Analysis

Rajshekhar Gannavarpu

The thesis introduces novel techniques in the field of fringe analysis for direct estimation of phase gradients or derivatives. A pseudo Wigner-Ville distribution based method is proposed to reliably estimate the phase derivatives from a single fringe patt ...

EPFL2012

Efficient algorithms for computing Sommerfeld integral tails

Juan Ramon Mosig, Ruzica Golubovic

Sommerfeld-integrals (SIs) are ubiquitous in the analysis of problems involving antennas and scatterers embedded in planar multilayered media. It is well known that the oscillating and slowly decaying nature of their integrands makes the numerical evaluati ...

Institute of Electrical and Electronics Engineers2012

Fast and accurate computation of hyper-singular integrals in Galerkin surface integral equation formulations via the direct evaluation method

Juan Ramon Mosig

Hypersingular 4-D integrals, arising in the Galerkin discretization of surface integral equation formulations, are computed by means of the direct evaluation method. The proposed scheme extends the basic idea of the singularity cancellation methods, usuall ...

Institute of Electrical and Electronics Engineers2011