Concept

Notation (mathématiques)

Publications associées (32)

Locating transient disturbance sources and modelling their interaction with transmission lines

This thesis deals with the application of electromagnetic time reversal to locating transient disturbance sources and the use of the asymptotic theory for the modelling of their interaction with transmission lines. We demonstrate that the time-of-arrival, ...

EPFL2016

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

5e{x+y}: Searching over Mathematical Content in Digital Libraries

Karl Aberer

This paper presents 5ex+y, a system that is able to extract, index and query mathematical content expressed as mathematical expressions, complementing the CERN Document Server (CDS). We present the most important aspects of its design, our approach to mode ...

ACM2015

Method and apparatus for low complexity spectral analysis of bio-signals

David Atienza Alonso, Andreas Peter Burg, Srinivasan Murali, Georgios Karakonstantis, Aviinaash Sankaranarayanan

A method and device for reducing the computational complexity of a processing algorithm, of a discrete signal, in particular of the spectral estimation and analysis of bio-signals, with minimum or no quality loss, which comprises steps of (a) choosing a do ...

2015

Equivalent-Design Crack Model for Structural Glass Elements

Pieter Christian Louter, Manuel Santarsiero

Analytical determination of safety in glass structures often uses oversimplified resistance criteria or fully probabilistic models which require special software to numerically solve the complex equations. Due to computation cost and remaining uncertainty ...

Asce-Amer Soc Civil Engineers2014

Mechanical load distribution along the main cutting edges in drilling

Paul Xirouchakis, Mihai-Bogdan Lazar

Used in a very large variety of applications, drilling is one of the most complex manufacturing processes. Most of the research on drilling was done in the field of metal cutting since, in this case, high precision and quality are needed. The use of compos ...

Elsevier2013

Coupling matrix synthesis of dissipative microwave filters

Michael Mattes, Francisco Edén Sorolla Rosario, Diego Navarro Tapia

This study reviews the coupling matrix synthesis of dissipative microwave filters. It compares it to the synthesis of lossless transfer functions and shows that by correctly interpreting the mathematical operations in the lossless case, that is especially ...

Institution of Engineering and Technology2011

On the scaling of polar codes: II. The behavior of un-polarized channels

Rüdiger Urbanke, Seyed Hamed Hassani

We provide upper and lower bounds on the escape rate of the Bhattacharyya process corresponding to polar codes where transmission takes place over the the binary erasure channel. More precisely, we bound the exponent of the number of sub-channels whose Bha ...

IEEE2010

On Rigorous Numerical Computation as a Scala Library

Viktor Kuncak, Eva Darulova

Modern programming languages have adopted the floating point type as a way to describe computations with real numbers. Thanks to the hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting ...

2010

A Contribution to the Theoretical Prediction of Life-Time in Glass Structures

Manuel Santarsiero

In order to assess safety levels in glass structures a scattered and inhomogeneous variety of mostly complicated resistance criteria is presently available, very often requiring specially developed softwares. For this reason engineers who wants to assess w ...

2010

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